Numerical Verification of an Analytical Model for Phase Noise in MEMS Oscillators.

A new analytical formulation for phase noise in MEMS oscillators was recently presented encompassing the role of essential nonlinearities in the electrical and mechanical domains. In this paper, we validate the effectiveness of the proposed analytical formulation with respect to the unified theory developed by Demir et al. describing phase noise in oscillators. In particular, it is shown that, over a range of the second-order mechanical nonlinear stiffness of the MEMS resonator, both models exhibit an excellent match in the phase diffusion coefficient calculation for a square-wave MEMS oscillator.This is the author accepted manuscript. The final version is available from IEEE via http://dx.doi.org/10.1109/TUFFC.2016.257536

Multi-locus approaches for the measurement of selection on correlated genetic loci

The study of ecological speciation is inherently linked to the study of selection. Methods for estimating phenotypic selection within a generation based on associations between trait values and fitness (e.g., survival) of individuals are established. These methods attempt to disentangle selection acting directly on a trait from indirect selection caused by correlations with other traits via multivariate statistical approaches (i.e., inference of selection gradients). The estimation of selection on genotypic or genomic variation could also benefit from disentangling direct and indirect selection on genetic loci. However, achieving this goal is difficult with genomic data because the number of potentially correlated genetic loci (p) is very large relative to the number of individuals sampled (n). In other words, the number of model parameters exceeds the number of observations (p ≫ n). We present simulations examining the utility of whole genome regression approaches (i.e., Bayesian sparse linear mixed models) for quantifying direct selection in cases where p ≫ n. Such models have been used for genome-wide association mapping and are common in artificial breeding. Our results show they hold promise for studies of natural selection in the wild, and thus of ecological speciation. But we also demonstrate important limitations to the approach and discuss study designs required for more robust inferences

Approximate probabilistic verification of hybrid systems

Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a probabilistic analysis method by approximating the mode transitions as stochastic events. We assume that the probability of making a mode transition is proportional to the measure of the set of pairs of time points and value states at which the mode transition is enabled. To ensure a sound mathematical basis, we impose a natural continuity property on the non-linear ODEs. We also assume that the states of the system are observed at discrete time points but that the mode transitions may take place at any time between two successive discrete time points. This leads to a discrete time Markov chain as a probabilistic approximation of the hybrid system. We then show that for BLTL (bounded linear time temporal logic) specifications the hybrid system meets a specification iff its Markov chain approximation meets the same specification with probability $1$. Based on this, we formulate a sequential hypothesis testing procedure for verifying -approximately- that the Markov chain meets a BLTL specification with high probability. Our case studies on cardiac cell dynamics and the circadian rhythm indicate that our scheme can be applied in a number of realistic settings

Fractional Euler-Lagrange differential equations via Caputo derivatives

We review some recent results of the fractional variational calculus. Necessary optimality conditions of Euler-Lagrange type for functionals with a Lagrangian containing left and right Caputo derivatives are given. Several problems are considered: with fixed or free boundary conditions, and in presence of integral constraints that also depend on Caputo derivatives.Comment: This is a preprint of a paper whose final and definite form will appear as Chapter 9 of the book Fractional Dynamics and Control, D. Baleanu et al. (eds.), Springer New York, 2012, DOI:10.1007/978-1-4614-0457-6_9, in pres

A database of microRNA expression patterns in Xenopus laevis

MicroRNAs (miRNAs) are short, non-coding RNAs around 22 nucleotides long. They inhibit gene expression either by translational repression or by causing the degradation of the mRNAs they bind to. Many are highly conserved amongst diverse organisms and have restricted spatio-temporal expression patterns during embryonic development where they are thought to be involved in generating accuracy of developmental timing and in supporting cell fate decisions and tissue identity. We determined the expression patterns of 180 miRNAs in Xenopus laevis embryos using LNA oligonucleotides. In addition we carried out small RNA-seq on different stages of early Xenopus development, identified 44 miRNAs belonging to 29 new families and characterized the expression of 5 of these. Our analyses identified miRNA expression in many organs of the developing embryo. In particular a large number were expressed in neural tissue and in the somites. Surprisingly none of the miRNAs we have looked at show expression in the heart. Our results have been made freely available as a resource in both XenMARK and Xenbase

Metabolic analysis of the interaction between plants and herbivores

Insect herbivores by necessity have to deal with a large arsenal of plant defence metabolites. The levels of defence compounds may be increased by insect damage. These induced plant responses may also affect the metabolism and performance of successive insect herbivores. As the chemical nature of induced responses is largely unknown, global metabolomic analyses are a valuable tool to gain more insight into the metabolites possibly involved in such interactions. This study analyzed the interaction between feral cabbage (Brassica oleracea) and small cabbage white caterpillars (Pieris rapae) and how previous attacks to the plant affect the caterpillar metabolism. Because plants may be induced by shoot and root herbivory, we compared shoot and root induction by treating the plants on either plant part with jasmonic acid. Extracts of the plants and the caterpillars were chemically analysed using Ultra Performance Liquid Chromatography/Time of Flight Mass Spectrometry (UPLCT/MS). The study revealed that the levels of three structurally related coumaroylquinic acids were elevated in plants treated on the shoot. The levels of these compounds in plants and caterpillars were highly correlated: these compounds were defined as the ‘metabolic interface’. The role of these metabolites could only be discovered using simultaneous analysis of the plant and caterpillar metabolomes. We conclude that a metabolomics approach is useful in discovering unexpected bioactive compounds involved in ecological interactions between plants and their herbivores and higher trophic levels.

