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 RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01320646v1 Journal articles Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch. Detection of firewall configuration errors with updatable tree International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
	hal-01402062v1 Conference papers Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Michaël Rusinowitch. Online link disclosure strategies for social networks The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France
	hal-01241619v1 Poster communications Younes Abid, Abdessamad Imine, Amedeo Napoli, Chedy Raïssi, Marc Rigolot et al. Analyse d'activité et exposition de la vie privée sur les médias sociaux 16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016
	hal-01377655v1 Conference papers Eriká Abrahám, John Abbott, Bernd Becker, Anna Bigatti, Martin Brain et al. SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper) Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
	hal-01409069v1 Journal articles Umut Acar, Arthur Charguéraud, Mike Rainey. Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, ⟨10.1017/S0956796816000101⟩
	hal-01353925v1 Conference papers Yinoussa Adagolodjo, Laurent Goffin, Michel de Mathelin, Hadrien Courtecuisse. Inverse real-time Finite Element simulation for robotic control of flexible needle insertion in deformable tissues IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) , Oct 2016, Daejeon, South Korea
	hal-00726146v2 Journal articles Kamil Adiloğlu, Emmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
	hal-01245832v1 Journal articles Yamine Aït-Ameur, Dominique Méry. Making explicit domain knowledge in formal system development Science of Computer Programming, Elsevier, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩
	hal-01420751v1 Conference papers Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli. LatViz: A New Practical Tool for Performing Interactive Exploration over Concept Lattices CLA 2016 - Thirteenth International Conference on Concept Lattices and Their Applications , Jul 2016, Moscow, Russia
	hal-01420752v1 Conference papers Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli. Interactive Exploration over Concept Lattices with LatViz European Conference on Artificial Intelligence, Software Demo Track., Aug 2016, The Hague, Netherlands
	hal-01420753v1 Conference papers Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli. Steps Towards Interactive Formal Concept Analysis with LatViz Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence ECAI 2016, Aug 2016, The Hague, Netherlands
	hal-01573093v1 Poster communications Seyed Ziaeddin Alborzi, David Ritchie, Marie-Dominique Morch. Using Content-Based Filtering to Infer Direct Associations between the CATH, Pfam, and SCOP Domain Databases ECCB 2016, Sep 2016, The Hague, Netherlands
	hal-01244517v1 Journal articles Hasan Alzubaidi, Xavier Antoine, Chokri Chniti. Formulation and accuracy of on-surface radiation conditions for acoustic multiple scattering problems Applied Mathematics and Computation, Elsevier, 2016, 277, pp.82-100. ⟨10.1016/j.amc.2015.12.023⟩
	hal-01655920v1 Conference papers Maxime Amblard. Sémantique : modélisation formelle et interprétation de données empiriques Séminaire ATILF, Oct 2016, Nancy, France. pp.1-150
	hal-01403271v1 Directions of work or proceedings Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) Maxime Amblard; Philippe de Groote; Sylvain Pogodalla; Christian Retoré. LACL: Logical Aspects of Computational Linguistics, Dec 2016, Nancy, France. 10054, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-53826-5⟩
	hal-01414145v1 Journal articles Maxime Amblard. Pour un TAL responsable Traitement Automatique des Langues, ATALA, 2016, 57 (2), pp.21 - 45
	hal-01391754v1 Journal articles Maxime Amblard, Amine Boumaza. Robots umani, avete dunque una realtà Iride, Società Editrice il Mulino, 2016, XXIX (2), pp.287-298. ⟨10.1414/84251⟩
	hal-01280938v1 Journal articles Maxime Amblard. Regard sur « À quoi rêvent les algorithmes » Interstices, INRIA, 2016
	hal-01280932v1 Conference papers Maxime Amblard. L'informaticien face au traitement du langage : que peut-on faire et que croit-on que nous faisons ? Séminaire 2015/2016 « Images du savoir pratique : les figures de l’informaticien et du médecin dans les récits de fiction populaire contemporains, Feb 2016, Strasbourg, France
	tel-01415967v2 Habilitation à diriger des recherches Maxime Amblard. Sémantique et discours - de la modélisation à l'interprétation Informatique [cs]. Université de Lorraine (Nancy), 2016
	hal-01262284v1 Journal articles Chloé Ambroset, Charles Coluzzi, Gérard Guédon, Marie-Dominique Morch, Valentin Loux et al. New Insights into the Classification and Integration Specificity of Streptococcus Integrative Conjugative Elements through Extensive Genome Exploration Frontiers in Microbiology, Frontiers Media, 2016, 6 (6), pp.1483. ⟨10.3389/fmicb.2015.01483⟩
	hal-01264249v1 Journal articles Sabeur Ammar, Majid Massaoud, Jean-Claude Vivalda. Observability under sampling for nonlinear systems Asian Journal of Control, Asian Control Association (ACA) and Chinese Automatic Control Society (CACS) 2016, 18 (4), pp.10. ⟨10.1002/asjc.1284⟩
	tel-01754666v2 Theses Luc André. Préservation des Intentions et Maintien de la Cohérence des Données Répliquées en Temps Réel Algorithme et structure de données [cs.DS]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0089⟩
	hal-01246669v1 Book sections Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
	hal-01196042v2 Journal articles Mihai Andries, Olivier Simonin, François Charpillet. Localisation of humans, objects and robots interacting on load-sensing floors IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2016, 16 (4), pp.1026-1037. ⟨10.1109/JSEN.2015.2493122⟩
	hal-01276808v1 Book sections Xavier Antoine, Christophe Geuzaine. Optimized Schwarz domain decomposition methods for scalar and vector Helmholtz equations D. Lahaye, J. Tang and K. Vuik. Modern Solvers for Helmholtz Problems, Springer International Publishing, pp.189-213, 2016, Lecture notes in geosystems mathematics and computing, ⟨10.1007/978-3-319-28832-1_8⟩
	hal-00591456v1 Book sections Xavier Antoine, Marion Darbas. Integral Equations and Iterative Schemes for Acoustic Scattering Problems F. Magoulès. Numerical Methods for Acoustics Problems, Saxe-Coburg Editors, 2016, 978-1-874672-46-3
	hal-01244364v1 Journal articles Xavier Antoine, Qinglin Tang, Yong Zhang. On the ground states and dynamics of space fractional nonlinear Schrödinger/Gross-Pitaevskii equations with rotation term and nonlocal nonlinear interactions Journal of Computational Physics, Elsevier, 2016, 325, pp.74-97. ⟨10.1016/j.jcp.2016.08.009⟩
	hal-01271463v1 Journal articles Xavier Antoine, Christophe Besse, Vittorio Rispoli. High-order IMEX-spectral schemes for computing the dynamics of systems of nonlinear Schrödinger /Gross-Pitaevskii equations Journal of Computational Physics, Elsevier, 2016, 327, pp.252-269. ⟨10.1016/j.jcp.2016.09.020⟩
	hal-01244354v1 Journal articles Xavier Antoine, Emmanuel Lorin. Lagrange–Schwarz Waveform Relaxation domain decomposition methods for linear and nonlinear quantum wave problems Applied Mathematics Letters, Elsevier, 2016, 57, pp.38-45. ⟨10.1016/j.aml.2015.12.012⟩
	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 RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize