Skip to Main content Skip to Navigation


inria-00598497v1  Conference papers
Ali GorineNathalie Sauer. Méthode exacte et borne inférieure pour le job-shop avec contrainte de blocage particulière
5ème Conférence Internationale Francophone d'Automatique - CIFA'08, Sep 2008, Bucarest, Romania
inria-00598738v1  Conference papers
Simon TamayoThibaud MonteiroNathalie Sauer. Modélisation de la dispersion pour son optimisation par un algorithme génétique
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.950-957
...
hal-02119414v2  Conference papers
Jean-Nicolas BrunetVincent MagnouxBenoît OzellStéphane Cotin. Corotated meshless implicit dynamics for deformable bodies
WSCG 2019 - 27th International Conference on Computer Graphics, Visualization and Computer Vision, May 2019, Pilsen, Czech Republic. ⟨10.24132/CSRN.2019.2901.1.11⟩
...
hal-02320444v1  Conference papers
Antoine PetitNazim HaouchineFrédérick RoyDan GoldmanStéphane Cotin. Deformed Reality
Computer Graphics & Visual Computing (Eurographics), Sep 2019, Bangor, United Kingdom
...
hal-02158862v2  Conference papers
Jean-Nicolas BrunetAndrea MendizabalAntoine PetitNicolas GolseEric Vibert et al.  Physics-based Deep Neural Network for Augmented Reality during Liver Surgery
MICCAI 2019 - 22nd International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2019, Shenzhen, China. pp.8, ⟨10.1007/978-3-030-32254-0_16⟩
...
hal-02276130v1  Conference papers
Nava SchulmannStéphane CotinIgor Peterlik. The effect of discretization on parameter identification. Application to patient-specific simulations
CMBBE 2019 - 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Aug 2019, New York (NY), United States
inria-00598602v1  Conference papers
Mohammed DahaneChristian ClémentzNidhal Rezg. Etude de la sous-traitance industrielle dans un contexte de maintenance intégrée
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.1666-1674
inria-00598610v1  Conference papers
Sofiene DellagiNidhal RezgAli Gharbi. Contribution au développement d'une politique de maintenance intégrée selon une stratégie de commutation des sous-traitants
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.1675-1682
inria-00598764v1  Conference papers
Pascal ForgetThibaud Monteirod'Amours SophieJean-Marc Frayret. Collaborative agent-based negotiation in supply chain planning
13th Annual International Conference on Industrial Engineering Theory, Applications and Practice - IJIE'08, Sep 2008, Las Vegas, United States
inria-00598789v1  Conference papers
Sampath KameshwaranLyes Benyoucef. Optimal buying from online retailers offering total value discounts
ACM 10th International Conference on Electronic Commerce - ICEC'08 Conference Best Paper Award, 2008, Innsbruck, Austria. ⟨10.1145/1409540.1409568⟩
inria-00598801v1  Conference papers
Vipul JainLyes Benyoucef. A novel approach to model and evaluate dynamic agility in supply chains
Tenth International Conference on Enterprise Information Systems - ICEIS 2008, Jun 2008, Barcelone, Spain. pp.93-100
inria-00304562v1  Conference papers
Yannick ParmentierWolfgang Maier. Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing
Proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Chalmers University of Technology and University of Gothenburg, Aug 2008, Gothenburg, Sweden. pp.360-365, ⟨10.1007/978-3-540-85287-2_34⟩
...
inria-00304605v1  Conference papers
Laura KallmeyerTimm LichteWolfgang MaierYannick ParmentierJohannes Dellert et al.  TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2nd Workshop on Grammar Engineering Across Frameworks, GEAF 2008, Stephen Clark, Oxford and Tracy Holloway King, PARC, Aug 2008, Manchester, United Kingdom. pp._
...
inria-00288429v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang MaierJohannes Dellert. TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms
9th International Workshop on Tree-Adjoining Grammar and Related Formalisms (TAG+9), Jun 2008, Tübingen, Germany. pp.121-128
inria-00330344v1  Conference papers
Olivier BournezJérémie ChalopinJohanne Cohen. Playing With Population Protocols
International Workshop on The Complexity of Simple Programs, Dec 2008, Cork, Ireland
...
hal-00326876v1  Conference papers
Alexandre DenisMatthieu Quignard. Modélisation du principe d'ancrage pour la robustesse des systèmes de dialogue homme-machine finalisés
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2008, Jun 2008, Avignon, France. pp.89-98
hal-00598753v1  Conference papers
Norly GermainNidhal RezgThibaud MonteiroEvens Emmanuel. Problématiques de mise en œuvre d'une Hospitalisation Hors les Murs dans un pays en voie de développement : le cas Haïti
4ème conférence francophone en Gestion et Ingénierie des SystèmEs Hospitaliers - GISEH 08, Sep 2008, Lausanne, Suisse. pp.8
...
inria-00336333v1  Conference papers
Bruno GuillaumeJoseph Le RouxJonathan MarchandGuy PerrierKarën Fort et al.  A Toolchain for Grammarians
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
...
hal-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
...
hal-02300986v1  Conference papers
Haniel BarbosaAndrew ReynoldsDaniel El OuraouiCesare TinelliClark Barrett. Extending SMT Solvers to Higher-Order Logic
CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.35-54, ⟨10.1007/978-3-030-29436-6_3⟩
...
hal-02267475v1  Conference papers
Bruno Guillaume. Graph Matching for Corpora Exploration
JLC 2019 - 10èmes Journées Internationales de la Linguistique de corpus, Nov 2019, Grenoble, France
...
hal-02314238v1  Conference papers
M MenacerC González-GallardoK AbidiDominique FohrDenis Jouvet et al.  Extractive Text-Based Summarization of Arabic videos: Issues, Approaches and Evaluations
ICALP: International Conference on Arabic Language Processing, Oct 2019, Nancy, France. pp.65-78, ⟨10.1007/978-3-030-32959-4_5⟩
...
hal-02504017v1  Conference papers
Abir Ismaili-AlaouiKarim BaïnaKhalid Benali. Harnessing the power of data and event data for Business Process Improvement
CAISAM 2019 - Complexity Analysis of Industrial Systems and Advanced Modeling, Apr 2019, Ben Guerir, Morocco
hal-03018473v1  Conference papers
Vladimir Zamdzhiev. Reflecting Algebraically Compact Functors
Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩
...
hal-02368810v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardPeter HammerMarie-Odile Berger. Physically-coherent Extraction of Mitral Valve Chordae
International Conference in Computing in Cardiology, Sep 2019, Singapore, Singapore. pp.4
...
hal-02071515v1  Conference papers
Maria Boritchev. Thé, café et licornes -- Traitement de la structure conversationnelle dans la théorie dynamique des types
EJCIM 2019 - École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France
...
hal-02098864v1  Conference papers
Sébastien RimbertOleksii AvilovPerrine AdamLaurent Bougrain. Can suggestive hypnosis be used to improve Brain-Computer Interface performance?
8th Graz Brain-Computer Interface Conference 2019, Sep 2019, Graz, Austria
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-02406605v1  Conference papers
Andreas TeuckeMarco VoigtChristoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms
FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩
...
hal-02391973v1  Conference papers
Maria-Elisa Ruiz-EcharteaIsaure Chauvot de BeauchêneDavid Ritchie. EROS-DOCK for Pairwise and Multi-body Protein-Protein Docking
Journée MASIM2019 (Méthodes Algorithmiques pour les Structures et Interactions Macromoléculaires), Nov 2019, Paris, France
...
hal-02050846v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardMarie-Odile Berger. Toward an automatic segmentation of mitral valve chordae
SPIE Medical Imaging, SPIE, Feb 2019, San Diego, United States. pp.1095315-1095323, ⟨10.1117/12.2511943⟩
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
...
hal-02368857v1  Conference papers
Lucca HirschiCas Cremers. Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩
...
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-02413950v1  Conference papers
Abir Ismaili-AlaouiOuafae KasmiAmine BaïnaKarim BaïnaKhalid Benali et al.  Priority-based Event Management using Fuzzy Logic for an IoT-BPM Architecture
SOCA 2019 - The 12th IEEE International Conference on Service Oriented Computing and Applications, Nov 2019, Kaohsiung, Taiwan
...
hal-02106010v1  Conference papers
Mohamed MenacerDavid LangloisDenis JouvetDominique FohrOdile Mella et al.  Machine Translation on a parallel Code-Switched Corpus
Canadian AI 2019 - 32nd Conference on Canadian Artificial Intelligence, May 2019, Ontario, Canada
...
hal-02195799v1  Conference papers
Nicolas GauvilleNazim FatèsIrène Marcovici. Diagnostic décentralisé à l'aide d'automates cellulaires
JFSMA 2019 - 27emes Journées Francophones sur les Systèmes Multi-Agents, Institut de Recherche en informatique de Toulouse et l'Association française pour l'Intelligence Artificielle, Jul 2019, Toulouse, France. p. 96-105
...
hal-02172099v1  Conference papers
Massimiliano TodiscoXin WangVille VestmanMd SahidullahHéctor Delgado et al.  ASVspoof 2019: Future Horizons in Spoofed and Fake Audio Detection
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
inria-00598648v1  Conference papers
Hatem SioudZied AchourAlexandre SavaNidhal Rezg. Deadlock Freeness for Closed-loop Marked Graphs
9th IFAC Workshop on Intelligent Manufacturing Systems - IMS'08, Oct 2008, Szczecin, Poland. pp.207-212
inria-00598651v1  Conference papers
Zied AchourAlexandre SavaNidhal Rezg. On the Supervisory Control of Marked Graphs
International Conference on Industrial Engineering and Engineering Management - IEEM'08, Dec 2008, Singapour, Singapore
inria-00598642v1  Conference papers
Alexandre SavaZied AchourNidhal RezgNourredinne Malki. Synthèse d'une structure de controle tolérante aux fautes basée sur les réseaux de Petri
5ème Conférence Internationale Francophone d'Automatique - CIFA'08, Sep 2008, Bucarest, Romania
...
hal-02393039v1  Conference papers
Antoine MoniotSjoerd de VriesDave RitchieIsaure Chauvot de Beauchêne. NAfragDB: A Multi-Purpose Structural Database of Nucleic-Acid/Protein Complexes for Advances Users
21e congrès du Groupe de graphisme et modélisation moléculaire (GGMM), Apr 2019, Nice, France
...
hal-02405752v1  Conference papers
Viviane LedouxGuillaume Moroz. Evaluation of Chebyshev polynomials on intervals and application to root finding
Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey
...
hal-02381430v1  Conference papers
Jasmin BlanchetteDaniel OuraouiPascal FontaineCezary Kaliszyk. Machine Learning for Instance Selection in SMT Solving
AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
...
hal-02499318v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
hal-02499348v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
inria-00598486v1  Conference papers
Daniel RoyAnbo Meng. Une Architecture D'E-Learning Multi-Agents Adaptative
7éme Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.678-687
inria-00598613v1  Conference papers
Sofiene DellagiNidhal RezgAli Gharbi. Optimal Policy for a Manufacturing System Subjected to Random Failure and Calling Upon Several Subcontractors
International Conference on Industrial Engineering and Engineering Management - IEEM'08, Mar 2008, Singapore, Singapore
inria-00598635v1  Conference papers
Didier AnciauxYuan Kun. Incidences sur l'environnement du transport intermodal au sein des chaînes logistiques vertes
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.877-883