The Lorentzian distance formula in noncommutative geometry

For almost twenty years, a search for a Lorentzian version of the well-known Connes' distance formula has been undertaken. Several authors have contributed to this search, providing important milestones, and the time has now come to put those elements together in order to get a valid and functional formula. This paper presents a historical review of the construction and the proof of a Lorentzian distance formula suitable for noncommutative geometry.Comment: 16 pages, final form, few references adde

Mol-CycleGAN - a generative model for molecular optimization

Designing a molecule with desired properties is one of the biggest challenges in drug development, as it requires optimization of chemical compound structures with respect to many complex properties. To augment the compound design process we introduce Mol-CycleGAN - a CycleGAN-based model that generates optimized compounds with high structural similarity to the original ones. Namely, given a molecule our model generates a structurally similar one with an optimized value of the considered property. We evaluate the performance of the model on selected optimization objectives related to structural properties (presence of halogen groups, number of aromatic rings) and to a physicochemical property (penalized logP). In the task of optimization of penalized logP of drug-like molecules our model significantly outperforms previous results

Can microsatellite data allow identification of oleaster Plio-Pleistocene refuge zones in the Mediterranean Basin?

International audienc

Electronic Footprints in the Sand: Technologies for Assisting Domestic Violence Survivors

With the rapid growth and spread of Internet-based social support systems, the impact that these systems can make to society – be it good or bad – has become more significant and can make a real difference to people’s lives. As such, various aspects of these systems need to be carefully investigated and analysed, including their security/privacy issues. In this paper, we present our work in designing and implementing various technological features that can be used to assist domestic violence survivors in obtaining help without leaving traces which might lead to further violence from their abuser. This case study serves as the core of our paper, in which we outline our approach, various de- sign considerations – including difficulties in keeping browsing history private, our currently implemented solutions (single use URL, targeted history sanitita- tion agent, and secret graphical gateway), as well as novel ideas for future work (including location-based service advertising and deployment in the wild)

A Default Logic Patch for Default Logic

International audienceThis paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, it is shown that replacing each formula belonging to Minimally Unsatisfiable Subformulas by a corresponding supernormal default allows appealing features. Moreover, it is investigated how these additional defaults interact with the initial defaults of the theory. Interestingly, this approach allows us to handle the problem of default theories containing inconsistent standard-logic knowledge, using the default logic framework itself

On the origin of the invasive olives (Olea europaea L., Oleaceae).

The olive tree (Olea europaea) has successfully invaded several regions in Australia and Pacific islands. Two olive subspecies (subspp. europaea and cuspidata) were first introduced in these areas during the nineteenth century. In the present study, we determine the origin of invasive olives and investigate the importance of historical effects on the genetic diversity of populations. Four invasive populations from Australia and Hawaii were characterized using eight nuclear DNA microsatellites, plastid DNA markers as well as ITS-1 sequences. Based on these data, their genetic similarity with native populations was investigated, and it was determined that East Australian and Hawaiian populations (subsp. cuspidata) have originated from southern Africa while South Australian populations (subsp. europaea) have mostly derived from western or central Mediterranean cultivars. Invasive populations of subsp. cuspidata showed significant loss of genetic diversity in comparison to a putative source population, and a recent bottleneck was evidenced in Hawaii. Conversely, invasive populations of subsp. europaea did not display significant loss of genetic diversity in comparison to a native Mediterranean population. Different histories of invasion were inferred for these two taxa with multiple cultivars introduced restoring gene diversity for europaea and a single successful founder event and sequential introductions to East Australia and then Hawaii for cuspidata. Furthermore, one hybrid (cuspidata x europaea) was identified in East Australia. The importance of hybridizations in the future evolution of the olive invasiveness remains to be investigated

A saturated consensus linkage map of Picea abies including AFLP, SSR, STS, 5S rDNA and morphological markers

International audienc

Assessment of digital image correlation measurement errors: methodology and results

Optical full-field measurement methods such as Digital Image Correlation (DIC) are increasingly used in the field of experimental mechanics, but they still suffer from a lack of information about their metrological performances. To assess the performance of DIC techniques and give some practical rules for users, a collaborative work has been carried out by the Workgroup “Metrology” of the French CNRS research network 2519 “MCIMS (Mesures de Champs et Identification en Mécanique des Solides / Full-field measurement and identification in solid mechanics, http://www.ifma.fr/lami/gdr2519)”. A methodology is proposed to assess the metrological performances of the image processing algorithms that constitute their main component, the knowledge of which being required for a global assessment of the whole measurement system. The study is based on displacement error assessment from synthetic speckle images. Series of synthetic reference and deformed images with random patterns have been generated, assuming a sinusoidal displacement field with various frequencies and amplitudes. Displacements are evaluated by several DIC packages based on various formulations and used in the French community. Evaluated displacements are compared with the exact imposed values and errors are statistically analyzed. Results show general trends rather independent of the implementations but strongly correlated with the assumptions of the underlying algorithms. Various error regimes are identified, for which the dependence of the uncertainty with the parameters of the algorithms, such as subset size, gray level interpolation or shape functions, is discussed