Biphotonic Microscopy for in vitro, in vivo tissue phenotyping and cell tracking

Biphotonic Microscopy for [i]in vitro[/i], [i]in vivo[/i] tissue phenotyping and cell tracking. Gen2bio201

Synthesis of opaque systems with static and dynamic masks

International audienceOpacity is a security property formalizing the absence of secret information leakage and we address in this paper the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability over G, if s/he can never infer from the observation of a run of G that the run belongs to S. We choose to control the observability of events by adding a device, called a mask, between the system G and the users. We first investigate the case of static partial observability where the set of events the user can observe is fixed a priori by a static mask. In this context, we show that checking whether a system is opaque is PSPACE-complete, which implies that computing an optimal static mask ensuring opacity is also a PSPACE-complete problem. Next, we introduce dynamic partial observability where the set of events the user can observe changes over time and is chosen by a dynamic mask.We show how to check that a system is opaque w.r.t. to a dynamic mask and also address the corresponding synthesis problem: given a system G and secret states S, compute the set of dynamic masks under which S is opaque. Our main result is that the set of such masks can be finitely represented and can be computed in EXPTIME and this is a lower bound. Finally we also address the problem of computing an optimal mask

Supervisory Control for Modal Specifications of Services

International audienceIn the service oriented architecture framework, a modal specification, as defined by Larsen in \cite{Lar89}, formalises how a service should interact with its environment. More precisely, a modal specification determines the events that the server may or must allow at each stage in an interactive session. Therefore, techniques to enforce a modal specification on a system would be useful for practical applications. In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonham to enforce a modal specification (with final states marking the ends of the sessions) on a system modelled by a finite LTS. We prove that there exists at most one most permissive solution to this control problem. We also prove that this solution is regular and we present an algorithm for the effective computation of the corresponding controlle

Le directeur de projet comme Chief trouble maker

De l’ingénieur Yves Dubreil, on peut dire assurément qu’il a « un losange à la place du cœur ». Entré en 1969 à la Régie Renault, il y a effectué toute sa carrière. Il a déployé la « gestion de projet » en tant que directeur du projet Twingo (1989-1993), puis, à partir de 2003, comme directeur de l’innovation de Renault SAS. Sollicité en 2010 pour devenir président de l’association Renault Histoire, alors qu’il avait fait valoir ses droits à la retraite, il accepte cette proposition, convainc..

Three-dimensional HepaRG spheroids as a liver model to study human genotoxicity in vitro with the single cell gel electrophoresis assay

International audienceMany efforts have been made in the last 30 years to develop more relevant in vitro models to study genotoxic responses of drugs and environmental contaminants. While 2D HepaRG cells are one of the most promising models for liver toxicology, a switch to 3D cultures that integrate both in vivo architecture and cell-cell interactions has occurred to achieve even more predictive models. preliminary studies have indicated that 3D HepaRG cells are suitable for liver toxicity screening. Our study aimed to evaluate the response of HepaRG spheroids exposed to various genotoxic compounds using the single cell gel electrophoresis assay. HepaRG spheroids were used at 10 days after seeding and exposed for 24 and 48 hours to certain selected chemical compounds (methylmethansulfonate (MMS), etoposide, benzo[a]pyrene (B[a]P), cyclophosphamide (CPA), 7,12-dimethylbenz[a]anthracene (DMBA), 2-acetylaminofluorene (2-AAF), 4-nitroquinoline (4-NQO), 2-amino-1-methyl-6-phenylimidazo[4,5-b] pyridine (PhIP), 2-amino-3-methylimidazo[4,5-f]quinolone (IQ), acrylamide, and 2-4-diaminotoluene (2,4-DAT)). After treatment, the comet assay was performed on single cell suspensions and cytotoxicity was determined by the ATP assay. Comet formation was observed for all compounds except IQ, etoposide and 2,4-DAT. Treatment of spheroids with rifampicin increased CYP3A4 activity, demonstrating the metabolic capacity of HepaRG spheroids. These data on genotoxicity in 3D HepaRG spheroids are promising, but further experiments are required to prove that this model can improve the predictivity of in vitro models to detect human carcinogens

Alien Registration- Dubreil, Joseph A. (Livermore Falls, Androscoggin County)

https://digitalmaine.com/alien_docs/26974/thumbnail.jp

The Stokes conjecture for waves with vorticity

We study stagnation points of two-dimensional steady gravity free-surface water waves with vorticity. We obtain for example that, in the case where the free surface is an injective curve, the asymptotics at any stagnation point is given either by the “Stokes corner flow” where the free surface has a corner of 120°, or the free surface ends in a horizontal cusp, or the free surface is horizontally flat at the stagnation point. The cusp case is a new feature in the case with vorticity, and it is not possible in the absence of vorticity. In a second main result we exclude horizontally flat singularities in the case that the vorticity is 0 on the free surface. Here the vorticity may have infinitely many sign changes accumulating at the free surface, which makes this case particularly difficult and explains why it has been almost untouched by research so far. Our results are based on calculations in the original variables and do not rely on structural assumptions needed in previous results such as isolated singularities, symmetry and monotonicity