Sonography of the bladder after ureteral reimplantation

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/135188/1/jum199211287.pd

Mechanical coupling in flashing ratchets

We consider the transport of rigid objects with internal structure in a flashing ratchet potential by investigating the overdamped behavior of a rod-like chain of evenly spaced point particles. In 1D, analytical arguments show that the velocity can reverse direction multiple times in response to changing the size of the chain or the temperature of the heat bath. The physical reason is that the effective potential experienced by the mechanically coupled objects can have a different symmetry than that of individual objects. All analytical predictions are confirmed by Brownian dynamics simulations. These results may provide a route to simple, coarse-grained models of molecular motor transport that incorporate an object's size and rotational degrees of freedom into the mechanism of transport.Comment: 9 pages, 10 figure

Molecular Clock on a Neutral Network

The number of fixed mutations accumulated in an evolving population often displays a variance that is significantly larger than the mean (the overdispersed molecular clock). By examining a generic evolutionary process on a neutral network of high-fitness genotypes, we establish a formalism for computing all cumulants of the full probability distribution of accumulated mutations in terms of graph properties of the neutral network, and use the formalism to prove overdispersion of the molecular clock. We further show that significant overdispersion arises naturally in evolution when the neutral network is highly sparse, exhibits large global fluctuations in neutrality, and small local fluctuations in neutrality. The results are also relevant for elucidating the topological structure of a neutral network from empirical measurements of the substitution process.Comment: 10 page

Sensitivity of double resonance alignment magnetometers

We present an experimental study of the intrinsic magnetometric sensitivity of an optical/rf-frequency double resonance magnetometer in which linearly polarized laser light is used in the optical pumping and detection processes. We show that a semi-empirical model of the magnetometer can be used to describe the magnetic resonance spectra. Then, we present an efficient method to predict the optimum operating point of the magnetometer, i.e., the light power and rf Rabi frequency providing maximum magnetometric sensitivity. Finally, we apply the method to investigate the evolution of the optimum operating point with temperature. The method is very efficient to determine relaxation rates and thus allowed us to determine the three collisional disalignment cross sections for the components of the alignment tensor. Both first and second harmonic signals from the magnetometer are considered and compared

Simulations of Weighted Tree Automata

Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in several cases (fields, commutative rings, Noetherian semirings, semiring of natural numbers) that all equivalent wta M and N can be joined by a finite chain of simulations. More precisely, in all mentioned cases there exists a single wta that simulates both M and N. Those results immediately yield decidability of equivalence provided that the semiring is finitely (and effectively) presented.Comment: 17 pages, 2 figure

On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi

Microsomal incubation test of potentially hemolytic drugs for glucose‐6‐phosphate dehydrogenase deficiency

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/109761/1/cptclpt198354.pd