Biblio

Export 526 results:
Author Title Type [ Year(Asc)]
2018
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.
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.
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.
J. Raad, Beek, W., Van Harmelen, F., Pernelle, N., and Saïs, F., Detecting Erroneous Identity Links on the Web using Network Metrics, in The Semantic Web – ISWC 2018. ISWC 2018. Lecture Notes in Computer Science, vol 11136. Springer, Cham, 2018.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Evaluating Queries and Updates on Big XML Documents, Information Systems Frontiers, 2018.
S. Domingos Cardoso, Reynaud-Delaître, C., Da Silveira, M., Lin, Y. - C., Gross, A., Rahm, E., and Pruski, C., Evolving semantic annotations through multiple versions of controlled medical terminologies, Health and Technology, vol. 8, pp. 361–376, 2018.
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., How to be Sure a Faulty System Does not Always Appear Healthy?, in VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France, 2018.
L. Palacios, Gaelle, L., Ma, Y., and Reynaud-Delaître, C., Knowledge Discovery for Avionics Maintenance Support, in Digital Avionics Systems Conference, London, United Kingdom, 2018.
V. Christen, Ying-Chi, L., Anika, G., Cardoso, S. Domingos, Pruski, C., Da Silveira, M., and Erhard, R., A learning-based approach to combine medical annotation results, in DILS 2018 LNBI 11371, Hannover, Germany, 2018.
W. Beek, Raad, J., Wielemaker, J., and Van Harmelen, F., sameAs.cc: The Closure of 500M owl:sameAs Statements, in The Semantic Web. 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings, 2018.
L. He, Ye, L., and Dague, P., SMT-based Diagnosability Analysis of Real-Time Systems, in SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Poland, 2018.
S. Domingos Cardoso, Pruski, C., and Da Silveira, M., Supporting biomedical ontology evolution by identifying outdated concepts and the required type of change, Journal of Biomedical Informatics, vol. 87, pp. 1 - 11, 2018.
S. Pérès, Schuster, S., and Dague, P., Thermodynamic constraints for identifying elementary flux modes, Biochemical Society Transactions, 2018.
S. Kamath, Grau, B., and Ma, Y., Verification of the Expected Answer Type for Biomedical Question Answering. 2018.
2017
D. Chistaras Papageorgiou, Pernelle, N., and Saïs, F., Approche numérique pour l'invalidation de liens d'identité (owl:SameAs), in 28es Journées francophones d'Ingénierie des Connaissances IC 2017, caen, France, 2017.
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.
C. Alec, Reynaud-Delaître, C., and Safar, B., A Combined Approach for Ontology Enrichment from Textual and Open Data, in {Advances in Knowledge Discovery and Management}, 2017.
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.
P. Koopmann and Chen, J., Computing ALCH-Subsumption Modules Using Uniform Interpolation, in {SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics}, Dresden, Germany, 2017.
L. Palacios Medinacelli, Ma, Y., Lortal, G., Laudy, C., Reynaud, C., and Palacios, L., Data Driven Concept Refinement to Support Avionics Maintenance, in {Proceedings of the IJCAI Workshop on Semantic Machine Learning }, Melbourne, Australia, 2017.
J. Raad, Pernelle, N., and Saïs, F., Détection de liens d'identité contextuels dans une base de connaissances., in {IC 2017 - 28es Journées francophones d'Ingénierie des Connaissances}, Caen, France, 2017, pp. 56-67.
J. Raad, Pernelle, N., and Saïs, F., Detection of Contextual Identity Links in a Knowledge Base, in {Proceedings of the 9th International Conference on Knowledge Capture}, Austin, United States, 2017.
J. Raad, Pernelle, N., and Saïs, F., Detection of Contextual Identity Links in a Knowledge Base, in {Proceedings of the 9th International Conference on Knowledge Capture}, Austin, United States, 2017.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {31st National Conference on Artificial Intelligence AAAI-17}, San Francisco, United States, 2017.
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. {Springer}, 2017.

Pages