In this paper we describe the mathematical foundations of a new approach...
Myocarditis is among the most important cardiovascular diseases (CVDs),
...
The development of mobile and on the edge applications that embed deep
c...
Nowadays, Machine Learning and Deep Learning methods have become the
sta...
Background and objectives. Domain shift is a generalisation problem of
m...
Forms are a widespread type of template-based document used in a great
v...
Schizophrenia (SZ) is a mental disorder whereby due to the secretion of
...
Multiple Sclerosis (MS) is a type of brain disease which causes visual,
...
The outbreak of the corona virus disease (COVID-19) has changed the live...
A correct localisation of tables in a document is instrumental for
deter...
Object detection is a computer vision field that has applications in sev...
Several approaches exist to data-mining big corpora of formal proofs. So...
Automation and reliability are the two main requirements when computers ...
The quantification of synapses is instrumental to measure the evolution ...
Development of Interactive Theorem Provers has led to the creation of bi...
We present ML4PG - a machine learning extension for Proof General. It al...
In this paper, we present a formalization of an algorithm to construct
a...
We present in this paper an evolution of a tool from a user interface fo...