Zobrazeno 1 - 10
of 7 755
pro vyhledávání: '"Tinelli, A"'
Autor:
Amrollahi, Daneshvar, Preiner, Mathias, Niemetz, Aina, Reynolds, Andrew, Charikar, Moses, Tinelli, Cesare, Barrett, Clark
In many applications, SMT solvers are used to solve similar or identical tasks over time. When the performance of the solver varies significantly despite only small changes, this leads to frustration for users. This has been called the stability prob
Externí odkaz:
http://arxiv.org/abs/2410.22419
We present a number of first- and second-order extensions to SMT theories specifically aimed at representing and analyzing SQL queries with join, projection, and selection operations. We support reasoning about SQL queries with either bag or set sema
Externí odkaz:
http://arxiv.org/abs/2405.03057
Optimization Modulo Theories (OMT) has emerged as an important extension of the highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires solving an SMT problem with the restriction that the solution must be optimal wi
Externí odkaz:
http://arxiv.org/abs/2404.16122
We discuss single-shot decoding of quantum Calderbank-Shor-Steane codes with faulty syndrome measurements. We state the problem as a joint source-channel coding problem. By adding redundant rows to the code's parity-check matrix we obtain an addition
Externí odkaz:
http://arxiv.org/abs/2310.18138
Autor:
Carlo Morasso, Marta Truffi, Veronica Tinelli, Polychronis Stivaktakis, Rosalinda Di Gerlando, Dragoni Francesca, Giulia Perini, Mahvish Faisal, Jana Aid, Bekzod Noridov, Benjamin Lee, Linda Barbieri, Sara Negri, Dragana Nikitovic, Lydia-Nefeli Thrapsanioti, Aristides Tsatsakis, Cristina Cereda, Arianna Bonizzi, Serena Mazzucchelli, Davide Prosperi, Miriam A. Hickey, Fabio Corsi, Stella Gagliardi
Publikováno v:
Journal of Nanobiotechnology, Vol 22, Iss 1, Pp 1-16 (2024)
Abstract Background The global demographic shift towards an aging population is generating a rise in neurodegenerative conditions, with Alzheimer’s disease (AD) as the most prominent problem. In this landscape, the use of natural supplements has ga
Externí odkaz:
https://doaj.org/article/c17041dceff74073b99f39e9013e2621
Autor:
Alberto Raggi, Matilde Leonardi, Marco Arruda, Valeria Caponnetto, Matteo Castaldo, Gianluca Coppola, Adriana Della Pietra, Xiangning Fan, David Garcia-Azorin, Parisa Gazerani, Lou Grangeon, Licia Grazzi, Fu-Jung Hsiao, Keiko Ihara, Alejandro Labastida-Ramirez, Kristin Sophie Lange, Marco Lisicki, Alessia Marcassoli, Danilo Antonio Montisano, Dilara Onan, Agnese Onofri, Lanfranco Pellesi, Mario Peres, Igor Petrušić, Bianca Raffaelli, Eloisa Rubio-Beltran, Andreas Straube, Sebastian Straube, Tsubasa Takizawa, Claudio Tana, Michela Tinelli, Massimiliano Valeriani, Simone Vigneri, Doga Vuralli, Marta Waliszewska-Prosół, Wei Wang, Yonggang Wang, William Wells-Gatnik, Tissa Wijeratne, Paolo Martelletti
Publikováno v:
The Journal of Headache and Pain, Vol 25, Iss 1, Pp 1-47 (2024)
Abstract Background and aim Migraine is a common disabling conditions which, globally, affects 15.2% of the population. It is the second cause of health loss in terms of years lived with disability, the first among women. Despite being so common, it
Externí odkaz:
https://doaj.org/article/cbdab7101f184ba19ef009c2d6b3420c
Autor:
Wilson, Amalee, Noetzli, Andres, Reynolds, Andrew, Cook, Byron, Tinelli, Cesare, Barrett, Clark
For many users of Satisfiability Modulo Theories (SMT) solvers, the solver's performance is the main bottleneck in their application. One promising approach for improving performance is to leverage the increasing availability of parallel and cloud co
Externí odkaz:
http://arxiv.org/abs/2306.05854
Autor:
Maria Colomba Comes, Livia Fucci, Sabino Strippoli, Samantha Bove, Gerardo Cazzato, Carmen Colangiuli, Ivana De Risi, Ileana De Roma, Annarita Fanizzi, Fabio Mele, Maurizio Ressa, Concetta Saponaro, Clara Soranno, Rosita Tinelli, Michele Guida, Alfredo Zito, Raffaella Massafra
Publikováno v:
Journal of Translational Medicine, Vol 22, Iss 1, Pp 1-11 (2024)
Abstract Background Risk stratification and treatment benefit prediction models are urgent to improve negative sentinel lymph node (SLN-) melanoma patient selection, thus avoiding costly and toxic treatments in patients at low risk of recurrence. To
Externí odkaz:
https://doaj.org/article/95ad4c7525344afab6eec62c16a1a0f7
Autor:
Antonio Luparelli, MD, Marta Minucci, MD, Federica Donato, MD, Giovanni Tinelli, MD, PhD, Tommaso Donati, MD, Yamume Tshomba, MD
Publikováno v:
Journal of Vascular Surgery Cases and Innovative Techniques, Vol 10, Iss 6, Pp 101592- (2024)
On-pump techniques are the methods of choice for organ protection and heart support during thoracoabdominal aortic aneurysm surgical repair. We present a case of a patient with a symptomatic saccular aneurysm of the visceral segment of a severe ather
Externí odkaz:
https://doaj.org/article/e3a38a35deff4a519088b5673a8b6a3c
Autor:
Pierfrancesco Antonio Annuvolo, MD, Ottavia Borghese, MD, Tommaso Donati, MD, Giovanni Tinelli, MD, Yamume Tshomba, MD
Publikováno v:
Journal of Vascular Surgery Cases and Innovative Techniques, Vol 10, Iss 5, Pp 101557- (2024)
We report the case of a 65-year-old male patient who was deemed unfit for open surgery and underwent zone 0 endovascular repair with a physician-modified fenestrated endograft for a symptomatic penetrating ulcer. A thoracic stent graft was modified c
Externí odkaz:
https://doaj.org/article/03e44c20bd80406fbbbac86881545081