Atmospheric turbulence in phase-referenced and wide-field interferometric images: Application to the SKA

Phase referencing is a standard calibration procedure in radio interferometry. It allows to detect weak sources by using quasi-simultaneous observations of closeby sources acting as calibrators. Therefore, it is assumed that, for each antenna, the optical paths of the signals from both sources are similar. However, atmospheric turbulence may introduce strong differences in the optical paths of the signals and affect, or even waste, phase referencing for cases of relatively large calibrator-to-target separations and/or bad weather. The situation is similar in wide-field observations, since the random deformations of the images, mostly caused by atmospheric turbulence, have essentially the same origin as the random astrometric variations of phase-referenced sources with respect to the phase center of their calibrators. In this paper, we present the results of a Monte Carlo study of the astrometric precision and sensitivity of an interferometric array (a realization of the Square Kilometre Array, SKA) in phase-referenced and wide-field observations. These simulations can be extrapolated to other arrays by applying the corresponding corrections. We consider several effects from the turbulent atmosphere (i.e., ionosphere and wet component of the troposphere) and also from the antenna receivers. We study the changes in dynamic range and astrometric precision as a function of observing frequency, source separation, and strength of the turbulence. We find that, for frequencies between 1 and 10 GHz, it is possible to obtain images with high fidelity, although the atmosphere strongly limits the sensitivity of the instrument compared to the case with no atmosphere. Outside this frequency window, the dynamic range of the images and the accuracy of the source positions decrease. [...] (Incomplete abstract. Please read manuscript.)Comment: 9 pages, 11 figures. Accepted for publication in A&A

Taking SPARQL 1.1 extensions into account in the SWIP system

International audienceThe SWIP system aims at hiding the complexity of expressing a query in a graph query language such as SPARQL. We propose a mechanism by which a query expressed in natural language is translated into a SPARQL query. Our system analyses the sentence in order to exhibit concepts, instances and relations. Then it generates a query in an internal format called the pivot language. Finally, it selects pre-written query patterns and instantiates them with regard to the keywords of the initial query. These queries are presented by means of explicative natural language sentences among which the user can select the query he/she is actually interested in. We are currently focusing on new kinds of queries which are handled by the new version of our system, which is now based on the 1.1 version of SPARQL

Strategic assessment of research priorities for sweetpotato.

The following report presents an ex‐ante evaluation of priority research options for sweetpotato carried out in the scope of the strategic assessment of research priorities for the CGIAR Research Program on Roots, Tubers, and Bananas (RTB). It contains the results from the economic surplus model used for the assessment, which are extended to include estimations of the number of beneficiaries and poverty reduction effects. The report identifies and describes the sweetpotato research options taken into consideration for and included into the assessment. The socioeconomic and technological parameters used as input data for the analysis are described and information on the elicitation process and data sources is provided. Results are presented so as to explain the outputs obtained and interpreted with respect to the relevant differences between research option

Modeling Trap-Awareness and Related Phenomena in Capture-Recapture Studies

Trap-awareness and related phenomena whereby successive capture events are not independent is a feature of the majority of capture-recapture studies. This phenomenon was up to now difficult to incorporate in open population models and most authors have chosen to neglect it although this may have damaging consequences. Focusing on the situation where animals exhibit a trap response at the occasion immediately following one where they have been trapped but revert to their original naïve state if they are missed once, we show that trap-dependence is more naturally viewed as a state transition and is amenable to the current models of capture-recapture. This approach has the potential to accommodate lasting or progressively waning trap effects

Rings and rigidity transitions in network glasses

Three elastic phases of covalent networks, (I) floppy, (II) isostatically rigid and (III) stressed-rigid have now been identified in glasses at specific degrees of cross-linking (or chemical composition) both in theory and experiments. Here we use size-increasing cluster combinatorics and constraint counting algorithms to study analytically possible consequences of self-organization. In the presence of small rings that can be locally I, II or III, we obtain two transitions instead of the previously reported single percolative transition at the mean coordination number $\bar r=2.4$, one from a floppy to an isostatic rigid phase, and a second one from an isostatic to a stressed rigid phase. The width of the intermediate phase $~ \bar r$ and the order of the phase transitions depend on the nature of medium range order (relative ring fractions). We compare the results to the Group IV chalcogenides, such as Ge-Se and Si-Se, for which evidence of an intermediate phase has been obtained, and for which estimates of ring fractions can be made from structures of high T crystalline phases.Comment: 29 pages, revtex, 7 eps figure

Faster linearizability checking via PP-compositionality

Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects) are linearizable. This paper presents $P$-compositionality, which generalizes the idea behind the locality principle to operations on the same concurrent data type. We implement $P$-compositionality in a novel linearizability checker. Our experiments with over nine implementations of concurrent sets, including Intel's TBB library, show that our linearizability checker is one order of magnitude faster and/or more space efficient than the state-of-the-art algorithm.Comment: 15 pages, 2 figure

A Test for the Underlying State-Structure of Hidden Markov Models: Partially Observed Capture-Recapture Data

Hidden Markov models (HMMs) are being widely used in the field of ecological modeling, however determining the number of underlying states in an HMM remains a challenge. Here we examine a special case of capture-recapture models for open populations, where some animals are observed but it is not possible to ascertain their state (partial observations), whilst the other animals' states are assigned without error (complete observations). We propose a mixture test of the underlying state structure generating the partial observations, which assesses whether they are compatible with the set of states observed in the complete observations. We demonstrate the good performance of the test using simulation and through application to a data set of Canada Geese

Interactions with M cells and macrophages as key steps in the pathogenesis of enterohemorrhagic Escherichia coli infections

Enterohemorrhagic Escherichia coli (EHEC) are food-borne pathogens that can cause serious infections ranging from diarrhea to hemorrhagic colitis (HC) and hemolytic-uremic syndrome (HUS). Translocation of Shiga-toxins (Stx) from the gut lumen to underlying tissues is a decisive step in the development of the infection, but the mechanisms involved remain unclear. Many bacterial pathogens target the follicle-associated epithelium, which overlies Peyer's patches (PPs), cross the intestinal barrier through M cells and are captured by mucosal macrophages. Here, translocation across M cells, as well as survival and proliferation of EHEC strains within THP-1 macrophages were investigated using EHEC O157:H7 reference strains, isogenic mutants, and 15 EHEC strains isolated from HC/HUS patients. We showed for the first time that E. coli O157:H7 strains are able to interact in vivo with murine PPs, to translocate ex vivo through murine ileal mucosa with PPs and across an in vitro human M cell model. EHEC strains are also able to survive and to produce Stx in macrophages, which induce cell apoptosis and Stx release. In conclusion, our results suggest that the uptake of EHEC by M cells and underlying macrophages in the PP may be a critical step in Stx translocation and release in vivo. A new model for EHEC infection in humans is proposed that could help in a fuller understanding of EHEC-associated diseases