Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web

In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we consider peer-to-peer inference systems in which the local theory of each peer is a set of propositional clauses defined upon a local vocabulary. An important characteristic of peer-to-peer inference systems is that the global theory (the union of all peer theories) is not known (as opposed to partition-based reasoning systems). The main contribution of this paper is to provide the first consequence finding algorithm in a peer-to-peer setting: DeCA. It is anytime and computes consequences gradually from the solicited peer to peers that are more and more distant. We exhibit a sufficient condition on the acquaintance graph of the peer-to-peer inference system for guaranteeing the completeness of this algorithm. Another important contribution is to apply this general distributed reasoning setting to the setting of the Semantic Web through the Somewhere semantic peer-to-peer data management system. The last contribution of this paper is to provide an experimental analysis of the scalability of the peer-to-peer infrastructure that we propose, on large networks of 1000 peers

Focal plane wavefront sensor achromatization : The multireference self-coherent camera

High contrast imaging and spectroscopy provide unique constraints for exoplanet formation models as well as for planetary atmosphere models. But this can be challenging because of the planet-to-star small angular separation and high flux ratio. Recently, optimized instruments like SPHERE and GPI were installed on 8m-class telescopes. These will probe young gazeous exoplanets at large separations (~1au) but, because of uncalibrated aberrations that induce speckles in the coronagraphic images, they are not able to detect older and fainter planets. There are always aberrations that are slowly evolving in time. They create quasi-static speckles that cannot be calibrated a posteriori with sufficient accuracy. An active correction of these speckles is thus needed to reach very high contrast levels (>1e7). This requires a focal plane wavefront sensor. Our team proposed the SCC, the performance of which was demonstrated in the laboratory. As for all focal plane wavefront sensors, these are sensitive to chromatism and we propose an upgrade that mitigates the chromatism effects. First, we recall the principle of the SCC and we explain its limitations in polychromatic light. Then, we present and numerically study two upgrades to mitigate chromatism effects: the optical path difference method and the multireference self-coherent camera. Finally, we present laboratory tests of the latter solution. We demonstrate in the laboratory that the MRSCC camera can be used as a focal plane wavefront sensor in polychromatic light using an 80 nm bandwidth at 640 nm. We reach a performance that is close to the chromatic limitations of our bench: contrast of 4.5e-8 between 5 and 17 lambda/D. The performance of the MRSCC is promising for future high-contrast imaging instruments that aim to actively minimize the speckle intensity so as to detect and spectrally characterize faint old or light gaseous planets.Comment: 14 pages, 20 figure

Cation distribution in manganese cobaltite spinels Co3−xMnxO4 (0 ≤ x ≤ 1) determined by thermal analysis

Thermogravimetric analysis was used in order to study the reduction in air of submicronic powders of Co3−x Mn x O4 spinels, with 0 ≤ x ≤ 1. For x = 0 (i.e. Co3O4), cation reduction occurred in a single step. It involved the CoIII ions at the octahedral sites, which were reduced to Co2+ on producing CoO. For 0 < x ≤ 1, the reduction occurred in two stages at increasing temperature with increasing amounts of manganese. The first step corresponded to the reduction of octahedral CoIII ions and the second was attributed to the reduction of octahedral Mn4+ ions to Mn3+. From the individual weight losses and the electrical neutrality of the lattice, the CoIII and Mn4+ ion concentrations were calculated. The distribution of cobalt and manganese ions present on each crystallographic site of the spinel was determined. In contrast to most previous studies that took into account either CoIII and Mn3+ or Co2+, CoIII and Mn4+ only, our thermal analysis study showed that Co2+/CoIII and Mn3+/Mn4+ pairs occupy the octahedral sites. These results were used to explain the resistivity measurements carried out on dense ceramics prepared from our powders sintered at low temperature (700–750 °C) in a Spark Plasma Sintering apparatus

Laboratory validation of the dual-zone phase mask coronagraph in broadband light at the high-contrast imaging THD-testbed