Entomological Surveillance of Behavioural Resilience and Resistance in Residual Malaria Vector Populations.

The most potent malaria vectors rely heavily upon human blood so they are vulnerable to attack with insecticide-treated nets (ITNs) and indoor residual spraying (IRS) within houses. Mosquito taxa that can avoid feeding or resting indoors, or by obtaining blood from animals, mediate a growing proportion of the dwindling transmission that persists as ITNs and IRS are scaled up. Increasing frequency of behavioural evasion traits within persisting residual vector systems usually reflect the successful suppression of the most potent and vulnerable vector taxa by IRS or ITNs, rather than their failure. Many of the commonly observed changes in mosquito behavioural patterns following intervention scale-up may well be explained by modified taxonomic composition and expression of phenotypically plastic behavioural preferences, rather than altered innate preferences of individuals or populations. Detailed review of the contemporary evidence base does not yet provide any clear-cut example of true behavioural resistance and is, therefore, consistent with the hypothesis presented. Caution should be exercised before over-interpreting most existing reports of increased frequency of behavioural traits which enable mosquitoes to evade fatal contact with insecticides: this may simply be the result of suppressing the most behaviourally vulnerable of the vector taxa that constituted the original transmission system. Mosquito taxa which have always exhibited such evasive traits may be more accurately described as behaviourally resilient, rather than resistant. Ongoing national or regional entomological monitoring surveys of physiological susceptibility to insecticides should be supplemented with biologically and epidemiologically meaningfully estimates of malaria vector population dynamics and the behavioural phenotypes that determine intervention impact, in order to design, select, evaluate and optimize the implementation of vector control measures

Influences of Excluded Volume of Molecules on Signaling Processes on Biomembrane

We investigate the influences of the excluded volume of molecules on biochemical reaction processes on 2-dimensional surfaces using a model of signal transduction processes on biomembranes. We perform simulations of the 2-dimensional cell-based model, which describes the reactions and diffusion of the receptors, signaling proteins, target proteins, and crowders on the cell membrane. The signaling proteins are activated by receptors, and these activated signaling proteins activate target proteins that bind autonomously from the cytoplasm to the membrane, and unbind from the membrane if activated. If the target proteins bind frequently, the volume fraction of molecules on the membrane becomes so large that the excluded volume of the molecules for the reaction and diffusion dynamics cannot be negligible. We find that such excluded volume effects of the molecules induce non-trivial variations of the signal flow, defined as the activation frequency of target proteins, as follows. With an increase in the binding rate of target proteins, the signal flow varies by i) monotonically increasing; ii) increasing then decreasing in a bell-shaped curve; or iii) increasing, decreasing, then increasing in an S-shaped curve. We further demonstrate that the excluded volume of molecules influences the hierarchical molecular distributions throughout the reaction processes. In particular, when the system exhibits a large signal flow, the signaling proteins tend to surround the receptors to form receptor-signaling protein clusters, and the target proteins tend to become distributed around such clusters. To explain these phenomena, we analyze the stochastic model of the local motions of molecules around the receptor.Comment: 31 pages, 10 figure

The Functional DRD3 Ser9Gly Polymorphism (rs6280) Is Pleiotropic, Affecting Reward as Well as Movement

Abnormalities of motivation and behavior in the context of reward are a fundamental component of addiction and mood disorders. Here we test the effect of a functional missense mutation in the dopamine 3 receptor (DRD3) gene (ser9gly, rs6280) on reward-associated dopamine (DA) release in the striatum. Twenty-six healthy controls (HCs) and 10 unmedicated subjects with major depressive disorder (MDD) completed two positron emission tomography (PET) scans with [11C]raclopride using the bolus plus constant infusion method. On one occasion subjects completed a sensorimotor task (control condition) and on another occasion subjects completed a gambling task (reward condition). A linear regression analysis controlling for age, sex, diagnosis, and self-reported anhedonia indicated that during receipt of unpredictable monetary reward the glycine allele was associated with a greater reduction in D2/3 receptor binding (i.e., increased reward-related DA release) in the middle (anterior) caudate (p<0.01) and the ventral striatum (p<0.05). The possible functional effect of the ser9gly polymorphism on DA release is consistent with previous work demonstrating that the glycine allele yields D3 autoreceptors that have a higher affinity for DA and display more robust intracellular signaling. Preclinical evidence indicates that chronic stress and aversive stimulation induce activation of the DA system, raising the possibility that the glycine allele, by virtue of its facilitatory effect on striatal DA release, increases susceptibility to hyperdopaminergic responses that have previously been associated with stress, addiction, and psychosis