20,564 research outputs found
Mapping individual electromagnetic field components inside a photonic crystal
We present a method to map the absolute electromagnetic field strength inside
photonic crystals. We apply the method to map the electric field component Ez
of a two-dimensional photonic crystal slab at microwave frequencies. The slab
is placed between two mirrors to select Bloch standing waves and a
subwavelength spherical scatterer is scanned inside the resulting resonator.
The resonant Bloch frequencies shift depending on the electric field at the
position of the scatterer. To map the electric field component Ez we measure
the frequency shift in the reflection and transmission spectrum of the slab
versus the scatterer position. Very good agreement is found between
measurements and calculations without any adjustable parameters.Comment: 12 pages, 7 figure
Superfluid-insulator transition of the Josephson junction array model with commensurate frustration
We have studied the rationally frustrated Josephson-junction array model in
the square lattice through Monte Carlo simulations of D XY-model. For
frustration , the model at zero temperature shows a continuous
superfluid-insulator transition. From the measurement of the correlation
function and the superfluid stiffness, we obtain the dynamical critical
exponent and the correlation length critical exponent . While the dynamical critical exponent is the same as that for cases
, 1/2, and 1/3, the correlation length critical exponent is surprisingly
quite different. When , we have the nature of a first-order transition.Comment: RevTex 4, to appear in PR
Magnetic excitations in the low-temperature ferroelectric phase of multiferroic YMn2O5 using inelastic neutron scattering
We studied magnetic excitations in a low-temperature ferroelectric phase of
the multiferroic YMn2O5 using inelastic neutron scattering (INS). We identify
low-energy magnon modes and establish a correspondence between the magnon peaks
observed by INS and electromagnon peaks observed in optical absorption [1].
Furthermore, we explain the microscopic mechanism, which results in the
lowest-energy electromagnon peak, by comparing the inelastic neutron spectral
weight with the polarization in the commensurate ferroelectric phase.Comment: 4 pages, 4 figure
The Parallel Persistent Memory Model
We consider a parallel computational model that consists of processors,
each with a fast local ephemeral memory of limited size, and sharing a large
persistent memory. The model allows for each processor to fault with bounded
probability, and possibly restart. On faulting all processor state and local
ephemeral memory are lost, but the persistent memory remains. This model is
motivated by upcoming non-volatile memories that are as fast as existing random
access memory, are accessible at the granularity of cache lines, and have the
capability of surviving power outages. It is further motivated by the
observation that in large parallel systems, failure of processors and their
caches is not unusual.
Within the model we develop a framework for developing locality efficient
parallel algorithms that are resilient to failures. There are several
challenges, including the need to recover from failures, the desire to do this
in an asynchronous setting (i.e., not blocking other processors when one
fails), and the need for synchronization primitives that are robust to
failures. We describe approaches to solve these challenges based on breaking
computations into what we call capsules, which have certain properties, and
developing a work-stealing scheduler that functions properly within the context
of failures. The scheduler guarantees a time bound of in expectation, where and are the work and
depth of the computation (in the absence of failures), is the average
number of processors available during the computation, and is the
probability that a capsule fails. Within the model and using the proposed
methods, we develop efficient algorithms for parallel sorting and other
primitives.Comment: This paper is the full version of a paper at SPAA 2018 with the same
nam
Levend of dood, dat is de vraag!
In de literatuur zijn voor de detectie van plantenpathogenen diverse methodieken beschreven. De biologische methodieken detecteren alleen levende organismen. Morfologische, serologische en moleculaire technieken maken mmestal geen onderscheid tussen dood en levend of infectieus en niet infectieus. Met name voor quarantaineorganismen is het onderscheid tussen levende en dode pathogenen van essentieel belang. Binnen het FES-programma 'Versterking infrastructuur plantgezondheid' is binnen werkpakket 3 'Ontwikkeling van methoden voor het aantonen van vitaliteit van plantenpathogenen' gewerkt aan de detectie van vitaliteit in nematoden, schimmels en bacteriën
Upper bounds for number of removed edges in the Erased Configuration Model
Models for generating simple graphs are important in the study of real-world
complex networks. A well established example of such a model is the erased
configuration model, where each node receives a number of half-edges that are
connected to half-edges of other nodes at random, and then self-loops are
removed and multiple edges are concatenated to make the graph simple. Although
asymptotic results for many properties of this model, such as the limiting
degree distribution, are known, the exact speed of convergence in terms of the
graph sizes remains an open question. We provide a first answer by analyzing
the size dependence of the average number of removed edges in the erased
configuration model. By combining known upper bounds with a Tauberian Theorem
we obtain upper bounds for the number of removed edges, in terms of the size of
the graph. Remarkably, when the degree distribution follows a power-law, we
observe three scaling regimes, depending on the power law exponent. Our results
provide a strong theoretical basis for evaluating finite-size effects in
networks
Detection of genomic regions underlying resistance to gastrointestinal parasites in Australian sheep
International audienceAbstractBackgroundThis study aimed at identifying genomic regions that underlie genetic variation of worm egg count, as an indicator trait for parasite resistance in a large population of Australian sheep, which was genotyped with the high-density 600 K Ovine single nucleotide polymorphism array. This study included 7539 sheep from different locations across Australia that underwent a field challenge with mixed gastrointestinal parasite species. Faecal samples were collected and worm egg counts for three strongyle species, i.e. Teladorsagia circumcincta, Haemonchus contortus and Trichostrongylus colubriformis were determined. Data were analysed using genome-wide association studies (GWAS) and regional heritability mapping (RHM).ResultsBoth RHM and GWAS detected a region on Ovis aries (OAR) chromosome 2 that was highly significantly associated with parasite resistance at a genome-wise false discovery rate of 5%. RHM revealed additional significant regions on OAR6, 18, and 24. Pathway analysis revealed 13 genes within these significant regions (SH3RF1, HERC2, MAP3K, CYFIP1, PTPN1, BIN1, HERC3, HERC5, HERC6, IBSP, SPP1, ISG20, and DET1), which have various roles in innate and acquired immune response mechanisms, as well as cytokine signalling. Other genes involved in haemostasis regulation and mucosal defence were also detected, which are important for protection of sheep against invading parasites.ConclusionsThis study identified significant genomic regions on OAR2, 6, 18, and 24 that are associated with parasite resistance in sheep. RHM was more powerful in detecting regions that affect parasite resistance than GWAS. Our results support the hypothesis that parasite resistance is a complex trait and is determined by a large number of genes with small effects, rather than by a few major genes with large effects
Progesterone for prevention of preterm birth in women with short cervical length : 2-year infant outcomes
ACKNOWLEDGMENTS The Triple P study is registered as NL1961. https://www.trialregister.nl/trial/1961 The original Triple P study was funded by ZonMW number 120620030. The follow-up study was funded by the Amsterdam UMC, Academic Medical Center. BWM is supported by a NHMRC Investigatorgrant (GNT1176437). BWM reports consultancy for ObsEva, Merck Merck KGaA, iGenomix and Guerbet.Peer reviewedPublisher PD
Actors, actions, and initiative in normative system specification
The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Thus, the notion of obligation to perform an action arises naturally in system specification. Intuitively, deontic logic presupposes the concept of anactor who undertakes actions and is responsible for fulfilling obligations. However, the concept of an actor has not been formalized until now in deontic logic. We present a formalization in dynamic logic, which allows us to express the actor who initiates actions or choices. This is then combined with a formalization, presented earlier, of deontic logic in dynamic logic, which allows us to specify obligations, permissions, and prohibitions to perform an action. The addition of actors allows us to expresswho has the responsibility to perform an action. In addition to the application of the concept of an actor in deontic logic, we discuss two other applications of actors. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate from CCS in favor of internal and external choice. We show that our generalization allows a more accurate specification of system behavior than is possible without it. Second, we show that actors can be used to resolve a long-standing paradox of deontic logic, called the paradox of free-choice permission. Towards the end of the paper, we discuss whether the concept of an actor can be combined with that of an object to formalize the concept of active objects
- …