Generic Model Refactorings

Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts\ud of classes, methods, attributes, and inheritance. However, model\ud transformations such as refactorings specified for a given language\ud cannot be readily reused for another language because their related\ud metamodels may be structurally different. Our aim is to enable a\ud flexible reuse of model transformations across various metamodels.\ud Thus, in this paper, we present an approach allowing the specification\ud of generic model transformations, in particular refactorings, so\ud that they can be applied to different metamodels. Our approach relies\ud on two mechanisms: (1) an adaptation based mainly on the weaving\ud of aspects; (2) the notion of model typing, an extension of object\ud typing in the model-oriented context. We validated our approach by\ud performing some experiments that consisted of specifying three well\ud known refactorings (Encapsulate Field, Move Method, and Pull Up Method)\ud and applying each of them onto three different metamodels (Java,\ud MOF, and UML)

Two-photon quantum walks in an elliptical direct-write waveguide array

Integrated optics provides an ideal test bed for the emulation of quantum systems via continuous-time quantum walks. Here we study the evolution of two-photon states in an elliptic array of waveguides. We characterise the photonic chip via coherent-light tomography and use the results to predict distinct differences between temporally indistinguishable and distinguishable two-photon inputs which we then compare with experimental observations. Our work highlights the feasibility for emulation of coherent quantum phenomena in three-dimensional waveguide structures.Comment: 8 pages, 7 figure

Quantum-inspired interferometry with chirped laser pulses

We introduce and implement an interferometric technique based on chirped femtosecond laser pulses and nonlinear optics. The interference manifests as a high-visibility (> 85%) phase-insensitive dip in the intensity of an optical beam when the two interferometer arms are equal to within the coherence length of the light. This signature is unique in classical interferometry, but is a direct analogue to Hong-Ou-Mandel quantum interference. Our technique exhibits all the metrological advantages of the quantum interferometer, but with signals at least 10^7 times greater. In particular we demonstrate enhanced resolution, robustness against loss, and automatic dispersion cancellation. Our interferometer offers significant advantages over previous technologies, both quantum and classical, in precision time delay measurements and biomedical imaging.Comment: 6 pages, 4 figure

Quantum computing with mixed states

We discuss a model for quantum computing with initially mixed states. Although such a computer is known to be less powerful than a quantum computer operating with pure (entangled) states, it may efficiently solve some problems for which no efficient classical algorithms are known. We suggest a new implementation of quantum computation with initially mixed states in which an algorithm realization is achieved by means of optimal basis independent transformations of qubits.Comment: 2 figures, 52 reference

Experimental investigation of the uncertainty principle in the presence of quantum memory

Heisenberg's uncertainty principle provides a fundamental limitation on an observer's ability to simultaneously predict the outcome when one of two measurements is performed on a quantum system. However, if the observer has access to a particle (stored in a quantum memory) which is entangled with the system, his uncertainty is generally reduced. This effect has recently been quantified by Berta et al. [Nature Physics 6, 659 (2010)] in a new, more general uncertainty relation, formulated in terms of entropies. Using entangled photon pairs, an optical delay line serving as a quantum memory and fast, active feed-forward we experimentally probe the validity of this new relation. The behaviour we find agrees with the predictions of quantum theory and satisfies the new uncertainty relation. In particular, we find lower uncertainties about the measurement outcomes than would be possible without the entangled particle. This shows not only that the reduction in uncertainty enabled by entanglement can be significant in practice, but also demonstrates the use of the inequality to witness entanglement.Comment: 8 pages, 4 figures, comments welcom

An Overview of the Lightning - Atmospheric Chemistry Aspects of the Deep Convective Clouds and Chemistry (DC3) Experiment

Some of the major goals of the DC3 experiment are to determine the contribution of lightning to NO(x) in the anvils of observed thunderstorms, examine the relationship of lightning NO(x) production to flash rates and to lightning channel lengths, and estimate the relative production per flash for cloud-to-ground flashes and intracloud flashes. In addition, the effects of lightning NO(x) production on photochemistry downwind of thunderstorms is also being examined. The talk will survey the observation types that were conducted during DC3 relevant to these goals and provide an overview of the analysis and modeling techniques which are being used to achieve them. NO(x) was observed on three research aircraft during DC3 (the NCAR G-V, the NASA DC-8, and the DLR Falcon) in flights through storm anvils in three study regions (NE Colorado, Central Oklahoma to West Texas, and northern Alabama) where lightning mapping arrays (LMAs) and radar coverage were available. Initial comparisons of the aircraft NOx observations in storm anvils relative to flash rates have been conducted, which will be followed with calculations of the flux of NO(x) through the anvils, which when combined with observed flash rates can be used to estimate storm-average lightning NOx production per flash. The WRF-Chem model will be run for cloud-resolved simulations of selected observed storms during DC3. Detailed lightning information from the LMAs (flash rates and flash lengths as a function of time and vertical distributions of flash channel segments) will be input to the model along with assumptions concerning NO(x) production per CG flash and per IC flash. These assumptions will be tested through comparisons with the aircraft NOx data from anvil traverses. A specially designed retrieval method for lightning NO2 column amounts from the OMI instrument on NASA fs Aura satellite has been utilized to estimate NO2 over the region affected by selected DC3 storms. Combined with NO(x) to NO2 ratios from the aircraft data and WRF-Chem model and observed flash rates, average NO(x) production per flash can be estimated. Ozone production downwind of observed storms can be estimated from the WRF-Chem simulations and the specific downwind flights

