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-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-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-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-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-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, CEUR-WS.org, 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
...
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-01094785v1  Preprints, Working Papers, ...
Can Baskent. Which Society, Which Software?
2014