-
Viewless windows : transparency and opaqueness of representation in Emile Zol...
TTransparent panes of glass and wide-open windows are some of the common models Zola’s critics have set up to emphasise the will of transitivity in his art. Although... -
Compositional Timing Analysis
International audience -
SVL : a Scripting Language for Compositional Verification
Compositional verification is a way to avoid state explosion for the enumerative verification of complex concurrent systems. Process algebras such as Lotos are... -
Interactive Abstractions: Proving Safety Properties by Integrating Static Ana...
We present a new approach for proving safety properties of reactive systems, based on tight interaction between static analysis, theorem proving and abstraction... -
A minimal and dynamic model for fatty acid metabolism in mouse liver
We propose a modelling strategy to determine from a large set of reactions the smallest set necessary to be compatible with a compendium of required properties and... -
A modelling language to represent and specify emerging structures in agent-ba...
International audience -
Colored-Object Programming : Inheritance by Dimensions
Action LeTool -
La suppression des anomalies dans les protocoles : vers une méthode basée sur...
Ce rapport traite du problème de la mise en oeuvre de méthodes destinées à supprimer les anomalies dans les protocoles. A travers l'étude de quelques exemples de... -
L'ambiance attendue par le monde de l'art public à Montréal dans les années 1...
International audience -
The painting taken in letters : or how perceive the third visual structure in...
It’s a question of one of peculiarities of art : the painting.It’s a question, following a personal practice cultivated for many years and investigating the complex... -
On the Origin of Abstraction : Real and Imaginary Parts of Decidability-Making
International audience -
Le Rapport à l'étranger dans la littérature et les arts soviétiques (ETRANSOV)
La publication des preprint est bilingue, français et russe. -
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
Comment réduire la distance perçue vis-à-vis d'une cause humanitaire ? L'infl...
This research aims at showing the impact of the level of abstraction and valence of a message on proximity to a humanitarian "cause". We hypothesized and found that a... -
"Un long voyage à travers des terres inconnues" : de la caricature à l'abstra...
This dataset has no description
-
Online Abstraction of Distributed Executions
This report proposes an on-line compression algorithm for distributed executions. An execution is decomposed into atomic communication patterns. Events are clustered... -
Une fiction non-euclidienne. Vérité et modèle en régime naturaliste
International audience -
Von Wien nach Berlin, vom Essay über Hofmannsthal bis zum Zerfall der Werte (...
Communication dans le cadre du colloque " Modes intellectuelles et capitales mitteleuropéennnes autour de 1900 : échanges et transferts ", organisé les 9-10-11 octobre 2008 à...
