Zobrazeno 1 - 10
of 254
pro vyhledávání: '"Jacob, Jérémy"'
In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process algebra tock-CSP provides textual notations for modelling discrete-tim
Externí odkaz:
http://arxiv.org/abs/2104.13434
The process algebra tock-CSP provides textual notations for modelling discrete-time behaviours, with the support of various tools for verification. Similarly, automatic verification of Timed Automata (TA) is supported by the real-time verification to
Externí odkaz:
http://arxiv.org/abs/2008.06935
Autor:
Guimbaud, Christophe, Colombano, Stéfan, Noel, Cécile, Verardo, Elicia, Grossel, Agnès, Jourdain, Line, Jégou, Fabrice, Hu, Zhen, Jacob, Jérémy, Ignatiadis, Ioannis, Blessing, Michaela, Gourry, Jean Christophe
Publikováno v:
In Journal of Contaminant Hydrology May 2023 256
Autor:
Jacob, Jérémy, Delarue, Frédéric, Copard, Yoann, Le Milbeau, Claude, Grasset, Laurent, Brockmann, Patrick
Publikováno v:
In Journal of Analytical and Applied Pyrolysis July 2023
High-resolution sedimentary record of anthropogenic deposits accumulated in a sewer decantation tank
Autor:
Jacob, Jérémy, Thibault, Alexandre, Simonneau, Anaëlle, Sabatier, Pierre, Le Milbeau, Claude, Gautret, Pascale, Ardito, Luigi, Morio, Cédric
Publikováno v:
In Anthropocene June 2020 30
Autor:
Jacob, Jérémy
Cette étude a pour objectif d'identifier dans la matière organique (MO) archivée dans les sédiments lacustres de nouveaux marqueurs des climats passés. Le site d'étude est le Lac Caço, au nord-est du Brésil. Ce lac présente l'intérêt d'êt
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00002942
http://tel.archives-ouvertes.fr/docs/00/04/53/83/PDF/tel-00002942.pdf
http://tel.archives-ouvertes.fr/docs/00/04/53/83/PDF/tel-00002942.pdf
We present the first results from the AGN Multiwavelength Survey of Early-type galaxies in the Virgo cluster (AMUSE-Virgo). This large program targets 100 early-type galaxies with the Advanced CCD Imaging Spectrometer on board the Chandra X-ray Obser
Externí odkaz:
http://arxiv.org/abs/0711.2073
Publikováno v:
In Marine and Petroleum Geology May 2018 93:145-165
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.