-
Applying semantic subsumption rules in the context of inductive proofs
Colloque avec actes et comité de lecture. -
Quelques églises anciennes du canton de Rabastens-de-Bigorre
This dataset has no description
-
Meteorological time series forecasting based on MLP modelling using heterogen...
International audience -
Apparition et diffusion de la dîme ecclésiastique dans le Midi Toulousain
International audience -
Single top quark production cross section using the ATLAS detector at the LHC
International audience -
Les réseaux transitoires à base de copolymères amphiphiles : des systèmes mod...
Je présenterai une revue sur les phénomènes de fracture dans les réseaux transitoires, qui représentent une classe importante de fluides viscoélastiques. Après avoir... -
Interval temporal logic semantics of box algebra
International audience -
Participatory definition of social needs and solution strategies in vulnerabl...
This deliverable is an attempt to create a link between WP5 and the rest of CAENTI WPs that is able toworks on territory situation. Questions we would like to answer... -
3D Geometric Removability Analysis for Virtual Disassembly evaluation
International audience -
Modeling an Aircraft Landing System in Event-B
International audience -
L'animation forestière : une approche par les bouquets de compétences.
This dataset has no description
-
Solex: a Domain-Independent Scheme for Constraint Solver Extension
Colloque avec actes et comité de lecture. -
Co-construire et diffuser les changements organisationnels dans les territoir...
Atelier C-1 – L’ingénierie territoriale -
Handling ELAN Rewrite Programs via an Exchange Format
Colloque avec actes et comité de lecture. -
Radiologie d'intervention et évolution des rôles des radiologistes et technol...
This dataset has no description
-
Dual water supply system as a way to better resources utilization. The case o...
International audience -
Managing the Topology of Heterogeneous Cluster Nodes with Hardware Locality (...
International audience -
Development of a new end effect probe dedicated to In situ measurements of so...
International audience
