Unified form language: A domain-specific language for weak formulations of partial differential equations

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies formultifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted. © 2014 ACM.

Probabilistic graphical models for semi-supervised traffic classification

Traffic classification using machine learning continues to be an active research area. The majority of work in this area uses off-the-shelf machine learning tools and treats them as black-box classifiers. This approach turns all the modelling complexity into a feature selection problem. In this paper, we build a problem-specific solution to the traffic classification problem by designing a custom probabilistic graphical model. Graphical models are a modular framework to design classifiers which incorporate domain-specific knowledge. More specifically, our solution introduces semi-supervised learning which means we learn from both labelled and unlabelled traffic flows. We show that our solution performs competitively compared to previous approaches while using less data and simpler features. Copyright © 2010 ACM.

Multilinear function factorisation for time series feature extraction

This work applies a variety of multilinear function factorisation techniques to extract appropriate features or attributes from high dimensional multivariate time series for classification. Recently, a great deal of work has centred around designing time series classifiers using more and more complex feature extraction and machine learning schemes. This paper argues that complex learners and domain specific feature extraction schemes of this type are not necessarily needed for time series classification, as excellent classification results can be obtained by simply applying a number of existing matrix factorisation or linear projection techniques, which are simple and computationally inexpensive. We highlight this using a geometric separability measure and classification accuracies obtained though experiments on four different high dimensional multivariate time series datasets. © 2013 IEEE.

Measurement of the Interaction Between Recombinant I-domain from Integrin alpha 2 beta 1 and a Triple Helical Collagen Peptide with the GFOGER Binding Motif Using Molecular Force Spectroscopy.

The role of the collagen-platelet interaction is of crucial importance to the haemostatic response during both injury and pathogenesis of the blood vessel wall. Of particular interest is the high affinity interaction of the platelet transmembrane receptor, alpha 2 beta 1, responsible for firm attachment of platelets to collagen at and around injury sites. We employ single molecule force spectroscopy (SMFS) using the atomic force microscope (AFM) to study the interaction of the I-domain from integrin alpha 2 beta 1 with a synthetic collagen related triple-helical peptide containing the high-affinity integrin-binding GFOGER motif, and a control peptide lacking this sequence, referred to as GPP. By utilising synthetic peptides in this manner we are able to study at the molecular level subtleties that would otherwise be lost when considering cell-to-collagen matrix interactions using ensemble techniques. We demonstrate for the first time the complexity of this interaction as illustrated by the complex multi-peaked force spectra and confirm specificity using control blocking experiments. In addition we observe specific interaction of the GPP peptide sequence with the I-domain. We propose a model to explain these observations.

Influence of specific HSP70 domains on fibril formation of the yeast prion protein Ure2.

Ure2p is the protein determinant of the Saccharomyces cerevisiae prion state [URE3]. Constitutive overexpression of the HSP70 family member SSA1 cures cells of [URE3]. Here, we show that Ssa1p increases the lag time of Ure2p fibril formation in vitro in the presence or absence of nucleotide. The presence of the HSP40 co-chaperone Ydj1p has an additive effect on the inhibition of Ure2p fibril formation, whereas the Ydj1p H34Q mutant shows reduced inhibition alone and in combination with Ssa1p. In order to investigate the structural basis of these effects, we constructed and tested an Ssa1p mutant lacking the ATPase domain, as well as a series of C-terminal truncation mutants. The results indicate that Ssa1p can bind to Ure2p and delay fibril formation even in the absence of the ATPase domain, but interaction of Ure2p with the substrate-binding domain is strongly influenced by the C-terminal lid region. Dynamic light scattering, quartz crystal microbalance assays, pull-down assays and kinetic analysis indicate that Ssa1p interacts with both native Ure2p and fibril seeds, and reduces the rate of Ure2p fibril elongation in a concentration-dependent manner. These results provide new insights into the structural and mechanistic basis for inhibition of Ure2p fibril formation by Ssa1p and Ydj1p.

Influence of specific HSP70 domains on fibril formation of the yeast prion protein Ure2.

Ure2p is the protein determinant of the Saccharomyces cerevisiae prion state [URE3]. Constitutive overexpression of the HSP70 family member SSA1 cures cells of [URE3]. Here, we show that Ssa1p increases the lag time of Ure2p fibril formation in vitro in the presence or absence of nucleotide. The presence of the HSP40 co-chaperone Ydj1p has an additive effect on the inhibition of Ure2p fibril formation, whereas the Ydj1p H34Q mutant shows reduced inhibition alone and in combination with Ssa1p. In order to investigate the structural basis of these effects, we constructed and tested an Ssa1p mutant lacking the ATPase domain, as well as a series of C-terminal truncation mutants. The results indicate that Ssa1p can bind to Ure2p and delay fibril formation even in the absence of the ATPase domain, but interaction of Ure2p with the substrate-binding domain is strongly influenced by the C-terminal lid region. Dynamic light scattering, quartz crystal microbalance assays, pull-down assays and kinetic analysis indicate that Ssa1p interacts with both native Ure2p and fibril seeds, and reduces the rate of Ure2p fibril elongation in a concentration-dependent manner. These results provide new insights into the structural and mechanistic basis for inhibition of Ure2p fibril formation by Ssa1p and Ydj1p.

Synchronization in a coupled architecture of microelectromechanical oscillators

There has been much recent interest in engineering the phenomenon of synchronization in coupled micro-/nano-scale oscillators for applications ranging from precision time and frequency references to new approaches to information processing. This paper presents descriptive modelling detail and further experimental validation of the phenomenon of mutual synchronization in coupled MEMS oscillators building upon recent experimental validation of this concept by the present authors. In particular, the underlying dependence of the observation of synchronization on system parameters is studied through numerical and analytical modelling while considering essential nonlinearities in both the resonator and circuit domain. Experimental results demonstrating synchronized response are elaborated based on the realization of electrically coupled MEMS resonator based square-wave oscillators. The experimental results on frequency entrainment are found to be in general agreement with results obtained through analytical modeling and numerical simulation. The concept presented here is scalable and could be used to investigate the dynamics of large-arrays of coupled MEMS oscillators. © 2014 AIP Publishing LLC.