A Hierarchy of Scheduler Classes for Stochastic Automata

Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distinguish most classes even in this basic setting. Verification and strategy synthesis methods thus face a tradeoff between powerful and efficient classes. Using lightweight scheduler sampling, we explore this tradeoff and demonstrate the concept of a useful approximative verification technique for stochastic automata

Coverage, Continuity and Visual Cortical Architecture

The primary visual cortex of many mammals contains a continuous representation of visual space, with a roughly repetitive aperiodic map of orientation preferences superimposed. It was recently found that orientation preference maps (OPMs) obey statistical laws which are apparently invariant among species widely separated in eutherian evolution. Here, we examine whether one of the most prominent models for the optimization of cortical maps, the elastic net (EN) model, can reproduce this common design. The EN model generates representations which optimally trade of stimulus space coverage and map continuity. While this model has been used in numerous studies, no analytical results about the precise layout of the predicted OPMs have been obtained so far. We present a mathematical approach to analytically calculate the cortical representations predicted by the EN model for the joint mapping of stimulus position and orientation. We find that in all previously studied regimes, predicted OPM layouts are perfectly periodic. An unbiased search through the EN parameter space identifies a novel regime of aperiodic OPMs with pinwheel densities lower than found in experiments. In an extreme limit, aperiodic OPMs quantitatively resembling experimental observations emerge. Stabilization of these layouts results from strong nonlocal interactions rather than from a coverage-continuity-compromise. Our results demonstrate that optimization models for stimulus representations dominated by nonlocal suppressive interactions are in principle capable of correctly predicting the common OPM design. They question that visual cortical feature representations can be explained by a coverage-continuity-compromise.Comment: 100 pages, including an Appendix, 21 + 7 figure

Topological Surface States Protected From Backscattering by Chiral Spin Texture

Topological insulators are a new class of insulators in which a bulk gap for electronic excitations is generated by strong spin orbit coupling. These novel materials are distinguished from ordinary insulators by the presence of gapless metallic boundary states, akin to the chiral edge modes in quantum Hall systems, but with unconventional spin textures. Recently, experiments and theoretical efforts have provided strong evidence for both two- and three-dimensional topological insulators and their novel edge and surface states in semiconductor quantum well structures and several Bi-based compounds. A key characteristic of these spin-textured boundary states is their insensitivity to spin-independent scattering, which protects them from backscattering and localization. These chiral states are potentially useful for spin-based electronics, in which long spin coherence is critical, and also for quantum computing applications, where topological protection can enable fault-tolerant information processing. Here we use a scanning tunneling microscope (STM) to visualize the gapless surface states of the three-dimensional topological insulator BiSb and to examine their scattering behavior from disorder caused by random alloying in this compound. Combining STM and angle-resolved photoemission spectroscopy, we show that despite strong atomic scale disorder, backscattering between states of opposite momentum and opposite spin is absent. Our observation of spin-selective scattering demonstrates that the chiral nature of these states protects the spin of the carriers; they therefore have the potential to be used for coherent spin transport in spintronic devices.Comment: to be appear in Nature on August 9, 200

Identification of a protein encoded in the EB-viral open reading frame BMRF2

Using monospecific rabbit sera against a peptide derived from a potential antigenic region of the Epstein-Barr viral amino acid sequence encoded in the open reading frame BMRF2 we could identify a protein-complex of 53/55 kDa in chemically induced B95-8, P3HR1 and Raji cell lines. This protein could be shown to be membrane-associated, as predicted by previous computer analysis of the secondary structure and hydrophilicity pattern, and may be a member of EBV-induced membrane proteins in lytically infected cells

Challenges and Opportunities: What Can We Learn from Patients Living with Chronic Musculoskeletal Conditions, Health Professionals and Carers about the Concept of Health Literacy Using Qualitative Methods of Inquiry?

The field of health literacy continues to evolve and concern public health researchers and yet remains a largely overlooked concept elsewhere in the healthcare system. We conducted focus group discussions in England UK, about the concept of health literacy with older patients with chronic musculoskeletal conditions (mean age = 73.4 years), carers and health professionals. Our research posed methodological, intellectual and practical challenges. Gaps in conceptualisation and expectations were revealed, reiterating deficiencies in predominant models for understanding health literacy and methodological shortcomings of using focus groups in qualitative research for this topic. Building on this unique insight into what the concept of health literacy meant to participants, we present analysis of our findings on factors perceived to foster and inhibit health literacy and on the issue of responsibility in health literacy. Patients saw health literacy as a result of an inconsistent interactive process and the implications as wide ranging; healthcare professionals had more heterogeneous views. All focus group discussants agreed that health literacy most benefited from good inter-personal communication and partnership. By proposing a needs-based approach to health literacy we offer an alternative way of conceptualising health literacy to help improve the health of older people with chronic conditions

Can modern infrared analyzers replace gas chromatography to measure anesthetic vapor concentrations?

