2,091 research outputs found
Synchronization universality classes and stability of smooth, coupled map lattices
We study two problems related to spatially extended systems: the dynamical
stability and the universality classes of the replica synchronization
transition. We use a simple model of one dimensional coupled map lattices and
show that chaotic behavior implies that the synchronization transition belongs
to the multiplicative noise universality class, while stable chaos implies that
the synchronization transition belongs to the directed percolation universality
class.Comment: 6 pages, 7 figure
Photovoltaic power systems for rural areas of developing countries
Systems technology, reliability, and present and projected costs of photovoltaic systems are discussed using data derived from NASA, Lewis Research Center experience with photovoltaic systems deployed with a variety of users. Operating systems in two villages, one in Upper Volta and the other in southwestern Arizona are described. Energy cost comparisons are presented for photovoltaic systems versus alternative energy sources. Based on present system technology, reliability, and costs, photovoltaics provides a realistic energy option for developing nations
Response to Nauenberg's "Critique of Quantum Enigma: Physics Encounters Consciousness"
Nauenberg's extended critique of Quantum Enigma rests on fundamental
misunderstandings.Comment: To be published in Foundations of Physic
Apparatus enables accurate determination of alkali oxides in alkali metals
Evacuated apparatus determines the alkali oxide content of an alkali metal by separating the metal from the oxide by amalgamation with mercury. The apparatus prevents oxygen and moisture from inadvertently entering the system during the sampling and analytical procedure
Genomic Correlates of Virulence Attenuation in the Deadly Amphibian Chytrid Fungus, Batrachochytrium dendrobatidis.
Emerging infectious diseasespose a significant threat to global health, but predicting disease outcomes for particular species can be complicated when pathogen virulence varies across space, time, or hosts. The pathogenic chytrid fungus Batrachochytrium dendrobatidis (Bd) has caused worldwide declines in frog populations. Not only do Bd isolates from wild populations vary in virulence, but virulence shifts can occur over short timescales when Bd is maintained in the laboratory. We leveraged changes in Bd virulence over multiple generations of passage to better understand mechanisms of pathogen virulence. We conducted whole-genome resequencing of two samples of the same Bd isolate, differing only in passage history, to identify genomic processes associated with virulence attenuation. The isolate with shorter passage history (and greater virulence) had greater chromosome copy numbers than the isolate maintained in culture for longer, suggesting that virulence attenuation may be associated with loss of chromosome copies. Our results suggest that genomic processes proposed as mechanisms for rapid evolution in Bd are correlated with virulence attenuation in laboratory culture within a single lineage of Bd. Moreover, these genomic processes can occur over extremely short timescales. On a practical level, our results underscore the importance of immediately cryo-archiving new Bd isolates and using fresh isolates, rather than samples cultured in the laboratory for long periods, for laboratory infection experiments. Finally, when attempting to predict disease outcomes for this ecologically important pathogen, it is critical to consider existing variation in virulence among isolates and the potential for shifts in virulence over short timescales
A model to design and verify context-aware adaptive service composition.
The introduction of mobile clients and context-aware behaviours intoWeb Service compositions may generate faults
and inconsistencies. We introduce an extension of a composition model where context-awareness is made explicit and
a number of correctness properties are verifiable. In particular, our extended model enables the verification of properties commonly used to validate context dependent applications. We also propose a set of algorithms to verify these properties efficiently
Algorithms for efficient symbolic detection of faults in context-aware applications.
Context-aware and adaptive applications running on mobile devices pose new challenges for the verification community. Current verification techniques are tailored for different domains (mostly hardware) and the kind of faults that are typical of applications running on mobile devices are difficult (or impossible) to encode using the patterns of ldquotraditionalrdquo verification domains. In this paper we present how techniques similar to the ones used in symbolic model checking can be applied to the verification of context-aware and adaptive applications. More in detail, we show how a model of a context-aware application can be encoded by means of ordered binary decision diagrams and we introduce symbolic algorithms for the verification of a number of properties
- …