Collaborative Hubs: Making the Most of Predictive Epidemic Modeling

The COVID-19 pandemic has made it clear that epidemic models play an important role in how governments and the public respond to infectious disease crises. Early in the pandemic, models were used to estimate the true number of infections. Later, they estimated key parameters, generated short-term forecasts of outbreak trends, and quantified possible effects of interventions on the unfolding epidemic. In contrast to the coordinating role played by major national or international agencies in weather-related emergencies, pandemic modeling efforts were initially scattered across many research institutions. Differences in modeling approaches led to contrasting results, contributing to confusion in public perception of the pandemic. Efforts to coordinate modeling efforts in so-called “hubs” have provided governments, healthcare agencies, and the public with assessments and forecasts that reflect the consensus in the modeling community. This has been achieved by openly synthesizing uncertainties across different modeling approaches and facilitating comparisons between them

Interpreting Meta-Analyses of Genome-Wide Association Studies

Meta-analysis is an increasingly popular tool for combining multiple genome-wide association studies in a single analysis to identify associations with small effect sizes. The effect sizes between studies in a meta-analysis may differ and these differences, or heterogeneity, can be caused by many factors. If heterogeneity is observed in the results of a meta-analysis, interpreting the cause of heterogeneity is important because the correct interpretation can lead to a better understanding of the disease and a more effective design of a replication study. However, interpreting heterogeneous results is difficult. The standard approach of examining the association p-values of the studies does not effectively predict if the effect exists in each study. In this paper, we propose a framework facilitating the interpretation of the results of a meta-analysis. Our framework is based on a new statistic representing the posterior probability that the effect exists in each study, which is estimated utilizing cross-study information. Simulations and application to the real data show that our framework can effectively segregate the studies predicted to have an effect, the studies predicted to not have an effect, and the ambiguous studies that are underpowered. In addition to helping interpretation, the new framework also allows us to develop a new association testing procedure taking into account the existence of effect

Evidence of Simultaneous Circulation of West Nile and Usutu Viruses in Mosquitoes Sampled in Emilia-Romagna Region (Italy) in 2009

BACKGROUND: In recent years human diseases due to mosquito-borne viruses were increasingly reported in Emilia-Romagna region (Italy), from the chikungunya virus in 2007 to the West Nile virus (WNV) in 2008. An extensive entomological survey was performed in 2009 to establish the presence and distribution of mosquito arboviruses in this region, with particular reference to flaviviruses. METHODOLOGY/PRINCIPAL FINDINGS: From May 6 to October 31, a total of 190,516 mosquitoes were sampled in georeferenced stations, grouped in 1,789 pools according date of collection, location, and species, and analyzed by reverse transcription polymerase chain reaction (RT-PCR) to detect the presence of RNA belong to Flavivirus genus. WNV was detected in 27 mosquito pools, producing sequences similar to those of birds and human strains obtained in 2008 outbreak, pointed out the probable virus overwintering. Isolation of WNV was achieved from one of these pools. Moreover 56 pools of mosquitoes tested positive for Usutu virus (USUV). Most PCR positive pools consisted of Culex pipiens, which also was the most analyzed mosquito species (81.4% of specimens); interestingly, USUV RNA was also found in two Aedes albopictus mosquito pools. Simultaneous circulation of WNV and USUV in the survey area was highlighted by occurrence of 8 mosquito WNV- and USUV-positive pools and by the overlaying of the viruses "hot spots", obtained by kernel density estimation (KDE) analysis. Land use of sampled stations pointed out a higher proportion of WNV-positive Cx. pipiens pool in rural environments respect the provenience of total sampled pool, while the USUV-positive pools were uniformly captured in the different environments. CONCLUSIONS/SIGNIFICANCE: Obtained data highlighting the possible role of Cx. pipiens mosquito as the main vector for WNV and USUV in Northern Italy, and the possible involvement of Ae. albopictus mosquito in USUV cycle. The described mosquito-based surveillance could constitute the foundation for a public health alert system targeting mosquito borne arboviruses

Infection and Transmission of Rift Valley Fever Viruses Lacking the NSs and/or NSm Genes in Mosquitoes: Potential Role for NSm in Mosquito Infection

Rift Valley fever virus is transmitted mainly by mosquitoes and causes disease in humans and animals throughout Africa and the Arabian Peninsula. The impact of disease is large in terms of human illness and mortality, and economic impact on the livestock industry. For these reasons, and because there is a risk of this virus spreading to Europe and North America, it is important to develop a vaccine that is stable, safe and effective in preventing infection. Potential vaccine viruses have been developed through deletion of two genes (NSs and NSm) affecting virus virulence. Because this virus is normally transmitted by mosquitoes we must determine the effects of the deletions in these vaccine viruses on their ability to infect and be transmitted by mosquitoes. An optimal vaccine virus would not infect or be transmitted. The viruses were tested in two mosquito species: Aedes aegypti and Culex quinquefasciatus. Deletion of the NSm gene reduced infection of Ae. aegypti mosquitoes indicating a role for the NSm protein in mosquito infection. The virus with deletion of both NSs and NSm genes was the best vaccine candidate since it did not infect Ae. aegypti and showed reduced infection and transmission rates in Cx. quinquefasciatus