301 résultats  enregistrer la recherche


halshs-00656317v1  Ouvrage (y compris édition critique et traduction)
Gilles NovarinaJean-Pierre GaudinPolitiques publiques et négociation
CNRS Editions, 174 p., 1997
...
hal-00311006v1  Communication dans un congrès
Claude HelmstetterFlorence MaraninchiLaurent Maillet-ContozMatthieu MoyAutomatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
IEEE. Formal Methods in Computer Aided Design (FMCAD'06), Nov 2006, San Jose, United States. pp.171-178, 2006, <10.1109/FMCAD.2006.10>
hal-01508810v1  Chapitre d'ouvrage
Thomas HechtPatrice BucheJuliette DibieLiliana IbanescuCássia Trojahn dos SantosOntology Alignment Using Web Linked Ontologies as Background Knowledge
Fabrice Guillet; Bruno Pinaud; Gilles Venturini. Advances in Knowledge Discovery and Management., 665, Springer, pp.207-227, 2017, Studies in Computational Intelligence, 978-3-319-45762-8. <10.1007/978-3-319-45763-5_11>
...
lirmm-01088730v1  Communication dans un congrès
Maximilien ServajeanEsther PacittiMiguel Liroz-GistauSihem Amer-YahiaAmr El AbbadiExploiting Diversification in Gossip-Based Recommendation
Globe'2014: 7th International Conference, Sep 2014, Munich, Germany. INRIA-SILICONVALLEY, LNCS (8648), pp.25-36, 2014, Data Management in Cloud, Grid and P2P Systems. <10.1007/978-3-319-10067-8_3>
...
hal-01383737v1  Communication dans un congrès
Vincent BeroullePhilippe CandelierStephan De CastroGiorgio Di NataleJean-Max Dutertre et al.  Laser-Induced Fault Effects in Security-Dedicated Circuits
Luc Claesen; Maria-Teresa Sanz-Pascual; Ricardo Reis; Arturo Sarmiento-Reyes. VLSI-SoC: Very Large Scale Integration - System on a Chip, Oct 2014, Playa del Carmen, Mexico. 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration - System on a Chip, AICT-464, pp.220-240, 2015, IFIP Advances in Information and Communication Technology. <10.1007/978-3-319-25279-7_12>
hal-01202005v1  Rapport
Patrick CriquiSandrine MathyJean-Charles HourcadePathways to deep decarbonization in France
[Research Report] Sustainable Development Solutions Network (SDSN); Institute for Sustainable Development and International Relations (IDDRI). 2015, 60 p
halshs-01021956v1  Autre publication
Sandrine MathyPatrick CriquiJean-Charles HourcadeFrance
Chapitre de : Pathways to deep decarbonization: interim 2014 report. Paris : Sustainable Developm.. 2014, pp.85-97
inria-00275456v1  Communication dans un congrès
Claude HelmstetterOlivier PonsiniA Comparison of Two SystemC/TLM Semantics for Formal Verification
Formal Methods and Models for Codesign (MEMOCODE), Jun 2008, Anaheim, United States. 2008
...
halshs-00868468v1  Communication dans un congrès
Pierre BerthaudTancrède VoituriezBASIC effect on global climate governance. Power changes and regime shifts
12e congrès de l'Association française de sciences politiques "Inégalités et démocratie", Jul 2013, Paris, France
hal-00827465v1  Communication dans un congrès
Abdallah ZemirlinePascal BalletLionel MarcéPatrick AmarGilles Bernot et al.  Cellular automata, reaction-diffusion and multiagents systems for artificial cell modelling
Amar, Patrick and Képès, François and Norris, Victor and Tracqui, Philippe. Actes du Colloque Modélisation et simulation de processus biologiques dans le contexte de la génomique, 2002, Autrans, France. pp.257-280, 2002
hal-00830077v1  Communication dans un congrès
Jean-Baptiste DurandYann GuédonYves CaraglioEvelyne CostesAnalysis of the plant architecture via tree-structured statistical models : The hidden Markov trees.
4th International Workshop on Functional-Structural Plant Models, 2004, Montpellier, France. pp.61-64, 2004
...
hal-01335884v1  Article dans une revue
V. ThierionS. AlleaumeC. JacqueminetC. VigneauJ. Renaud et al.  The potential of Pléiades imagery for vegetation mapping: an example of grasslands and pastoral environments
Revue Française de Photogrammétrie et de Télédétection, Société Française de Photogrammétrie et de Télédétection, 2014, pp.105-110
...
hal-00842754v1  Communication dans un congrès
Gaël CombeCécile Nouguier-LehonEmilien AzémaKrzysztof SzarfBaptiste Saint-Cyr et al.  A benchmark for particle shape dependence
Powder and Grains 2013, 2013, Sydney, Australia. pp.883-886, 2013
hal-01241837v1  Chapitre d'ouvrage
Vania JoloboffJean-François MoninXiaomu ShiTowards Verified Faithful Simulation
Xuandong Li, Zhiming Liu, Wang Yi. Dependable Software Engineering: Theories, Tools, and Applications, Springer, pp.315, 2015, Lecture Notes in Computer Science, ISBN 978-3-319-25942-0. <10.1007/978-3-319-25942-0>
hal-00784701v1  Rapport
Renaud CrassousPatrick CriquiRodica LoiselSilvana MimaOlivier SassiRepresenting hybrid energy outlook for simulating carbon emission stabilization
[Research Report] FONDDRI (Fondation de recherche pour le développement durable et les relations internationales). 2008
inria-00391905v1  Communication dans un congrès
Lin WuFrançois-Xavier Le DimetPhilippe De ReffyeBao-Gang HuA new mathematical formulation for plant structure dynamics
CARI 2006 - Conférence Africaine sur la Recherche en Informatique et Mathématiques Appliquées, Nov 2006, Cotonou, Benin. 2007, ARIMA
hal-01002688v1  Communication dans un congrès
Lourdes Martinez-MedinaAhmad Ahmad-KassemChristophe BobineauChristine ColletEtienne Duble et al.  UBIQUEST, A Data-Centric Approach for Networking Applications
Proceedings 28èmes journées Bases de Données Avancées (BDA'12), 2012, Clermont-Ferrand, France, France. pp.147-152, 2012