1,809 research outputs found
The impact of within-herd genetic variation upon inferred transmission trees for foot-and-mouth disease virus
Full-genome sequences have been used to monitor the fine-scale dynamics of epidemics caused by RNA viruses. However, the ability of this approach to confidently reconstruct transmission trees is limited by the knowledge of the genetic diversity of viruses that exist within different epidemiological units. In order to address this question, this study investigated the variability of 45 foot-and-mouth disease virus (FMDV) genome sequences (from 33 animals) that were collected during 2007 from eight premises (10 different herds) in the United Kingdom. Bayesian and statistical parsimony analysis demonstrated that these sequences exhibited clustering which was consistent with a transmission scenario describing herd-to-herd spread of the virus. As an alternative to analysing all of the available samples in future epidemics, the impact of randomly selecting one sequence from each of these herds was used to assess cost-effective methods that might be used to infer transmission trees during FMD outbreaks. Using these approaches, 85% and 91% of the resulting topologies were either identical or differed by only one edge from a reference tree comprising all of the sequences generated within the outbreak. The sequence distances that accrued during sequential transmission events between epidemiological units was estimated to be 4.6 nucleotides, although the genetic variability between viruses recovered from chronic carrier animals was higher than between viruses from animals with acute-stage infection: an observation which poses challenges for the use of simple approaches to infer transmission trees. This study helps to develop strategies for sampling during FMD outbreaks, and provides data that will guide the development of further models to support control policies in the event of virus incursions into FMD free countries
MAGICCARPET: Verified Detection and Recovery for Hardware-based Exploits
AbstractâMAGICCARPET is a new approach to defending systems against exploitable processor bugs. MAGICCARPET uses hardware to detect violations of invariants involving security-critical processor state and uses firmware to correctly push softwareâs state past the violations. The invariants are specified at run time. MAGICCARPET focuses on dynamically validating updates to security-critical processor state. In this work, (1) we generate correctness proofs for both MAGICCARPET hardware and firmware; (2) we prove that processor state and events never violate our security invariants at runtime; and (3) we show that MAGICCARPET copes with hardware-based exploits discovered post-fabrication using a combination of verified reconfigurations of invariants in the fabric and verified recoveries via reprogrammable software. We implement MAGICCARPET inside a popular open source processor on an FPGA platform. We evaluate MAGICCARPET using a diverse set of hardware-based attacks based on escaped and exploitable commercial processor bugs. MAGICCARPET is able to detect and recover from all tested attacks with no software run-time overhead in the attack-free case
Recommended from our members
Soil Microbial Networks Shift Across a High-Elevation Successional Gradient.
While it is well established that microbial composition and diversity shift along environmental gradients, how interactions among microbes change is poorly understood. Here, we tested how community structure and species interactions among diverse groups of soil microbes (bacteria, fungi, non-fungal eukaryotes) change across a fundamental ecological gradient, succession. Our study system is a high-elevation alpine ecosystem that exhibits variability in successional stage due to topography and harsh environmental conditions. We used hierarchical Bayesian joint distribution modeling to remove the influence of environmental covariates on species distributions and generated interaction networks using the residual species-to-species variance-covariance matrix. We hypothesized that as ecological succession proceeds, diversity will increase, species composition will change, and soil microbial networks will become more complex. As expected, we found that diversity of most taxonomic groups increased over succession, and species composition changed considerably. Interestingly, and contrary to our hypothesis, interaction networks became less complex over succession (fewer interactions per taxon). Interactions between photosynthetic microbes and any other organism became less frequent over the gradient, whereas interactions between plants or soil microfauna and any other organism were more abundant in late succession. Results demonstrate that patterns in diversity and composition do not necessarily relate to patterns in network complexity and suggest that network analyses provide new insight into the ecology of highly diverse, microscopic communities
Analysis workflow to assess de novo genetic variants from human whole-exome sequencing
Here, we present a protocol to analyz
Mathematical Properties of a New Levin-Type Sequence Transformation Introduced by \v{C}\'{\i}\v{z}ek, Zamastil, and Sk\'{a}la. I. Algebraic Theory
\v{C}\'{\i}\v{z}ek, Zamastil, and Sk\'{a}la [J. Math. Phys. \textbf{44}, 962
- 968 (2003)] introduced in connection with the summation of the divergent
perturbation expansion of the hydrogen atom in an external magnetic field a new
sequence transformation which uses as input data not only the elements of a
sequence of partial sums, but also explicit estimates
for the truncation errors. The explicit
incorporation of the information contained in the truncation error estimates
makes this and related transformations potentially much more powerful than for
instance Pad\'{e} approximants. Special cases of the new transformation are
sequence transformations introduced by Levin [Int. J. Comput. Math. B
\textbf{3}, 371 - 388 (1973)] and Weniger [Comput. Phys. Rep. \textbf{10}, 189
- 371 (1989), Sections 7 -9; Numer. Algor. \textbf{3}, 477 - 486 (1992)] and
also a variant of Richardson extrapolation [Phil. Trans. Roy. Soc. London A
\textbf{226}, 299 - 349 (1927)]. The algebraic theory of these transformations
- explicit expressions, recurrence formulas, explicit expressions in the case
of special remainder estimates, and asymptotic order estimates satisfied by
rational approximants to power series - is formulated in terms of hitherto
unknown mathematical properties of the new transformation introduced by
\v{C}\'{\i}\v{z}ek, Zamastil, and Sk\'{a}la. This leads to a considerable
formal simplification and unification.Comment: 41 + ii pages, LaTeX2e, 0 figures. Submitted to Journal of
Mathematical Physic
SPICES: Spectro-Polarimetric Imaging and Characterization of Exoplanetary Systems
SPICES (Spectro-Polarimetric Imaging and Characterization of Exoplanetary
Systems) is a five-year M-class mission proposed to ESA Cosmic Vision. Its
purpose is to image and characterize long-period extrasolar planets and
circumstellar disks in the visible (450 - 900 nm) at a spectral resolution of
about 40 using both spectroscopy and polarimetry. By 2020/22, present and
near-term instruments will have found several tens of planets that SPICES will
be able to observe and study in detail. Equipped with a 1.5 m telescope, SPICES
can preferentially access exoplanets located at several AUs (0.5-10 AU) from
nearby stars (25 pc) with masses ranging from a few Jupiter masses to Super
Earths (2 Earth radii, 10 M) as well as circumstellar
disks as faint as a few times the zodiacal light in the Solar System
Gender Differences in Russian Colour Naming
In the present study we explored Russian colour naming in a web-based psycholinguistic experiment
(http://www.colournaming.com). Colour singletons representing the Munsell Color Solid (N=600 in total) were presented on a computer monitor and named using an unconstrained colour-naming method. Respondents were
Russian speakers (N=713). For gender-split equal-size samples (NF=333, NM=333) we estimated and compared (i)
location of centroids of 12 Russian basic colour terms (BCTs); (ii) the number of words in colour descriptors; (iii) occurrences of BCTs most frequent non-BCTs. We found a close correspondence between femalesâ and malesâ
BCT centroids. Among individual BCTs, the highest inter-gender agreement was for seryj âgreyâ and goluboj
âlight blueâ, while the lowest was for sinij âdark blueâ and krasnyj âredâ. Females revealed a significantly richer repertory of distinct colour descriptors, with great variety of monolexemic non-BCTs and âfancyâ colour names; in comparison, males offered relatively more BCTs or their compounds. Along with these measures, we gauged
denotata of most frequent CTs, reflected by linguistic segmentation of colour space, by employing a synthetic
observer trained by gender-specific responses. This psycholinguistic representation revealed femalesâ more
refined linguistic segmentation, compared to males, with higher linguistic density predominantly along the redgreen axis of colour space
Evaluating assumptions of scales for subjective assessment of thermal environments â Do laypersons perceive them the way, we researchers believe?
International audienc
Dynamics of live oil droplets and natural gas bubbles in deep water
Explaining the dynamics of gas-saturated live petroleum in deep water remains a challenge. Recently, Pesch et al. (Environ. Eng. Sci. 2018, 35, 289â299) reported laboratory experiments on methane-saturated oil droplets under emulated deep-water conditions, providing an opportunity to elucidate the underlying dynamical processes. We explain these observations with the Texas A&M Oil spill/Outfall Calculator (TAMOC), which models the pressure-, temperature-, and composition-dependent interactions between: oil-gas phase transfer; aqueous dissolution; and densities and volumes of liquid oil droplets, gas bubbles, and two-phase droplet-bubble pairs. TAMOC reveals that aqueous dissolution removed >95% of the methane from ~3.5-mm live oil droplets within 14.5 min, prior to gas bubble formation, during the experiments of Pesch et al. Additional simulations indicate that aqueous dissolution, fluid density changes, and gas-oil phase transitions (ebullition, condensation) may all contribute to the fates of live oil and gas in deep water, depending on the release conditions. Illustrative model scenarios suggest that 5-mm diameter gas bubbles released at <470 m water depth can transport methane, ethane, and propane to the water surface. Ethane and propane can reach the water surface from much deeper releases of 5-mm diameter live oil droplets, during which ebullition occurs at water depths of <70 m
- âŠ