On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Shear viscosity of a superfluid Fermi gas in the unitarity limit

We compute the shear viscosity of a superfluid atomic Fermi gas in the unitarity limit. The unitarity limit is characterized by a divergent scattering length between the atoms, and it has been argued that this will result in a very small viscosity. We show that in the low temperature T limit the shear viscosity scales as xi^5/T^5, where the universal parameter 'xi' relates the chemical potential and the Fermi energy, mu=xi E_F. Combined with the high temperature expansions of the viscosity our results suggest that the viscosity has a minimum near the critical temperature T_c. A naive extrapolation indicates that the minimum value of the ratio of viscosity over entropy density is within a factor of ~ 5 of the proposed lower bound hbar/(4\pi k_B).Comment: 9 pages, 7 figures, LaTeX2

Adaptable-radius, time-orbiting magnetic ring trap for Bose-Einstein condensates

We theoretically investigate an adjustable-radius magnetic storage ring for laser-cooled and Bose-condensed atoms. Additionally, we discuss a novel time-dependent variant of this and other ring traps. Time-orbiting ring traps provide a high optical access method for spin-flip loss prevention near a storage ring's circular magnetic field zero. Our scalable storage ring will allow one to probe the fundamental limits of condensate Sagnac interferometry.Comment: 5 pages, 3 figures. accepted in J Phys

06061 Abstracts Collection -- Theory of Evolutionary Algorithms

From 05.02.06 to 10.02.06, the Dagstuhl Seminar 06061 ``Theory of Evolutionary Algorithms\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Evolutionary biology for the 21st century

New theoretical and conceptual frameworks are required for evolutionary biology to capitalize on the wealth of data now becoming available from the study of genomes, phenotypes, and organisms - including humans - in their natural environments.Molecular and Cellular BiologyOrganismic and Evolutionary Biolog

LSR/angulin-1 is a tricellular tight junction protein involved in blood-brain barrier formation.

The blood-brain barrier (BBB) is a term used to describe the unique properties of central nervous system (CNS) blood vessels. One important BBB property is the formation of a paracellular barrier made by tight junctions (TJs) between CNS endothelial cells (ECs). Here, we show that Lipolysis-stimulated lipoprotein receptor (LSR), a component of paracellular junctions at points in which three cell membranes meet, is greatly enriched in CNS ECs compared with ECs in other nonneural tissues. We demonstrate that LSR is specifically expressed at tricellular junctions and that its expression correlates with the onset of BBB formation during embryogenesis. We further demonstrate that the BBB does not seal during embryogenesis in Lsr knockout mice with a leakage to small molecules. Finally, in mouse models in which BBB was disrupted, including an experimental autoimmune encephalomyelitis (EAE) model of multiple sclerosis and a middle cerebral artery occlusion (MCAO) model of stroke, LSR was down-regulated, linking loss of LSR and pathological BBB leakage

Evolutionary History of a Specialized P450 Propane Monooxygenase

The evolutionary pressures that shaped the specificity and catalytic efficiency of enzymes can only be speculated. While directed evolution experiments show that new functions can be acquired under positive selection with few mutations, the role of negative selection in eliminating undesired activities and achieving high specificity remains unclear. Here we examine intermediates along the ‘lineage’ from a naturally occurring C12–C20 fatty acid hydroxylase (P450BM3) to a laboratory-evolved P450 propane monooxygenase (P450PMO) having 20 heme domain substitutions compared to P450BM3. Biochemical, crystallographic, and computational analyses show that a minimal perturbation of the P450BM3 fold and substrate-binding pocket accompanies a significant broadening of enzyme substrate range and the emergence of propane activity. In contrast, refinement of the enzyme catalytic efficiency for propane oxidation (not, vert, similar 9000-fold increase in kcat/Km) involves profound reshaping and partitioning of the substrate access pathway. Remodeling of the substrate-recognition mechanisms ultimately results in remarkable narrowing of the substrate profile around propane and enables the acquisition of a basal iodomethane dehalogenase activity as yet unknown in natural alkane monooxygenases. A highly destabilizing L188P substitution in a region of the enzyme that undergoes a large conformational change during catalysis plays an important role in adaptation to the gaseous alkane. This work demonstrates that positive selection alone is sufficient to completely respecialize the cytochrome P450 for function on a nonnative substrate

Iatrogenic Spinal Cord Injury Resulting From Cervical Spine Surgery.

STUDY DESIGN: Retrospective cohort study of prospectively collected data. OBJECTIVE: To examine the incidence of iatrogenic spinal cord injury following elective cervical spine surgery. METHODS: A retrospective multicenter case series study involving 21 high-volume surgical centers from the AOSpine North America Clinical Research Network was conducted. Medical records for 17 625 patients who received cervical spine surgery (levels from C2 to C7) between January 1, 2005, and December 31, 2011, were reviewed to identify occurrence of iatrogenic spinal cord injury. RESULTS: In total, 3 cases of iatrogenic spinal cord injury following cervical spine surgery were identified. Institutional incidence rates ranged from 0.0% to 0.24%. Of the 3 patients with quadriplegia, one underwent anterior-only surgery with 2-level cervical corpectomy, one underwent anterior surgery with corpectomy in addition to posterior surgery, and one underwent posterior decompression and fusion surgery alone. One patient had complete neurologic recovery, one partially recovered, and one did not recover motor function. CONCLUSION: Iatrogenic spinal cord injury following cervical spine surgery is a rare and devastating adverse event. No standard protocol exists that can guarantee prevention of this complication, and there is a lack of consensus regarding evaluation and treatment when it does occur. Emergent imaging with magnetic resonance imaging or computed tomography myelography to evaluate for compressive etiology or malpositioned instrumentation and avoidance of hypotension should be performed in cases of intraoperative and postoperative spinal cord injury

Electromagnetic form factors of the bound nucleon

We calculate electromagnetic form factors of the proton bound in specified orbits for several closed shell nuclei. The quark structure of the nucleon and the shell structure of the finite nuclei are given by the QMC model. We find that orbital electromagnetic form factors of the bound nucleon deviate significantly from those of the free nucleon.Comment: 12 pages including 4 ps figure

Results of the BiPo-1 prototype for radiopurity measurements for the SuperNEMO double beta decay source foils

The development of BiPo detectors is dedicated to the measurement of extremely high radiopurity in $^{208}$Tl and $^{214}$Bi for the SuperNEMO double beta decay source foils. A modular prototype, called BiPo-1, with 0.8 $m^2$ of sensitive surface area, has been running in the Modane Underground Laboratory since February, 2008. The goal of BiPo-1 is to measure the different components of the background and in particular the surface radiopurity of the plastic scintillators that make up the detector. The first phase of data collection has been dedicated to the measurement of the radiopurity in $^{208}$Tl. After more than one year of background measurement, a surface activity of the scintillators of $\mathcal{A}$($^{208}$Tl) $=$ 1.5 $\mu$Bq/m$^2$ is reported here. Given this level of background, a larger BiPo detector having 12 m$^2$ of active surface area, is able to qualify the radiopurity of the SuperNEMO selenium double beta decay foils with the required sensitivity of $\mathcal{A}$($^{208}$Tl) $<$ 2 $\mu$Bq/kg (90% C.L.) with a six month measurement.Comment: 24 pages, submitted to N.I.M.