Specific high contrast imaging instruments are mandatory to characterize circumstellar disks and exoplanets around nearby stars. Coronagraphs are commonly used in these facilities to reject the diffracted light of an observed star and enable the direct imaging and spectroscopy of its circumstellar environment. One important property of the coronagraph is to be able to work in broadband light. Among several proposed coronagraphs, the dual-zone phase mask coronagraph is a promising solution for starlight rejection in broadband light. In this paper, we perform the first validation of this concept in laboratory. First, we recall the principle of the dual-zone phase mask coronagraph. Then, we describe the high-contrast imaging THD testbed, the manufacturing of the components and the quality-control procedures. Finally, we study the sensitivity of our coronagraph to low-order aberrations (inner working angle and defocus) and estimate its contrast performance. Our experimental broadband light results are compared with numerical simulations to check agreement with the performance predictions. With the manufactured prototype and using a dark hole technique based on the self-coherent camera, we obtain contrast levels down to $2\,10^{-8}$ between 5 and 17$\,\lambda_0/D$ in monochromatic light (640 nm). We also reach contrast levels of $4\,10^{-8}$ between 7 and 17$\lambda_0/D$ in broadband ($\lambda_0=675$ nm, $\Delta\lambda=250$ nm and $\Delta\lambda / \lambda_0 = 40$ %), which demonstrates the excellent chromatic performance of the dual-zone phase mask coronagraph. The performance reached by the dual-zone phase mask coronagraph is promising for future high-contrast imaging instruments that aim at detecting and spectrally characterizing old or light gaseous planets.Comment: 9 pages, 16 figure

Random copying in space

Random copying is a simple model for population dynamics in the absence of selection, and has been applied to both biological and cultural evolution. In this work, we investigate the effect that spatial structure has on the dynamics. We focus in particular on how a measure of the diversity in the population changes over time. We show that even when the vast majority of a population's history may be well-described by a spatially-unstructured model, spatial structure may nevertheless affect the expected level of diversity seen at a local scale. We demonstrate this phenomenon explicitly by examining the random copying process on small-world networks, and use our results to comment on the use of simple random-copying models in an empirical context.Comment: 26 pages, 11 figures. Based on invited talk at AHRC CECD Conference on "Cultural Evolution in Spatially Structured Populations" at UCL, September 2010. To appear in ACS - Advances in Complex System

Joint evolution of multiple social traits: a kin selection analysis

General models of the evolution of cooperation, altruism and other social behaviours have focused almost entirely on single traits, whereas it is clear that social traits commonly interact. We develop a general kin-selection framework for the evolution of social behaviours in multiple dimensions. We show that whenever there are interactions among social traits new behaviours can emerge that are not predicted by one-dimensional analyses. For example, a prohibitively costly cooperative trait can ultimately be favoured owing to initial evolution in other (cheaper) social traits that in turn change the cost-benefit ratio of the original trait. To understand these behaviours, we use a two-dimensional stability criterion that can be viewed as an extension of Hamilton's rule. Our principal example is the social dilemma posed by, first, the construction and, second, the exploitation of a shared public good. We find that, contrary to the separate one-dimensional analyses, evolutionary feedback between the two traits can cause an increase in the equilibrium level of selfish exploitation with increasing relatedness, while both social (production plus exploitation) and asocial (neither) strategies can be locally stable. Our results demonstrate the importance of emergent stability properties of multidimensional social dilemmas, as one-dimensional stability in all component dimensions can conceal multidimensional instability

An aperture masking mode for the MICADO instrument

MICADO is a near-IR camera for the Europea ELT, featuring an extended field (75" diameter) for imaging, and also spectrographic and high contrast imaging capabilities. It has been chosen by ESO as one of the two first-light instruments. Although it is ultimately aimed at being fed by the MCAO module called MAORY, MICADO will come with an internal SCAO system that will be complementary to it and will deliver a high performance on axis correction, suitable for coronagraphic and pupil masking applications. The basis of the pupil masking approach is to ensure the stability of the optical transfer function, even in the case of residual errors after AO correction (due to non common path errors and quasi-static aberrations). Preliminary designs of pupil masks are presented. Trade-offs and technical choices, especially regarding redundancy and pupil tracking, are explained.Comment: SPIE 2014 Proceeding -- Montrea