-
On Rational Graphs
Using rationality, like in language theory, we define a family of infinite graphs. This family is a strict extension of the context-free graphs of Muller and Schupp,... -
Faire mémoire de nos traces numériques
Today, the question of our inheritance digitalization has to be doubled by the question of digital contents patrimonialisation. In digital environment, collection and... -
Myrtle : A Set-Oriented Meta-Interpreter Driven by a «Relational» Trace for D...
Deductive databases manage large quantities of data and, in general, in a set-oriented way. The existing systems of explanation for deductive databases do not take... -
Face (à face) à l'image
This dataset has no description
-
" Continue, discontinue : l'identité
This dataset has no description
-
A sensitive, specific and selective multi-residue analytical method using SPE...
Communication par affiche -
Archiver l'oubli : L'Homme atlantique
Textes réunis et présentés par Sylvie Loignon.Edition numérique : ISBN 978-2-84310-364-3. -
Choubrah entre le passé et le présent : le palimpseste des ambiances d'un qua...
International audience -
Abstraction-based Malware Analysis Using Rewriting and Model Checking
International audience -
Sépultures massives et morts collectives
This dataset has no description
-
De l'empreinte de la catastrophe. L'incendie du 5/7 un terrain atypique ?
This dataset has no description
-
Chemical extractions and predicted free ion activities fail to estimate metal...
International audience -
La trace du corps dans la langue
National audience -
Towards a Generic Trace for Rule Based Constraint Reasoning
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers... -
The plan: a spontaneous and sustainable mark
International audience -
A Synchronous Process Calculus for Service Costs
Article présenté au SEFM'05 -
Status of nuclear critical opalescence.
The first section of the paper shows how the numerical document is the result of a process made up of five levels of encased processes (from 0 to 4). They involve...
