203 research outputs found
Percentile Queries in Multi-Dimensional Markov Decision Processes
Markov decision processes (MDPs) with multi-dimensional weights are useful to
analyze systems with multiple objectives that may be conflicting and require
the analysis of trade-offs. We study the complexity of percentile queries in
such MDPs and give algorithms to synthesize strategies that enforce such
constraints. Given a multi-dimensional weighted MDP and a quantitative payoff
function , thresholds (one per dimension), and probability thresholds
, we show how to compute a single strategy to enforce that for all
dimensions , the probability of outcomes satisfying is at least . We consider classical quantitative payoffs from
the literature (sup, inf, lim sup, lim inf, mean-payoff, truncated sum,
discounted sum). Our work extends to the quantitative case the multi-objective
model checking problem studied by Etessami et al. in unweighted MDPs.Comment: Extended version of CAV 2015 pape
Cell Type–Specific Thalamic Innervation in a Column of Rat Vibrissal Cortex
This is the concluding article in a series of 3 studies that investigate the anatomical determinants of thalamocortical (TC) input to excitatory neurons in a cortical column of rat primary somatosensory cortex (S1). We used viral synaptophysin-enhanced green fluorescent protein expression in thalamic neurons and reconstructions of biocytin-labeled cortical neurons in TC slices to quantify the number and distribution of boutons from the ventral posterior medial (VPM) and posteromedial (POm) nuclei potentially innervating dendritic arbors of excitatory neurons located in layers (L)2–6 of a cortical column in rat somatosensory cortex. We found that 1) all types of excitatory neurons potentially receive substantial TC input (90–580 boutons per neuron); 2) pyramidal neurons in L3–L6 receive dual TC input from both VPM and POm that is potentially of equal magnitude for thick-tufted L5 pyramidal neurons (ca. 300 boutons each from VPM and POm); 3) L3, L4, and L5 pyramidal neurons have multiple (2–4) subcellular TC innervation domains that match the dendritic compartments of pyramidal cells; and 4) a subtype of thick-tufted L5 pyramidal neurons has an additional VPM innervation domain in L4. The multiple subcellular TC innervation domains of L5 pyramidal neurons may partly explain their specific action potential patterns observed in vivo. We conclude that the substantial potential TC innervation of all excitatory neuron types in a cortical column constitutes an anatomical basis for the initial near-simultaneous representation of a sensory stimulus in different neuron types
Matrix-Assisted Laser Desorption Ionization-Time of Flight Mass Spectrometry Identification of Yeasts Is Contingent on Robust Reference Spectra
BACKGROUND: Matrix-assisted laser desorption ionization-time of flight mass spectrometry (MALDI-TOF MS) for yeast identification is limited by the requirement for protein extraction and for robust reference spectra across yeast species in databases. We evaluated its ability to identify a range of yeasts in comparison with phenotypic methods. METHODS: MALDI-TOF MS was performed on 30 reference and 167 clinical isolates followed by prospective examination of 67 clinical strains in parallel with biochemical testing (total n = 264). Discordant/unreliable identifications were resolved by sequencing of the internal transcribed spacer region of the rRNA gene cluster. PRINCIPAL FINDINGS: Twenty (67%; 16 species), and 24 (80%) of 30 reference strains were identified to species, (spectral score ≥2.0) and genus (score ≥1.70)-level, respectively. Of clinical isolates, 140/167 (84%) strains were correctly identified with scores of ≥2.0 and 160/167 (96%) with scores of ≥1.70; amongst Candida spp. (n = 148), correct species assignment at scores of ≥2.0, and ≥1.70 was obtained for 86% and 96% isolates, respectively (vs. 76.4% by biochemical methods). Prospectively, species-level identification was achieved for 79% of isolates, whilst 91% and 94% of strains yielded scores of ≥1.90 and ≥1.70, respectively (100% isolates identified by biochemical methods). All test scores of 1.70-1.90 provided correct species assignment despite being identified to "genus-level". MALDI-TOF MS identified uncommon Candida spp., differentiated Candida parapsilosis from C. orthopsilosis and C. metapsilosis and distinguished between C. glabrata, C. nivariensis and C. bracarensis. Yeasts with scores of <1.70 were rare species such as C. nivariensis (3/10 strains) and C. bracarensis (n = 1) but included 4/12 Cryptococcus neoformans. There were no misidentifications. Four novel species-specific spectra were obtained. Protein extraction was essential for reliable results. CONCLUSIONS: MALDI-TOF MS enabled rapid, reliable identification of clinically-important yeasts. The addition of spectra to databases and reduction in identification scores required for species-level identification may improve its utility
Community detection in graphs
The modern science of networks has brought significant advances to our
understanding of complex systems. One of the most relevant features of graphs
representing real systems is community structure, or clustering, i. e. the
organization of vertices in clusters, with many edges joining vertices of the
same cluster and comparatively few edges joining vertices of different
clusters. Such clusters, or communities, can be considered as fairly
independent compartments of a graph, playing a similar role like, e. g., the
tissues or the organs in the human body. Detecting communities is of great
importance in sociology, biology and computer science, disciplines where
systems are often represented as graphs. This problem is very hard and not yet
satisfactorily solved, despite the huge effort of a large interdisciplinary
community of scientists working on it over the past few years. We will attempt
a thorough exposition of the topic, from the definition of the main elements of
the problem, to the presentation of most methods developed, with a special
focus on techniques designed by statistical physicists, from the discussion of
crucial issues like the significance of clustering and how methods should be
tested and compared against each other, to the description of applications to
real networks.Comment: Review article. 103 pages, 42 figures, 2 tables. Two sections
expanded + minor modifications. Three figures + one table + references added.
Final version published in Physics Report
Defining and simulating open-ended novelty: requirements, guidelines, and challenges
The open-endedness of a system is often defined as a continual production of novelty. Here we pin down this concept more fully by defining several types of novelty that a system may exhibit, classified as variation, innovation, and emergence. We then provide a meta-model for including levels of structure in a system’s model. From there, we define an architecture suitable for building simulations of open-ended novelty-generating systems and discuss how previously proposed systems fit into this framework. We discuss the design principles applicable to those systems and close with some challenges for the community
- …