Skip to Main content Skip to Navigation

hal-01798576v1  Journal articles
Andrii Dmytrovych ShachykovPatrick HenaffOlexandr Petrovych Shulyak. Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека
Bulletin of National Technical University of Ukraine "KPI". Series Instrument Making, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018, 55(1), pp.118-125. ⟨10.20535/1970.55(1).2018.135832⟩
hal-01903685v2  Conference papers
Mathieu FehrOlivier BuffetVincent ThomasJilles Dibangoye. ρ-POMDPs have Lipschitz-Continuous ϵ-Optimal Value Functions
NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-27
hal-01906996v1  Conference papers
Xavier MarchalThibault CholezOlivier Festor. μNDN: an Orchestrated Microservice Architecture for Named Data Networking
ACM-ICN'18 - 5th ACM Conference on Information-Centric Networking, Sep 2018, Boston, United States. pp.12, ⟨10.1145/3267955.3267961⟩
hal-01445707v2  Conference papers
Emmanuel JeandelSimon PerdrixRenaud VilmartQuanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
hal-03690070v1  Conference papers
Johan ArcileÉtienne André. Zone Extrapolations in Parametric Timed Automata
14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
hal-01054395v1  Conference papers
Karen FortBruno GuillaumeValentin Stern. ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16
hal-02985551v1  Conference papers
Sanaz EidizadehakhchelooBizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Your Age Revealed by Facebook Picture Metadata
BBIGAP 2020 - Second Workshop of BI and Big Data Applications, Aug 2020, Lyon / Virtual, France. pp.259-270, ⟨10.1007/978-3-030-55814-7_22⟩
hal-02974078v1  Conference papers
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. You are what emojis say about your pictures
SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩
hal-00732901v1  Journal articles
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩
inria-00426624v1  Conference papers
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
20th International Conference on Rewriting Techniques and Applications - RTA'09, Jun 2009, Brasilia, Brazil. pp.148-163, ⟨10.1007/978-3-642-02348-4_11⟩
hal-01445948v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus
International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
inria-00176680v1  Conference papers
Abdel BelaidIngrid Falkyves Rangoni. XML data representation in Document Image Analysis
9th International Conference on Document Analysis and Recognition - ICDAR'07, IAPR, Sep 2007, Curitiba, Brazil. pp.78-82
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichael RusinowitchSihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
inria-00160400v1  Conference papers
yannick ParmentierLaura KallmeyerTimm LichteWolfgang Maier. XMG: eXtending MetaGrammars to MCTAG
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482
hal-01952304v1  Journal articles
Benjamin CamusJulien VaubourgThomas Parisyannick PresseChristine Bourjot et al.  Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2017, 36 (3-6), pp.185-215. ⟨10.3166/tsi.2017.00010⟩
hal-01946733v1  Conference papers
Pascal FontaineMizuhito OgawaThomas SturmVan Khanh ToXuan Tung Vu. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom
hal-03556366v1  Conference papers
Jérôme Dinet. Would you be friends with a robot?”: The impact of perceived autonomy and perceived risk
AHFE 2022 - 13th International Conference on Applied Human Factors and Ergonomics, Jul 2022, New York, United States
hal-01142465v1  Conference papers
Ranjan JhaDamien ChablatFabrice RouillierGuillaume Moroz. Workspace and Singularity analysis of a Delta like family robot
4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France
hal-01006614v1  Conference papers
Damien ChablatRanjan JhaFabrice RouillierGuillaume Moroz. Workspace and joint space analysis of the 3-RPS parallel robot
ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. pp.1-10
hal-00646845v1  Conference papers
Sai Qian. Workshop Proposal for Young Researchers' Roundtable on Spoken Dialogue Systems 2011
Young Researchers' Roundtable on Spoken Dialogue Systems 2011, Jun 2011, Portland, United States
hal-01956367v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes of the Sixth International Workshop "What can FCA do for Artificial Intelligence?
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2018 - 6th International Workshop "What can FCA do for Artificial Intelligence"?, Jul 2018, Stockholm, Sweden. 2149, CEUR Proceedings, pp.150, 2018
hal-02431335v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes of the Seventh International Workshop "What can FCA do for Artificial Intelligence?
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. FCA4AI 2019 (What can FCA do for Artificial Intelligence?), 2019, CEUR Workshop Proceedings 2529,, pp.87, 2019
hal-01252624v1  Directions of work or proceedings
Sergei O. KuznetsovAmedeo NapoliSebastian Rudolph. Workshop Notes International Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)
Kuznetsov, Sergei O. ; Napoli, Amedeo; Rudolph, Sebastian. France. CEUR Workshop Proceedings 1430, 2015, CEUR Workshop Proceedings 1430
inria-00440785v1  Conference papers
Guillaume BonfanteBruno GuillaumeMathieu Morey. Word Order Constraints for Lexical Disambiguation of Interaction Grammars
Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France
tel-00543961v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
hal-00597903v1  Conference papers
yongxin LiaoMario LezocheHervé PanettoNacer Boudjlida. Why, Where and How to use Semantic Annotation for Systems Interoperability
1st UNITE Doctoral Symposium, Jun 2011, Bucarest, Romania. pp.71-78
inria-00543927v1  Journal articles
Kaveh R. GhaziVincent LefèvrePhilippe ThévenyPaul Zimmermann. Why and How to Use Arbitrary Precision
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
hal-03245005v1  Conference papers
Eloïse DalinIvan BergonzaniTimothée AnneSerena IvaldiJean-Baptiste Mouret. Whole-body teleoperation of the Talos humanoid robot: preliminary results
ICRA 2021 - 5th Workshop on Teleoperation of Dynamic Legged Robots in Real Scenarios, May 2021, Xi’an / Virtual, China
hal-01790597v1  Conference papers
Enrico Mingo HoffmanBrice ClémentChengxu ZhouNikos G TsagarakisJean-Baptiste Mouret et al.  Whole-Body Compliant Control of iCub: first results with OpenSoT
IEEE/RAS ICRA Workshop on Dynamic Legged Locomotion in Realistic Terrains, May 2018, Brisbane, Australia
hal-01494043v1  Conference papers
Karën FortBruno GuillaumeNicolas Lefèbvre. Who wants to play Zombie? A survey of the players on ZOMBILINGO
Games4NLP 2017 - Using Games and Gamification for Natural Language Processing, Apr 2017, Valencia, Spain. pp.2
hal-02944663v1  Conference papers
Sandra RasoamiaramananaGilles Macario-RatMarine Minier. White-Box Traitor-Tracing from Tardos Probabilistic Codes
SecITC 2019: Innovative Security Solutions for Information Technology and Communications, Nov 2019, Bucharest, Romania. pp.125-141, ⟨10.1007/978-3-030-41025-4_9⟩
hal-01094785v1  Preprints, Working Papers, ...
Can Baskent. Which Society, Which Software?
inria-00423047v1  Conference papers
Carlos ArecesDiego Figueira. Which Semantics for Neighbourhood Semantics?
Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676
hal-03585479v1  Book sections
Frédéric SurBenoît BlaysatMichel Grédiac. Which Pattern for a Low Pattern-Induced Bias?
Sharlotte L.B. Kramer, Rachael Tighe, Ming-Tzer Lin, Cosme Furlong, Chi-Hung Hwang. Thermomechanics & Infrared Imaging, Inverse Problem Methodologies, Mechanics of Additive & Advanced Manufactured Materials, and Advancements in Optical Methods & Digital Image Correlation, Volume 4, Springer International Publishing, pp.103-105, 2022, Conference Proceedings of the Society for Experimental Mechanics Series, ⟨10.1007/978-3-030-86745-4_15⟩
hal-01078045v1  Conference papers
Gilles AddaLaurent BesacierAlain CouillaultKaren FortJoseph Mariani et al.  Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
Crowdsourcing and human computation multidisciplinary workshop, CNRS, Sep 2014, Paris, France
hal-03153265v1  Preprints, Working Papers, ...
Titouan Carette. When Only Topology Matters
hal-02864071v2  Conference papers
Miguel CouceiroErkko LehtonenLaurent MicletHenri PradeGilles Richard. When nominal analogical proportions do not fail
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
hal-01588876v1  Conference papers
Emmanuel Vincent. When mismatched training data outperform matched data
Systematic approaches to deep learning methods for audio, Sep 2017, Vienna, Austria
hal-02185645v1  Conference papers
Amine Boumaza. When Mating Improves On-line Collective Robotics
GECCO’19 Proceedings of the 2019 Genetic and Evolutionary Computation Conference, Jul 2019, Prague, Czech Republic
hal-02880731v1  Book sections
Zaineb Chelly DagdiaMiroslav Mirchev. When Evolutionary Computing Meets Astro- and Geoinformatics
Knowledge Discovery in Big Data from Astronomy and Earth Observation, pp.283-306, 2020
hal-00826099v1  Conference papers
Elaa TeftefCarlos CarvajalThierry ViévilleFrédéric Alexandre. When early vision in the retina attempts to take decisions about visual motion events : the role of konio cells
Third International Symposium on Biology of Decision Making, Université Pierre et Marie Curie (Paris 6), May 2013, Paris, France
hal-03021720v1  Conference papers
Gaël GuibonMarine CourtinKim GerdesBruno Guillaume. When Collaborative Treebank Curation Meets Graph Grammars
LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France
hal-01351398v1  Conference papers
Myrto ArapinisVéronique CortierSteve Kremer. When are three voters enough for privacy properties?
21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece
hal-02984693v1  Conference papers
Scott WisdomHakan ErdoganDaniel P W EllisRomain SerizelNicolas Turpault et al.  What’s All the FUSS About Free Universal Sound Separation Data?
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto/Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414774⟩
halshs-01424902v1  Conference papers
Martine Adda-DeckerBarbara SchupplerLori LamelJuan Andrés Morales CordovillaGilles Adda. What we can learn from asr errors about low-resourced languages: a case-study of luxembourgish and austrian
Errors by Humans and Machines in Multimedia, Multimodal, Multilingual Data Processing (ERRARE 2013), Nov 2013, Ermenonville, France
hal-01889792v1  Poster communications
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. What MDL can bring to Pattern Mining
ISWS 2018 - International Semantic Web Research Summer School, Jul 2018, Bertinoro, Italy
hal-00641326v1  Conference papers
Tigran Avanesovyannick ChevalierMohammed Anis MekkiMichael Rusinowitch. Web Services Verification and Prudent Implementation
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
inria-00537943v1  Journal articles
Mohsen RouachedWalid FdhilaClaude Godart. Web Services Compositions Modelling and Choreographies Analysis
International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩
hal-00764804v1  Conference papers
Ehtesham ZahoorOlivier PerrinClaude Godart. Web services composition verification using satisfiability solving
IEEE 19th International Conference on Web Services, Jun 2012, Honolulu, United States. pp.242-249, ⟨10.1109/ICWS.2012.75⟩
hal-01378355v1  Conference papers
Guillaume SerrièreChristophe CerisaraDominique FohrOdile Mella. Weakly-supervised text-to-speech alignment confidence measure
International Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan
hal-02313981v1  Journal articles
Carolina SaavedraRodrigo SalasLaurent Bougrain. Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩
hal-00756563v1  Conference papers
Carolina SaavedraLaurent Bougrain. Wavelet-based Semblance for P300 Single-trial Detection
BIOSIGNAL - international conference on Bio-Inspired Systems and Signal Processing - 2013, Feb 2013, Barcelone, Spain
hal-00697150v1  Conference papers
Mehdi KaytoueArlei SilvaLoïc CerfWagner MeiraChedy Raïssi. Watch me playing, I am a professional: a first study on video game live streaming
MSND@WWW - International Workshop on Mining Social Network Dynamics - 2012 (in conjunction with WWW - World Wild Web - 2012), May 2012, Lyon, France. pp.1181-1188, ⟨10.1145/2187980.2188259⟩
hal-01712628v1  Journal articles
Olivier DevillersLouis Noizet. Walking in a Planar Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2018, 28 (3), pp.255-269. ⟨10.1142/S0218195918500061⟩
hal-01421548v1  Conference papers
Pierre-Edouard OscheSylvain CastagnosAmedeo Napoliyannick Naudet. Walk the line: Toward an efficient user model for recommendations in museums
11th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP 2016), Oct 2016, Thessaloniki, Greece. pp.83 - 88, ⟨10.1109/SMAP.2016.7753389⟩
tel-01750754v2  Theses
Martin Barrere. Vulnerability Management for Safe Configurations in Autonomic Networks and Systems
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0048⟩
hal-00875171v1  Journal articles
Martín BarrèreRémi BadonnelOlivier Festor. Vulnerability Assessment in Autonomic Networks and Services: A Survey
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2014, 16 (2), pp. 988-1004. ⟨10.1109/SURV.2013.082713.00154⟩
hal-00836829v1  Conference papers
Shinji Maedayves Laprie. Vowel and prosodic factor dependent variations of vocal-tract length
InterSpeech - 14th Annual Conference of the International Speech Communication Association - 2013, Aug 2013, Lyon, France
hal-01900086v1  Conference papers
Véronique CortierJoseph Lallemand. Voting: You Can’t Have Privacy without Individual Verifiability
ACM CCS 2018 - 25th ACM Conference on Computer and Communications Security, Oct 2018, Toronto, Canada. ⟨10.1145/3243734.3243762⟩
inria-00099700v1  Conference papers
Abdessamad IminePascal MolliGérald OsterPascal Urso. VOTE: Group Editors Analyzing Tool
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩
hal-01338070v1  Conference papers
Jannik DreierPascal Lafourcadeyassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols
4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩
hal-01338071v1  Reports
Jannik DreierPascal Lafourcadeyassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
hal-01350400v1  Journal articles
Véronique CortierSteve Kremer. Vote par Internet
Interstices, INRIA, 2017
hal-01303811v1  Journal articles
Romain MerlandGuillaume CaumonBruno LévyPauline Collon-Drouaillet. Voronoi grids conforming to 3D structural features
Computational Geosciences, Springer Verlag, 2014, 18 (3-4, SI), pp.373-383. ⟨10.1007/s10596-014-9408-0⟩
hal-03090865v1  Conference papers
Ioannis K Dourosyu XieChrysanthi DourouJacques FelblingerKaryna Isaieva et al.  Vocal tract sagittal slices estimation from MRI midsagittal slices during speech production of CV
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
hal-00990508v1  Conference papers
Manel TagortiBruno Scherrer. Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$)
JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
hal-01636963v2  Reports
Sylvain Lefebvre. Visualizing and Fabricating Complex Internal Structures
[Technical Report] RT-0493, Inria Nancy - Grand Est. 2017, pp.15
edutice-00875615v2  Conference papers
Martine GautierBrigitte Wrobel-Dautcourt. Visualisation dynamique de programmes, artEoz : l'outil qui manquait
Sciences et technologies de l'information et de la communication (STIC) en milieu éducatif, 2013, Clermont-Ferrand, France
inria-00636517v1  Book sections
Wahiba TaoualiNicolas P. RougierFrédéric Alexandre. Visual Target Selection Emerges from a Bio-inspired Network Topology
J. Kacprzyk. Studies in Computational Intelligence, Springer Verlag, 2012
hal-00730733v1  Conference papers
Slim OuniLoïc MangeonjeanIngmar Steiner. VisArtico: a visualization tool for articulatory data
13th Annual Conference of the International Speech Communication Association - InterSpeech 2012, Sep 2012, Portland, OR, United States
hal-00762575v1  Conference papers
Slim OuniLoïc Mangeonjean. VisArtico : visualiser les données articulatoires obtenues par un articulographe
Actes de la conférence conjointe JEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. pp.129-135
hal-00762918v1  Journal articles
Jean-yves Marion. Viruses in Turing's Garden
ERCIM News, ERCIM, 2012, 2012 (91)
hal-02421693v1  Conference papers
Sonia Haddad-VanierCéline GicquelLila BoukhatemKahina LazriPaul Chaignon. Virtual network functions placement for defense against distributed denial of service attacks
ICORES 2019 - 8th International Conference on Operations Research and Enterprise Systems, Feb 2019, Praque, Czech Republic
hal-01170042v2  Conference papers
Bernardetta AddisDallal BelabedMathieu BouetStefano Secci. Virtual Network Functions Placement and Routing Optimization
CloudNet 2015 - IEEE 4th International Conference on Cloud Networking, Oct 2015, Niagara Falls, ON, Canada. pp.171-177, ⟨10.1109/CloudNet.2015.7335301⟩