Skip to Main content Skip to Navigation

hal-01636963v2  Reports
Sylvain Lefebvre. Visualizing and Fabricating Complex Internal Structures
[Technical Report] RT-0493, Inria Nancy - Grand Est. 2017, pp.15
hal-01534567v1  Reports
Ivan GazeauTom ChothiaDominic Duggan. Types for Location and Data Security in Cloud Environments
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); University of Birmingham; Stevens Institute of Technology. 2017
hal-01383263v1  Book sections
Jon BarkerRicard MarxerEmmanuel VincentShinji Watanabe. The CHiME challenges: Robust speech recognition in everyday environments
New era for robust speech recognition - Exploiting deep learning, Springer, pp.327-344, 2017
hal-02062459v1  Book sections
Simon Cruanes. Superposition with Structural Induction
Clare Dixon; Marcelo Finger. Frontiers of Combining Systems, Springer, pp.172-188, 2017, 11th International Symposium on Frontiers of Combining Systems - FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 978-3-319-66166-7. ⟨10.1007/978-3-319-66167-4_10⟩
hal-01526841v1  Reports
Haniel BarbosaJasmin BlanchettePascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing
[Research Report] Universite de Lorraine, CNRS, Inria, LORIA, Nancy, France; Universidade Federal do Rio Grande do Norte, Natal, Brazil; Vrije Universiteit Amsterdam, Amsterdam, The Netherlands; Max-Planck-Institut für Informatik, Saarbrücken, Germany. 2017, pp.25
hal-01529966v1  Reports
Véronique CortierAntoine DallonStéphanie Delaune. SAT-Equiv: an efficient tool for equivalence properties
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
hal-01666110v1  Book sections
Dorin MaximLiliana Cucu-GrosjeanRobert Davis. Probabilistic schedulability analysis
Arvind Easwaran. Handbook on Real-Time Computing, Springer, In press, Handbook on Real-Time Computing
hal-01660045v1  Reports
Daniel Le MétayerSourya Joyee De. Privacy Risk Analysis to Enable Informed Privacy Settings
[Research Report] RR-9125, Inria - Research Centre Grenoble – Rhône-Alpes. 2017, pp.1-24
hal-01620341v1  Book sections
Slim EssidSanjeel ParekhNgoc DuongRomain SerizelAlexey Ozerov et al.  Multiview approaches to event detection and scene analysis
Tuomas Virtanen; Mark D. Plumbley; Dan Ellis. Computational Analysis of Sound Scenes and Events, Springer, pp.243-276, 2017, 978-3319634494. ⟨10.1007/978-3-319-63450-0_9⟩
hal-01570330v3  Reports
Samuel HornusSylvain Lefebvre. Iterative carving for self-supporting 3D printed cavities
[Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19
hal-01630907v1  Book sections
Richard BrentAlexander KruppaPaul Zimmermann. FFT extension for algebraic-group factorization algorithms
Joppe W. Bos; Arjen K. Lenstra. Topics in Computational Number Theory Inspired by Peter L. Montgomery, Cambridge University Press, pp.189-205, 2017, 978-1-107-10935-3
hal-01568030v1  Reports
Olivier DevillersMarc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
hal-01442691v2  Reports
Haniel BarbosaPascal FontaineAndrew Reynolds. Congruence Closure with Free Variables
[Research Report] Inria, Loria, Universite de Lorraine, UFRN, University of Iowa. 2017