-
Aux sources de l'anti-calvinisme réformé : recherches sur une biographie sati...
Publié dans : Bulletin annuel de l'Institut d'Histoire de la Réformation, XXXI, 2009-2010, pp. 24-28. -
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in... -
Les Plantations d'eucalyptus à Madagascar : superficie, rôle et importance de...
Ce travaille se propose d'entreprendre une estimation en superificie des massifs d'eucalyptus de Madagascar et d'appréhendre leur rôle et importance. Précisément, il... -
Les plantations forestières au Congo
This dataset has no description
-
Conditions d'aménagement des plantations Eucalyptus et des peuplements Ziziph...
This dataset has no description
-
Biomasse énergie pour la réduction de la pauvreté par l'électrification rural...
This dataset has no description
-
Productivité des peuplements d'eucalyptus sur les sites potentiels d'approvis...
This dataset has no description
-
La reproduction forestière et l'économie du bois à Madagascar
This dataset has no description
-
Non-Monotonic Snapshot Isolation
Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two... -
Periodic management report - Bridging restoration and multifunctionality in d...
This dataset has no description
-
Approximations of the packet error rate under slow fading in direct and relay...
Most of the existing literature on performance evaluation of fading channels is concentrated on either the symbol error rate of the links, or the outage capacity. We... -
Stability of Multi-Task Kernel Regression Algorithms
We study the stability properties of nonlinear multi-task regression in reproducing Hilbert spaces with operator-valued kernels. Such kernels, a.k.a. multi-task... -
Un système d'argumentation avec contextes et indicateurs pour analyser un dis...
This paper proposes a formal method to evaluate a short food supply chain. It is based on argumentation and introduces an analytical argumentation system which uses... -
A Hybrid, Case-Based Related Approach to Generate Predictions from Rules
This work takes place in the general context of the construction of a prediction for decision support issues. It relies on knowledge expressed by numerous rules with... -
Backward chaining argumentation in agrifood chains: a practical use case
Evaluating food quality is a complex process since it relies on numerous criteria historically grouped into four main types: nutritional, sensorial, practical and... -
Discrete maximum principle for a space-time least squares formulation of the ...
Finite element methods are known to produce spurious oscillations when the transport equation is solved. In this paper, a variational formulation for the transport... -
SQUARE: Scalable Quorum-Based Atomic Memory with Local Reconfiguration
Internet applications require more and more resources to satisfy the unpredictable clients needs. Specifically, such applications must ensure quality of service... -
Cartographie prédictive des stations forestières du massif vosgien -Elaborati...
Nous avons mené entre 2000 et 2002 un travail de cartographie automatisée des types de stations sur l'ensemble du massif Vosgien à partir d'informations écologiques... -
Assurer une récolte raisonnée des rémanents en forêt
L'objectif du travail réalisé vise à présenter au gestionnaire, propriétaire et industriel un zonage de la Lorraine vis-à-vis des possibilités raisonnées de récolte... -
Développement, spatialisation et validation d'indices bioclimatiques
Le présent projet se propose de : * calculer un ensemble d'indices sous SIG permettant d'enrichir les bases de données écologiques de l'IFN et de l'ENGREF, et...
