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-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-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-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-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