High Resolution Zero-Shot Domain Adaptation of Synthetically Rendered Face Images

Generating photorealistic images of human faces at scale remains a prohibitively difficult task using computer graphics approaches. This is because these require the simulation of light to be photorealistic, which in turn requires physically accurate modelling of geometry, materials, and light sources, for both the head and the surrounding scene. Non-photorealistic renders however are increasingly easy to produce. In contrast to computer graphics approaches, generative models learned from more readily available 2D image data have been shown to produce samples of human faces that are hard to distinguish from real data. The process of learning usually corresponds to a loss of control over the shape and appearance of the generated images. For instance, even simple disentangling tasks such as modifying the hair independently of the face, which is trivial to accomplish in a computer graphics approach, remains an open research question. In this work, we propose an algorithm that matches a non-photorealistic, synthetically generated image to a latent vector of a pretrained StyleGAN2 model which, in turn, maps the vector to a photorealistic image of a person of the same pose, expression, hair, and lighting. In contrast to most previous work, we require no synthetic training data. To the best of our knowledge, this is the first algorithm of its kind to work at a resolution of 1K and represents a significant leap forward in visual realism

Asymptotic information leakage under one-try attacks

We study the asymptotic behaviour of (a) information leakage and (b) adversary’s error probability in information hiding systems modelled as noisy channels. Specifically, we assume the attacker can make a single guess after observing n independent executions of the system, throughout which the secret information is kept fixed. We show that the asymptotic behaviour of quantities (a) and (b) can be determined in a simple way from the channel matrix. Moreover, simple and tight bounds on them as functions of n show that the convergence is exponential. We also discuss feasible methods to evaluate the rate of convergence. Our results cover both the Bayesian case, where a prior probability distribution on the secrets is assumed known to the attacker, and the maximum-likelihood case, where the attacker does not know such distribution. In the Bayesian case, we identify the distributions that maximize the leakage. We consider both the min-entropy setting studied by Smith and the additive form recently proposed by Braun et al., and show the two forms do agree asymptotically. Next, we extend these results to a more sophisticated eavesdropping scenario, where the attacker can perform a (noisy) observation at each state of the computation and the systems are modelled as hidden Markov models

Transonic Shocks In Multidimensional Divergent Nozzles

We establish existence, uniqueness and stability of transonic shocks for steady compressible non-isentropic potential flow system in a multidimensional divergent nozzle with an arbitrary smooth cross-section, for a prescribed exit pressure. The proof is based on solving a free boundary problem for a system of partial differential equations consisting of an elliptic equation and a transport equation. In the process, we obtain unique solvability for a class of transport equations with velocity fields of weak regularity(non-Lipschitz), an infinite dimensional weak implicit mapping theorem which does not require continuous Frechet differentiability, and regularity theory for a class of elliptic partial differential equations with discontinuous oblique boundary conditions.Comment: 54 page

Spherical parameterization for genus zero surfaces using Laplace-Beltrami eigenfunctions

International audienceIn this work, we propose a fast and simple approach to obtain a spherical parameterization of a certain class of closed surfaces without holes. Our approach relies on empirical findings that can be mathematically investigated, to a certain extent, by using Laplace-Beltrami Operator and associated geometrical tools. The mapping proposed here is defined by considering only the three first non-trivial eigenfunctions of the Laplace-Beltrami Operator. Our approach requires a topological condition on those eigenfunctions, whose nodal domains must be 2. We show the efficiency of the approach through numerical experiments performed on cortical surface meshes

First observations and performance of the RPW instrument onboard the Solar Orbiter mission

The Radio and Plasma Waves (RPW) instrument on the ESA Solar Orbiter mission is designed to measure in situ magnetic and electric fields and waves from the continuum up to several hundred kHz. The RPW also observes solar and heliospheric radio emissions up to 16 MHz. It was switched on and its antennae were successfully deployed two days after the launch of Solar Orbiter on February 10, 2020. Since then, the instrument has acquired enough data to make it possible to assess its performance and the electromagnetic disturbances it experiences. In this article, we assess its scientific performance and present the first RPW observations. In particular, we focus on a statistical analysis of the first observations of interplanetary dust by the instrument’s Thermal Noise Receiver. We also review the electro-magnetic disturbances that RPW suffers, especially those which potential users of the instrument data should be aware of before starting their research work

SNiPlay: a web-based tool for detection, management and analysis of SNPs. Application to grapevine diversity projects

