Zobrazeno 1 - 10
of 1 012
pro vyhledávání: '"P, Tini"'
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
Publikováno v:
Journal of Management Small and Medium Enterprises (SME's), Vol 17, Iss 3 (2024)
The research objectives are to examine the influence of self-efficacy and organizational culture on organizational citizenship behavior (OCB) with organizational commitment as an intervening variable. A sample of 100 respondents used the purposive sa
Externí odkaz:
https://doaj.org/article/4074b034cc314fb0a8fe5c87bfb3528c
Publikováno v:
Journal of Management Small and Medium Enterprises (SME's), Vol 17, Iss 3 (2024)
This study aims to test the direct effect of workload and compensation on turnover intention through job satisfaction with 100 workers from PT Honoris Industry as the sample. Study findings revealed that workload has a direct, negative, and significa
Externí odkaz:
https://doaj.org/article/75a23e79dc3a48bcb107bfdfd7dac89d
Publikováno v:
Advances in Horticultural Science, Vol 38, Iss 3 (2024)
Being one of the most abundant genera of orchids, Dendrobium presents a valuable genetic resource for hybridization programs. Morphological characterization and assessment of genetic parameters plays a crucial role in establishing genetic connections
Externí odkaz:
https://doaj.org/article/5a0bee4c7a334ce995be25de93ecf34c
Autor:
Monica Mariniello, Giulia Arrivi, Laura Tufano, Antonio Lauletta, Mirella Moro, Giacomo Tini, Matteo Garibaldi, Raffaele Giusti, Federica Mazzuca
Publikováno v:
Frontiers in Oncology, Vol 14 (2024)
Immunotherapy is increasingly used in advanced non-small-cell lung cancer (NSCLC), offering a significant anti-tumor response, as well as causing rising immune-related adverse effects. The incidence of immune checkpoint inhibitor-induced myocarditis
Externí odkaz:
https://doaj.org/article/d6ae407a595a40d6b255b4a9b4173d48
Autor:
Giacomo Tini, MD, Ernesto Cristiano, MD, Mattia Zampieri, MD, Alberto Ponziani, MD, Aldostefano Porcari, MD, Margherita Zanoletti, MD, Carlotta Mazzoni, MD, Matteo Sclafani, MD, Giulia Saturi, MD, Andrea Lalario, MD, Marianna Eleonora Labate, MD, Camillo Autore, MD, Emanuele Barbato, MD, Federico Perfetto, MD, Elena Biagini, MD, Gianfranco Sinagra, MD, Marco Canepa, MD, Marco Merlo, MD, Simone Longhi, MD, Francesco Cappelli, MD, Beatrice Musumeci, MD
Publikováno v:
JACC: Advances, Vol 3, Iss 10, Pp 101232- (2024)
Background: The introduction of a noninvasive diagnostic algorithm in 2016 led to increased awareness and recognition of cardiac amyloidosis (CA). Objectives: The purpose of this study was to analyze the impact of the introduction of the noninvasive
Externí odkaz:
https://doaj.org/article/6524464884ae41d399c2bb9b3df16316
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