-
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 à... -
Reference to numbers in natural language
International audience -
Lettres inédites de Cavaillès à Étienne Borne
International audience -
Lazy abstractions for timed automata
International audience -
Introspective Forgetting
International audience -
Introspective Forgetting
International audience -
Looking for the unique gesture : Practice and theory in the work of Alwin Nik...
Nikolais, trying out Laban's ideas with his company's dancers, carried these ideas further and developed them. His approach evolved, as he continuously moved... -
Penser sur la science avec les mathématiques de la Chine ancienne
Dans un article de 1920, l'éminent sinologue Marcel Granet avançait plusieurs arguments à l'appui de la thèse, encore tenace aujourd'hui, selon laquelle la langue... -
Mallarmé et le procès d'impersonnification : Narcisse se dévisage
International audience -
Language and Thought
This dataset has no description
-
Formal and Incremental Construction of Distributed Algorithms: On the Distrib...
The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)... -
Compositional Contract Abstraction for System Design
Contract-based design has been recently proposed as a framework for concurrent system design in the context of complex supplier chains, where sub-system design can be... -
Extensible and General Service-Oriented Platform: Experience with the Service...
International audience -
Signature-Free Asynchronous Byzantine Consensus with $t < n/3$ and $O(n^2)$ M...
International audience