<p>Abstract</p> <p>Background</p> <p>High-throughput re-sequencing, new genotyping technologies and the availability of reference genomes allow the extensive characterization of Single Nucleotide Polymorphisms (SNPs) and insertion/deletion events (indels) in many plant species. The rapidly increasing amount of re-sequencing and genotyping data generated by large-scale genetic diversity projects requires the development of integrated bioinformatics tools able to efficiently manage, analyze, and combine these genetic data with genome structure and external data.</p> <p>Results</p> <p>In this context, we developed SNiPlay, a flexible, user-friendly and integrative web-based tool dedicated to polymorphism discovery and analysis. It integrates:</p> <p>1) a pipeline, freely accessible through the internet, combining existing softwares with new tools to detect SNPs and to compute different types of statistical indices and graphical layouts for SNP data. From standard sequence alignments, genotyping data or Sanger sequencing traces given as input, SNiPlay detects SNPs and indels events and outputs submission files for the design of Illumina's SNP chips. Subsequently, it sends sequences and genotyping data into a series of modules in charge of various processes: physical mapping to a reference genome, annotation (genomic position, intron/exon location, synonymous/non-synonymous substitutions), SNP frequency determination in user-defined groups, haplotype reconstruction and network, linkage disequilibrium evaluation, and diversity analysis (Pi, Watterson's Theta, Tajima's D).</p> <p>Furthermore, the pipeline allows the use of external data (such as phenotype, geographic origin, taxa, stratification) to define groups and compare statistical indices.</p> <p>2) a database storing polymorphisms, genotyping data and grapevine sequences released by public and private projects. It allows the user to retrieve SNPs using various filters (such as genomic position, missing data, polymorphism type, allele frequency), to compare SNP patterns between populations, and to export genotyping data or sequences in various formats.</p> <p>Conclusions</p> <p>Our experiments on grapevine genetic projects showed that SNiPlay allows geneticists to rapidly obtain advanced results in several key research areas of plant genetic diversity. Both the management and treatment of large amounts of SNP data are rendered considerably easier for end-users through automation and integration. Current developments are taking into account new advances in high-throughput technologies.</p> <p>SNiPlay is available at: <url>http://sniplay.cirad.fr/</url>.</p

Mapping the multicausality of Alzheimer's disease through group model building.

Alzheimer's disease (AD) is a complex, multicausal disorder involving several spatiotemporal scales and scientific domains. While many studies focus on specific parts of this system, the complexity of AD is rarely studied as a whole. In this work, we apply systems thinking to map out known causal mechanisms and risk factors ranging from intracellular to psychosocial scales in sporadic AD. We report on the first systemic causal loop diagram (CLD) for AD, which is the result of an interdisciplinary group model building (GMB) process. The GMB was based on the input of experts from multiple domains and all proposed mechanisms were supported by scientific literature. The CLD elucidates interaction and feedback mechanisms that contribute to cognitive decline from midlife onward as described by the experts. As an immediate outcome, we observed several non-trivial reinforcing feedback loops involving factors at multiple spatial scales, which are rarely considered within the same theoretical framework. We also observed high centrality for modifiable risk factors such as social relationships and physical activity, which suggests they may be promising leverage points for interventions. This illustrates how a CLD from an interdisciplinary GMB process may lead to novel insights into complex disorders. Furthermore, the CLD is the first step in the development of a computational model for simulating the effects of risk factors on AD

Erratum: The solar orbiter radio and plasma waves (RPW) instrument (Astronomy and Astrophysics (2020) 642 (A12) DOI: 10.1051/0004-6361/201936214)

The erratum concerns Fig. 9 entitled "Antenna radio-electrical properties" for which some of the parameters are not correct. The new figure with new parameters is provided in Fig. 1 of this corrigendum. Fig. 1. Corrected Antenna radio-electrical properties. (Figure Presented)

Genetic diversity, linkage disequilibrium and power of a large grapevine (Vitis vinifera L) diversity panel newly designed for association studies

UMR-AGAP Equipe DAVV (Diversité, adaptation et amélioration de la vigne) ; équipe ID (Intégration de Données)International audienceAbstractBackgroundAs for many crops, new high-quality grapevine varieties requiring less pesticide and adapted to climate change are needed. In perennial species, breeding is a long process which can be speeded up by gaining knowledge about quantitative trait loci linked to agronomic traits variation. However, due to the long juvenile period of these species, establishing numerous highly recombinant populations for high resolution mapping is both costly and time-consuming. Genome wide association studies in germplasm panels is an alternative method of choice, since it allows identifying the main quantitative trait loci with high resolution by exploiting past recombination events between cultivars. Such studies require adequate panel design to represent most of the available genetic and phenotypic diversity. Assessing linkage disequilibrium extent and panel power is also needed to determine the marker density required for association studies.ResultsStarting from the largest grapevine collection worldwide maintained in Vassal (France), we designed a diversity panel of 279 cultivars with limited relatedness, reflecting the low structuration in three genetic pools resulting from different uses (table vs wine) and geographical origin (East vs West), and including the major founders of modern cultivars. With 20 simple sequence repeat markers and five quantitative traits, we showed that our panel adequately captured most of the genetic and phenotypic diversity existing within the entire Vassal collection. To assess linkage disequilibrium extent and panel power, we genotyped single nucleotide polymorphisms: 372 over four genomic regions and 129 distributed over the whole genome. Linkage disequilibrium, measured by correlation corrected for kinship, reached 0.2 for a physical distance between 9 and 458 Kb depending on genetic pool and genomic region, with varying size of linkage disequilibrium blocks. This panel achieved reasonable power to detect associations between traits with high broad-sense heritability (> 0.7) and causal loci with intermediate allelic frequency and strong effect (explaining > 10 % of total variance).ConclusionsOur association panel constitutes a new, highly valuable resource for genetic association studies in grapevine, and deserves dissemination to diverse field and greenhouse trials to gain more insight into the genetic control of many agronomic traits and their interaction with the environment

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

International audienceThis article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [8, 9]. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking