Sharing Ghost Variables in a Collection of Abstract Domains

International audienceWe propose a framework in which we share ghost variables across a collection of abstract domains allowing precise proofs of complex properties. In abstract interpretation, it is often necessary to be able to express complex properties while doing a precise analysis. A way to achieve that is to combine a collection of domains, each handling some kind of properties, using a reduced product. Separating domains allows an easier and more modular implementation, and eases soundness and termination proofs. This way, we can add a domain for any kind of property that is interesting. The reduced product, or an approximation of it, is in charge of refining abstract states, making the analysis precise. In program verification, ghost variables can be used to ease proofs of properties by storing intermediate values that do not appear directly in the execution. We propose a reduced product of abstract domains that allows domains to use ghost variables to ease the representation of their internal state. Domains must be totally agnostic with respect to other existing domains. In particular the handling of ghost variables must be entirely decentralized while still ensuring soundness and termination of the analysis

PERT: A Method for Expression Deconvolution of Human Blood Samples from Varied Microenvironmental and Developmental Conditions

The cellular composition of heterogeneous samples can be predicted using an expression deconvolution algorithm to decompose their gene expression profiles based on pre-defined, reference gene expression profiles of the constituent populations in these samples. However, the expression profiles of the actual constituent populations are often perturbed from those of the reference profiles due to gene expression changes in cells associated with microenvironmental or developmental effects. Existing deconvolution algorithms do not account for these changes and give incorrect results when benchmarked against those measured by well-established flow cytometry, even after batch correction was applied. We introduce PERT, a new probabilistic expression deconvolution method that detects and accounts for a shared, multiplicative perturbation in the reference profiles when performing expression deconvolution. We applied PERT and three other state-of-the-art expression deconvolution methods to predict cell frequencies within heterogeneous human blood samples that were collected under several conditions (uncultured mono-nucleated and lineage-depleted cells, and culture-derived lineage-depleted cells). Only PERT's predicted proportions of the constituent populations matched those assigned by flow cytometry. Genes associated with cell cycle processes were highly enriched among those with the largest predicted expression changes between the cultured and uncultured conditions. We anticipate that PERT will be widely applicable to expression deconvolution strategies that use profiles from reference populations that vary from the corresponding constituent populations in cellular state but not cellular phenotypic identity

P16-37. HIV controllers with weak CD8+ T cell responses maintain a tight control of infection despite carrying infectious viruses

International audienc

Assessment of Transformed Properties In Vitro and of Tumorigenicity In Vivo in Primary Keratinocytes Cultured for Epidermal Sheet Transplantation

Epidermal keratinocytes are used as a cell source for autologous and allogenic cell transplant therapy for skin burns. The question addressed here is to determine whether the culture process may induce cellular, molecular, or genetic alterations that might increase the risk of cellular transformation. Keratinocytes from four different human donors were investigated for molecular and cellular parameters indicative of transformation status, including (i) karyotype, (ii) telomere length, (iii) proliferation rate, (iv) epithelial-mesenchymal transition, (v) anchorage-independent growth potential, and (vi) tumorigenicity in nude mice. Results show that, despite increased cell survival in one keratinocyte strain, none of the cultures displayed characteristics of cell transformations, implying that the culture protocol does not generate artefacts leading to the selection of transformed cells. We conclude that the current protocol does not result in an increased risk of tumorigenicity of transplanted cells

Light-induced strain and its correlation with the optical absorption at charged domain walls in polycrystalline ferroelectrics

Photostrictive materials have a growing interest because of their great potential as light-driven actuators, among other optomechanical applications. In this context, the optical control of macroscopic strain in ferroelectrics has recently attracted remarkable attention as an effective alternative to the conventional electric control of strain. Here, a clear correlation between optical absorption and light-induced strain in polycrystalline BaTiO3 is shown. Specifically, the grain size and the sample thickness dependence of optical absorption when the material is irradiated with energy photons lower than the band gap evidence that light absorption at charged domain walls is the core of the observed photo-response in ferroelectrics. The photoinduced electronic reconstruction phenomenon is proposed as the primary physical mechanism for light absorption at charged domain walls. Results open a new pathway to designing ferroelectric-based devices with new functionalities like thickness gradient-based photo-controlled nanoactuators

Sepsis in PD-1 light

Increasing evidence suggests that after the first pro-inflammatory hours, sepsis is characterized by the occurrence of severe immunosuppression. Several mechanisms have been reported to participate in sepsis-induced immune alterations affecting both innate and adaptive immunity. Of these, the concept of ‘cell exhaustion’ has gained a lot of interest because some parallels can be drawn with the cancer field in which immunostimulation approaches through blocking immune checkpoints currently obtain remarkable success. Herein, perspectives regarding co-inhibitory receptors’ contribution to lymphocyte exhaustion in sepsis will be discussed in the context of a recently published study investigating the potential of PD-1 molecule expression (i.e. PD-1 on lymphocytes, PD-L1 on monocytes) to predict mortality in septic shock patients

The H2020-SPACE-SIPHODIAS project: Space-grade optoelectronic interfaces for photonic digital and analogue very-high-throughput satellite payloads

The EU-SIPhoDiAS project deals with the development of critical photonic building blocks needed for high-performance and low size, weight, and power (SWaP) photonics-enabled Very High Throughput Satellites (VHTS). In this presentation, we report on the design and fabrication activities during the first year of the project concerning the targeted family of digital and microwave photonic components. This effort aims to demonstrate components of enhanced reliability at technology readiness level (TRL) 7. Specifically, with respect to microwave photonic links, we report: (i) the design of Ka and Q-bands analogue photodetectors that will be assembled in compact packages, allowing for very high bandwidth per unit area and (ii) on the design of compact V-band GaAs electro-optic modulator arrays, which use a folded-path optical configuration to manage all fiber interfaces packaged opposite direct in-line RF feeds for ease of board layouts and mass/size benefits. With respect to digital links, we report on the development of 100 Gb/s (4 x 25 Gb/s) digital optical transceiver sub-assemblies developed using flip-chip mounting of electronic and opto-parts on a high-reliability borosilicate substrate. The transceiver chipset developed specifically for this project refers to fully-custom 25 Gb/s radiation hard (RH) VCSEL driver and TIA ICs designed in IHP’s 130 nm SiGe BiCMOS Rad-Hard process