Skip to Main content Skip to Navigation

Search by documents



...
hal-01242268v1  Journal articles
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data
Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
...
hal-00849711v1  Conference papers
Khaldoun SalehAurélien CoilletVincent HuetAmel Ali SlimaneRémy Henriet et al.  Résonateurs optiques à très fort Q et applications Projets ANR-ORA et CNES-SHYRO
Journée du Club Optique Micro-onde (JCOM 2013), Jun 2013, Paris, France
...
hal-01290368v1  Conference papers
Chonhyon ParkJae Sung ParkSteve TonneauNicolas MansardFranck Multon et al.  Dynamically balanced and plausible trajectory planning for human-like characters
20th ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, ACM, Feb 2016, Redmond, United States. pp.39-48, ⟨10.1145/2856400.2856405⟩
hal-00856168v1  Conference papers
Stéphane PinonDaouda Lamine DiedhiouAli BoukabacheVéronique ConédéraDavid Bourrier et al.  Fabrication and characterization of a fully integrated biosensor associating microfluidic device and RF circuit
IMS 2012 - Microwave Symposium Digest (MTT), 2012 IEEE MTT-S, Jun 2012, Montréal, Canada. pp.THPN-1 1330
...
hal-01154248v1  Journal articles
Nadine VigourouxPhilippe GorceAgnès Roby-BramiOlivier Rémi-Néris. Theme E: disabilities: analysis models and tools
Innovation and Research in BioMedical engineering, Elsevier Masson, 2013, 34 (1), pp.14-15. ⟨10.1016/j.irbm.2013.01.002⟩
...
hal-01178469v1  Reports
Albert BenvenisteBenoît CaillaudDejan NickovicRoberto PasseroneJean-Baptiste Raclet et al.  Contracts for Systems Design: Methodology and Application cases
[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
...
hal-01530163v1  Conference papers
Andreas HerzigEmiliano LoriniFaustine MaffreFrançois Schwarzentruber. Epistemic boolean games based on a logic of visibility and control
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp. 1116-1122
...
inria-00476906v1  Journal articles
Philippe BesnardMarie-Odile CordierYves Moinard. Ontology-based inference for causal explanation
Integrated Computer-Aided Engineering, IOS Press, 2008, 15 (4), pp.351-367
hal-00770563v1  Book sections
Andreas HerzigPhilippe Besnard. Représentation des connaissances : modalités, conditionnels et raisonnement non monotone
Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013
...
hal-01178467v1  Reports
Albert BenvenisteBenoît CaillaudDejan NickovicRoberto PasseroneJean-Baptiste Raclet et al.  Contracts for Systems Design: Theory
[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
...
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-00855589v1  Journal articles
Stéphane PinonDaouda Lamine DiedhiouAnne Marie GuéNorbert FabreGaëtan Prigent et al.  Development of a microsystem based on a microfluidic network to tune and reconfigure RF circuits
Journal of Micromechanics and Microengineering, IOP Publishing, 2012, 22 (7), pp.article id. 074005
hal-01057115v1  Book sections
Mohamed ZouariMaria-Teresa SegarraKhalil Drira. Architectures logicielles et outils : gestion distribuée et coordonnée de la reconfiguration dynamique (Chap. 8)
Architectures logicielles : Principes, techniques et outils, Editions Hermes Sciences-Lavoisier, 44p., 2014, Informatique et systèmes d'information : Recherche, technologie, applications, 978-2-7462-4517-4
hal-00486640v1  Journal articles
Mounira HarzallahGiuseppe BerioFrançois Vernadat. Modelling and Analysis of individual competencies to improve industrial performances
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Institute of Electrical and Electronics Engineers, 2006, 36 (1), pp.187-207
hal-00185889v1  Conference papers
S. ConstantPierre-Henri MerrerBertrand OnillonXavier DollatPierre Lacroix et al.  Optical Microresonators used for Stabilisation and Miniaturisation of High Spectral Purity Microwave Sources for Space Applications
convention internationale des Micro-Nano Technologies (CANEUS 2006), Aug 2006, Toulouse, France. pp.11052 (CD version only)
hal-00370607v1  Conference papers
Pierre-Henri MerrerOlivier LlopisSophie BonnefontLaura GhişaYannick Dumeige et al.  Microwave filtering using high Q optical resonators
European Microwave Week 2008 - 38th European Microwave Conference 2008 (EuMC 2008), Oct 2008, Amsterdam, Netherlands
hal-00828588v1  Conference papers
Loïc MorvanAude BouchierYanne ChemboDaniel DolfiYannick Dumeige et al.  Mini and micro-resonators for the generation of high spectral purity microwave signals
International Conference on Micro- and nano-photonic materials and devices, Jan 2012, Trento, Italy. pp.113
hal-00277625v1  Conference papers
Pierre-Henri MerrerStéphanie ConstantSophie BonnefontOlivier LlopisPatrice Féron et al.  Test de mini-résonateurs optiques pour le filtrage et la stabilisation de sources hyperfréquences
15èmes Journées Nationales Microondes (JNM 2007), May 2007, Toulouse, France. pp.2C3 (version CD seule)