-
Proofs as Executions
International audience -
Bifurcation and non linear eigenvalue problems: a tentative bibliography
Disponible dans les fichiers attachés à ce document -
Perfectly matched layers for time-harmonic acoustics in the presence of a uni...
This paper is devoted to the resolution of the time-harmonic linearized Galbrun's equation, which models, via a mixed Lagrangian-Eulerian representation, the... -
La prise en charge de la dépendance des personnes âgées: les dimensions terri...
Le fichier joint contient uniquement la note de synthèse du rapport. Le rapport est disponible sur le site de la Maison des sciences sociales du handicap :... -
Embedded Eavesdropping on Java Card
Part 1: Attacks and Malicious Code -
Filters on Co-Inductive streams: an application to Eratosthenes' sieve
We show how to model filter functions on the co-inductive types of infinite streams in type theory. These functions are partial but the theory imposes total functions.... -
Participer au web de données avec les données de la recherche en SHS : commen...
Comment rendre plus accessible encore, non pas simplement les documents (au sens des fichiers individuels relier entre eux) mais les informations contenues dans ces... -
French Guiana and Brazil, or the quest for a continental integration of a fre...
travail effectué de 2002 à 2012. -
EEDA : A New Robust Estimation of Distribution Algorithms
In this report we address a subtle but important limitation found in the literature for Estimation of Distribution Algorithms (EDAs): symmetric initializations of the... -
A modeling language for 3D process plant layout representation, exchange and ...
Part 5: Modelling for PLM -
Vapor phase mediated cellular uptake of sub 5 nm nanoparticles
International audience -
SWRL as a rule language for ontology-based models in power plant design
Part 7: Web, Semantics and Ontologies for PLM -
Analyzing the Impact of Prevalence on the Evaluation of a Manual Annotation C...
International audience -
The song of the Dunes - Collective motions in a Granular Flow
The song of dunes is a natural phenomenon that have arisen men's curiosity for a long time, from Marco Polo to R.A. Bagnold. Scientific observations in the XXth... -
Review of "A Linguistic History of the Forgotten Islands: A reconstruction of...
International audience -
Review of Bjarke Frellesvig and John Whitman (2008). Proto-Japanese: Issues a...
International audience -
RACK1, a clue to the diagnosis of cutaneous melanomas in horses
Chantier qualité GA -
Dense Vibrated Granular Media: From Stuck Liquids to Soft Solids
At large packing fraction, disordered packings of particles with repulsive contact interactions jam into a rigid state where they withstand finite shear stresses... -
Analyzing Recommender System's Performance Fluctuations across Users
Part 1: Conference
