Zobrazeno 1 - 10
of 1 057
pro vyhledávání: '"Busatto, P."'
We consider the synthesis problem on timed automata with B\"uchi objectives, where delay choices made by a controller are subjected to small perturbations. Usually, the controller needs to avoid punctual guards, such as testing the equality of a cloc
Externí odkaz:
http://arxiv.org/abs/2404.18584
Autor:
Yiling Dong, Ana Paula Ritto, Rodolfo Furlan Damiano, Amanda Goulart Coli, Rodrigo Hadade, Cristiana Castanho de Almeida Rocca, Antonio de Pádua Serafim, Bruno Fukelmann Guedes, Ricardo Nitrini, Marta Imamura, Orestes Vicente Forlenza, Geraldo Busatto Filho
Publikováno v:
Translational Psychiatry, Vol 14, Iss 1, Pp 1-12 (2024)
Abstract Cognitive impairment and symptoms of psychiatric disorders have been reported frequently as features of post-acute sequelae of SARS-CoV-2 infection. This study aims to investigate subjective memory complaints in COVID-19 survivors and determ
Externí odkaz:
https://doaj.org/article/cca435e43108438b96571d0686f92bbb
We study how to efficiently combine formal methods, Monte Carlo Tree Search (MCTS), and deep learning in order to produce high-quality receding horizon policies in large Markov Decision processes (MDPs). In particular, we use model-checking technique
Externí odkaz:
http://arxiv.org/abs/2308.07738
Autor:
Busatto-Gaston, Damien, Chakraborty, Debraj, Majumdar, Anirban, Mukherjee, Sayan, Pérez, Guillermo A., Raskin, Jean-François
We consider lexicographic bi-objective problems on Markov Decision Processes (MDPs), where we optimize one objective while guaranteeing optimality of another. We propose a two-stage technique for solving such problems when the objectives are related
Externí odkaz:
http://arxiv.org/abs/2305.09634
Autor:
Busatto, Claudio, van de Wiel, Mark
High-dimensional data often arise from clinical genomics research to infer relevant predictors of a particular trait. A way to improve the predictive performance is to include information on the predictors derived from prior knowledge or previous stu
Externí odkaz:
http://arxiv.org/abs/2303.05898
We develop a novel full-Bayesian approach for multiple correlated precision matrices, called multiple Graphical Horseshoe (mGHS). The proposed approach relies on a novel multivariate shrinkage prior based on the Horseshoe prior that borrows strength
Externí odkaz:
http://arxiv.org/abs/2302.06423
Autor:
Federico Raimondi, Stefano Centanni, Fabrizio Luppi, Stefano Aliberti, Francesco Blasi, Paola Rogliani, Claudio Micheletto, Marco Contoli, Alessandro Sanduzzi Zamparelli, Marialuisa Bocchino, Paolo Busatto, Luca Novelli, Simone Pappacena, Luca Malandrino, Giorgio Lorini, Greta Cairoli, Fabiano Di Marco
Publikováno v:
Monaldi Archives for Chest Disease (2024)
Predictors of outcomes are essential to identifying severe COVID-19 cases and optimizing treatment and care settings. The respiratory rate-oxygenation (ROX) index, originally introduced for predicting the failure of non-invasive support in acute hypo
Externí odkaz:
https://doaj.org/article/a3f2f0ea24bf47399a0d8dd4187a4b12
Autor:
Jéssica Duarte, Alice da Cruz Busatto, Laura Brusso Rossi, Thales Jéferson Rodrigues Schmitt, Veridiana Dalla Vecchia, Leo Evandro Figueiredo dos Santos, Veronica Korber Gonçalves
Publikováno v:
Conversas & Controvérsias, Vol 11, Iss 1 (2024)
Este artigo explora a relação entre o consenso científico sobre desafios ambientais globais e o consenso político estabelecido por meio de acordos internacionais para lidar com essas questões. A pesquisa mapeia os tratados internacionais ambient
Externí odkaz:
https://doaj.org/article/2ec9b8658128442f8971ec0bc22ef17c
Autor:
Pierachille Santus, Marina Saad, Anna Casartelli, Rosaria Lorusso, Lisa Milani, Fiammetta Danzo, Paolo Busatto, Dejan Radovanovic
Publikováno v:
Annals of Medicine, Vol 56, Iss 1 (2024)
Background Patients with severe asthma frequently have comorbid chronic rhinosinusitis (CRS) with or without nasal polyps, that can increase the symptom burden and complicate treatment. Real-life clinical data on the impact of biologic treatments on
Externí odkaz:
https://doaj.org/article/4de42e976d82400992c536e10fb28d69
In this paper we consider two different views of the model checking problems for the Linear Temporal Logic (LTL). On the one hand, we consider the universal model checking problem for LTL, where one asks that for a given system and a given formula al
Externí odkaz:
http://arxiv.org/abs/2204.13215