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

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

Algebraic Correlation Function and Anomalous Diffusion in the HMF model

In the quasi-stationary states of the Hamiltonian Mean-Field model, we numerically compute correlation functions of momenta and diffusion of angles with homogeneous initial conditions. This is an example, in a N-body Hamiltonian system, of anomalous transport properties characterized by non exponential relaxations and long-range temporal correlations. Kinetic theory predicts a striking transition between weak anomalous diffusion and strong anomalous diffusion. The numerical results are in excellent agreement with the quantitative predictions of the anomalous transport exponents. Noteworthy, also at statistical equilibrium, the system exhibits long-range temporal correlations: the correlation function is inversely proportional to time with a logarithmic correction instead of the usually expected exponential decay, leading to weak anomalous transport properties