We present a method and a tool for the verification of causal and temporal properties for embedded systems. We analyze trace streams resulting from the execution of virtual prototypes that combine simulated hardware and embedded software. The main originality lies in the use of logical clocks to abstract away irrelevant information from the trace. ...
In this paper, we propose an original approach to extend direct visual servoing to the frequency domain. Whereas most of visual servoing approaches relied on the geometric features, recent works have highlighted the importance of taking into account the photometric information of the entire images. This leads to direct visual servoing (DVS) approac...
Over the past decades, extensive efforts have been made to use biomass-based-materials for wastewater-treatment. The first purpose of this study was to develop and characterize regenerated-reed/reed-charcoal (RR-ChR), an enhanced biosorbent from Tunisian-reed (Phragmites-australis). The second aim was to assess and optimize the RR-ChR use for the r...
Drosophila suzukii is an invasive pest causing severe damages to a large panel of cultivated crops. To facilitate its biocontrol with strategies such as sterile or incompatible insect techniques, D. suzukii must be mass-produced and then stored and transported under low temperature. Prolonged cold exposure induces chill injuries that can be mitigat...
International audience
Three new xanthone dimers, eumitrins C - E (1-3), along with a new depsidone, 3'-O-demethylcryptostictinolide (4) were isolated from the acetone extract of the whole thallus of the lichen Usnea baileyi collected in Vietnam. Their structures were unambiguously established by spectroscopic analyses (HRESIMS, 1D and 2D NMR), as well as comparison to l...
International audience
Natural and synthetic estrogens and progestins are widely used in human and veterinary medicine and are detected in waste and surface waters. Our previous studies have clearly shown that a number of these substances targets the brain to induce the estrogen-regulated brain aromatase expression but the consequences on brain development remain virtual...
International audience
Transgenerational effects act on a wide range of insects' life-history traits and can be involved in the control of developmental plasticity, such as diapause expression. Decrease in or total loss of winter diapause expression recently observed in some species could arise from inhibiting maternal effects. In this study, we explored transgenerationa...
