Skip to Main content Skip to Navigation


...
hal-02192794v1  Conference papers
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
hal-02273253v1  Conference papers
Laure CrochepierreAntoine MarotVincent BarbesantBenjamin DonnotLydia Boudjeloud-Assala. Utilisation de réseau de neurones siamois en clustering : application aux événements du réseau électrique français
Rencontres de la Société Francophone de Classification, Centre de Recherche Inria Nancy Grand Est / LORIA, Sep 2019, Nancy, France
...
hal-03619163v1  Conference papers
Maxime Amblard. (In)Cohérence de la conversation
TAL et Linguistique de corpus, Oct 2021, Nanterre, France
...
hal-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
...
hal-01655957v2  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiMarie-Hélène PierreStefan Jokulsson. (In)Coherence of discourse 4
Mar 2017, Nancy, France. Published by the authors, 2017
hal-02501028v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel Rebuschi. (In)coherence of Discourse. Formal and conceptual issues of language
Springer, 2021, Language, Cognition and Mind (Chungmin Lee “Editor Springer book series)
...
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
hal-01247991v1  Conference papers
Gábor AlagiChristoph Weidenbach. {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
Frontiers of Combining Systems, 10th International Symposium (FroCos 2015), 2015, Wroclaw, Poland. pp.69-84, ⟨10.1007/978-3-319-24246-0_5⟩
...
hal-00563313v1  Conference papers
Pierre-Cyrille HéamVincent HugotOlga Kouchnarenko. {SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
...
hal-01518764v1  Conference papers
Jean-Baptiste MouretKonstantinos Chatzilygeroudis. 20 Years of Reality Gap: a few Thoughts about Simulators in Evolutionary Robotics
Workshop "Simulation in Evolutionary Robotics", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany. ⟨10.1145/3067695.3082052⟩
hal-02400510v1  Directions of work or proceedings
Dominique MéryShengchao Qin. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
...
hal-00434332v1  Documents associated with scientific events
Susanne AlbersJean-yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science (STACS)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, LIPIcs. STACS - 2009, Feb 2009, FREIBURG, Germany. 090001, pp.1-7, 2009, Dagstuhl Seminar Proceedings
...
inria-00549415v1  Documents associated with scientific events
Jean-yves MarionThomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science (STACS)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France
...
hal-01188738v1  Conference papers
yves LaprieBenjamin ElieAnastasiia Tsukanova. 2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
International Congress of Phonetic Sciences, Aug 2015, Glasgow, United Kingdom
...
hal-01240344v1  Journal articles
Jean HergelSylvain Lefebvre. 3D Fabrication of 2D Mechanisms
Computer Graphics Forum, Wiley, 2015, ⟨10.1111/cgf.12555⟩
...
hal-01698928v1  Reports
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
[Research Report] RR-9149, Inria Nancy - Grand Est. 2018, pp.1-22
...
hal-01727375v1  Conference papers
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
Proceedings of the 34th International Symposium on Computational Geometry, Jun 2018, Budapest, Hungary. pp.30:1 - 30:14, ⟨10.4230/LIPIcs.SoCG.2018.30⟩
...
hal-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
...
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
...
hal-03339617v1  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
ORASIS 2021 - 18èmes journées francophones des jeunes chercheurs en vision par ordinateur, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-01654279v1  Conference papers
V V AvrutovP M AksonenkoP HenaffLaurent Ciarletta. 3D-Calibration of the IMU
ELNANO 2017 - IEEE 37th International Conference on Electronics and Nanotechnology, Apr 2017, KIEV, Ukraine. pp.1-6, ⟨10.1109/ELNANO.2017.7939782⟩
inria-00099513v1  Directions of work or proceedings
Ingo DahnLaurent Vigneron. 4th International Workshop on First-Order Theorem Proving- FTP'2003
1 (1), Elsevier Science Publishers, 2003, Electronic Notes in Theoretical Computer Science
hal-02296176v1  Directions of work or proceedings
Filip de TurckChristian JacquenetProsper ChemouilOlivier FestorWalter Cerroni et al.  5th IEEE Conference on Network Softwarization, NetSoft 2019, Paris, France
NetSoft 2019 - 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. 2019, ISBN 978-1-5386-9376-6
...
hal-03540836v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)
CEUR Workshop Proceedings. IJCAI 2021, Aug 2021, Montréal/virtual, Canada. CEUR Workshop Proceedings (http://ceur-ws.org/Vol-2972) (2972), pp.139, 2021, Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)
inria-00329973v1  Conference papers
Frédéric DadeauRégis TissotMarie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
hal-00804303v1  Conference papers
Wahiba TaoualiNicolas P. RougierFrédéric Alexandre. A basic model of saccades encoding
The NeuroComp/KEOpS'12 workshop, Oct 2012, Bordeaux, France
...
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 2021 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
...
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France
...
hal-03554305v2  Conference papers
Francesca RonchiniRomain Serizel. A benchmark of state-of-the-art sound event detection systems evaluated on synthetic soundscapes
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore/Virtual, Singapore. ⟨10.1109/ICASSP43922.2022.9747577⟩
hal-03265573v1  Conference papers
Étienne AndréDylan MarinhoJaco van de Pol. A Benchmarks Library for Extended Parametric Timed Automata
TAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
...
hal-00744919v1  Conference papers
Juan Pablo TimpanaroIsabelle ChrismentOlivier Festor. A Bird's Eye View on the I2P Anonymous File-sharing Environment
The 6th International Conference on Network and System Security, Nov 2012, Wu Yi Shan, China
...
hal-03666488v1  Reports
Loïc Dubois. A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
...
hal-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
SCF 2021 - ACM Symposium on Computational Fabrication, Oct 2021, Boston/Virtual, United States. pp.1-8, ⟨10.1145/3485114.3485117⟩
...
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
...
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - 5th Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
hal-01648694v1  Conference papers
Russell BradfordJames H. DavenportMatthew EnglandHassan ErramiVladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
...
hal-01063805v1  Reports
Jonathan Le RouxEmmanuel Vincent. A categorization of robust speech processing datasets
[Technical Report] Mitsubishi Electric Research Labs TR2014-116, 2014
...
inria-00332390v1  Conference papers
Jean-yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
hal-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
inria-00580198v1  Conference papers
Samuel Cruz-LaraTarik OsswaldJordan GuinaudNadia BellalemLotfi Bellalem. A Chat Interface Using Standards for Communication and E-learning in Virtual Worlds
ICEIS 2010 - 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal-Madeira, Portugal. pp.541-554, ⟨10.1007/978-3-642-19802-1_37⟩
hal-01241302v1  Conference papers
Nadir GuetmiAbdessamad Imine. A Cloud-Based Reusable Design for Mobile Data Sharing
Model and Data Engineering, Sep 2015, Island of Rhodes, Greece. ⟨10.1007/978-3-319-23781-7_6⟩
...
hal-00906814v1  Conference papers
My Thao Tangyannick Toussaint. A Collaborative Approach for FCA-Based Knowledge Extraction
CLA - The Tenth International Conference on Concept Lattices and Their Applications - 2013, Oct 2013, La Rochelle, France
...
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
...
hal-03115781v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different features for efficient automatic hate speech detection
IPrA 2021 - 17th International Pragmatics Conference, Jun 2021, Winterthur, Switzerland
hal-03347244v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different state-of-the-art NLP models for efficient automatic hate speech detection
Comments, hate speech, disinformation and public communication regulation 2021, Sep 2021, Zagreb, Croatia
...
hal-01835437v1  Conference papers
Wissem InoubliSabeur AridhiHaithem MezniMondher MaddouriEngelbert Mephu Nguifo. A Comparative Study on Streaming Frameworks for Big Data
VLDB 2018 - 44th International Conference on Very Large Data Bases : Workshop LADaS - Latin American Data Science, Aug 2018, Rio de Janeiro, Brazil. pp.1-8
...
hal-01251968v1  Conference papers
César BernardiniThomas SilverstonOlivier Festor. A Comparison of Caching Strategies for Content Centric Networking
IEEE Global Communication Conference, Dec 2015, San Diego, United States
...
hal-01518814v1  Conference papers
Vassilis VassiliadesKonstantinos ChatzilygeroudisJean-Baptiste Mouret. A comparison of illumination algorithms in unbounded spaces
Workshop "Measuring and Promoting Diversity in Evolutionary Algorithms", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany
...
hal-01529623v2  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩
hal-01653557v1  Conference papers
Sansom AbramskiRui Soares BarbosaGiovanni CarùSimon Perdrix. A complete characterisation of All-versus-Nothing arguments for stabiliser states
14th International Conference on Quantum Physics and Logic (QPL), Jul 2017, Nijmegen, Netherlands
hal-01528687v1  Journal articles
Samson AbramskyRui Soares BarbosaGiovanni 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⟩
inria-00638552v1  Conference papers
Véronique CortierBogdan Warinschi. A Composable Computational Soundness Notion
18th ACM Conference on Computer and Communications Security - CSS 2011, Oct 2011, Chicago, United States. pp.63-74, ⟨10.1145/2046707.2046717⟩
inria-00638558v1  Conference papers
Véronique CortierBogdan Warinschi. A composable computational soundness notion (Abstract)
7th Workshop on Formal and Computational Cryptography (FCC 2011), Jun 2011, Paris, France
hal-00912628v1  Conference papers
Kalou Cabrera CastillosFrédéric DadeauJacques JulliandSafouan TahaBilal Kanso. A Compositional Automata-based Semantics for Property Patterns
iFM'2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.316-330, ⟨10.1007/978-3-642-38613-8_22⟩
...
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
hal-01206289v1  Conference papers
David BernhardVéronique CortierDavid GalindoOlivier PereiraBogdan Warinschi. A comprehensive analysis of game-based ballot privacy definitions
36th IEEE Symposium on Security and Privacy (S&P'15), May 2015, San Jose, United States. ⟨10.1109/SP.2015.37⟩
inria-00576602v1  Journal articles
Silvio GhilardiEnrica NicoliniDaniele Zucchelli. A comprehensive combination framework
ACM Transactions on Computational Logic, Association for Computing Machinery, 2008, 9 (2), pp.Article n° 8. ⟨10.1145/1342991.1342992⟩
...
hal-03106208v1  Conference papers
Uwe WaldmannSophie TourretSimon RobillardJasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
...
hal-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
BRAINS 2021 - 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, Sep 2021, Paris/ Virtuel, France. pp.8
...
inria-00433472v1  Conference papers
Guillaume BonfanteJean-yves MarionDaniel Reynaud. A computability perspective on self-modifying programs
7th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2009, Nov 2009, Hanoi, Vietnam
...
inria-00424703v1  Conference papers
Luciana BenottiDavid Traum. A computational account of comparative implicatures for a spoken dialogue agent
Eighth International Conference on Computational Semantics - IWCS-8 2009, Jan 2009, Tilburg, Netherlands
...
hal-00842311v1  Poster communications
Georgios DetorakisNicolas P. Rougier. A computational view of area 3b of primary somatosensory cortex
Twenty Second Annual Computational Neuroscience Meeting : CNS 2013, Jul 2013, Paris, France. 14 (Suppl 1), pp.P333, 2013
...
hal-00908566v1  Conference papers
Georgios DetorakisNicolas P. Rougier. A computational view of area 3b of primary somatosensory cortex
Annual Computational Neuroscience Meeting, Jul 2013, Paris, France
...
hal-00880002v1  Conference papers
Renzo StanleyHernan AstudilloVictor CodocedoAmedeo Napoli. A Conceptual-KDD approach and its application to cultural heritage
Concept Lattices and their Applications, L3i laboratory, University of La Rochelle, Oct 2013, La Rochelle, France. pp.163-174
...
hal-01414179v2  Journal articles
Sharon GannotEmmanuel VincentShmulik Markovich-GolanAlexey Ozerov. A consolidated perspective on multi-microphone speech enhancement and source separation
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2017, 25 (4), pp.692-730. ⟨10.1109/TASLP.2016.2647702⟩
...
hal-00909202v1  Conference papers
Ivan EnderlinAlain GiorgettiFabrice Bouquet. A Constraint Solver for PHP Arrays
ICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. pp.218-223, ⟨10.1109/ICSTW.2013.80⟩
...
tel-01749599v2  Theses
Hien Thi Thu Truong. A Contract-based and Trust-aware Collaboration Model
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0181⟩
...
inria-00636183v1  Conference papers
Hien Thi Thu TruongClaudia-Lavinia IgnatMohamed-Rafik BougueliaPascal Molli. A Contract-extended Push-Pull-Clone Model
7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2011), Oct 2011, Orlando, Florida, United States