<p>Abstract</p> <p>Background</p> <p>Gas chromatography (GC) has often been considered the most accurate method to measure the concentration of inhaled anesthetic vapors. However, infrared (IR) gas analysis has become the clinically preferred monitoring technique because it provides continuous data, is less expensive and more practical, and is readily available. We examined the accuracy of a modern IR analyzer (M-CAiOV compact gas IR analyzer (General Electric, Helsinki, Finland) by comparing its performance with GC.</p> <p>Methods</p> <p>To examine linearity, we analyzed 3 different concentrations of 3 different agents in O₂: 0.3, 0.7, and 1.2% isoflurane; 0.5, 1, and 2% sevoflurane; and 1, 3, and 6% desflurane. To examine the effect of carrier gas composition, we prepared mixtures of 1% isoflurane, 1 or 2% sevoflurane, or 6% desflurane in 100% O₂(= O₂group); 30%O₂+ 70%N₂O (= N₂O group), 28%O₂+ 66%N₂O + 5%CO₂(= CO₂group), or air. To examine consistency between analyzers, four different M-CAiOV analyzers were tested.</p> <p>Results</p> <p>The IR analyzer response in O₂is linear over the concentration range studied: IR isoflurane % = -0.0256 + (1.006 * GC %), R = 0.998; IR sevoflurane % = -0.008 + (0.946 * GC %), R = 0.993; and IR desflurane % = 0.256 + (0.919 * GC %), R = 0.998. The deviation from GC calculated as (100*(IR-GC)/GC), in %) ranged from -11 to 11% for the medium and higher concentrations, and from -20 to +20% for the lowest concentrations. No carrier gas effect could be detected. Individual modules differed in their accuracy (p = 0.004), with differences between analyzers mounting up to 12% of the medium and highest concentrations and up to 25% of the lowest agent concentrations.</p> <p>Conclusion</p> <p>M-CAiOV compact gas IR analyzers are well compensated for carrier gas cross-sensitivity and are linear over the range of concentrations studied. IR and GC cannot be used interchangeably, because the deviations between GC and IR mount up to ± 20%, and because individual analyzers differ unpredictably in their performance.</p

Coordinated optimization of visual cortical maps (I) Symmetry-based analysis

In the primary visual cortex of primates and carnivores, functional architecture can be characterized by maps of various stimulus features such as orientation preference (OP), ocular dominance (OD), and spatial frequency. It is a long-standing question in theoretical neuroscience whether the observed maps should be interpreted as optima of a specific energy functional that summarizes the design principles of cortical functional architecture. A rigorous evaluation of this optimization hypothesis is particularly demanded by recent evidence that the functional architecture of OP columns precisely follows species invariant quantitative laws. Because it would be desirable to infer the form of such an optimization principle from the biological data, the optimization approach to explain cortical functional architecture raises the following questions: i) What are the genuine ground states of candidate energy functionals and how can they be calculated with precision and rigor? ii) How do differences in candidate optimization principles impact on the predicted map structure and conversely what can be learned about an hypothetical underlying optimization principle from observations on map structure? iii) Is there a way to analyze the coordinated organization of cortical maps predicted by optimization principles in general? To answer these questions we developed a general dynamical systems approach to the combined optimization of visual cortical maps of OP and another scalar feature such as OD or spatial frequency preference.Comment: 90 pages, 16 figure

A Pair of Dopamine Neurons Target the D1-Like Dopamine Receptor DopR in the Central Complex to Promote Ethanol-Stimulated Locomotion in Drosophila

Dopamine is a mediator of the stimulant properties of drugs of abuse, including ethanol, in mammals and in the fruit fly Drosophila. The neural substrates for the stimulant actions of ethanol in flies are not known. We show that a subset of dopamine neurons and their targets, through the action of the D1-like dopamine receptor DopR, promote locomotor activation in response to acute ethanol exposure. A bilateral pair of dopaminergic neurons in the fly brain mediates the enhanced locomotor activity induced by ethanol exposure, and promotes locomotion when directly activated. These neurons project to the central complex ellipsoid body, a structure implicated in regulating motor behaviors. Ellipsoid body neurons are required for ethanol-induced locomotor activity and they express DopR. Elimination of DopR blunts the locomotor activating effects of ethanol, and this behavior can be restored by selective expression of DopR in the ellipsoid body. These data tie the activity of defined dopamine neurons to D1-like DopR-expressing neurons to form a neural circuit that governs acute responding to ethanol

Coping With Human-Cat Interactions Beyond the Limits of Domesticity: Moral Pluralism in the Management of Cats and Wildlife

Although human interactions with cats are often even typically analyzed in the context of domesticity, with a focus on what sorts of interactions might make both people and cats “happy at home,” a large number of cats in the world live, for one reason or another, beyond the bounds of domesticity. Human interactions with these more or less free-living cats raise deeply controversial questions about how both the cats and the people they interact with should be sensibly managed, and about the moral imperatives that ought to guide the management of their interactions through the laws and public policies regulating both human interactions with pets and with wildlife. We review the geography of human interactions with cats living beyond the bounds of domesticity. We acknowledge the contributions made to ideas about how to manage cats by the animal protection movement. We review the tensions that have emerged over time between advocates for the eradication of free-living cats, because of the impacts they have on native wildlife species, and those who have imagined alternatives to eradication, most notably one or another variant of trap-neuter-return (TNR). The conflict over how best to deal with cats living beyond the bounds of domesticity and their wildlife impacts raises the prospect of stalemate, and we canvass and critique possibilities for moving beyond that stalemate.</jats:p