-
A Rule Language for Interaction
published in post-workshop proceedings entitled "Recent Advances in Constraints". Colloque avec actes et comité de lecture. Internationale. -
Sur un modèle de digestion anaréobie avec dégradation enzymatique du substart...
Dans ce travail, on considère un modèle du chémostat avec dégradation enzymatique du substrat sous forme solide. On étudie l'existence et la stabilité des points... -
Improvement of water use for agriculture at catchment level under drought con...
This paper compares the relative advantages of improvements in practices and changes in cropping system patterns in order to manage water resources at catchment basin... -
Le GIS Piscicultures Demain
absent -
Marginal abatement costs of greenhouse gas emissions from European agricultur...
We propose a quantitative assessment of the marginal abatement costs (MAC) of greenhouse gas emissions from european agriculture and analyze the implications of the... -
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a New...
To appear in post-event proceedings. Colloque avec actes et comité de lecture. internationale. -
L'amélioration génétique : une activité humaine organisée, au service de l'ad...
L'amélioration génétique des animaux vise à fournir les types génétiques les mieux adaptés aux conditions de milieu physique, économique et social dans lesquels ils... -
Deductive Verification of Distributed Groupware Systems
Colloque avec actes et comité de lecture. nationale. -
IFPA Meeting 2010 Workshop Report I: Immunology; ion transport; epigenetics; ...
Workshops are an important part of the IFPA annual meeting. At IFPA Meeting 2010 there were twelve themed workshops, six of which are summarized in this report. 1. The... -
NeMo: Fast Count and Statistical Significance of Network Motifs
Événement(s) lié(s) : - JOBIM 2011; Paris (FRA) - (2008-06-28 - 2008-07-01) -
Automated Reasoning
Congrès (éditeur). nationale. -
Schedulability analysis for system under (m,k)-firm constraints
Colloque avec actes et comité de lecture. internationale. -
Prognostics and energy efficiency: survey and investigations
International audience -
A Decidable Analysis of Security Protocols
Colloque avec actes et comité de lecture. internationale. -
Ergonomie, culture, scénario : trois facteurs pour la conception d'une plate-...
Colloque avec actes et comité de lecture. nationale. -
Situation of violence against children and youths in an emergency reception c...
This dataset has no description
-
Integrating (m,k)-Firm Real-Time Guarantees in the Internet QoS Model
Colloque avec actes et comité de lecture. internationale.
