Skip to Main content Skip to Navigation


...
hal-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaë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 AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMichaë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 AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMarc 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ámJohn AbbottBernd BeckerAnna BigattiMartin Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
...
hal-01353925v1  Conference papers
Yinoussa AdagolodjoLaurent GoffinMichel de MathelinHadrien 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ğluEmmanuel 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-01420751v1  Conference papers
Mehwish AlamThi Nhu Nguyen LeAmedeo 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 AlamThi Nhu Nguyen LeAmedeo 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 AlamThi Nhu Nguyen LeAmedeo 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-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 AmblardPhilippe de GrooteSylvain PogodallaChristian 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 AmblardAmine Boumaza. Robots umani, avete dunque una realtà
Iride, Società Editrice il Mulino, 2016, XXIX (2), pp.287-298. ⟨10.1414/84251⟩
...
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-01264249v1  Journal articles
Sabeur AmmarMajid MassaoudJean-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 AndriamiarinaDominique MéryNeeraj 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 AndriesOlivier SimoninFranç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 AntoineChristophe 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 AntoineMarion 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