Several current healthcare standards support semantic interoperability. These standards are far to be completely adopted in health information system development, however. The objective of this paper is to provide a method and necessary tooling for reusing healthcare standards by exploiting the extensibility mechanisms of UML, by that way supporting the development of semantically interoperable...

SAR images relevance for IMINT (IMagery INTelligence) and civil protection applications has increased in the last years, especially regarding the provision of information to decision makers acting in Area of Operations outside the national borders. Therefore, it is necessary to send information, as well as images, to the Area of Operations through Telecommunication satellites. The large data am...

Understanding why machine learning models behave the way they do empowers both system designers and end-users in many ways: in model selection, feature engineering, in order to trust and act upon the predictions, and in more intuitive user interfaces. Thus, interpretability has become a vital concern in machine learning, and work in the area of interpretable models has found renewed interest. I...

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are re...

Interpretability of machine learning models is critical for data-driven precision medicine efforts. However, highly predictive models are generally complex and are difficult to interpret. Here using Model-Agnostic Explanations algorithm, we show that complex models such as random forest can be made interpretable. Using MIMIC-II dataset, we successfully predicted ICU mortality with 80% balanced ...

We prove that a variant of Robinson arithmetic Q with non-total operations is interpretable in the theory of concatenation TC introduced by A. Grzegorczyk. Since Q is known to be interpretable in that non-total variant, our result gives a positive answer to the problem whether Q is interpretable in TC. An immediate consequence is essential undecidability

Five individual projects characterized the spatial performance of the IKONOS commercial imaging sensor. The result was determination of the spatial image quality of IKONOS data products in terms of the National Imagery Interpretability Rating Scale (NIIRS), the system Modulation Transfer Function (MTF), the system stability over its first year of operation, the characteristics of the Space Imag...

Neuro-fuzzy networks revealed their proficiency in learning from data, while offering a transparent and somehow interpretable rule-based model. Recent research focused either on the interpretability of the chosen model or on the system performance. Regarding the interpretability, here an index to control the trade-off between complexity and performance, some insights into fuzzy partitions prope...