Internal Stress in a Model Elasto-Plastic Fluid

Plastic materials can carry memory of past mechanical treatment in the form of internal stress. We introduce a natural definition of the vorticity of internal stress in a simple two-dimensional model of elasto-plastic fluids, which generates the internal stress. We demonstrate how the internal stress is induced under external loading, and how the presence of the internal stress modifies the plastic behavior.Comment: 4 pages, 3 figure

Elastic Convection in Vibrated Viscoplastic Fluids

We observe a new type of behavior in a shear thinning yield stress fluid: freestanding convection rolls driven by vertical oscillation. The convection occurs without the constraint of container boundaries yet the diameter of the rolls is spontaneously selected for a wide range of parameters. The transition to the convecting state occurs without hysteresis when the amplitude of the plate acceleration exceeds a critical value. We find that a non-dimensional stress, the stress due to the inertia of the fluid normalized by the yield stress, governs the onset of the convective motion.Comment: 4 pages, 6 figure

Design Optimization for Solar Array of Multiple Collector Types

Methodology is presented for optimizing solar arrays used for heating fluids from ambient to elevated temperatures. The optimal array consists of the appropriate combination of available collector types which delivers the most energy per dollar invested in the array. An example optimization is presented and verified using computer simulation of numerous combinations of collector types

Parenting practices and mothers behavioural and demographic factors influencing their 2 year old child's physical activity.

yesTo identify maternal factors that influence physical activity behaviour in 2 year old children

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache coherence protocol domain and consistent with the internal definition of deadlock in the Murphi model checker: we refer to this deadlock as a system- wide deadlock (s-deadlock). In s-deadlock, the entire system gets blocked and is unable to make any transition. Cache coherence protocols consist of N symmetric cache agents, where N is an unbounded parameter; thus the verification of s-deadlock freedom is naturally a parameterized verification problem. Parametrized verification techniques work by using sound abstractions to reduce the unbounded model to a bounded model. Efficient abstractions which work well for industrial scale protocols typically bound the model by replacing the state of most of the agents by an abstract environment, while keeping just one or two agents as is. However, leveraging such efficient abstractions becomes a challenge for s-deadlock: a violation of s-deadlock is a state in which the transitions of all of the unbounded number of agents cannot occur and so a simple abstraction like the one above will not preserve this violation. In this work we address this challenge by presenting a technique which leverages high-level information about the protocols, in the form of message sequence dia- grams referred to as flows, for constructing invariants that are collectively stronger than s-deadlock. Efficient abstractions can be constructed to verify these invariants. We successfully verify the German and Flash protocols using our technique

Metric fluctuations and decoherence

Recently a model of metric fluctuations has been proposed which yields an effective Schr\"odinger equation for a quantum particle with a modified inertial mass, leading to a violation of the weak equivalence principle. The renormalization of the inertial mass tensor results from a local space average over the fluctuations of the metric over a fixed background metric. Here, we demonstrate that the metric fluctuations of this model lead to a further physical effect, namely to an effective decoherence of the quantum particle. We derive a quantum master equation for the particle's density matrix, discuss in detail its dissipation and decoherence properties, and estimate the corresponding decoherence time scales. By contrast to other models discussed in the literature, in the present approach the metric fluctuations give rise to a decay of the coherences in the energy representation, i. e., to a localization in energy space.Comment: 7 page

Ultrafast Optical-Pump Terahertz-Probe Spectroscopy of the Carrier Relaxation and Recombination Dynamics in Epitaxial Graphene

The ultrafast relaxation and recombination dynamics of photogenerated electrons and holes in epitaxial graphene are studied using optical-pump Terahertz-probe spectroscopy. The conductivity in graphene at Terahertz frequencies depends on the carrier concentration as well as the carrier distribution in energy. Time-resolved studies of the conductivity can therefore be used to probe the dynamics associated with carrier intraband relaxation and interband recombination. We report the electron-hole recombination times in epitaxial graphene for the first time. Our results show that carrier cooling occurs on sub-picosecond time scales and that interband recombination times are carrier density dependent.Comment: 4 pages, 5 figure

Weak convergence of Vervaat and Vervaat Error processes of long-range dependent sequences

Following Cs\"{o}rg\H{o}, Szyszkowicz and Wang (Ann. Statist. {\bf 34}, (2006), 1013--1044) we consider a long range dependent linear sequence. We prove weak convergence of the uniform Vervaat and the uniform Vervaat error processes, extending their results to distributions with unbounded support and removing normality assumption

Transport of Cytoplasmically Synthesized Proteins into the Mitochondria in a Cell Free System from Neurospora crassa

Synthesis and transport of mitochondrial proteins were followed in a cell-free homogenate of Neurospora crassa in which mitochondrial translation was inhibited. Proteins synthesized on cytoplasmic ribosomes are transferred into the mitochondrial fraction. The relative amounts of proteins which are transferred in vitro are comparable to those transferred in whole cells. Cycloheximide and puromycin inhibit the synthesis of mitochondrial proteins but not their transfer into mitochondria. The transfer of immunoprecipitable mitochondrial proteins was demonstrated for matrix proteins, carboxyatractyloside-binding protein and cytochrome c. Import of proteins into mitochondria exhibits a degree of specificity. The transport mechanism differentiates between newly synthesized proteins and preexistent mitochondrial proteins, at least in the case of matrix proteins. In the cell-free homogenate membrane-bound ribosomes are more active in the synthesis of mitochondrial proteins than are free ribosomes. The finished translation products appear to be released from the membrane-bound ribosomes into the cytosol rather than into the membrane vesicles. The results suggest that the transport of cytoplasmically synthesized mitochondrial proteins is essentially independent of cytoplasmic translation; that cytoplasmically synthesized mitochondrial proteins exist in an extramitochondrial pool prior to import; that the site of this pool is the cytosol for at least some of the mitochondrial proteins; and that the precursors in the extramitochondrial pool differ in structure or conformation from the functional proteins in the mitochondria