HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01798576v1  Journal articles
Andrii ShachykovPatrick HenaffOlexandr 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-01054395v1  Conference papers
Karën 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⟩
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-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⟩
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 JacquemardMichaël 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-02475775v1  Reports
Eric ViolardPhilippe ClaussImen Fassi. Xfor: Semantics and Performance
[Research Report] Team ICPS (ICube Laboratory). 2014
hal-01155144v1  Conference papers
Imen FassiPhilippe Clauss. XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance
14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨10.1109/ISPDC.2015.19⟩
tel-01251721v1  Theses
Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
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 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 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, CEUR-WS.org, pp.87, 2019
hal-01252624v1  Directions of work or proceedings
Sergei 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-03404607v1  Reports
Martin UeckerJens Gustedt. Wide Function Pointer Types for Pairing Code and Data
[Research Report] 2787, ISO JCT1/SC22/WG14. 2021
hal-00644373v1  Journal articles
Xavier AntoineKarim RamdaniBertrand Thierry. Wide Frequency Band Numerical Approaches for Multiple Scattering Problems by Disks
Journal of Algorithms and Computational Technology, SAGE and Multi-science, 2012, 6 (2), pp.241-260. ⟨10.1260/1748-3018.6.2.241⟩
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 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 HoffmanBrice ClémentChengxu ZhouNikos 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-00784890v1  Conference papers
Nabile BoussaidMarco CaponigroThomas Chambrion. Which notion of energy for bilinear quantum systems?
LHMNLC - 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear Control - 2012, Aug 2012, Bertinoro, Italy. pp.226-230
hal-01283962v1  Journal articles
Efoevi Angelo KoudouPierre Vallois. Which distributions have the Matsumoto-Yor property?
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011, 16, pp.49. ⟨10.1214/ECP.v16-1663⟩
hal-01078045v1  Conference papers
Gilles AddaLaurent BesacierAlain CouillaultKarën 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
inria-00589470v1  Conference papers
Alexandre MunnierThomas Chambrion. When Fish Moonwalk
American Control Conference 2010, Jun 2010, Baltimore, United States
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 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⟩
inria-00599398v1  Conference papers
Anuch ChaubeLyès BenyoucefManoj-Kumar Tiwari. What's the buzz about moving from flexible to reconfigurable manufacturing system\?
5th International Conference on Innovative Production Machines and Systems, Jul 2009, Cardiff, United Kingdom
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 KuznetsovAmedeo Napoli. What MDL can bring to Pattern Mining
ISWS 2018 - International Semantic Web Research Summer School, Jul 2018, Bertinoro, Italy
hal-00333705v1  Journal articles
Antoine HenrotYannick Privat. What is the optimal shape of a pipe?
Archive for Rational Mechanics and Analysis, Springer Verlag, 2010, 196 (1), pp.281--302. ⟨10.1007/s00205-009-0243-8⟩
inria-00599438v1  Conference papers
Ugo BoscainThomas ChambrionMario SigalottiPaolo Mason. What can we hope about output tracking of bilinear quantum systems?
4th International Scientific Conference on Physics and Control, Luigi Fortuna and Alexander Fradkov and Mattia Frasca, Sep 2009, Catane, Italy. pp.251-256
hal-00169087v1  Journal articles
Takéo TakahashiPatricio Cumsille. Wellposedness for the system modelling the motion of a rigid body of arbitrary form in an incompressible viscous fluid
Czechoslovak Mathematical Journal, Akademie věd České republiky, Matematický ústav, 2007, 58 (4), pp.961-992
inria-00000889v1  Journal articles
Patricio CumsilleMarius Tucsnak. Wellposedness for the Navier-Stokes flow in the exterior of a rotating obstacle
Mathematical Methods in the Applied Sciences, Wiley, 2006, 29 (5), pp.595--623. ⟨10.1002/mma.702⟩
hal-00753108v1  Conference papers
Jamal DaafouzMarius TucsnakJulie Valein. Wellposedness and stabilization of a class of infinite dimensional bilinear control systems
51st IEEE Conference on Decision and Control, CDC 2012, Dec 2012, Maui, Hawaii, United States. pp.CDROM
hal-00789315v1  Journal articles
Boris AndreianovFrédéric LagoutièreNicolas SeguinTakéo Takahashi. Well-posedness for a one-dimensional fluid-particle interaction model
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2014, 46 (2)
hal-00641326v1  Conference papers
Tigran AvanesovYannick ChevalierMohammed Anis MekkiMichaël 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-00620733v2  Journal articles
Nabile BoussaidMarco CaponigroThomas Chambrion. Weakly-coupled systems in quantum control
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2013, 58 (9), pp.2205-2216. ⟨10.1109/TAC.2013.2255948⟩
hal-00594870v1  Journal articles
Nicolas BessePierre BertrandPierre MorelE. Gravier. Weak turbulence theory and simulation of the gyro-water-bag model
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2008, 77 (5), pp.056410. ⟨10.1103/PhysRevE.77.056410⟩
hal-03140597v1  Journal articles
Julien Lequeurre. Weak Solutions for a System Modeling the Movement of a Piston in a Viscous Compressible Gas
Journal of Mathematical Fluid Mechanics, Springer Verlag, 2020, 22 (3), pp.40. ⟨10.1007/s00021-020-0481-y⟩
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-00347894v1  Journal articles
Xavier AntoineMohammed Lemou. Wavelet Approximations of a Collision Operator in Kinetic Theory
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2003, 337 (5), pp.353-358. ⟨10.1016/S1631-073X(03)00345-5⟩
hal-00594880v1  Journal articles
Pierre MorelE. GravierNicolas BesseR. KleinA. Ghizzo et al.  Water-bag modeling of a multispecies plasma
Physics of Plasmas, American Institute of Physics, 2011, 18 (3), pp.032512. ⟨10.1063/1.3565019⟩
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⟩