Answering Conjunctive Queries under Updates

We consider the task of enumerating and counting answers to $k$-ary conjunctive queries against relational databases that may be updated by inserting or deleting tuples. We exhibit a new notion of q-hierarchical conjunctive queries and show that these can be maintained efficiently in the following sense. During a linear time preprocessing phase, we can build a data structure that enables constant delay enumeration of the query results; and when the database is updated, we can update the data structure and restart the enumeration phase within constant time. For the special case of self-join free conjunctive queries we obtain a dichotomy: if a query is not q-hierarchical, then query enumeration with sublinear$^\ast$ delay and sublinear update time (and arbitrary preprocessing time) is impossible. For answering Boolean conjunctive queries and for the more general problem of counting the number of solutions of k-ary queries we obtain complete dichotomies: if the query's homomorphic core is q-hierarchical, then size of the the query result can be computed in linear time and maintained with constant update time. Otherwise, the size of the query result cannot be maintained with sublinear update time. All our lower bounds rely on the OMv-conjecture, a conjecture on the hardness of online matrix-vector multiplication that has recently emerged in the field of fine-grained complexity to characterise the hardness of dynamic problems. The lower bound for the counting problem additionally relies on the orthogonal vectors conjecture, which in turn is implied by the strong exponential time hypothesis. $^\ast)$ By sublinear we mean $O(n^{1-\varepsilon})$ for some $\varepsilon>0$, where $n$ is the size of the active domain of the current database

Beyond Worst-Case Analysis for Joins with Minesweeper

