Zobrazeno 1 - 10
of 7 742
pro vyhledávání: '"A Tinelli"'
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:
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:
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:
Oğuz Güler, Şafak Hatırnaz, Radmila Sparic, Alper Basbug, Onur Erol, Üzeyir Kalkan, Hasan Ulubaşoğlu, Giuseppe Trojano, Sebati Sinan Ürkmez, Andrea Tinelli
Publikováno v:
Frontiers in Surgery, Vol 11 (2024)
ObjectivesThe safety of cesarean myomectomy has been proven by previous studies. Our study aimed to reveal the long-term perinatal, obstetric, and surgical outcomes of cesarean myomectomy (CM) by comparing different CM techniques.Material and methods
Externí odkaz:
https://doaj.org/article/05cebdb218724e79ab0faa3e1ecd6f61
Autor:
Andrea Tinelli
Publikováno v:
Gynecology and Obstetrics Clinical Medicine, Vol 4, Iss 3 (2024)
Externí odkaz:
https://doaj.org/article/c9b3489a4f5c41c19c6c5c6128323f38
Publikováno v:
Folia Histochemica et Cytobiologica, Vol 47, Iss 4, Pp 633-638 (2010)
This report focuses on the state of health of the cattle raised in the district of Taranto - city of Italy rated as environmentally at risk. Representative samples of lungs, bronchial and mediastinal lymph nodes of cattle from district of Taranto's s
Externí odkaz:
https://doaj.org/article/6ec2e4518db446629766151203ce0096
Autor:
Rocchi, Rachele1 (AUTHOR) r.rocchi@izs.it, Tinelli, Antonella2 (AUTHOR) antonella.tinelli@uniba.it, Gatti, Giuseppe1 (AUTHOR) g.gatti@izs.it, Badagliacca, Pietro1 (AUTHOR) piba@live.it, Cocco, Antonio1 (AUTHOR) a.cocco@izs.it, Cantelmi, Maria Chiara1 (AUTHOR) m.cantelmi@izs.it, Damiano, Antonella3 (AUTHOR) adamiano@unite.it, Scortichini, Giampiero1 (AUTHOR) g.scortichini@izs.it, Merola, Carmine3 (AUTHOR) cmerola@unite.it, Petrini, Antonio1 (AUTHOR) a.petrini@izs.it
Publikováno v:
Animals (2076-2615). Sep2024, Vol. 14 Issue 17, p2483. 9p.
Autor:
Tinelli M, Michela1 m.tinelli@lse.ac.uk, Roddy, Aine1,2, Knapp, Martin1, Arango, Celso3, Mendez, Maria Andreina3, Cusack, James4, Murphy, Declan5, Canitano, Roberto6, Oakley, Bethany5, Quoidbach, Vinciane7
Publikováno v:
Journal of Autism & Developmental Disorders. Jul2024, Vol. 54 Issue 7, p2733-2741. 9p.