<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>University of Trieste</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Giulia Barbati</string-name>
          <email>gbarbati@units.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Luca Borbussi</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Giulio Caravagna</string-name>
          <email>gcaravagna@units.it</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Artificial Intelligence and Cyber Physical Systems Laboratory, Department of Mathematics and Geoscience</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Artificial Intelligence, Cyber Physical Systems</institution>
          ,
          <addr-line>Biostatistics, Cancer data</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Cancer Data Science Laboratory, Department of Mathematics and Geoscience, University of Trieste</institution>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Professors</institution>
          ,
          <addr-line>Associate Professors, Tenure-track</addr-line>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>The Trieste node for the AIIS Laboratory</institution>
        </aff>
        <aff id="aff5">
          <label>5</label>
          <institution>University of Trieste</institution>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2023</year>
      </pub-date>
      <fpage>29</fpage>
      <lpage>31</lpage>
      <abstract>
        <p>This document reports Data Science and Artificial Intelligence initiatives oriented towards Life Sciences applications that are in place at the Trieste node for the national AIIS Laboratory. involves more than 10 members that apply Data researchers, Post-Docs and PhD students, and are affiliated to the following departments: Ital-IA 2023: 3rd National Conference on Artificial Intelligence,</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Science and</title>
    </sec>
    <sec id="sec-2">
      <title>Artificial Intelligence to</title>
    </sec>
    <sec id="sec-3">
      <title>Life</title>
      <p>Science. The current members rank as Full
•</p>
    </sec>
    <sec id="sec-4">
      <title>Mathematics and Geosciences (www.dmg.units.it);</title>
    </sec>
    <sec id="sec-5">
      <title>Engineering and Architecture</title>
      <p>(https://dia.units.it/it);</p>
      <p>Medical Sciences (https://dsm.units.it/).</p>
      <p>In this document we describe relevant ongoing
research projects, as well as teaching in the areas
of</p>
    </sec>
    <sec id="sec-6">
      <title>AI,/Data</title>
    </sec>
    <sec id="sec-7">
      <title>Science for Life Sciences and</title>
    </sec>
    <sec id="sec-8">
      <title>Healthcare applications.</title>
      <sec id="sec-8-1">
        <title>2. Research groups 2.1</title>
      </sec>
      <sec id="sec-8-2">
        <title>Cancer Data Science Laboratory</title>
        <p>led
and</p>
        <p>The Cancer Data Science (CDS) Laboratory is
consists
of
computational scientists with different expertise
backgrounds,
spanning
from
computer
science, physics, genetics and biology.</p>
        <p>2023 Copyright for this paper by its authors. Use permitted under Creative
and</p>
        <p>response
(www.caravagnalab.org).
to
therapy
The</p>
        <p>CDS</p>
      </sec>
    </sec>
    <sec id="sec-9">
      <title>Lab is primarily interested in theoretical and applied Data Science for the broad areas of</title>
    </sec>
    <sec id="sec-10">
      <title>Computational</title>
    </sec>
    <sec id="sec-11">
      <title>Oncology</title>
    </sec>
    <sec id="sec-12">
      <title>Bioinformatics.</title>
      <p>Among
our
(https://github.com/caravagnalab)
contributions
there
and
are
model-based technologies i) to measure clonal
evolution from high-throughput sequencing data
1,2, ii) to detect repeated evolutionary trajectories
with prognostic power 3, and iii) to determine the
temporal ordering of somatic
mutations from
cross-sectional cancer genomics assays 4–6.</p>
      <p>Recently, the laboratory has been working on
the definition of AI-based models that support the
application
of
whole-genome
sequencing
technologies at scale 7, as well single-cell RNA
sequencing
8.</p>
      <p>Other
projects
are
ongoing
regarding the application of AI to integrate
multiomics data and, more in general, spatio-temporal
measurements.</p>
      <p>The CDS Laboratory has direct collaborations
with several research institutes that work on
AIrelated projects, including Human Technopole
(IT), the Institute of Cancer Research (UK) the
Barts Cancer Institute (UK), University College
London (UK), Milan-Bicocca (IT) and Memorial
Sloan Kettering (US). The Laboratory also
collaborates with several clinical institutes in Italy
and abroad: the Royal Marsden Hospital (UK), the
Hospital San Raffaele (IT), CRO Aviano (IT) and
San Gerardo Monza (IT).
2.2</p>
      <sec id="sec-12-1">
        <title>Artificial Intelligence and Cyber</title>
      </sec>
      <sec id="sec-12-2">
        <title>Physical Systems Laboratory and</title>
      </sec>
      <sec id="sec-12-3">
        <title>Biostatistics Unit</title>
        <p>The Artificial Intelligence and Cyber Physical
Systems Lab (AI-CPS) is led by Prof. Luca
Bortolussi, and develops novel approaches based
on artificial intelligence and machine learning
with applications in medicine, in collaboration
with the Biostatistics Unit of the Department of
Medical Science of the University of Trieste, led
by prof. Giulia Barbati. The lab is particularly
interested in explainable AI-based techniques for
the analysis of biomedical signals of pulmonary
ventilation in intensive care and ECG.</p>
        <p>The activity of the lab in the area of biomedical
signals of assisted ventilatory respiration started
several years ago in collaboration with the
Intensive Care Unit of the Trieste University
Hospital, and has led to an international patent for
the detection of asynchronies between machine
and patient efforts.</p>
        <p>The lab is also collaborating with the
Biostatistics Unit of the Department of Medical
Sciences for the application of deep learning to
prediction tasks involving ECG signals. Within
the same collaboration, the lab has also a growing
interest in solutions for high quality synthetic
medical data generation based on deep learning
generative models. Moreover, there are a series of
ongoing projects related to extracting useful
epidemiological knowledge by means of machine
learning techniques exploiting the informational
content of the regional health administrative data.</p>
      </sec>
      <sec id="sec-12-4">
        <title>3. Relevant research project</title>
        <p>We describe relevant research projects and
collaboration with other academic or industrial
partners.
3.1</p>
      </sec>
      <sec id="sec-12-5">
        <title>AI for clonal evolution under therapy</title>
        <p>Through an AIRC funded My First AIRC grant
(PI Giulio Caravagna) the CDS Laboratory uses
AI-based statistical models to study clonal
evolution and response to therapy in different
types of leukemia.</p>
        <p>This collaborative project involves the
participation of the Centre of Omics Sciences of
Hospital San Raffaele (Dr Giovanni Tonon),
which provides sequencing expertise and wet-lab
support, and two clinical units based at IRCCS
hospitals to provide leukemia samples: the unit of
Experimental Onco-hematology at CRO Aviano
(Dr Valter Gattei), and the unit of
Immunogenetics, Leukemia Genomics and
Immunobiology of Hospital San Raffaele (Dr
Luca Vago).</p>
        <p>The project seeks to develop AI technologies
that can better elucidate disease dynamics and
relapse mechanisms in both Acute Myeloid
Leukemia and Chronic Lymphocytic Leukemia.
3.2</p>
      </sec>
      <sec id="sec-12-6">
        <title>AI for large scale whole-genome sequencing</title>
        <p>The CDS Laboratory collaborates
synergistically with Genomics England
(https://www.genomicsengland.co.uk/), the
NHSowned company that delivers whole-genome
sequencing (WGS) to the clinic in the UK.</p>
        <p>Genomics England implements, through a
collaboration with Illumina
(https://www.illumina.com/), large-scale
UKwide genomics projects involving both patients
with genetic diseases, and cancer. Giulio
Caravagna from the CDS Laboratory is involved
in specialised data analysis groups that study
WGS data collected for colorectal, endometrial,
glioblastoma and haematological cancers.
3.3</p>
      </sec>
      <sec id="sec-12-7">
        <title>Prediction of patient-machine asynchronies in assisted ventilation</title>
        <p>The AI-CPS lab has been active for several
years in the analysis of respiratory signals
(pressure, flow, volume) returned by pulmonary
ventilators, particularly when they are used in
assisted respiration mode 9. In this case, the
ventilator responds to a trigger of the patient
asking for air by a positive pressure that helps the
patient to breathe. Sometimes, the trigger
mechanism can be misinterpreted by the
controller of the machine, resulting in a so-called
asynchrony. While a single asynchrony is of
limited concern, several repeated episodes can
lead to long term damages of the respiratory
ability. However, detection of asynchronies is an
error prone, manual activity. We developed a
method, patented, that combines geometrical
methods to extract features from the signal
pipelined with machine learning which has a very
high specificity and sensitivity 10. We are
currently working on extensions of this method
and application of AI approaches for the detection
of other issues related to patients under assisted
and forced ventilation, also using multi-modal
learning strategies, combining different kinds of
signals.
3.4</p>
      </sec>
      <sec id="sec-12-8">
        <title>Deep Learning</title>
      </sec>
      <sec id="sec-12-9">
        <title>Medicine methods in</title>
        <p>
          In collaboration with the Biostatistics unit of
the Department of Medical Sciences and with the
cardiology medical unit, we are exploring the use
of deep learning approaches for the analysis of
ECG signals in order to predict the onset of
cardiovascular diseases. In particular, we
investigated the performances of two ML
approaches based on ECGs for the prediction of
new-onset atrial fibrillation (AF), in terms of
discrimination, calibration and sample size
dependence [
          <xref ref-type="bibr" rid="ref10">11</xref>
          ]. Currently, we are extending the
analysis to the time-to-event framework to
explore the relationship between predictive
accuracy and time distance from ECG recording.
        </p>
        <p>
          Within the survival analysis framework, we
implemented a deep-learning-based prognostic
model for incident heart failure (HF) in patients
with diabetes using electronic health records
(EHR) that takes into account a large and
heterogeneous set of clinical factors [
          <xref ref-type="bibr" rid="ref11">12</xref>
          ]. Our
results suggest that prognostic models may
improve using EHRs in combination with AI
techniques for survival analysis, which provide
high flexibility and better performance with
respect to standard approaches.
3.5
        </p>
      </sec>
      <sec id="sec-12-10">
        <title>AI for Infectious Disease Control</title>
        <p>Dr Alberto d’Onofrio, leader of the newly
formed Computer Science for Complex Systems
Laboratory, works at the interface between AI and
the modelling of biological systems, with
particular focus on Computational Epidemiology
of Infectious Diseases and related problems in
Global Public Health. He is currently co-leading
the team writing a report for WHO on this and
related matters.
3.6</p>
      </sec>
      <sec id="sec-12-11">
        <title>AI for Radiobiochemistry</title>
        <p>Dr Alejandro Rodriguez-Garcia is currently
working on the application of AI to the
understanding of the biological availability of
radioactive markers. In concrete, Unsupervised
Machine Learning techniques are applied to
analyze molecular simulations of some markers
and obtain a deeper understanding that could lead
to the proposal of new active substances with
better biological properties.
3.7</p>
      </sec>
      <sec id="sec-12-12">
        <title>AI for Neurosciences</title>
        <p>Dr Fabio Anselmi is currently working at the
intersection between computational neuroscience
and machine learning.</p>
        <p>In particular he develops machine learning
models of the visual cortex that embody
biological constraints and priors on how humans
understand visual scenes such as the concept of
whole-and parts in object recognition</p>
        <p>He also develops models that incorporate
symmetries of the visual signal statistics into the
processing pipeline such as transformations that
preserve object classification with the aim to have
more faithful models of how the visual cortex
works</p>
      </sec>
      <sec id="sec-12-13">
        <title>4. Teaching activities</title>
        <p>We offer initiatives at the crossings of AI and
Machine Learning applied to Life Sciences at
several undergraduate and postgraduate levels.
Most specialized teaching is concentrated in the
Data Science and Scientific Computing
(https://dssc.units.it/) Master program and in the
Applied Data Science and AI doctoral program
(http://adsai.units.it).</p>
        <p>Relevant courses to the health area are:
- Genome Data Analytics (6 CFU), taught by
Prof. Giulio Caravagna, covering topics on
the application of Machine Learning to
genome-sequencing assays, with a strong
focus on cancer data analysis.
- Health Data Analytics (6 CFU), taught by
Prof. Giulia Barbati, covering topics at the
crossings between biostatistics and
Machine Learning, with application to
medical tabular data and survival analysis.</p>
      </sec>
      <sec id="sec-12-14">
        <title>5. References</title>
        <p>[1] G. Caravagna, G. Sanguinetti, T.A. Graham, A.</p>
        <p>Sottoriva. The MOBSTER R package for
tumour subclonal deconvolution from bulk DNA
whole-genome sequencing data. BMC
Bioinformatics. 2020;21(1):531..</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>G.</given-names>
            <surname>Caravagna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Heide</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.J.</given-names>
            <surname>Williams</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Zapata</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Nichol</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Chkhaidze</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Cross</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.D.</given-names>
            <surname>Cresswell</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Werner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Acar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Chesler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.P.</given-names>
            <surname>Barnes</surname>
          </string-name>
          , G. Sanguinetti,
          <string-name>
            <given-names>T.A.</given-names>
            <surname>Graham</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Sottoriva</surname>
          </string-name>
          .
          <article-title>Subclonal reconstruction of tumors by using machine learning and population genetics</article-title>
          .
          <source>Nat Genet</source>
          .
          <year>2020</year>
          ;
          <volume>52</volume>
          (
          <issue>9</issue>
          ):
          <fpage>898</fpage>
          -
          <lpage>907</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>G.</given-names>
            <surname>Caravagna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Giarratano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Ramazzotti</surname>
          </string-name>
          , I. Tomlinson,
          <string-name>
            <surname>T.A</surname>
          </string-name>
          : Graham,
          <string-name>
            <given-names>G.</given-names>
            <surname>Sanguinetti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Sottoriva</surname>
          </string-name>
          .
          <article-title>Detecting repeated cancer evolution from multi-region tumor sequencing data</article-title>
          .
          <source>Nat Methods</source>
          .
          <year>2018</year>
          ;
          <volume>15</volume>
          (
          <issue>9</issue>
          ):
          <fpage>707</fpage>
          -
          <lpage>714</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>L.</given-names>
            <surname>Olde Loohuis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Caravagna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Graudenzi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Ramazzotti</surname>
          </string-name>
          , G. Mauri,
          <string-name>
            <given-names>M.</given-names>
            <surname>Antoniotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Mishra</surname>
          </string-name>
          .
          <article-title>Inferring tree causal models of cancer progression with probability raising</article-title>
          .
          <source>PLoS One</source>
          .
          <year>2014</year>
          ;
          <volume>9</volume>
          (
          <issue>10</issue>
          ):
          <fpage>e108358</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>G.</given-names>
            <surname>Caravagna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Graudenzi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Ramazzotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Sanz-Pamplona</surname>
          </string-name>
          , L. De Sano,
          <string-name>
            <given-names>G.</given-names>
            <surname>Mauri</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Moreno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Antoniotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Mishra</surname>
          </string-name>
          .
          <article-title>Algorithmic methods to infer the evolutionary trajectories in cancer progression</article-title>
          .
          <source>Proc Natl Acad Sci U S A</source>
          .
          <year>2016</year>
          ;
          <volume>113</volume>
          (
          <issue>28</issue>
          ):
          <fpage>E4025</fpage>
          -
          <lpage>E4034</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>L.</given-names>
            <surname>De Sano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Caravagna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Ramazzotti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Graudenzi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Mauri</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Mishra</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Antoniotti</surname>
          </string-name>
          .
          <article-title>TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data</article-title>
          .
          <source>Bioinformatics</source>
          .
          <year>2016</year>
          ;
          <volume>32</volume>
          (
          <issue>12</issue>
          ):
          <fpage>1911</fpage>
          -
          <lpage>1913</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>J.</given-names>
            <surname>Househam</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Bergamin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Milite</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.C.H.</given-names>
            <surname>Cross</surname>
          </string-name>
          ,
          <string-name>
            <surname>G. Caravagna.</surname>
          </string-name>
          <article-title>Integrated quality control of allele-specific copy numbers, mutations and tumour purity from cancer whole genome sequencing assays</article-title>
          .
          <source>biorXiv. Published</source>
          online
          <year>2021</year>
          . doi:
          <volume>10</volume>
          .1101/
          <year>2021</year>
          .02.13.429885.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>S.</given-names>
            <surname>Milite</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Bergamin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Patruno</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Calonaci</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G</given-names>
            <surname>Caravagna</surname>
          </string-name>
          .
          <article-title>A Bayesian method to cluster single-cell RNA sequencing data using copy number alterations</article-title>
          .
          <source>Bioinformatics</source>
          <volume>38</volume>
          , no.
          <issue>9</issue>
          (
          <year>2022</year>
          ):
          <fpage>2512</fpage>
          -
          <lpage>2518</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>A.</given-names>
            <surname>Casagrande</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Quintavalle</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Fernandez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Blanch</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Ferluga</surname>
          </string-name>
          , E. Lena,
          <string-name>
            <surname>Fabris</surname>
            <given-names>F</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lucangelo</surname>
            <given-names>U.</given-names>
          </string-name>
          <article-title>An effective pressure-flow characterization of respiratory asynchronies in mechanical ventilation</article-title>
          .
          <source>J Clin Monit Comput</source>
          .
          <year>2021</year>
          ;
          <volume>35</volume>
          (
          <issue>2</issue>
          ):
          <fpage>289</fpage>
          -
          <lpage>296</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>S.</given-names>
            <surname>Bufo</surname>
          </string-name>
          , E. Bartocci, G. Sanguinetti,
          <string-name>
            <given-names>M.</given-names>
            <surname>Borelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>U.</given-names>
            <surname>Lucangelo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Bortolussi</surname>
          </string-name>
          .
          <article-title>Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients</article-title>
          .
          <source>In: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications</source>
          . Springer Berlin Heidelberg;
          <year>2014</year>
          :
          <fpage>391</fpage>
          -
          <lpage>403</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>G.</given-names>
            <surname>Baj</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Gandin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Scagnetto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Bortolussi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Cappelletto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. Di</given-names>
            <surname>Lenarda</surname>
          </string-name>
          ,
          <string-name>
            <surname>G. Barbati,</surname>
          </string-name>
          <article-title>Machine learning approaches for ECG-based models: discrimination and calibration for atrial fibrillation prediction</article-title>
          ,
          <source>16 February</source>
          <year>2023</year>
          , Submitted. Preprint available at Research Square [https://doi.org/10.21203/rs.3.rs2509748/v1]
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>I.</given-names>
            <surname>Gandin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Saccani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Coser</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Scagnetto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Cappelletto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Candido</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Barbati</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. Di</given-names>
            <surname>Lenarda</surname>
          </string-name>
          .
          <article-title>Deep-learningbased prognostic modeling for incident heart failure in patients with diabetes using electronic health records: A retrospective cohort study PLOS ONE 18(2): e0281878 (</article-title>
          <year>2023</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>