We describe a new algorithm, Minesweeper, that is able to satisfy stronger runtime guarantees than previous join algorithms (colloquially, `beyond worst-case guarantees') for data in indexed search trees. Our first contribution is developing a framework to measure this stronger notion of complexity, which we call {\it certificate complexity}, that extends notions of Barbay et al. and Demaine et al.; a certificate is a set of propositional formulae that certifies that the output is correct. This notion captures a natural class of join algorithms. In addition, the certificate allows us to define a strictly stronger notion of runtime complexity than traditional worst-case guarantees. Our second contribution is to develop a dichotomy theorem for the certificate-based notion of complexity. Roughly, we show that Minesweeper evaluates $\beta$-acyclic queries in time linear in the certificate plus the output size, while for any $\beta$-cyclic query there is some instance that takes superlinear time in the certificate (and for which the output is no larger than the certificate size). We also extend our certificate-complexity analysis to queries with bounded treewidth and the triangle query.Comment: [This is the full version of our PODS'2014 paper.

A continuous non-linear shadowing model of columnar growth

We propose the first continuous model with long range screening (shadowing) that described columnar growth in one space dimension, as observed in plasma sputter deposition. It is based on a new continuous partial derivative equation with non-linear diffusion and where the shadowing effects apply on all the different processes.Comment: Fast Track Communicatio

Animal Models of Zika Virus Sexual Transmission

ZIKV was first identified in the 1940s as a mosquito-borne virus; however, sexual transmission, which is uncommon for arboviruses, was demonstrated more than 60 years later. Tissue culture and animal models have allowed scientists to study how this transmission is possible. Immunocompromised mice infected with ZIKV had high viral loads in their testes, and infection of immunocompetent female mice was achieved following intravaginal inoculation or inoculation via mating with an infected male. These mouse studies lead researchers to investigate the individual components of the male reproductive system. In cell culture and mouse models, ZIKV can persist in Sertoli and germ cells of the testes and epithelial cells in the epididymis, which may lead to sexual transmission even after ZIKV has been cleared from other tissues. ZIKV has also been studied in nonhuman primates (NHPs), which appears to mimic the limited human epidemiological data, with low rates of symptomatic individuals and similar clinical signs. Although refinement is needed, these animal models have proven to be key in ZIKV research and continue to help uncovering the mechanisms of sexual transmission. This review will focus on the animal models used to elucidate the mechanisms of sexual transmission and persistence of flaviviruses

Emergence of small-scale magnetic loops through the quiet solar atmosphere

We investigate the emergence of magnetic flux in the quiet Sun at very small spatial scales, focusing on the magnetic connection between the photosphere and chromosphere. The observational data consist of spectropolarimetric measurements and filtergrams taken with the Hinode satellite and the Dutch Open Telescope. We find that a significant fraction of the magnetic flux present in internetwork regions appears in the form of Omega-shaped loops. The emergence rate is 0.02 loops per hour and arcsec^{-2}, which brings 1.1 x 10^12 Mx s^{-1} arcsec^{-2} of new flux to the solar surface. Initially, the loops are observed as small patches of linear polarization above a granular cell. Shortly afterwards, two footpoints of opposite polarity become visible in circular polarization within or at the edges of the granule and start to move toward the adjacent intergranular space. The orientation of the footpoints does not seem to obey Hale's polarity rules. The loops are continuously buffeted by convective motions, but they always retain a high degree of coherence. Interestingly, 23% of the loops that emerge in the photosphere reach the chromosphere (16 cases out of 69). They are first detected in Fe I 630 nm magnetograms and 5 minutes later in Mg I b 517.3 nm magnetograms. After about 8 minutes, some of them are also observed in Ca II H line-core images, where the footpoints produce small brightness enhancements.Comment: Accepted for publication in Ap

In-situ Analysis of Laminated Composite Materials by X-ray Micro-Computed Tomography and Digital Volume Correlation

The complex mechanical behaviour of composite materials, due to internal heterogeneity and multi-layered composition impose deeper studies. This paper presents an experimental investigation technique to perform volume kinematic measurements in composite materials. The association of X-ray micro-computed tomography acquisitions and Digital Volume Correlation (DVC) technique allows the measurement of displacements and deformations in the whole volume of composite specimen. To elaborate the latter, composite fibres and epoxy resin are associated with metallic particles to create contrast during X-ray acquisition. A specific in situ loading device is presented for three-point bending tests, which enables the visualization of transverse shear effects in composite structures

L'épreuve de la descendance chez le porc large white français de 1953 a 1966. I. – Analyse de la variation

International audienc

Solar Carbon Monoxide, Thermal Profiling, and the Abundances of C, O, and their Isotopes

A solar photospheric "thermal profiling" analysis is presented, exploiting the infrared rovibrational bands of carbon monoxide (CO) as observed with the McMath-Pierce Fourier transform spectrometer (FTS) at Kitt Peak, and from above the Earth's atmosphere by the Shuttle-borne ATMOS experiment. Visible continuum intensities and center-limb behavior constrained the temperature profile of the deep photosphere, while CO center-limb behavior defined the thermal structure at higher altitudes. The oxygen abundance was self consistently determined from weak CO absorptions. Our analysis was meant to complement recent studies based on 3-D convection models which, among other things, have revised the historical solar oxygen (and carbon) abundance downward by a factor of nearly two; although in fact our conclusions do not support such a revision. Based on various considerations, an oxygen abundance of 700+/-100 ppm (parts per million relative to hydrogen) is recommended; the large uncertainty reflects the model sensitivity of CO. New solar isotopic ratios also are reported for 13C, 17O, and 18O.Comment: 90 pages, 19 figures (some with parts "a", "b", etc.); to be published in the Astrophysical Journal Supplement

Solid polymer fuel cell synthesis by low pressure plasmas: a short review

In this review, we report on the use of low pressure plasmas for elaborating materials at the heart of solid polymer fuel cells (SPFC), especially electrodes and the membrane electrolyte. Electrodes are formed using plasma sputtering techniques while the ion conducting membranes are built up using plasma polymerization. Fuel cell performance will be improved by these approaches. The electrode catalyst profile is optimized while membrane working temperature is increased and methanol crossover is lowered compared to conventional PEM fuel cells.We gratefully thank GdR 2479 PACEM, Université d'Orléans, SPI-CNRS, ACI ECD 2004 (Ministry of Research) for grants and constant support