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

2-D constrained Navier-Stokes equation and intermediate asymptotics

We introduce a modified version of the two-dimensional Navier-Stokes equation, preserving energy and momentum of inertia, which is motivated by the occurrence of different dissipation time scales and related to the gradient flow structure of the 2-D Navier-Stokes equation. The hope is to understand intermediate asymptotics. The analysis we present here is purely formal. A rigorous study of this equation will be done in a forthcoming paper

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

The phase shift of line solitons for the KP-II equation

The KP-II equation was derived by [B. B. Kadomtsev and V. I. Petviashvili,Sov. Phys. Dokl. vol.15 (1970), 539-541] to explain stability of line solitary waves of shallow water. Stability of line solitons has been proved by [T. Mizumachi, Mem. of vol. 238 (2015), no.1125] and [T. Mizumachi, Proc. Roy. Soc. Edinburgh Sect. A. vol.148 (2018), 149--198]. It turns out the local phase shift of modulating line solitons are not uniform in the transverse direction. In this paper, we obtain the $L^\infty$-bound for the local phase shift of modulating line solitons for polynomially localized perturbations

Environmental factors influence both abundance and genetic diversity in a widespread bird species.

Genetic diversity is one of the key evolutionary variables that correlate with population size, being of critical importance for population viability and the persistence of species. Genetic diversity can also have important ecological consequences within populations, and in turn, ecological factors may drive patterns of genetic diversity. However, the relationship between the genetic diversity of a population and how this interacts with ecological processes has so far only been investigated in a few studies. Here, we investigate the link between ecological factors, local population size, and allelic diversity, using a field study of a common bird species, the house sparrow (Passer domesticus). We studied sparrows outside the breeding season in a confined small valley dominated by dispersed farms and small-scale agriculture in southern France. Population surveys at 36 locations revealed that sparrows were more abundant in locations with high food availability. We then captured and genotyped 891 house sparrows at 10 microsatellite loci from a subset of these locations (N = 12). Population genetic analyses revealed weak genetic structure, where each locality represented a distinct substructure within the study area. We found that food availability was the main factor among others tested to influence the genetic structure between locations. These results suggest that ecological factors can have strong impacts on both population size per se and intrapopulation genetic variation even at a small scale. On a more general level, our data indicate that a patchy environment and low dispersal rate can result in fine-scale patterns of genetic diversity. Given the importance of genetic diversity for population viability, combining ecological and genetic data can help to identify factors limiting population size and determine the conservation potential of populations

Imaging the symmetry breaking of molecular orbitals in carbon nanotubes

Carbon nanotubes have attracted considerable interest for their unique electronic properties. They are fascinating candidates for fundamental studies of one dimensional materials as well as for future molecular electronics applications. The molecular orbitals of nanotubes are of particular importance as they govern the transport properties and the chemical reactivity of the system. Here we show for the first time a complete experimental investigation of molecular orbitals of single wall carbon nanotubes using atomically resolved scanning tunneling spectroscopy. Local conductance measurements show spectacular carbon-carbon bond asymmetry at the Van Hove singularities for both semiconducting and metallic tubes, demonstrating the symmetry breaking of molecular orbitals in nanotubes. Whatever the tube, only two types of complementary orbitals are alternatively observed. An analytical tight-binding model describing the interference patterns of ? orbitals confirmed by ab initio calculations, perfectly reproduces the experimental results

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

Atomistic mechanisms for the ordered growth of Co nano-dots on Au(788): comparison of VT-STM experiments and multi-scaled calculations

Hetero-epitaxial growth on a strain-relief vicinal patterned substrate has revealed unprecedented 2D long range ordered growth of uniform cobalt nanostructures. The morphology of a Co sub-monolayer deposit on a Au(111) reconstructed vicinal surface is analyzed by Variable Temperature Scanning Tunneling Microscopy (VT-STM) experiments. A rectangular array of nano-dots (3.8 nm x 7.2 nm) is found for a particularly large deposit temperature range lying from 60 K to 300 K. Although the nanodot lattice is stable at room temperature, this paper focus on the early stage of ordered nucleation and growth at temperatures between 35 K and 480 K. The atomistic mechanisms leading to the nanodots array are elucidated by comparing statistical analysis of VT-STM images with multi-scaled numerical calculations combining both Molecular Dynamics for the quantitative determination of the activation energies for the atomic motion and the Kinetic Monte Carlo method for the simulations of the mesoscopic time and scale evolution of the Co submonolayer