LaHDAK

Affichage des résultats 169 à 180 sur 221 au total

Articles 169 à 180 sur 221 au total

  • Article dans une revue

    Petrova Alina, Yue Ma, Tsatsaronis, George, Kissa Maria, Distel Felix, et al.. Formalizing biomedical concepts from textual definition.. Journal of Biomedical Semantics, 2015, pp.24. ⟨10.1186/s13326-015-0015-3⟩. ⟨hal-01138987⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Article dans une revue

    J.C. dos Reis, Dinh Duy, Marcos da Silveira, Cédric Pruski, Chantal Reynaud-Delaître. Recognizing Lexical and Semantic Change patterns in Evolving Life Science Ontologies to Inform Mapping Adaptation. Artificial Intelligence in Medicine, 2015, 63 (3), pp.153-170. ⟨10.1016/j.artmed.2014.11.002⟩. ⟨hal-01115566⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Communication dans un congrès

    J.C. dos Reis, Cédric Pruski, Chantal Reynaud-Delaître. Heuristiques pour l'adaptation des mappings entre ontologies dynamiques. Extraction et Gestion de Connaissances (EGC), Jan 2015, Luxembourg, Luxembourg. pp.239-250. ⟨hal-01115550⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Rapport

    Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki. Efficiently and Effectively Answering Why-Not Questions based on Provenance Polynomials. [Research Report] RR-8697, OAK team, Inria Saclay; INRIA. 2015, pp.25. ⟨hal-01131561⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Othman Nasri, Gueddi Imen, Kamel Benothman, Philippe Dague. Fault diagnosis of spacecraft reaction wheels based on principal component analysis. 4th International Conference on Systems and Control ICSC’13, Apr 2015, Sousse, Tunisia. ⟨hal-01483432⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Communication dans un congrès

    Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), May 2015, Istanbul, Turkey. ⟨hal-01139015⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Article dans une revue

    André de Amorim Fonseca, Philippe Chatalic. A Multi-Layered Aarchitecture for Collaborative and Decentralized Consequence Finding. Computing and Informatics, 2015, 34 (1), pp.210-232. ⟨hal-01222693⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Poster de conférence

    Damian Bursztyn, Alexandre Constantin, Cyril Dumont, Anne-Catherine Letournel, M C Mangili, et al.. TIM : Une plateforme d'aide à la pré-maturation de logiciels. JDEV 2015 - 3ème édition des Journées nationales du DEVeloppement logiciel de l'Enseignement Supérieur et Recherche, Jun 2015, Bordeaux, France. 2015. ⟨hal-01586368⟩

    GALaC, LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher. Combining Existential Rules and Transitivity: Next Steps. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726. ⟨hal-01171846⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki. EFQ: Why-Not Answer Polynomials in Action. 41st International Conference on Very Large Data Bases - VLDB 2015, Aug 2015, Hawai, United States. ⟨hal-01182115⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Hassan Ibrahim, Philippe Dague, Laurent Simon. Using Incremental SAT for Testing Diagnosability of Distributed DES. 26th International Workshop on Principles of Diagnosis DX’15, Sep 2015, Paris, France. ⟨hal-01483434⟩

    LaHDAK

    Année de publication

    Publication HAL

  • Communication dans un congrès

    Gueddi Imen, Othman Nasri, Kamel Benothman, Philippe Dague. VPCA-based fault diagnosis of spacecraft reaction wheels. 25th International Conference on Information, Communication and Automation Technologies ICAT’13, Oct 2015, Sarajevo, Bosnia and Herzegovina. ⟨hal-01483430⟩

    LaHDAK

    Année de publication

    Publication HAL