Biblio

Export 127 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is D  [Clear All Filters]
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.
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.
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.
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.
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.
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.
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., Eds. {Springer}, 2017.
S. Pérès, Jolicœur, M., Moulin, C., Dague, P., and Schuster, S., How important is thermodynamics for computing elementary flux modes?, {PLoS ONE}, vol. D, 2017.
F. Saïs, Pruski, C., and Da Silveira, M., Inferring the evolution of ontology axioms from RDF data dynamics, in {Proceedings of the Knowledge Capture Conference, {K-CAP} 2017, Austin, TX, USA, December 4-6, 2017}, Austin, TX, United States, 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.
L. Ye and Dague, P., An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures, {IEEE Transactions on Automatic Control}, vol. 15, 2017.
S. Domingos Cardoso, Reynaud, C., Da Silveira, M., Ying-Chi, L., Anika, G., Erhard, R., and Pruski, C., Towards a Multi-level Approach for the Maintenance of Semantic Annotations, in {10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017)}, Porto, Portugal, 2017, vol. 5, pp. 401-406.
2016
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.
H. Ibrahim, Dague, P., Grastien, A., Ye, L., and Simon, L., Diagnosability Planning for Controllable Discrete Event Systems, in {27th International Workshop on Principles of Diagnosis DX'16}, Denver, United States, 2016.
G. Imen, Nasri, O., Benothman, K., and Dague, P., Fault Detection and Isolation of Spacecraft Thrusters using an Extended Principal Component Analysis to Interval Data, {International Journal of Control, Automation and Systems}, 2016.
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., Fault Manifestability Verification for Discrete Event Systems, in {22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
S. Domingos Cardoso, Pruski, C., Da Silveira, M., Ying-Chi, L., Anika, G., Erhard, R., and Reynaud, C., Leveraging the impact of ontology evolution on semantic annotations, in {Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW }, Bologna, Italy, 2016.
M. Martin, Dague, P., Pérès, S., and Simon, L., Minimality of Metabolic Flux Modes under Boolean Regulation Constraints, in {12th International Workshop on Constraint-Based Methods for Bioinformatics WCB'16}, Toulouse, France, 2016.
F. Nouioua, Dague, P., and Ye, L., Predictability in probabilistic discrete event systems, in {8th International Conference on Soft Methods in Probability and Statistics SMPS 2016}, Rome, Italy, 2016.

Pages