Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-01136728v1 Journal articles Nazim Haouchine, Stéphane Cotin, Igor Peterlik, Jérémie Dequidt, Mario Sanz Lopez et al. Impact of Soft Tissue Heterogeneity on Augmented Reality for Liver Surgery IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2015, 21 (5), pp.584 - 597. ⟨10.1109/TVCG.2014.2377772⟩
	hal-01496177v2 Journal articles Zhifan Jiang, Jean-Francois Witz, Pauline Lecomte-Grosbras, Jérémie Dequidt, Stéphane Cotin et al. Multiorgan Motion Tracking in Dynamic Magnetic Resonance Imaging for Evaluation of Pelvic System Mobility and Shear Strain Strain, Wiley-Blackwell, 2017, 53 (2), ⟨10.1111/str.12224⟩
	hal-01338346v1 Journal articles Hugues Talbot, Federico Spadoni, Christian Duriez, Maxime Sermesant, Stéphane Cotin et al. Interactive Training System for Interventional Electrocardiology Procedures Medical Image Analysis, Elsevier, 2016, 8789, pp.11-19. ⟨10.1007/978-3-319-12057-7_2⟩
	hal-01204589v2 Journal articles Zhifan Jiang, Jean-Francois Witz, M Lecomte-Grosbras, Jérémie Dequidt, Christian Duriez et al. B-spline Based Multi-organ Detection in Magnetic Resonance Imaging Strain, Wiley-Blackwell, 2015, 51, pp.235 - 247. ⟨10.1111/str.12136⟩
	hal-02427488v1 Journal articles Mohamad Daher, Joelle Al Hage, Maan El Badaoui El Najjar, Ahmad Diab, Khalil Mohamad et al. Toward High Integrity Personal Localization System Based on Informational Formalism IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers, 2019, 68 (11), pp.4590-4599. ⟨10.1109/TIM.2018.2886976⟩
	hal-01390923v1 Journal articles Erwan Kerrien, Ahmed Yureidini, Jérémie Dequidt, Christian Duriez, René Anxionnat et al. Blood vessel modeling for interactive simulation of interventional neuroradiology procedures Medical Image Analysis, Elsevier, 2017, 35, pp.685 - 698. ⟨10.1016/j.media.2016.10.003⟩
	inria-00436467v3 Journal articles Benjamin Petit, Jean-Denis Lesage, Clément Menier, Jérémie Allard, Jean-Sébastien Franco et al. Multicamera Real-Time 3D Modeling for Telepresence and Remote Collaboration International Journal of Digital Multimedia Broadcasting, Hindawi, 2010, Advances in 3DTV: Theory and Practice, 2010, Article ID 247108, 12 p. ⟨10.1155/2010/247108⟩
	hal-03537852v1 Journal articles David Desobry, François Protais, Nicolas Ray, Etienne Corman, Dmitry Sokolov. Frame Fields for CAD models Lecture Notes in Computer Science, Springer, 2022, 13018, pp.421-434. ⟨10.1007/978-3-030-90436-4_34⟩
	hal-03542913v1 Journal articles A West, James Hermus, Meghan Huber, Pauline Maurice, Dagmar Sternad et al. Dynamic Primitives Limit Human Force Regulation during Motion IEEE Robotics and Automation Letters, IEEE 2022, 7 (2), pp.2391 - 2398. ⟨10.1109/LRA.2022.3141778⟩
	hal-03602394v1 Journal articles Matthieu Zins, Gilles Simon, Marie-Odile Berger. Object-Based Visual Camera Pose Estimation From Ellipsoidal Model and 3D-Aware Ellipse Prediction International Journal of Computer Vision, Springer Verlag, 2022, 130, pp.1107-1126. ⟨10.1007/s11263-022-01585-w⟩
	hal-02926172v2 Journal articles Mostafa Sadeghi, Xavier Alameda-Pineda. Mixture of Inference Networks for VAE-based Audio-visual Speech Enhancement IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2021, 69, pp.1899-1909. ⟨10.1109/TSP.2021.3066038⟩
	hal-03332224v3 Journal articles Natalia Tomashenko, Xin Wang, Emmanuel Vincent, Jose Patino, Brij Mohan Lal Srivastava et al. The VoicePrivacy 2020 Challenge: Results and findings Computer Speech and Language, Elsevier, 2022, 74, pp.101362. ⟨10.1016/j.csl.2022.101362⟩
	hal-02271287v1 Journal articles Kamel Smaïli, Dominique Fohr, Carlos-Emiliano González-Gallardo, Michał Grega, Lucjan Janowski et al. Summarizing videos into a target language: Methodology, architectures and evaluation Journal of Intelligent and Fuzzy Systems, IOS Press, 2019, 1, pp.1-12. ⟨10.3233/JIFS-179350⟩
	hal-02048224v1 Journal articles Willy Ugarte, Patrice Boizumault, Bruno Crémilleux, Alban Lepailleur, Samir Loudni et al. Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems Artificial Intelligence, Elsevier, 2017, 244, pp.48-69. ⟨10.1016/j.artint.2015.04.003⟩
	hal-01657473v1 Journal articles Xuan Son Nguyen, Thanh Phuong Nguyen, François Charpillet, Ngoc-Son Vu. Local Derivative Pattern for Action Recognition in Depth Images Multimedia Tools and Applications, Springer Verlag, 2017, pp.1-19. ⟨10.1007/s11042-017-4749-z⟩
	hal-01995064v1 Journal articles Marianne Allanic, Pierre-Yves Hervé, Cong-Cuong Pham, Myriam Lekkal, Alexandre Durupt et al. BIOMIST: A Platform for Biomedical Data Lifecycle Management of Neuroimaging Cohorts Frontiers in information and communication technologies, Frontiers Media S.A., 2017, 3, ⟨10.3389/fict.2016.00035⟩
	hal-01580832v1 Journal articles Pierre Couvineau, Hugo de Almeida, Bernard Maigret, Catherine Llorens-Cortes, Xavier Iturrioz. Involvement of arginine 878 together with Ca2+ in aminopeptidase A substrate specificity for N-terminal acidic amino-acid residues. PLoS ONE, Public Library of Science, 2017, 12 (9), pp.e0184237. ⟨10.1371/journal.pone.0184237⟩
	hal-02397168v1 Journal articles Martin Bromberger, Thomas Sturm, Christoph Weidenbach. A complete and terminating approach to linear integer solving Journal of Symbolic Computation, Elsevier, 2020, 100, pp.102-136. ⟨10.1016/j.jsc.2019.07.021⟩
	hal-02397190v1 Journal articles James Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Symbolic computation and satisfiability checking (Editorial) Journal of Symbolic Computation, Elsevier, 2020, 100, pp.1-10. ⟨10.1016/j.jsc.2019.07.017⟩
	hal-01648695v1 Journal articles Thomas Sturm, Erika Abraham, John Abbott, Bern Becker, Anna Maria Bigatti et al. Satisfiability Checking and Symbolic Computation ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
	hal-02983073v1 Journal articles Dobrina Boltcheva, Justine Basselin, Clément Poull, Herve Barthelemy, Dmitry Sokolov. Topological-based roof modeling from 3D point clouds Journal of WSCG, University of West Bohemia, Czech Republic, 2020, 28 (1-2), pp.137-146. ⟨10.24132/JWSCG.2020.28.17⟩
	hal-00786438v1 Journal articles Thibault Cholez, Isabelle Chrisment, Olivier Festor, Guillaume Doyen. Detection and mitigation of localized attacks in a widely deployed P2P network Peer-to-Peer Networking and Applications, Springer, 2012, Special Issue on Experimental Evaluation of Peer-to-Peer Applications, 6 (2), pp.155-174. ⟨10.1007/s12083-012-0137-7⟩
	hal-02120033v1 Journal articles Jimmy Etienne, Nicolas Ray, Daniele Panozzo, Samuel Hornus, Charlie Wang et al. CurviSlicer: Slightly curved slicing for 3-axis printers ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (4), pp.1-11. ⟨10.1145/3306346.3323022⟩
	hal-02886633v1 Journal articles Vincent Gaudillière, Gilles Simon, Marie-Odile Berger. Perspective-2-Ellipsoid: Bridging the Gap Between Object Detections and 6-DoF Camera Pose IEEE Robotics and Automation Letters, IEEE 2020, 5 (4), pp.5189-5196. ⟨10.1109/LRA.2020.3005387⟩
	hal-02512449v1 Journal articles Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun et al. Automated synthesis of local time requirement for service composition Software and Systems Modeling, Springer Verlag, 2020, 19, pp.983-1013. ⟨10.1007/s10270-020-00787-5⟩
	hal-01140184v1 Journal articles Kristin Sellers, Davis Bennett, Axel Hutt, James Williams, Flavio Frohlich. Awake versus Anesthetized: Layer-Specific Sensory Processing in Visual Cortex and Functional Connectivity between Cortical Areas Journal of Neurophysiology, American Physiological Society, 2015, pp.64. ⟨10.1152/jn.00923.2014⟩
	hal-00872155v1 Journal articles Kristin Sellers, Davis Bennett, Axel Hutt, Flavio Frohlich. Anesthesia Differentially Modulates Spontaneous Network Dynamics by Cortical Area and Layer Journal of Neurophysiology, American Physiological Society, 2013, 110 (12), pp.2739-2751. ⟨10.1152/jn.00404.2013⟩
	hal-02436541v1 Journal articles Benoît Blaysat, Jan Neggers, Michel Grediac, Frédéric Sur. Towards Criteria Characterizing the Metrological Performance of Full-field Measurement Techniques Experimental Mechanics, Society for Experimental Mechanics, 2020, 60 (3), pp.393-407. ⟨10.1007/s11340-019-00566-4⟩
	hal-02393742v1 Journal articles Manel Zoghlami, Sabeur Aridhi, Mondher Maddouri, Engelbert Mephu Nguifo. Multiple instance learning for sequence data with across bag dependencies International journal of machine learning and cybernetics, Springer, 2020, 11, pp.629-642. ⟨10.1007/s13042-019-01021-5⟩
	hal-01388654v1 Journal articles Marwa El Houasli, Bernard Maigret, Marie-Dominique Devignes, Anisah Ghoorah, Sergei Grudinin et al. Modeling and minimizing CAPRI round 30 symmetrical protein complexes from CASP-11 structural models Proteins: Structure, Function, and Genetics, Wiley, 2017, Special Issue: Sixth Meeting on the Critical Assessment of Predicted Interactions 85 (3), pp.463-469. ⟨10.1002/prot.25182⟩
	hal-01309105v1 Journal articles Marc F Lensink, Sameer Velankar, Andriy Kryshtafovych, Shen-You Huang, Dina Schneidman-Duhovy et al. Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment Proteins - Structure, Function and Bioinformatics, Wiley, 2016, Special Issue: Eleventh Meeting on the Critical Assessment of Techniques for Protein Structure Prediction, 84 (S1), pp.323-348. ⟨10.1002/prot.25007⟩
	hal-02320974v1 Journal articles Marc F Lensink, Guillaume Brysbaert, Nurul Nadzirin, Sameer Velankar, Raphaël A.G. Chaleil et al. Blind prediction of homo‐ and hetero‐ protein complexes: The CASP13‐CAPRI experiment Proteins - Structure, Function and Bioinformatics, Wiley, 2019, 87 (12), pp.1200-1221. ⟨10.1002/prot.25838⟩
	hal-00764623v1 Journal articles Pierre Auger, Rachid Mchich, Tanmay Chowdhury, Gauthier Sallet, Maurice Tchuente et al. Effects of a disease affecting a predator on the dynamics of a predator-prey system Journal of Theoretical Biology, Elsevier, 2009, 258 (3), pp.344-351. ⟨10.1016/j.jtbi.2008.10.030⟩
	hal-01495802v1 Journal articles Mohamed Mosbah, Mohamed Tounsi, Dominique Méry. From Event-B specifications to programs for distributed algorithms International journal of autonomous and adaptive communications systems, Inderscience Publishers, 2016, 9 (3-4), pp.223 - 242. ⟨10.1504/IJAACS.2016.079623⟩
	hal-00653499v1 Journal articles Rached Abdelkhalek, Henri Calandra, Olivier Coulaud, Guillaume Latu, Jean Roman. Fast seismic modeling and reverse time migration on a graphics processing unit cluster Concurrency and Computation: Practice and Experience, Wiley, 2012, 24 (7), pp.739-750. ⟨10.1002/cpe.1875⟩
	hal-03025930v1 Journal articles Sabeur Aridhi, Engelbert Mephu Nguifo. Big Graph Mining: Frameworks and Techniques Big Data Research, Elsevier, 2016, 6, pp.1-10. ⟨10.1016/j.bdr.2016.07.002⟩
	hal-02188407v2 Journal articles Elena Fimmel, Christian Michel, François Pirot, Jean-Sébastien Sereni, Lutz Strüngmann. Mixed circular codes Mathematical Biosciences, Elsevier, 2019, 317, pp.108231. ⟨10.1016/j.mbs.2019.108231⟩
	hal-00921403v1 Journal articles Nawal Guermouche, Claude Godart. Composition of Web Services based on Timed Mediation. International Journal of Next-Generation Computing, Perpetual Innovation Media Pvt. Ltd., 2014, 5 (1), 26p
	hal-02316644v2 Journal articles Pierre-Olivier Brissaud, Jérôme François, Isabelle Chrisment, Thibault Cholez, Olivier Bettan. Transparent and Service-Agnostic Monitoring of Encrypted Web Traffic IEEE Transactions on Network and Service Management, IEEE, 2019, 16 (3), pp.842-856. ⟨10.1109/TNSM.2019.2933155⟩
	hal-00921398v1 Journal articles Nawal Guermouche, Claude Godart. Characterizing Compatibility of Timed Choreography. International Journal of Web Services Research, Idea Group Pub, 2011, 8 (2), pp.1-28
	hal-01095543v1 Journal articles Antoine Cully, Jean-Baptiste Mouret. Evolving a Behavioral Repertoire for a Walking Robot Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2016, 24 (1), pp.33. ⟨10.1162/EVCO_a_00143⟩
	hal-01399360v1 Journal articles Vincent Padois, Serena Ivaldi, Jan Babič, Michael Mistry, Jan Peters et al. Whole-body multi-contact motion in humans and humanoids: Advances of the CoDyCo European project Robotics and Autonomous Systems, Elsevier, 2016, ⟨10.1016/j.robot.2016.08.017⟩
	hal-01492787v1 Journal articles Salvatore Anzalone, Giovanna Varni, Serena Ivaldi, Mohamed Chetouani. Automated prediction of Extraversion during Human-Humanoid interaction International Journal of Social Robotics, Springer, 2017, ⟨10.1007/s12369-017-0399-6⟩
	hal-02423102v1 Journal articles Serena Ivaldi, Salvatore Anzalone, Woody Rousseau, Olivier Sigaud, Mohamed Chetouani. Robot initiative in a team learning task increases the rhythm of interaction but not the perceived engagement Frontiers in Neurorobotics, Frontiers, 2014, 8, ⟨10.3389/fnbot.2014.00005⟩
	hal-02068457v1 Journal articles Tan Nguyen, Hoang-Long Mai, Rémi Cogranne, Guillaume Doyen, Wissam Mallouli et al. Reliable Detection of Interest Flooding Attack in Real Deployment of Named Data Networking IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2019, 14 (9), pp.2470-2489. ⟨10.1109/TIFS.2019.2899247⟩
	hal-01817505v1 Journal articles Adam Gaier, Alexander Asteroth, Jean-Baptiste Mouret. Data-Efficient Design Exploration through Surrogate-Assisted Illumination Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2018, 26 (3), pp.381-410. ⟨10.1162/evco_a_00231⟩
	hal-02353861v1 Journal articles Guillaume Doyen, Thibault Cholez, Wissam Mallouli, Bertrand Mathieu, Hoang-Long Mai et al. An Orchestrated NDN Virtual Infrastructure transporting Web Traffic: Design, Implementation and First Experiments with Real End-Users IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2019, The Quest for Information Centric Networking, 57 (6), ⟨10.1109/MCOM.2019.1800730⟩
	hal-03624287v1 Journal articles Axel Hutt, André Grüning, Alex Hansen, Thomas Hartung, Raina Robeva. Editorial: Machine Learning in Natural Complex Systems Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2022, ⟨10.3389/fams.2022.869999⟩
	hal-03647997v1 Journal articles Vessela Atanasova, Emmanuel Bresso, Bernard Maigret, Natalia Florencio Martins, Florence Richard-Forget. Computational Strategy for Minimizing Mycotoxins in Cereal Crops: Assessment of the Biological Activity of Compounds Resulting from Virtual Screening Molecules, MDPI, 2022, 27 (8), pp.2582. ⟨10.3390/molecules27082582⟩
	hal-03016721v1 Journal articles Marie Candito, Mathieu Constant, Carlos Ramisch, Agata Savary, Bruno Guillaume et al. A French corpus annotated for multiword expressions and named entities Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
	hal-03244053v2 Journal articles Axel Hutt, Thomas Wahl, Nicole Voges, Jo Hausmann, Jérémie Lefebvre. Coherence resonance in random Erdös-Rényi neural networks : mean-field theory Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2021, 7, pp.697904. ⟨10.3389/fams.2021.697904⟩
	hal-01100737v1 Journal articles Jérémie Dumas, Jean Hergel, Sylvain Lefebvre. Bridging the Gap: Automated Steady Scaffoldings for 3D Printing ACM Transactions on Graphics, Association for Computing Machinery, 2014, ACM Transactions on Graphics (TOG) - Proceedings of ACM SIGGRAPH 2014, 33 (4), pp.98:1 - 98:10. ⟨10.1145/2601097.2601153⟩
	hal-02291907v1 Journal articles Luigi Penco, Nicola Scianca, Valerio Modugno, Leonardo Lanari, Giuseppe Oriolo et al. A Multi-Mode Teleoperation Framework for Humanoid Loco-Manipulation: An Application for the iCub Robot IEEE Robotics and Automation Magazine, Institute of Electrical and Electronics Engineers, 2019, 26 (4), pp.73-82. ⟨10.1109/MRA.2019.2941245⟩
	hal-01908684v1 Journal articles Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo. NP-completeness of small conflict set generation for congruence closure Formal Methods in System Design, Springer Verlag, 2017, 51 (3), pp.533 - 544. ⟨10.1007/s10703-017-0283-x⟩
	hal-00578991v1 Journal articles Romain Cosset, Damien Robert. Computing (l,l)-isogenies in polynomial time on Jacobians of genus 2 curves Mathematics of Computation, American Mathematical Society, 2015, 84 (294), pp.1953-1975 ⟨10.1090/S0025-5718-2014-02899-8⟩
	hal-01113342v1 Journal articles Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem. Two function algebras defining functions in NC k boolean circuits Information and Computation, Elsevier, 2016, ⟨10.1016/j.ic.2015.12.009⟩
	hal-02456663v1 Journal articles Luigi Penco, Enrico Hoffman, Valerio Modugno, Waldez Gomes, Jean-Baptiste Mouret et al. Learning Robust Task Priorities and Gains for Control of Redundant Robots IEEE Robotics and Automation Letters, IEEE 2020, 5 (2), pp.2626-2633. ⟨10.1109/LRA.2020.2972847⟩
	inria-00383941v2 Journal articles Andreas Enge, Pierrick Gaudry, Emmanuel Thomé. An $L (1/3)$ Discrete Logarithm Algorithm for Low Degree Curves Journal of Cryptology, Springer Verlag, 2011, 24, pp.24-41. ⟨10.1007/s00145-010-9057-y⟩
	hal-02398334v1 Journal articles Igor Konnov. Handbook of Model Checking by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds), published by Springer International Publishing AG, Cham, Switzerland, 2018. Formal Aspects of Computing, Springer Verlag, 2019, pp.455-456. ⟨10.1007/s00165-019-00486-z⟩
	hal-00671856v1 Journal articles Esma Yahia, Mario Lezoche, Alexis Aubry, Hervé Panetto. Semantics enactment for interoperability assessment in Enterprise Information Systems Annual Reviews in Control, Elsevier, 2012, 36 (1), pp.101-117. ⟨10.1016/j.arcontrol.2012.03.008⟩
	hal-01800749v1 Journal articles John Rieffel, Jean-Baptiste Mouret. Adaptive and Resilient Soft Tensegrity Robots Soft Robotics, Mary Ann Liebert, Inc., 2018, 5 (3), pp.318-329. ⟨10.1089/soro.2017.0066⟩
	hal-01596553v1 Journal articles Dobrina Boltcheva, Bruno Lévy. Surface reconstruction by computing restricted Voronoi cells in parallel Computer-Aided Design, Elsevier, 2017, 90, pp.123 - 134. ⟨10.1016/j.cad.2017.05.011⟩
	hal-01316026v1 Journal articles Dominique Méry. Playing with State-Based Models for Designing Better Algorithms Future Generation Computer Systems, Elsevier, 2017, 68, pp.445-455. ⟨10.1016/j.future.2016.04.019⟩
	inserm-00311700v1 Journal articles F Odille, Nicolae Cîndea, Damien Mandry, Cédric Pasquier, Pierre-André Vuissoz et al. Generalized MRI reconstruction including elastic physiological motion and coil sensitivity encoding Magnetic Resonance in Medicine, Wiley, 2008, 59 (6), pp.1401-11. ⟨10.1002/mrm.21520⟩
	hal-00624323v2 Journal articles Jean-Sébastien Sereni, Zelealem Yilma. A Tight Bound on the Set Chromatic Number Discussiones Mathematicae Graph Theory, University of Zielona Góra, 2013, 33 (2), pp.461--465. ⟨10.7151/dmgt.1679⟩
	hal-00771646v1 Journal articles Lucie Daubigney, Matthieu Geist, Senthilkumar Chandramohan, Olivier Pietquin. A Comprehensive Reinforcement Learning Framework for Dialogue Management Optimisation IEEE Journal of Selected Topics in Signal Processing, IEEE, 2012, 6 (8), pp.891-902. ⟨10.1109/JSTSP.2012.2229257⟩
	hal-01097629v1 Journal articles Dominique Méry, Bernhard Schätz, Alan Wassyng. The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2014, 4 (2), pp.17--37
	hal-03144467v1 Journal articles Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann. Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover Journal of Automated Reasoning, Springer Verlag, 2020, 64 (7), pp.1169-1195. ⟨10.1007/s10817-020-09561-0⟩
	hal-01369501v1 Journal articles Adrien Coulet, Malika Smaïl-Tabbone. Mining Electronic Health Records to Validate Knowledge in Pharmacogenomics ERCIM News, ERCIM, 2016, ERCIM News 104, Special theme: Tackling Big Data in the Life Sciences, pp.56
	hal-01768750v1 Journal articles Stephan Merz, Hernán Vanzetto. Encoding TLA+ into unsorted and many-sorted first-order logic Science of Computer Programming, Elsevier, 2018, 158, pp.3-20. ⟨10.1016/j.scico.2017.09.004⟩
	hal-01371087v1 Journal articles Dzmitry Padhorny, Andrey Kazennov, Brandon Zerbe, Kathryn Porter, Bing Xia et al. Protein–protein docking by fast generalized Fourier transforms on 5D rotational manifolds Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2016, 113 (30), pp.E4286-E4293. ⟨10.1073/pnas.1603929113⟩
	hal-01643868v1 Journal articles Pierre-Frédéric Villard, Peter Hammer, Douglas Perrin, Pedro del Nido, Robert Howe. Fast Image-Based Mitral Valve Simulation from Individualized Geometry The International Journal of Medical Robotics and Computer Assisted Surgery, John Wiley & Sons, Inc., 2018, 14 (2), pp.e1880. ⟨10.1002/rcs.1880⟩
	hal-03022601v1 Journal articles Bishnu Sarker, David Ritchie, Sabeur Aridhi. GrAPFI: predicting enzymatic function of proteins from domain similarity graphs BMC Bioinformatics, BioMed Central, 2020, ⟨10.1186/s12859-020-3460-7⟩
	hal-01528687v1 Journal articles Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix. A complete characterisation of All-versus-Nothing arguments for stabiliser states Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2017, Second quantum revolution: foundational questions, 375 (2106), ⟨10.1098/rsta.2016.0385⟩
	hal-01662857v2 Journal articles Guillaume Bosc, Jean-François Boulicaut, Chedy Raïssi, Mehdi Kaytoue. Anytime Discovery of a Diverse Set of Patterns with Monte Carlo Tree Search Data Mining and Knowledge Discovery, Springer, 2018, 32 (3), pp.604-650. ⟨10.1007/s10618-017-0547-5⟩
	hal-01392860v1 Journal articles Natália Florêncio Martins, Emmanuel Bresso, Roberto Togawa, Martin Urban, John Antoniw et al. Searching for Novel Targets to Control Wheat Head Blight Disease—I-Protein Identification, 3D Modeling and Virtual Screening Advances in Microbiology, Scientific Research Publishing, 2016, 06 (11), pp.811 - 830. ⟨10.4236/aim.2016.611079⟩
	hal-01537775v1 Journal articles Ghania Khensous, Belhadri Messabih, Abdellah Chouarfia, Bernard Maigret. Comparison of Cuckoo Search, Tabu Search and TS-Simplex algorithms for unconstrained global optimization Computer Modelling and New Technologies, Prof. Viktors Gopejenko, 2016, 20 (4), pp.23-29
	hal-01652359v1 Journal articles Sucharita Dey, David Ritchie, Emmanuel Levy. PDB-wide identification of biological assemblies from conserved quaternary structure geometry Nature Methods, Nature Publishing Group, 2018, 15, pp.67-72. ⟨10.1038/nmeth.4510⟩
	hal-02280888v1 Journal articles Igor Konnov, Jure Kukovec, Thanh-Hai Tran. TLA+ Model Checking Made Symbolic Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (OOPSLA), pp.123:1--123:30. ⟨10.1145/3360549⟩
	hal-02735272v1 Journal articles Cong Yang, Gilles Simon, John See, Marie-Odile Berger, Wenyong Wang. WatchPose: A View-Aware Approach for Camera Pose Data Collection in Industrial Environments Sensors, MDPI, 2020, 20 (11), ⟨10.3390/s20113045⟩
	hal-00184987v1 Journal articles Guillaume Bonfante, Jean-Yves Marion. Foreword of WTCV 06 Journal in Computer Virology, Springer Verlag, 2007, 3 (1), pp.1-2. ⟨10.1007/s11416-007-0038-0⟩
	hal-01417853v4 Journal articles Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla. Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), ⟨10.15398/jlm.v5i2.147⟩
	hal-02143550v1 Journal articles Viacheslav Osaulenko, Bernard Girau, Oleksandr Makarenko, Patrick Henaff. Increasing Capacity of Association Memory by Means of Synaptic Clustering Neural Processing Letters, Springer Verlag, 2019, 50 (3), pp.2717-2730. ⟨10.1007/s11063-019-10051-7⟩
	hal-01403761v1 Journal articles Yifei Qi, Peng Cheng, Jing Bai, Jiming Chen, Guénard Adrien et al. Energy-Efficient Target Tracking by Mobile Sensors With Limited Sensing Range IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2016, 63 (11), pp.12. ⟨10.1109/TIE.2016.2584000⟩
	hal-01643157v1 Journal articles Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel. Soundness and Completeness Proofs by Coinductive Methods Journal of Automated Reasoning, Springer Verlag, 2017, 58 (1), pp.149 - 179. ⟨10.1007/s10817-016-9391-3⟩
	hal-01982232v1 Journal articles Kevin Dalleau, Miguel Couceiro, Malika Smaïl-Tabbone. Unsupervised Extra Trees: a stochastic approach to compute similarities in heterogeneous data. International Journal of Data Science and Analytics, Springer Verlag, 2020, Advances in Intelligent Data Analysis - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Lecture Notes in Computer Science (12080), pp.132-144. ⟨10.1007/s41060-020-00214-4⟩
	hal-01186715v1 Journal articles Aleksey Buzmakov, Elias Egho, Nicolas Jay, Sergei Kuznetsov, Amedeo Napoli et al. On Mining Complex Sequential Data by Means of FCA and Pattern Structures International Journal of General Systems, Taylor & Francis, 2016, 45 (2), pp.135-159. ⟨10.1080/03081079.2015.1072925⟩
	hal-01577859v1 Journal articles Jonàs Martínez, Haichuan Song, Jérémie Dumas, Sylvain Lefebvre. Orthotropic k-nearest foams for additive manufacturing ACM Transactions on Graphics, Association for Computing Machinery, 2017, 36 (4), pp.121:1--121:12. ⟨10.1145/3072959.3073638⟩
	hal-02469093v1 Journal articles Raffaella Trivisonne, Erwan Kerrien, Stéphane Cotin. Constrained Stochastic State Estimation of Deformable 1D Objects: Application to Single-view 3D Reconstruction of Catheters with Radio-opaque Markers Computerized Medical Imaging and Graphics, Elsevier, 2020, 81, ⟨10.1016/j.compmedimag.2020.101702⟩
	hal-00686056v1 Journal articles Hadrien Courtecuisse, Hoeryong Jung, Jérémie Allard, Christian Duriez, Doo Yong Lee et al. GPU-based Real-Time Soft Tissue Deformation with Cutting and Haptic Feedback Progress in Biophysics and Molecular Biology, Elsevier, 2010, Special Issue on Biomechanical Modelling of Soft Tissue Motion, 103 (2-3), pp.159-168. ⟨10.1016/j.pbiomolbio.2010.09.016⟩
	hal-01285120v1 Journal articles Olivier Devillers, Marc Glisse, Xavier Goaoc, Rémy Thomasse. Smoothed complexity of convex hulls by witnesses and collectors Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (2), pp.101-144. ⟨10.20382/jocg.v7i2a6⟩
	hal-00779634v3 Journal articles Zdeněk Dvořák, Jean-Sébastien Sereni, Jan Volec. Subcubic triangle-free graphs have fractional chromatic number at most $14/5$ Journal of the London Mathematical Society, London Mathematical Society, 2014, 89 (3), pp.641--662. ⟨10.1112/jlms/jdt085⟩
	hal-01461617v1 Journal articles Imran Sheikh, Dominique Fohr, Irina Illina, Georges Linares. Modelling Semantic Context of OOV Words in Large Vocabulary Continuous Speech Recognition IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2017, 25 (3), pp.598 - 610. ⟨10.1109/TASLP.2017.2651361⟩
	inria-00550267v1 Journal articles Lenka Jerabkova, Guillaume Bousquet, Sébastien Barbier, François Faure, Jérémie Allard. Volumetric modeling and interactive cutting of deformable bodies Progress in Biophysics and Molecular Biology, Elsevier, 2010, Special Issue on Biomechanical Modelling of Soft Tissue Motion, 103 (2-3), pp.217-224. ⟨10.1016/j.pbiomolbio.2010.09.012⟩
	hal-01184340v1 Journal articles Miguel Couceiro, Didier Dubois, Henri Prade, Tamas Waldhauser. Decision-making with Sugeno integrals Order, Springer Verlag, 2016, 33 (3), pp.517-535. ⟨10.1007/s11083-015-9382-8⟩
	hal-00934941v1 Journal articles Alexis Benichoux, Laurent Simon, Emmanuel Vincent, Rémi Gribonval. Convex regularizations for the simultaneous recording of room impulse responses IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2014, ⟨10.1109/TSP.2014.2303431⟩
	hal-01884299v1 Journal articles Antoine Cully, Konstantinos Chatzilygeroudis, Federico Allocati, Jean-Baptiste Mouret. Limbo: A Flexible High-performance Library for Gaussian Processes modeling and Data-Efficient Optimization Journal of Open Source Software, Open Journals, 2018, 3 (26), ⟨10.21105/joss.00545⟩
	inria-00596631v1 Journal articles Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer. Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity Journal of Symbolic Computation, Elsevier, 2011, 46 (4), pp.406-437. ⟨10.1016/j.jsc.2010.10.014⟩
	hal-02393432v1 Journal articles Konstantinos Chatzilygeroudis, Vassilis Vassiliades, Freek Stulp, Sylvain Calinon, Jean-Baptiste Mouret. A survey on policy search algorithms for learning robot controllers in a handful of trials IEEE Transactions on Robotics, IEEE, 2020, 36 (2), pp.328-347. ⟨10.1109/TRO.2019.2958211⟩
	hal-02138930v1 Journal articles Michèle Kessler, Nicolas Jay, Rachel Molle, F. Guillemin. Excess risk of cancer in renal transplant patients Transplant International, Wiley, 2006, 19 (11), pp.908-914. ⟨10.1111/j.1432-2277.2006.00383.x⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :