Zobrazeno 1 - 10
of 1 015
pro vyhledávání: '"Tini, P"'
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitat
Externí odkaz:
http://arxiv.org/abs/2403.05829
Autor:
Balzani, Roberto, Barzaghi, Sebastian, Bitelli, Gabriele, Bonifazi, Federica, Bordignon, Alice, Cipriani, Luca, Colitti, Simona, Collina, Federica, Daquino, Marilena, Fabbri, Francesca, Fanini, Bruno, Fantini, Filippo, Ferdani, Daniele, Fiorini, Giulia, Formia, Elena, Forte, Anna, Giacomini, Federica, Girelli, Valentina Alena, Gualandi, Bianca, Heibi, Ivan, Iannucci, Alessandro, Del Fà, Rachele Manganelli, Massari, Arcangelo, Moretti, Arianna, Peroni, Silvio, Pescarin, Sofia, Renda, Giulia, Ronchi, Diego, Sullini, Mattia, Tini, Maria Alessandra, Tomasi, Francesca, Travaglini, Laura, Vittuari, Luca
As per the objectives of Project CHANGES, particularly its thematic sub-project on the use of virtual technologies for museums and art collections, our goal was to obtain a digital twin of the temporary exhibition on Ulisse Aldrovandi called "The Oth
Externí odkaz:
http://arxiv.org/abs/2308.15920
Publikováno v:
Journal of Translational Medicine, Vol 22, Iss 1, Pp 1-8 (2024)
Abstract Background Interpreting the clinical consequences of genetic variants is the central problem in modern clinical genomics, for both hereditary diseases and oncology. However, clinical validation lags behind the pace of discovery, leading to d
Externí odkaz:
https://doaj.org/article/582729201f5a4071800db167044ddad5
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract The rapid expansion of urban areas and soil sealing is enhancing the Urban Heat Island (UHI) phenomenon, especially during heat waves. The different thermal inertia of the building materials compared to natural surfaces is one of the major d
Externí odkaz:
https://doaj.org/article/415fffe93a07453993eb42900341392b
Autor:
Giovanni Beccari, Francesco Tini, Nora A. Foroud, Luisa Ederli, Donald M. Gardiner, Aurelie H. Benfield, Linda J. Harris, Michael Sulyok, Roberto Romani, Ilaria Bellezza, Lorenzo Covarelli
Publikováno v:
BMC Plant Biology, Vol 24, Iss 1, Pp 1-17 (2024)
Abstract Background Fusarium graminearum and Fusarium avenaceum are two of the most important causal agents of Fusarium head blight (FHB) of wheat. They can produce mycotoxins that accumulate in infected wheat heads, including deoxynivalenol (DON) an
Externí odkaz:
https://doaj.org/article/ed0abde0ad48410c9be8dca439c96e8c
Autor:
Sandra Verstraelen, Dirk Roymans, An Jacobs, Karen Hollanders, Sylvie Remy, Dirk Jochmans, Jelle Klein, Tini Grauwet
Publikováno v:
Virology Journal, Vol 21, Iss 1, Pp 1-11 (2024)
Abstract In 2018, SGS Belgium NV developed RSV-NICA (Respiratory Syncytial Virus-Nasobronchial Infective Challenge Agent), an RSV type A challenge agent for use in RSV Controlled Human Infection Model (CHIM) studies. It is widely recognized that the
Externí odkaz:
https://doaj.org/article/f5fce4b3bfae40df8e50f7f0610fc0ce
We propose the Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPSs) over a finite time horizon. Differently from classical temporal logic exp
Externí odkaz:
http://arxiv.org/abs/2212.11158
Autor:
Clarissa Tertia, Bryan Gervais de Liyis, Kumara Tini, Anak Agung Ayu Meidiary, Ketut Widyastuti, Anak Agung Ayu Suryapraba, I Putu Eka Widyadharma
Publikováno v:
Siriraj Medical Journal, Vol 76, Iss 8 (2024)
Objective: Morbus Hansen (MH), caused by Mycobacterium leprae, is marked by neuropathic pain. Prior studies link low vitamin D levels to diabetic neuropathic pain, yet research on its role in MH-related neuropathic pain is limited. This study investi
Externí odkaz:
https://doaj.org/article/16d9c2e9f43b4aefb4d91e6230dd86e4
Publikováno v:
Justisi, Vol 10, Iss 2, Pp 257-272 (2024)
Environments. In response to this issue, The Indonesian Child Protection Commission (KPAI) was established to protect the interests of children and prevent violence against them. This study aims to examine the effectiveness of the Indonesian Child Pr
Externí odkaz:
https://doaj.org/article/a5c73ef217134d3686dc5057f0975954
The behaviour of systems characterised by a closed interaction of software components with the environment is inevitably subject to perturbations and uncertainties. In this paper we propose a general framework for the specification and verification o
Externí odkaz:
http://arxiv.org/abs/2204.13357