Biblio

Export 127 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is D  [Clear All Filters]
Book Chapter
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Abstractions refinement for hybrid systems diagnosability analysis, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.
M. - O. Cordier, Dague, P., Pencolé, Y., and Travé-Massuyès, L., Diagnosis and supervision: model-based approaches, in {A guided tour of artificial intelligence research}, P. Marquis, Papini, O., and Prade, H., Eds. {Springer}, 2017.
N. Bidoit and Doucet, A., La diversité des données., in {Les Big Data à découvert}, M. Bouzeghoub and Mosseri, R., Eds. {CNRS EDITIONS}, 2017, pp. 24-25.
C. Richter, Simonenko, E., Sugibuchi, T., Spyratos, N., Babic, F., Wagner, J., Paralic, J., Racek, M., Damsa, C., and Christophides, V., Mirroring Tools for Practice Transformation, in Collaborative Knowledge Creation: Practices, Tools, and Concepts, A. Moen, Morch, A. I., and Paavola, S., Eds. 2011.
G. Dequen and Simon, L., SAT: Progrès et Défis, Hermes, 2008.
Conference Paper
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Analysing the Evolution of Semantic Correspondences between SNOMED CT and ICT-9-CM, in International eHealth, Telemedecine and Health ICT Forum For Education, Networking and Business - Med@Tel, Luxembourg, 2013.
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Analysing the Evolution of Semantic Correspondences between SNOMED CT and ICT-9-CM, in International eHealth, Telemedecine and Health ICT Forum For Education, Networking and Business - Med@Tel, Luxembourg, 2013.
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Analyzing and Supporting the Mapping Maintenance Problem in Biomedical Knowledge Organization Systems, in Proc. of Workshop on Semantic Interoperability in Medical Informatics (SIMI), Heraklion, Grèce, 2012.
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Analyzing and Supporting the Mapping Maintenance Problem in Biomedical Knowledge Organization Systems, in Proc. of Workshop on Semantic Interoperability in Medical Informatics (SIMI), Heraklion, Grèce, 2012.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Automating Abstraction Computations of Hybrid Systems, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
L. Palacios, Laudy, C., Lortal, G., Sannino, C., Simon, L., Fusco, G., Ma, Y., and Reynaud, C., Avionics Maintenance Ontology Building for Failure Diagnosis Support, in {KEOD}, Porto, Portugal, 2016, vol. 2, pp. 204–209.
V. HENRY, Saïs, F., Marchadier, E., Dibie, J., Goelzer, A., and Fromion, V., BiPOm: Biological interlocked Process Ontology for metabolism. How to infer molecule knowledge from biological process?, in {International Conference on Biomedical Ontology, ICBO 2017}, Newcastle upon Tyne, United Kingdom, 2017, p. np.
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Characterizing Semantic Mappings Adaptation via Biomedical KOS Evolution: A Case Study investigating SNOMED CT and ICD, in AMIA Annual Symposium, 2013.
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Characterizing Semantic Mappings Adaptation via Biomedical KOS Evolution: A Case Study investigating SNOMED CT and ICD, in AMIA Annual Symposium, 2013.
B. Djahandideh, Goasdoué, F., Kaoudi, Z., Manolescu, I., Quiané-Ruiz, J. - A., and Zampetakis, S., CliqueSquare in Action: Flat Plans for Massively Parallel RDF Queries, in International Conference on Data Engineering (ICDE), Seoul, South Korea, 2015.
Y. Li, Melliti, T., and Dague, P., A colored Petri nets model for diagnosing data faults of BPEL services, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
Y. Li, Melliti, T., and Dague, P., A colored Petri nets model for the diagnosis of semantic faults of BPEL services, in Proc. of International Workshop on Petri Nets and Software Engineering (PNSE), 2009.
S. Domingos Cardoso, Reynaud-Delaître, C., Da Silveira, M., and Pruski, C., Combining rules, background knowledge and change patterns to maintain semantic annotations., in {AMIA 2017}, Washington, D.C., United States, 2017.
S. Domingos Cardoso, Da Silveira, M., Ying-Chi, L., Christen, V., Erhard, R., Reynaud-Delaître, C., and Pruski, C., Combining Semantic and Lexical Measures to Evaluate Medical Terms Similarity, in DILS 2018, LNBI 11371, Hannover, Germany, 2018.
I. Ileana, Cautis, B., Deutsch, A., and Katsis, Y., Complete Yet Practical Search for Minimal Query Reformulations Under Constraints, in SIGMOD Conference 2014, -, France, 2014.
M. Bienvenu, Deutch, D., Martinenghi, D., Senellart, P., and Suchanek, F., Dealing with the Deep Web and all its Quirks, in Proc. of Very Large Data Search (VLDS), Istanbul, Turkey, 2012, pp. 21-24.
L. Ye and Dague, P., Decentralized Diagnosis for BPEL Web Services, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
Y. Li, Melliti, T., Ye, L., and Dague, P., A decentralized model-based diagnosis for BPEL services, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
M. Bienvenu, Deutch, D., and Abiteboul, S., Deduction in the Presence of Distribution and Contradictions, in Proc. of International Workshop on the Web and Databases (WebDB).
M. Atencia, Chein, M., Croitoru, M., David, J., Leclère, M., Pernelle, N., Sais, F., Scharffe, F., and Symeonidou, D., Defining Key Semantics for the RDF Datasets: Experiments and Evaluations, in International Conference on Conceptual Structures, (ICCS), Iasi, Romania, 2014, vol. LNCS, pp. 65-78.

Pages