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 $(2+1)$D XY-model. For frustration $f=1/4$, 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 $z=1.0$ and the correlation length critical exponent $\nu=0.4 \pm 0.05$. While the dynamical critical exponent is the same as that for cases $f=0$, 1/2, and 1/3, the correlation length critical exponent is surprisingly quite different. When $f=1/5$, 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 $P$ 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 $O(W/P_A + D(P/P_A) \lceil\log_{1/f} W\rceil)$ in expectation, where $W$ and $D$ are the work and depth of the computation (in the absence of failures), $P_A$ is the average number of processors available during the computation, and $f \le 1/2$ 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