8,961 results on '"Tinelli, A"'
Search Results
152. CVC4 at the SMT Competition 2018
- Author
-
Barrett, Clark, Barbosa, Haniel, Brain, Martin, Ibeling, Duligur, King, Tim, Meng, Paul, Niemetz, Aina, Nötzli, Andres, Preiner, Mathias, Reynolds, Andrew, and Tinelli, Cesare
- Subjects
Computer Science - Logic in Computer Science - Abstract
This paper is a description of the CVC4 SMT solver as entered into the 2018 SMT Competition. We only list important differences from the 2017 SMT Competition version of CVC4. For further and more detailed information about CVC4, please refer to the original paper, the CVC4 website, or the source code on GitHub.
- Published
- 2018
153. On Solving Quantified Bit-Vectors using Invertibility Conditions
- Author
-
Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, and Tinelli, Cesare
- Subjects
Computer Science - Logic in Computer Science - Abstract
We present a novel approach for solving quantified bit-vector formulas in Satisfiability Modulo Theories (SMT) based on computing symbolic inverses of bit-vector operators. We derive conditions that precisely characterize when bit-vector constraints are invertible for a representative set of bit-vector operators commonly supported by SMT solvers. We utilize syntax-guided synthesis techniques to aid in establishing these conditions and verify them independently by using several SMT solvers. We show that invertibility conditions can be embedded into quantifier instantiations using Hilbert choice expressions, and give experimental evidence that a counterexample-guided approach for quantifier instantiation utilizing these techniques leads to performance improvements with respect to state-of-the-art solvers for quantified bit-vector constraints.
- Published
- 2018
154. SyGuS Techniques in the Core of an SMT Solver
- Author
-
Reynolds, Andrew and Tinelli, Cesare
- Subjects
Computer Science - Logic in Computer Science - Abstract
We give an overview of recent techniques for implementing syntax-guided synthesis (SyGuS) algorithms in the core of Satisfiability Modulo Theories (SMT) solvers. We define several classes of synthesis conjectures and corresponding techniques that can be used when dealing with each class of conjecture., Comment: In Proceedings SYNT 2017, arXiv:1711.10224
- Published
- 2017
- Full Text
- View/download PDF
155. Melanoma amelanótico cutâneo em um cão jovem
- Author
-
Ailton Baptista de Oliveira Júnior, Ana Paula Tinelli Largura, Jéssica Miranda Cota, Virgilio Zoppi Lemos, Igor Martins Strelow, Adriana Ortiz Bedoya, Alexandra Maria Garcia-Castro, and Clairton Marcolongo-Pereira
- Subjects
neoplasma ,melanócito ,filhote ,canino ,Veterinary medicine ,SF600-1100 - Abstract
O objetivo desse estudo foi relatar os aspectos clínico-patológicos de cão jovem com melanoma amelanótico. Um canino macho Buldogue Francês de seis meses de idade foi atendido com histórico de um nódulo de crescimento rápido em região de articulação úmero-radio-ulnar. Macroscopicamente, o nódulo apresentava forma de botão não pigmentado. Foi realizada excisão cirúrgica da massa. Microscopicamente observou-se proliferação neoplásica não encapsulada e infiltrativa, composta por células redondas, com citoplasma basofílico, por vezes abundante e núcleos policromáticos. O pleomorfismo celular era elevado e havia marcada anisocitose e anisocariose. Para complementação diagnóstica, foi realizado exame imuno histoquímico utilizando marcadores para citotoqueratinas (AE1/AE3), Melan A, Vimentina, PNL-2 e S100. O diagnóstico de melanoma amelanótico baseou-se na imunomarcação positiva para PNL-2 e S100 em mais de 80% das células tumorais. Nesse estudo, o tumor apresentava características histológicas de tumor de células redondas, possivelmente um mastocitoma ou um histiocitoma cutâneo. Entretanto, a utilização da técnica de imuno-histoquímica foi crucial para o correto diagnóstico da neoplasia. Neste estudo chama-se a atenção da ocorrência de melanomas com características histológicas de tumor de células redondas m animais jovens e o uso da imuno-histoquímica como ferramenta indispensável para o diagnóstico correto da neoplasia.
- Published
- 2022
- Full Text
- View/download PDF
156. Ovarian Stem Cells (OSCs) from the Cryopreserved Ovarian Cortex: A Potential for Neo-Oogenesis in Women with Cancer-Treatment Related Infertility: A Case Report and a Review of Literature
- Author
-
Erica Silvestris, Carla Minoia, Attilio Guarini, Giuseppina Opinto, Antonio Negri, Miriam Dellino, Raffaele Tinelli, Gennaro Cormio, Angelo Virgilio Paradiso, and Giuseppe De Palma
- Subjects
cancer treatment related infertility (CTRI) ,cryopreserved ovarian cortex ,oocyte like cells (OLCs) ,ovarian stem cells (OSCs) ,stem cell differentiation ,Biology (General) ,QH301-705.5 - Abstract
Cancer treatment related infertility (CTRI) affects more than one third of young women undergoing anti-cancer protocols, inducing a premature exhaustion of the ovarian reserve. In addition to ovarian suppression by GnRHa, oocyte and cortex cryopreservation has gained interest in patients with estrogen-sensitive tumors for whom the hormonal burst to prompt the multiple follicular growth could provide a further pro-life tumor pulsing. On the other hand, cortex reimplantation implies a few drawbacks due to the unknown consistency of the follicles to be reimplanted or the risk of reintroducing malignant cells. The capability of ovarian stem cells (OCSs) from fresh ovarian cortex fragments to differentiate in vitro to mature oocytes provides a tool to overcome these drawbacks. In fact, since ovarian cortex sampling and cryopreservation is practicable before gonadotoxic treatments, the recruitment of OSCs from defrosted fragments could provide a novel opportunity to verify their suitability to be expanded in vitro as oocyte like cells (OLCs). Here, we describe in very preliminary experiments the consistency of an OSC population from a single cryopreserved ovarian cortex after thawing as well as both their viability and their suitability to be further explored in their property to differentiate in OLCs, thus reinforcing interest in stemness studies in the treatment of female CTRI.
- Published
- 2022
- Full Text
- View/download PDF
157. Feasibility of audio-motor training with the multisensory device ABBI: Implementation in a child with hemiplegia and hemianopia
- Author
-
Tinelli, Francesca, Gori, Monica, Beani, Elena, Sgandurra, Giuseppina, Martolini, Chiara, Maselli, Martina, Petri, Stefania, and Purpura, Giulia
- Published
- 2022
- Full Text
- View/download PDF
158. Practice patterns and 90-day treatment-related morbidity in early-stage cervical cancer
- Author
-
Bogani, Giorgio, Donato, Violante Di, Scambia, Giovanni, Ghezzi, Fabio, Casarin, Jvan, Landoni, Fabio, Di Martino, Giampaolo, Grassi, Tommaso, Perrone, Anna Myriam, De Iaco, Pierandrea, Multinu, Francesco, Berretta, Roberto, Capozzi, Vito A., Zupi, Errico, Centini, Gabriele, Pellegrino, Antonio, Corso, Silvia, Stevenazzi, Guido, Boschi, Anna Chiara, Comerci, Giuseppe, Greco, Pantaleo, Scutiero, Gennaro, Sopracordevole, Francesco, Giorda, Giorgio, Fichera, Mariasole, Simoncini, Tommaso, Caretto, Marta, Sartori, Enrico, Ferrari, Federico, Cianci, Antonio, Sarpietro, Giuseppe, Matarazzo, Maria Grazia, Giampaolino, Pierluigi, Bifulco, Giuseppe, Morelli, Michele, Dio, Michele Di, Ferrero, Annamaria, Biglia, Nicoletta, Barra, Fabio, Ferrero, Simone, Cianci, Stefano, Chiantera, Vito, Sozzi, Giulio, Ercoli, Alfredo, Schettini, Sergio, Orlando, Teresa, Cannone, Francesco G., Ettore, Giuseppe, Puppo, Andrea, Olearo, Elena, Leone Roberti Maggiore, Umberto, Artuso, Valeria, Palaia, Innocenza, Perniola, Giorgia, Tripodi, Rossana, D'Augè, Tullio Golia, Cuccu, Ilaria, Fischetti, Margherita, Santangelo, Giusi, Casorelli, Assunta, Giannini, Andrea, D’Oria, Ottavia, Vizzielli, Giuseppe, Restaino, Stefano, Bergamini, Alice, Bocciolone, Luca, Plotti, Francesco, Angioli, Roberto, Mantovani, Giulia, Ceccaroni, Marcello, Cassini, Chiara, Dominoni, Mattia, Giambanco, Laura, Amodeo, Silvia, Leo, Livio, Thommaset, Raphaël, Raimondo, Diego, Seracchioli, Renato, Malzoni, Mario, Falcone, Francesca, Gorlero, Franco, Di Luca, Martina, Busato, Enrico, Kilzie, Sami, Dell'Acqua, Andrea, Scarfone, Giovanna, Vercellini, Paolo, Petrillo, Marco, Capobianco, Giampiero, Ciavattini, Andrea, Mereu, Liliana, Scollo, Paolo, Sorbi, Flavia, Fambrini, Massimiliano, Romano, Federico, Ricci, Giuseppe, Trojano, Giuseppe, Damiani, Gianluca Raffaello, Consonni, Roberto, Di Lorenzo, Nadia, Lippolis, Antonio, Tinelli, Raffaele, Aguzzoli, Lorenzo, Mandato, Vincenzo D., Palomba, Stefano, Tripodi, Marcello, Calandra, Davide, Pellegrini, Franco, Zullo, Fulvio, Surico, Daniela, Remorgida, Valentino, Ruscitto, Francesco, Beretta, Paolo, Vizza, Enrico, Muzii, Ludovico, Panici, Pierluigi Benedetti, and Raspagliesi, Francesco
- Published
- 2022
- Full Text
- View/download PDF
159. Homelessness and integrated care: an application of integrated care knowledge to understanding services for wicked issues
- Author
-
Clark, Michael, Cornes, Michelle, Whiteford, Martin, Aldridge, Robert, Biswell, Elizabeth, Byng, Richard, Foster, Graham, Fuller, James Sebastian, Hayward, Andrew, Hewett, Nigel, Kilminster, Alan, Manthorpe, Jill, Neale, Joanne, and Tinelli, Michela
- Published
- 2022
- Full Text
- View/download PDF
160. Immunohistochemical, pharmacovigilance, and omics analyses reveal the involvement of ATP-sensitive K+ channel subunits in cancers: role in drug–disease interactions
- Author
-
Fatima Maqoud, Nicola Zizzo, Marcella Attimonelli, Antonella Tinelli, Giuseppe Passantino, Marina Antonacci, Girolamo Ranieri, and Domenico Tricarico
- Subjects
immunohistochemistry ,cancer ,Cantu’ syndrome ,KATP channel genes ,omics analysis ,pharmacovigilance analysis ,Therapeutics. Pharmacology ,RM1-950 - Abstract
Background: ATP-sensitive-K+ channels (KATP) are involved in diseases, but their role in cancer is poorly described. Pituitary macroadenoma has been observed in Cantu’ syndrome (C.S.), which is associated with the gain-of-function mutations of the ABCC9 and KCNJ8 genes. We tested the role of the ABCC8/Sur1, ABCC9/Sur2A/B, KCNJ11/Kir6.2, and KCNJ8/Kir6.1 genes experimentally in a minoxidil-induced renal tumor in male rats and in the female canine breast cancer, a spontaneous animal model of disease, and in the pharmacovigilance and omics databases.Methods: We performed biopsies from renal tissues of male rats (N = 5) following a sub-chronic high dosing topical administration of minoxidil (0.777–77.7 mg/kg/day) and from breast tissues of female dogs for diagnosis (N = 23) that were analyzed by immunohistochemistry. Pharmacovigilance and omics data were extracted from EudraVigilance and omics databases, respectively.Results: An elevated immunohistochemical reactivity to Sur2A-mAb was detected in the cytosol of the Ki67+/G3 cells other than in the surface membrane in the minoxidil-induced renal tumor and the breast tumor samples. KCNJ11, KCNJ8, and ABCC9 genes are upregulated in cancers but ABCC8 is downregulated. The Kir6.2-Sur2A/B-channel opener minoxidil showed 23 case reports of breast cancer and one case of ovarian cancer in line with omics data reporting, respectively, and the negative and positive prognostic roles of the ABCC9 gene in these cancers. Sulfonylureas and glinides blocking the pancreatic Kir6.2-Sur1 subunits showed a higher risk for pancreatic cancer in line with the positive prognostic role of the ABCC8 gene but low risks for common cancers. Glibenclamide, repaglinide, and glimepiride show a lower cancer risk within the KATP channel blockers. The Kir6.2-Sur1 opener diazoxide shows no cancer reactions.Conclusion: An elevated expression of the Sur2A subunit was found in proliferating cells in two animal models of cancer. Immunohistochemistry/omics/pharmacovigilance data reveal the role of the Kir6.1/2-Sur2A/B subunits as a drug target in breast/renal cancers and in C.S.
- Published
- 2023
- Full Text
- View/download PDF
161. Whole brain surface-based morphometry and tract-based spatial statistics in migraine with aura patients: difference between pure visual and complex auras
- Author
-
Chiara Abagnale, Antonio Di Renzo, Gabriele Sebastianelli, Francesco Casillo, Emanuele Tinelli, Giada Giuliani, Maria Giulia Tullo, Mariano Serrao, Vincenzo Parisi, Marco Fiorelli, Francesca Caramia, Jean Schoenen, Vittorio Di Piero, and Gianluca Coppola
- Subjects
surface-based morphometry (SBM) ,tract-based spatial statistics (TBSS) ,migraine aura ,lingual gyrus ,Rolandic operculum ,Neurosciences. Biological psychiatry. Neuropsychiatry ,RC321-571 - Abstract
BackgroundThe migrainous aura has different clinical phenotypes. While the various clinical differences are well-described, little is known about their neurophysiological underpinnings. To elucidate the latter, we compared white matter fiber bundles and gray matter cortical thickness between healthy controls (HC), patients with pure visual auras (MA) and patients with complex neurological auras (MA+).Methods3T MRI data were collected between attacks from 20 patients with MA and 15 with MA+, and compared with those from 19 HCs. We analyzed white matter fiber bundles using tract-based spatial statistics (TBSS) of diffusion tensor imaging (DTI) and cortical thickness with surface-based morphometry of structural MRI data.ResultsTract-based spatial statistics showed no significant difference in diffusivity maps between the three subject groups. As compared to HCs, both MA and MA+ patients had significant cortical thinning in temporal, frontal, insular, postcentral, primary and associative visual areas. In the MA group, the right high-level visual-information-processing areas, including lingual gyrus, and the Rolandic operculum were thicker than in HCs, while in the MA+ group they were thinner.DiscussionThese findings show that migraine with aura is associated with cortical thinning in multiple cortical areas and that the clinical heterogeneity of the aura is reflected by opposite thickness changes in high-level visual-information-processing, sensorimotor and language areas.
- Published
- 2023
- Full Text
- View/download PDF
162. What have we learned from the first to the second wave of COVID-19 pandemic? An international survey from the ESCMID Study Group for Infection in the Elderly (ESGIE) group
- Author
-
Tiseo, Giusy, Yahav, Dafna, Paul, Mical, Tinelli, Marco, Gavazzi, Gaetan, Mussini, Cristina, Prendki, Virginie, and Falcone, Marco
- Published
- 2022
- Full Text
- View/download PDF
163. Lactobacillus crispatus M247 oral administration: Is it really an effective strategy in the management of papillomavirus-infected women?
- Author
-
Dellino, Miriam, Cascardi, Eliano, Laganà, Antonio Simone, Di Vagno, Giovanni, Malvasi, Antonio, Zaccaro, Rosanna, Maggipinto, Katia, Cazzato, Gerardo, Scacco, Salvatore, Tinelli, Raffaele, De Luca, Alessandro, Vinciguerra, Marina, Loizzi, Vera, Daniele, Antonella, Cicinelli, Ettore, Carriero, Carmine, Genco, Chiara Antonia, Cormio, Gennaro, and Pinto, Vincenzo
- Published
- 2022
- Full Text
- View/download PDF
164. Auditory time thresholds in the range of milliseconds but not seconds are impaired in ADHD
- Author
-
Anobile, Giovanni, Bartoli, Mariaelisa, Pfanner, Chiara, Masi, Gabriele, Cioni, Giovanni, and Tinelli, Francesca
- Published
- 2022
- Full Text
- View/download PDF
165. Optimal Single-Shot Decoding of Quantum Codes.
- Author
-
Aldo Cumitini, Stefano Tinelli, Balázs Matuz, Francisco Lázaro 0001, and Luca Barletta
- Published
- 2023
- Full Text
- View/download PDF
166. Through-and-through femorofemoral wire retrograde technique for the E-nside precannulated inner branch thoracoabdominal stent graft
- Author
-
Giovanni Tinelli, MD, PhD, Fabrizio Minelli, MD, Federica Donato, MD, Simona Sica, MD, Francesca De Nigris, MD, and Yamume Tshomba, MD
- Subjects
E-nside ,Multibranched stent graft ,Personalized medicine ,Target vessel ,Through-and-through technique ,Surgery ,RD1-811 ,Diseases of the circulatory (Cardiovascular) system ,RC666-701 - Abstract
The E-nside multibranched stent graft (Jotec GmbH, Hechingen, Germany) is the first and only off-the-shelf thoracoabdominal prosthesis with precannulated inner branches. Usually, after the device deployment, target vessel stenting will be facilitated by antegrade inner branch cannulation to retrieve the precannulated guide. In the literature, the use of antegrade access has been associated with the potential risk of cerebral and systemic embolization. Therefore, other retrograde techniques have been described. We have reported a new retrograde approach using a precannulated through-and-through femorofemoral wire technique for target vessel catheterization.
- Published
- 2022
- Full Text
- View/download PDF
167. Constraint Solving for Finite Model Finding in SMT Solvers
- Author
-
Reynolds, Andrew, Tinelli, Cesare, and Barrett, Clark
- Subjects
Computer Science - Logic in Computer Science - Abstract
SMT solvers have been used successfully as reasoning engines for automated verification and other applications based on automated reasoning. Current techniques for dealing with quantified formulas in SMT are generally incomplete, forcing SMT solvers to report "unknown" when they fail to prove the unsatisfiability of a formula with quantifiers. This inability to return counter-models limits their usefulness in applications that produce queries involving quantified formulas. In this paper, we reduce these limitations by integrating finite model finding techniques based on constraint solving into the architecture used by modern SMT solvers. This approach is made possible by a novel solver for cardinality constraints, as well as techniques for on-demand instantiation of quantified formulas. Experiments show that our approach is competitive with the state of the art in SMT, and orthogonal to approaches in automated theorem proving., Comment: Under consideration for publication in Theory and Practice of Logic Programming (TPLP)
- Published
- 2017
168. Reasoning with Finite Sets and Cardinality Constraints in SMT
- Author
-
Bansal, Kshitij, Barrett, Clark, Reynolds, Andrew, and Tinelli, Cesare
- Subjects
Computer Science - Logic in Computer Science - Abstract
We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for modeling program constructs directly. More importantly, sets are a basic construct of mathematics and thus natural to use when formalizing the properties of computational systems. We develop a calculus describing a modular combination of a procedure for reasoning about membership constraints with a procedure for reasoning about cardinality constraints. Cardinality reasoning involves tracking how different sets overlap. For efficiency, we avoid considering Venn regions directly, as done in previous work. Instead, we develop a novel technique wherein potentially overlapping regions are considered incrementally as needed, using a graph to track the interaction among the different regions. The calculus has been designed to facilitate its implementation within SMT solvers based on the DPLL($T$) architecture. Our experimental results demonstrate that the new techniques are competitive with previous techniques and can scale much better on certain classes of problems.
- Published
- 2017
- Full Text
- View/download PDF
169. Diastereoselective hydride transfer enables a synthesis of chiral 1,5-carboxamido-trifluoromethylcarbinols.
- Author
-
Tinelli, Roberto, Schupp, Manuel, Klose, Immo, Shaaban, Saad, Maryasin, Boris, González, Leticia, and Maulide, Nuno
- Published
- 2024
- Full Text
- View/download PDF
170. Uterine rupture following prostaglandins use in second trimester medical abortion: Fact or fiction? A systematic review.
- Author
-
Malvasi, Antonio, Tinelli, Andrea, Mulone, Vanessa, Cicinelli, Ettore, Vitagliano, Amerigo, Damiani, Gianluca Raffaello, Baldini, Giorgio Maria, Dellino, Miriam, D'Amato, Antonio, and Vimercati, Antonella
- Subjects
- *
INDUCED labor (Obstetrics) , *ABORTIFACIENTS , *OBSTETRICAL emergencies , *TRANSVAGINAL ultrasonography , *THERAPEUTICS , *UTERINE rupture - Abstract
Background Objectives Search Strategy Selection Criteria Data Collection and Analysis Main Results and Conclusions Prostaglandins (PGs) have emerged as key drugs in second trimester medical abortion (STMA) and are currently a cornerstone in obstetric practice. Nevertheless, the application of PGs, integral to labor and abortion procedures, is not risk‐free, and has been associated with several complications, particularly maternal fever and uterine rupture (UR).The main outcome of the present systematic review was to assess the safety of PGs use in STMA, particularly in scarred uterus (SC).The review adhered to the Preferred Reporting Items for Systematic Reviews and Meta‐Analyses (PRISMA) guideline. We performed a comprehensive systematic review by searching multiple databases, including MEDLINE, EMBASE, Global Health, The Cochrane Library, Health Technology Assessment Database, and the research registers of Web of Science during the years 1990–2022.Only articles regarding cases of UR occurred after the use of PGs for STMA were included in the article. We excluded papers regarding UR during first trimester abortion induction of labor or pregnancy or unrelated to PGs use for STMA. Risk of bias was assessed employing a modified version of the “Newcastle‐Ottawa Scale” (NOS).A total of 178 studies were initially identified as potentially meeting the criteria for inclusion in the review. After full text evaluation, 110 other articles were excluded and 67 studies that suited the inclusion criteria were included. A total of 19 of the included studies were judged to have a high risk of bias. Given the heterogeneous nature of the findings, we opted for a narrative synthesis of the results.PGs appear to be an effective pharmacologic tool for STMA; however, their use is not entirely risk‐free. STMA requires well‐equipped obstetric centers with skilled clinicians and surgeons prepared for emergencies. Ultrasonographic scans should be routinely performed during STMA management, since a UR can also be silent during the induction of labor. Intrapartum transabdominal, transperineal, and transvaginal ultrasound may have the diagnostic potential to early recognize this obstetric emergency, to facilitate rapid medical and surgical treatment, improving the outcome. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
171. Pediatric Huntington Disease Brains Have Distinct Morphologic and Metabolic Traits: the RAREST‐JHD Study.
- Author
-
Caligiuri, Maria Eugenia, Tinelli, Emanuele, Vizza, Patrizia, Giancaterino, Giulia, Cicone, Francesco, Cascini, Giuseppe Lucio, Sabatini, Umberto, and Squitieri, Ferdinando
- Subjects
- *
HUNTINGTON disease , *MAGNETIC resonance imaging , *POSITRON emission tomography , *BRAIN diseases , *GLUCOSE metabolism , *MOVEMENT disorders - Abstract
ABSTRACT Background Objectives Methods Results Conclusions Pediatric‐onset Huntington's disease (POHD) exhibits a phenotype different from adult‐onset HD (AOHD), with hypokinetic movement disorders (eg, rigidity, bradykinesia, and dystonia) rather than chorea typical of AOHD.The aim was to identify pathophysiology‐based biomarkers specific to POHD (≥60 CAG repeats).Simultaneous hybrid imaging using [18F]fluoro‐2‐deoxy‐d‐glucose (FDG) positron emission tomography plus magnetic resonance imaging (FDG‐PET/MRI) and clinical assessment using standardized Huntington's disease (HD) scales were employed. Exploratory longitudinal analyses were also performed.Striatal volume loss was remarkable and more severe in POHD (n = 5) than in AOHD (n = 14). Widespread, significantly altered glucose metabolism occurred in several different POHD cortical areas and thalamus, but not AOHD cortex, consistent with differences in clinical progression.POHD patients' brains exhibited distinct morphologic and metabolic traits compared to AOHD patients’ brains, with longitudinal changes mirroring clinical progression. Hybrid FDG‐PET/MRI highlighted a variable regional brain dysfunction in vivo, as a biological consequence of highly expanded CAG repeats. Findings provide further evidence that POHD is a distinct disease from AOHD. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
172. From 3D to 2D-4K laparoscopic sacral colpopexy: are we addicted to technology?
- Author
-
Morciano, Andrea, Marzo, Giuseppe, Schiavi, Michele Carlo, Zullo, Marzio Angelo, Frigerio, Matteo, Tinelli, Andrea, Cervigni, Mauro, and Scambia, Giovanni
- Subjects
PELVIC organ prolapse ,LAPAROSCOPY ,COMPULSIVE behavior ,THREE-dimensional imaging ,SURGEONS ,TREATMENT effectiveness ,RETROSPECTIVE studies ,SURGICAL therapeutics ,MINIMALLY invasive procedures ,SURGICAL complications ,PSYCHOSOCIAL factors ,PERIOPERATIVE care ,GYNECOLOGIC surgery - Abstract
Objective: A study analyzing perioperative outcomes related to a sudden switch from 3D to 2D-4K technology for laparoscopic sacral colpopexy by expert pelvic surgeons: are we addicted to technology? Material and methods: After a sudden transition from 3D to 2D-4K laparoscopic technology, a total of 115 consecutive pelvic prolapse patients who underwent sacral colpopexy from June 2020 to September 2021 were retrospectively assessed from our database. Perioperative parameters, operative times (OT), and intraoperative difficulty scales were assessed. One-year follow-ups were analyzed for the study. Primary endpoints were OT; secondary endpoint was the evaluation of complications linked to this procedure. Results: We found statistical differences in OT and intraoperative difficulty scales between medians of the last 3D procedures and the first ten 2D-4K surgeries, without differences between operators. Only after more than 20 surgeries, we observed no significant differences between 3D and 2D-4K sacral colpopexy. We observed no statistical differences in terms of anatomic failure, PGI-I, and intra-postoperative complications. Conclusion: The transition of urogynecology from an exclusive vaginal approach to 2D-3D-4K laparoscopy significantly increased the level of technology necessary for surgical treatment of prolapse. This could, as a result, lead to pelvic surgeons becoming increasingly dependent on technology. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
173. An artificial intelligence-based model exploiting H&E images to predict recurrence in negative sentinel lymph-node melanoma patients.
- Author
-
Comes, Maria Colomba, Fucci, Livia, Strippoli, Sabino, Bove, Samantha, Cazzato, Gerardo, Colangiuli, Carmen, Risi, Ivana De, Roma, Ileana De, Fanizzi, Annarita, Mele, Fabio, Ressa, Maurizio, Saponaro, Concetta, Soranno, Clara, Tinelli, Rosita, Guida, Michele, Zito, Alfredo, and Massafra, Raffaella
- Subjects
SENTINEL lymph nodes ,ARTIFICIAL intelligence ,PATIENT selection ,PREDICTION models ,MEDICAL personnel - 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 this end, the application of artificial intelligence (AI) could help clinicians to better calculate the recurrence risk and choose whether to perform adjuvant therapy. Methods: We made use of AI to predict recurrence-free status (RFS) within 2-years from diagnosis in 94 SLN- melanoma patients. In detail, we detected quantitative imaging information from H&E slides of a cohort of 71 SLN- melanoma patients, who registered at Istituto Tumori "Giovanni Paolo II" in Bari, Italy (investigational cohort, IC). For each slide, two expert pathologists firstly annotated two Regions of Interest (ROIs) containing tumor cells alone (TUMOR ROI) or with infiltrating cells (TUMOR + INF ROI). In correspondence of the two kinds of ROIs, two AI-based models were developed to extract information directly from the tiles in which each ROI was automatically divided. This information was then used to predict RFS. Performances of the models were computed according to a 5-fold cross validation scheme. We further validated the prediction power of the two models on an independent external validation cohort of 23 SLN- melanoma patients (validation cohort, VC). Results: The TUMOR ROIs have revealed more informative than the TUMOR + INF ROIs. An Area Under the Curve (AUC) value of 79.1% and 62.3%, a sensitivity value of 81.2% and 76.9%, a specificity value of 70.0% and 43.3%, an accuracy value of 73.2% and 53.4%, were achieved on the TUMOR and TUMOR + INF ROIs extracted for the IC cohort, respectively. An AUC value of 76.5% and 65.2%, a sensitivity value of 66.7% and 41.6%, a specificity value of 70.0% and 55.9%, an accuracy value of 70.0% and 56.5%, were achieved on the TUMOR and TUMOR + INF ROIs extracted for the VC cohort, respectively. Conclusions: Our approach represents a first effort to develop a non-invasive prognostic method to better define the recurrence risk and improve the management of SLN- melanoma patients. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
174. The Determination of the Prohibited Herbicide 4,6-Dinitro-Ortho-Cresol (DNOC) in Poisoned Domestic and Wild Animals in Italy.
- Author
-
Rocchi, Rachele, Tinelli, Antonella, Gatti, Giuseppe, Badagliacca, Pietro, Cocco, Antonio, Cantelmi, Maria Chiara, Damiano, Antonella, Scortichini, Giampiero, Merola, Carmine, and Petrini, Antonio
- Subjects
- *
ENVIRONMENTAL health , *POISONS , *ANIMAL health , *ANIMAL populations , *RED fox - Abstract
Simple Summary: This study reported for the first time in Italy the determination of 4,6-dinitro-ortho-cresol (DNOC) in the baits and gastric contents of poisoned animals. The determination of DNOC was achieved by using gas chromatography coupled to mass spectrometry (GC-MS) with both full-scan and selected ion monitoring (SIM) modes (ion m/z values 198, 121, and 105). This study reports the determination of DNOC in the baits and gastric contents of poisoned dogs and wild canids collected in the Abruzzo region between 2014 and 2022. A total of 663 samples of the baits and carcasses of domestic and wild animals were analyzed for the determination of DNOC through GC-MS. DNOC was found to be present in 58 cases from 663 analyzed samples, with 49 poison baits and nine gastric content samples from dogs and red foxes. This study confirms for the first time that the banned pesticide DNOC still poisons both domestic and wild animals in the Abruzzo region. It should be considered that this study was carried out on a population of animals from a regional geographical area, and more detailed country-wide studies need to be carried out to obtain the incidence of poisoning from this herbicide in Italy. Furthermore, these findings emphasize the importance of considering this chemical in differential diagnosis during toxicological investigations of animal poisoning. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
175. Treatment methods for cervical intraepithelial neoplasia in England: A cost‐effectiveness analysis.
- Author
-
Tinelli, Michela, Athanasiou, Antonios, Veroniki, Areti Angeliki, Efthimiou, Orestis, Kalliala, Ilkka, Bowden, Sarah, Paraskevaidi, Maria, Lyons, Deirdre, Martin‐Hirsch, Pierre, Bennett, Phillip, Paraskevaidis, Evangelos, Salanti, Georgia, Kyrgiou, Maria, and Naci, Huseyin
- Subjects
- *
CERVICAL intraepithelial neoplasia , *CHILDBEARING age , *OLDER women , *PREMATURE labor , *YOUNG women - Abstract
Objective: To compare the cost‐effectiveness of different treatments for cervical intraepithelial neoplasia (CIN). Design: A cost‐effectiveness analysis based on data available in the literature and expert opinion. Setting: England. Population: Women treated for CIN. Methods: We developed a decision‐analytic model to simulate the clinical course of 1000 women who received local treatment for CIN and were followed up for 10 years after treatment. In the model we considered surgical complications as well as oncological and reproductive outcomes over the 10‐year period. The costs calculated were those incurred by the National Health Service (NHS) of England. Main outcome measures: Cost per one CIN2+ recurrence averted (oncological outcome); cost per one preterm birth averted (reproductive outcome); overall cost per one adverse oncological or reproductive outcome averted. Results: For young women of reproductive age, large loop excision of the transformation zone (LLETZ) was the most cost‐effective treatment overall at all willingness‐to‐pay thresholds. For postmenopausal women, LLETZ remained the most cost‐effective treatment up to a threshold of £31,500, but laser conisation became the most cost‐effective treatment above that threshold. Conclusions: LLETZ is the most cost‐effective treatment for both younger and older women. However, for older women, more radical excision with laser conisation could also be considered if the NHS is willing to spend more than £31,500 to avert one CIN2+ recurrence. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
176. The sac evolution imaging follow-up after endovascular aortic repair: An international expert opinion-based Delphi consensus study.
- Author
-
Tinelli, Giovanni, D'Oria, Mario, Sica, Simona, Mani, Kevin, Rancic, Zoran, Resch, Timothy Andrew, Beccia, Flavia, Azizzadeh, Ali, Da Volta Ferreira, Marcelo Martins, Gargiulo, Mauro, Lepidi, Sandro, Tshomba, Yamume, Oderich, Gustavo S., and Haulon, Stéphan
- Abstract
Management of follow-up protocols after endovascular aortic repair (EVAR) varies significantly between centers and is not standardized according to sac regression. By designing an international expert-based Delphi consensus, the study aimed to create recommendations on follow-up after EVAR according to sac evolution. Eight facilitators created appropriate statements regarding the study topic that were voted, using a 4-point Likert scale, by a selected panel of international experts using a three-round modified Delphi consensus process. Based on the experts' responses, only those statements reaching a grade A (full agreement ≥75%) or B (overall agreement ≥80% and full disagreement <5%) were included in the final document. One-hundred and seventy-four participants were included in the final analysis, and each voted the initial 29 statements related to the definition of sac regression (Q1-Q9), EVAR follow-up (Q10-Q14), and the assessment and role of sac regression during follow-up (Q15-Q29). At the end of the process, 2 statements (6.9%) were rejected, 9 statements (31%) received a grade B consensus strength, and 18 (62.1%) reached a grade A consensus strength. Of 27 final statements, 15 (55.6%) were classified as grade I, whereas 12 (44.4%) were classified as grade II. Experts agreed that sac regression should be considered an important indicator of EVAR success and always be assessed during follow-up after EVAR. Based on the elevated strength and high consistency of this international expert-based Delphi consensus, most of the statements might guide the current clinical management of follow-up after EVAR according to the sac regression. Future studies are needed to clarify debated issues. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
177. Treatment with Epigallocatechin Gallate, Folic Acid, Vitamin B12, and Hyaluronic Acid Decreases HPV Positivity in Women Attending Regional Screening in Puglia.
- Author
-
Tinelli, Andrea, Gustapane, Sarah, Licchelli, Martina, Coluccia, Anna Chiara, Panese, Gaetano, Proietti, Sara, and Gambioli, Riccardo
- Subjects
HUMAN papillomavirus ,PAP test ,CERVIX uteri ,EPIGALLOCATECHIN gallate ,HYALURONIC acid - Abstract
Human Papillomavirus (HPV) infection represents a global health concern. HPV infects the mucosa, particularly in the uterine cervix, where it may establish a persistent infection, exposing women to a risk of developing cancer. The available treatments include surgery or topic solutions, while a systemic treatment is still unavailable. In recent years, natural molecules such as epigallocatechin gallate (EGCG), folic acid (FA), vitamin B12, and hyaluronic acid (HA) gained importance as innovative therapies for HPV. We enrolled 163 women with a positive HPV DNA test or previous history of HPV infections, and a PAP test indicating LSIL/AGUS/ASCUS cytology. The patients in the treatment group (n = 86) received an oral combination of EGCG 200 mg, FA 400 µg, vitamin B12 1 mg, and HA 50 mg (1 cps/day) for 3 months (T1), while the control group (n = 77) underwent standard clinical surveillance. Both groups repeated a PAP test and an HPV DNA test after 3 (T1) months, and another PAP test after 6 months (T2) as a follow up. The treatment group experienced a significant reduction in HPV positivity at T1 compared to the control group. Moreover, the treatment group exhibited an improvement in cervical lesions either at T1 (p < 0.0001) or T2 (p < 0.00001). [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
178. Understanding the Blood-Brain Barrier (BBB) with MRI Techniques and Its Implications in Neurodegenerative Diseases: An Overview.
- Author
-
Oliveti, Cesare, Iacomino, Aniello, Manti, Francesco, Tinelli, Emanuele, Gatta, Gianluca, Di Grezia, Graziella, Cascini, Giuseppe Lucio, and Cuccurullo, Vincenzo
- Subjects
ALZHEIMER'S disease ,BLOOD-brain barrier disorders ,PARKINSON'S disease ,NEUROLOGICAL disorders ,MAGNETIC resonance imaging ,BLOOD-brain barrier - Abstract
The blood-brain barrier (BBB) stands as a critical guardian separating the central nervous system (CNS) from the systemic circulation. This comprehensive review explores the anatomical and functional components of the BBB and its association with the neurovascular unit (NVU), emphasizing its role in synaptic signaling and shielding the CNS from neurotoxic elements. Detailed discussions encompass MRI techniques like dynamic contrast enhancement (DCE) and arterial spin labeling (ASL) MRI, illuminating their significance in assessing BBB integrity and permeability. Various models and pharmacokinetic parameters utilized in imaging analysis offer insights into barrier permeability, aiding in the evaluation of neurodegenerative illnesses such as Alzheimer's, Parkinson's, and multiple sclerosis. Additionally, the study investigates the distinct characteristics of imaging protocols and their impact on BBB evaluation. Highlighting physiological conditions, the analysis discerns regional disparities in BBB permeability, shedding light on diverse microvascular architectures in healthy subjects. Conversely, in pathological states like Alzheimer's, Parkinson's, and multiple sclerosis, BBB dysfunction leads to a cascade of events facilitating the entry of harmful substances, exacerbating neurodegeneration. Imaging studies have unveiled distinct alterations in BBB permeability and perfusion, providing crucial insights into disease progression, notably preceding structural changes in Alzheimer's and indicating localized disruptions in multiple sclerosis. This comprehensive exploration underscores the pivotal role of the BBB in maintaining CNS health and its intricate involvement in the pathogenesis of neurodegenerative disorders. While imaging techniques serve as promising tools for BBB assessment, further research is warranted to refine their diagnostic precision and differentiation abilities across neurological conditions. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
179. Postoperative cognitive disorders and delirium in gynecologic surgery: Which surgery and anesthetic techniques to use to reduce the risk?
- Author
-
Pecorella, Giovanni, De Rosa, Filippo, Licchelli, Martina, Panese, Gaetano, Carugno, Josè Tony, Morciano, Andrea, and Tinelli, Andrea
- Published
- 2024
- Full Text
- View/download PDF
180. Long-term obstetric, perinatal, and surgical complications in singleton pregnancies following previous cesarean myomectomy: a retrospective multicentric study.
- Author
-
Güler, Oğuz, Hatırnaz, Şafak, Sparic, Radmila, Basbug, Alper, Erol, Onur, Kalkan, Üzeyir, Ulubaşoğlu, Hasan, Trojano, Giuseppe, Ürkmez, Sebati Sinan, and Tinelli, Andrea
- Published
- 2024
- Full Text
- View/download PDF
181. AIDA (Artificial Intelligence Dystocia Algorithm) in Prolonged Dystocic Labor: Focus on Asynclitism Degree.
- Author
-
Malvasi, Antonio, Malgieri, Lorenzo E., Cicinelli, Ettore, Vimercati, Antonella, Achiron, Reuven, Sparić, Radmila, D'Amato, Antonio, Baldini, Giorgio Maria, Dellino, Miriam, Trojano, Giuseppe, Beck, Renata, Difonzo, Tommaso, and Tinelli, Andrea
- Subjects
PEARSON correlation (Statistics) ,DELIVERY (Obstetrics) ,MACHINE learning ,DECISION support systems ,DYSTOCIA ,CESAREAN section - Abstract
Asynclitism, a misalignment of the fetal head with respect to the plane of passage through the birth canal, represents a significant obstetric challenge. High degrees of asynclitism are associated with labor dystocia, difficult operative delivery, and cesarean delivery. Despite its clinical relevance, the diagnosis of asynclitism and its influence on the outcome of labor remain matters of debate. This study analyzes the role of the degree of asynclitism (AD) in assessing labor progress and predicting labor outcome, focusing on its ability to predict intrapartum cesarean delivery (ICD) versus non-cesarean delivery. The study also aims to assess the performance of the AIDA (Artificial Intelligence Dystocia Algorithm) algorithm in integrating AD with other ultrasound parameters for predicting labor outcome. This retrospective study involved 135 full-term nulliparous patients with singleton fetuses in cephalic presentation undergoing neuraxial analgesia. Data were collected at three Italian hospitals between January 2014 and December 2020. In addition to routine digital vaginal examination, all patients underwent intrapartum ultrasound (IU) during protracted second stage of labor (greater than three hours). Four geometric parameters were measured using standard 3.5 MHz transabdominal ultrasound probes: head-to-symphysis distance (HSD), degree of asynclitism (AD), angle of progression (AoP), and midline angle (MLA). The AIDA algorithm, a machine learning-based decision support system, was used to classify patients into five classes (from 0 to 4) based on the values of the four geometric parameters and to predict labor outcome (ICD or non-ICD). Six machine learning algorithms were used: MLP (multi-layer perceptron), RF (random forest), SVM (support vector machine), XGBoost, LR (logistic regression), and DT (decision tree). Pearson's correlation was used to investigate the relationship between AD and the other parameters. A degree of asynclitism greater than 70 mm was found to be significantly associated with an increased rate of cesarean deliveries. Pearson's correlation analysis showed a weak to very weak correlation between AD and AoP (PC = 0.36, p < 0.001), AD and HSD (PC = 0.18, p < 0.05), and AD and MLA (PC = 0.14). The AIDA algorithm demonstrated high accuracy in predicting labor outcome, particularly for AIDA classes 0 and 4, with 100% agreement with physician-practiced labor outcome in two cases (RF and SVM algorithms) and slightly lower agreement with MLP. For AIDA class 3, the RF algorithm performed best, with an accuracy of 92%. AD, in combination with HSD, MLA, and AoP, plays a significant role in predicting labor dystocia and labor outcome. The AIDA algorithm, based on these four geometric parameters, has proven to be a promising decision support tool for predicting labor outcome and may help reduce the need for unnecessary cesarean deliveries, while improving maternal-fetal outcomes. Future studies with larger cohorts are needed to further validate these findings and refine the cut-off thresholds for AD and other parameters in the AIDA algorithm. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
182. Adenomyosis and fertility‐sparing surgery: A literature appraisal.
- Author
-
Pecorella, Giovanni, Nigdelis, Meletios P., Sparic, Radmila, Morciano, Andrea, and Tinelli, Andrea
- Published
- 2024
- Full Text
- View/download PDF
183. The Transvaginal Natural Orifice Transluminal Endoscopic Surgery (vNOTES) Procedures in Contemporary Gynecology: An Appraisal of the Published Evidence and a Review
- Author
-
Mladen Andjić, Zaki Sleiman, Radmila Sparić, Đina Tomašević, Andrea Morciano, and Andrea Tinelli
- Subjects
vnotes ,gynecology ,endoscopic surgery ,laparoscopy ,minimally invasive surgery ,Gynecology and obstetrics ,RG1-991 - Abstract
Objective: The transvaginal natural orifice transluminal endoscopic surgery (vNOTES) is a kind of natural orifice transluminal endoscopic surgery in which the abdominal cavity is reached by using the natural orifices, such as the stomach, rectum, esophagus, and bladder. In comparison to traditional laparoscopic and robotic surgery, there are potential advantages of the vNOTES. This narrative review shows the use of vNOTES in contemporary gynecologic endoscopic surgery. Mechanism: MEDLINE, Scopus, and PubMed searches on these themes were conducted from 1990 to 2023 using a mix of keywords. Papers and articles were identified and included in this narrative review after the authors’ revision and evaluation. Findings in Brief: The vNOTES procedures allow a short surgery time, as well as estimated blood loss and postoperative pain. These procedures are safe and feasible in contemporary endoscopic gynecology surgery. Conclusions: The vNOTES procedures are beneficial for the patients, and to be added to other minimally invasive procedures, such as conventional laparoscopy and robotic surgery. However, further studies about the long-term outcomes of vNOTES procedures are still needed.
- Published
- 2023
- Full Text
- View/download PDF
184. Aggressive Pelvic Angiomyxoma in a Patient with Twin Pregnancy: Diagnosis, Treatment, and Clinical Complications in Light of the Literature
- Author
-
Carmen Imma Aquino, Raffaele Tinelli, Alessandro Libretti, Riccardo Bertinato, Renzo Luciano Boldorini, Michele Giana, Felice Sorrentino, Luigi Nappi, Valentino Remorgida, and Daniela Surico
- Subjects
angiomyxoma ,pregnancy ,cancer ,soft mass ,Medicine (General) ,R5-920 - Abstract
(1) Background: Aggressive angiomyxoma is a mesenchymal cancer that is rare during pregnancy. It is a neoplasm that relapses and infiltrates the nearest structures. Our aim is to evaluate the management and outcomes of an observed case, in light of the current literature. (2) Methods: We observed this condition at the “Maggiore della Carità” Hospital in Novara (Italy) in a patient with an initial twin pregnancy and a suspected pelvic mass. The words “angiomyxoma” and “pregnancy” were searched on the main online scientific search sources (PubMed, Google Scholar, Scopus, WES, and Embase, etc.). (3) Results: The patient underwent surgery with a complicated follow-up, but recent negative controls. We analyzed the literature about the topic and found only 24 similar clinical cases. (4) Conclusions: Considering the current literature, it is useful to assess an aggressive angiomyxoma in the differential diagnosis of soft masses in pregnant women. The treatment of choice is surgical excision, and vaginal delivery is feasible. The therapeutic decision depends on each case.
- Published
- 2023
- Full Text
- View/download PDF
185. Whole-Genome Sequencing and Molecular Analysis of Ceftazidime–Avibactam-Resistant KPC-Producing Klebsiella pneumoniae from Intestinal Colonization in Elderly Patients
- Author
-
Giulia Errico, Maria Del Grosso, Michela Pagnotta, Manuela Marra, Maria Carollo, Marina Cerquetti, Elena Fogato, Elisabetta Cesana, Flaminia Gentiloni Silverj, Dorjan Zabzuni, Angelo Rossini, Annalisa Pantosti, Marco Tinelli, Monica Monaco, and Maria Giufrè
- Subjects
carbapenem-resistant Enterobacterales ,ceftazidime–avibactam ,Klebsiella pneumoniae ,colonization ,Therapeutics. Pharmacology ,RM1-950 - Abstract
Ceftazidime–avibactam (CAZ-AVI) is an active antibiotic combination of a β-lactam–β-lactamase inhibitor against carbapenemase-producing Enterobacterales. Reports of resistance to CAZ-AVI other than metallo-β-lactamases have increased in recent years. The aim of this study was to analyze KPC-Klebsiella pneumoniae (KP) isolates resistant to CAZ-AVI from the intestinal carriage of hospitalized elderly patients in Italy, in February 2018–January 2020. Characterization of CAZ-AVI-resistant KP isolates, including MLST, resistome, virulome and plasmid content, was performed by WGS analysis. Out of six CAZ-AVI-resistant KP isolates, three belonged to ST101 and three to ST512; two isolates produced KPC-3 (both ST512), four had mutated KPC-3 (KPC-31, in ST101 and ST512, and KPC-46, both ST101). All CAZ-AVI-resistant KP isolates were multidrug-resistant and carried several resistance genes. The yersiniabactin ybt9 gene cluster was present in all ST101 isolates, while, in ST512 isolates, no virulence genes were detected. Several plasmids were detected: IncF was present in all isolates, as well as IncR and Col440 in ST101 and IncX3 in ST512 isolates. In conclusion, it is important to monitor the circulation of K. pneumoniae resistant to CAZ-AVI to prevent the spread of clones causing difficult-to-treat infections. The presence of mutated KPC-3 in high-risk K. pneumoniae clones resistant to CAZ-AVI in hospitalized patients deserves attention.
- Published
- 2023
- Full Text
- View/download PDF
186. Politeness and Stable Infiniteness: Stronger Together.
- Author
-
Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds 0001, Clark W. Barrett, and Cesare Tinelli
- Published
- 2021
- Full Text
- View/download PDF
187. Merit and Blame Assignment with Kind 2.
- Author
-
Daniel Larraz, Mickaël Laurent, and Cesare Tinelli
- Published
- 2021
- Full Text
- View/download PDF
188. Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.
- Author
-
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, and Clark W. Barrett
- Published
- 2021
- Full Text
- View/download PDF
189. Syntax-Guided Quantifier Instantiation.
- Author
-
Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, and Cesare Tinelli
- Published
- 2021
- Full Text
- View/download PDF
190. Satisfiability Modulo Theories.
- Author
-
Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli
- Published
- 2021
- Full Text
- View/download PDF
191. Smt-Switch: A Solver-Agnostic C++ API for SMT Solving
- Author
-
Mann, Makai, Wilson, Amalee, Zohar, Yoni, Stuntz, Lindsey, Irfan, Ahmed, Brown, Kristopher, Donovick, Caleb, Guman, Allison, Tinelli, Cesare, Barrett, Clark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Li, Chu-Min, editor, and Manyà, Felip, editor
- Published
- 2021
- Full Text
- View/download PDF
192. Syntax-Guided Quantifier Instantiation
- Author
-
Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Groote, Jan Friso, editor, and Larsen, Kim Guldstrand, editor
- Published
- 2021
- Full Text
- View/download PDF
193. Postoperative Care (Hormonal Therapy, Physical Barriers, Vasodilators, Antibiotics)
- Author
-
Gustapane, Sarah, Barba, Bruno Francesco, Tinelli, Andrea, and Manchanda, Rahul, editor
- Published
- 2021
- Full Text
- View/download PDF
194. Hysteroscopic Myomectomy: Biological and Clinical Impact of Myomectomy by Pseudocapsule Sparing
- Author
-
Tinelli, Andrea, Tandulwadkar, Sunita, editor, and Pal, Bhaskar, editor
- Published
- 2021
- Full Text
- View/download PDF
195. Intrapartum Ultrasound in Myoma Patients Before the Labor and Delivery and Management
- Author
-
Sparić, Radmila, Stefanović, Radomir, Bukumirić, Dragica, Topalović, Vidan, Novaković, Sanja, Tinelli, Andrea, and Malvasi, Antonio, editor
- Published
- 2021
- Full Text
- View/download PDF
196. Asynclitism: Clinical and Intrapartum Diagnosis in Labor
- Author
-
Barbera, Antonino F., Tinelli, Andrea, Malvasi, Antonio, and Malvasi, Antonio, editor
- Published
- 2021
- Full Text
- View/download PDF
197. Semeiotics of Intrapartum Ultrasonography: New Diagnostic Sonographic Sign of Fetal Malpositions and Malrotations
- Author
-
Malvasi, Antonio, Gustapane, Sarah, Malvasi, Mariaelena, Vinciguerra, Marina, Tinelli, Andrea, Beck, Renata, and Malvasi, Antonio, editor
- Published
- 2021
- Full Text
- View/download PDF
198. Occiput Posterior Position and Intrapartum Sonography
- Author
-
Barbera, Antonino F., Tinelli, Andrea, Pacella, Elena, Malvasi, Antonio, and Malvasi, Antonio, editor
- Published
- 2021
- Full Text
- View/download PDF
199. Intrapartum Sonography and Clinical Risk Management
- Author
-
Tinelli, Andrea, Vinciguerra, Marina, Gustapane, Sarah, Beck, Renata, Kosmas, Ioannis P., Malvasi, Antonio, and Malvasi, Antonio, editor
- Published
- 2021
- Full Text
- View/download PDF
200. Documenting the Recovery of Vascular Services in European Centres Following the Initial COVID-19 Pandemic Peak: Results from a Multicentre Collaborative Study
- Author
-
Ruffino, Maria Antonella, Chan, Sharon, Coughlin, Patrick, Awopetu, Ayoola, Stather, Philip, Lane, Tristan, Theodosiou, Dimitrios, Ahmed, Mohamed Abozeid, Vasudevan, Thodur, Ibrahim, Mohammed, Al Maadany, Faraj, Eljareh, Mohamed, Alkhafeefi, Fatimah Saad, Coscas, Raphael, Ünal, Ertekin Utku, Pulli, Raffaele, Zacà, Sergio, Angiletta, Domenico, Kotsis, Thomas, Moawad, Magdy, Tozzi, Matteo, Patelis, Nikolaos, Lazaris, Andreas M., Chuen, Jason, Croo, Alexander, Tsolaki, Elpiniki, Zenunaj, Gladiol, Kamal, Dhafer, Tolba, Mahmoud MH., Maresch, Martin, Khetarpaul, Vipul, Mills, Joseph, Gangwani, Gaurav, Elahwal, Mohamed, Khalil, Rana, Azab, Mohammed A., Mahomed, Anver, Whiston, Richard, Contractor, Ummul, Esposito, Davide, Pratesi, Carlo, Giacomelli, Elena, Troncoso, Martín Veras, Elkouri, Stephane, Johansson, Flavia Gentile, Dodos, Ilias, Benezit, Marie, Vidoedo, José, Rocha-Neves, João, Pereira-Neves, António Henrique, Dias-Neto, Marina Felicidade, Campos Jácome, Ana Filipa, Loureiro, Luis, Silva, Ivone, Garza-Herrera, Rodrigo, Canata, Victor, Bezard, Charlotte, Bowser, Kathryn, Tobar, Jorge Felipe, Vera, Carlos Gomez, Parra, Carolina Salinas, Lopez, Eugenia, Serra, Yvis Gadelha, Varela, Juan, Rubio, Vanessa, Victoria, Gerardo, Johnson, Adam, O’Banion, Leigh Ann, Makar, Ragai, Tantawy, Tamer Ghatwary, Storck, Martin, Jongkind, Vincent, falah, Orwa, McBride, Olivia, Isik, Arda, Papaioannou, Athanasios, Ocke Reis, Paulo Eduardo, Bracale, Umberto Marcello, Atkins, Ellie, Tinelli, Giovanni, Scott, Emma, Wales, Lucy, Sivaharan, Ashwin, Priona, Georgia, Nesbitt, Craig, Grainger, Tabitha, Shelmerdine, Lauren, Chong, Patrick, Bajwa, Adnan, Arwynck, Luke, Hadjievangelou, Nancy, Elbasty, Ahmed, Rubio, Oscar, Ricardo, Michael, Ulloa, Jorge H., Tarazona, Marcos, Pabon, Manuel, Pitoulias, Georgios, Corless, Kevin, Ioannidis, Orestis, Friedrich, Oliver, Van Herzeele, Isabelle, Vijaynagar, Badri, Cohnert, Tina, Bell, Rachel, Moore, Hayley, Saha, Prakash, Gifford, Edward, Laine, Matti, Barkat, Adel, Karkos, Christos, Binti Safri, Lenny Suryani, Buitron, Gabriel, Del Castillo, Javier, Carrera, Paul, Salinas, Nilson, Biagioni, Rodrigo Bruno, Benites, Sergio, Mafla, César Andrés, Pian, Putera Mas, Albino, Pereira, Serrano, Ernesto, Marin, Andres, González, Marco, Foreroga, Marsha, Russo, Alejandro, Reyes, Andrés, Guglielmone, Daniel, Grillo, Lorena, Flumignan, Ronald, Palones, Francisco Gomez, Silveira, Pierre Galvagni, Ramely, Rosnelifaizur Bin, Edeiken, Sara, Chetter, Ian, Green, Lucy, Sudarsanam, Abhilash, Lyons, Oliver, Lemmon, Gary, Neville, Richard, Castelli, Mariano, Hinojosa, Carlos A., Carvajal, Rubén Rodríguez, Rivera, Aksim, Wong, Peng, Drudi, Laura, Perkins, Jeremy, Sieunarine, Kishore, Attia, Doaa, Atef, Mahmoud, Eftychios, Lostoridis, Weaver, Fred, Ren, Leong Chuo, Alomari, Mohannad, Jamjoom, Reda, Aljarrah, Qusai, Abbas, Ayman, Alomran, Faris, Kumar, Ambrish, Altoijri, Abdulmajeed, ElSanhoury, Kareem T., Alhumaid, Ahmed, Fekry, Tamer, Sekhar, Raghuram, Theodoridis, Panagiotis, Panagiotis, Theodoridis, Roditis, Konstantinos, Tsiantoula, Paraskevi, Antoniou, Afroditi, Soler, Raphael, Hasemaki, Natasha, Baili, Efstratia, Mpaili, Eustratia, Huasen, Bella, Wallace, Tom, Duncan, Andrew, Metcalfe, Matthew, Mannoia, Kristyn, Bechara, Carlos F., Tsilimparis, Nikolaos, Aranson, Nathan, Riding, David, Palena, Mariano, McDonnell, Ciarán, Mouawad, Nicolas J., Banegas, Shonda, Rossi, Peter, Oshodi, Taohid, Diaz, Rodney, Afifi, Rana, Dindyal, Shiva, Thapar, Ankur, Kordzadeh, Ali, Pullas, Gonzalo, Lin, Stephanie, Davies, Chris, Darvall, Katy, Kodama, Akio, Gooneratne, Thushan, Gunawansa, Nalaka, Munoz, Alberto, Jie, Ng Jun, Bradley, Nicholas, Al-Jundi, Wissam, Meyer, Felicity, Lee, Cheong, Malina, Martin, Renton, Sophie, Lui, Dennis, Batchelder, Andrew, Oszkinis, Grzegorz, Freyrie, Antonio, Giordano, Jacopo, Saratzis, Nikolaos, Tigkiropoulos, Konstantinos, Kyriakos, Stavridis, Popov, Guriy, Cheema, Muhammad Usman, Lapolla, Pierfrancesco, Ling Patricia, Yih Chun, Ennab, Raed, Ullery, Brant W., Pasenidou, Ketino, Tam, Jacky, Sidel, Gabriel, Jayaprakash, Vivek Vardhan, Bennett, Lisa, Hardy, Simon, Davies, Emma, Baker, Sara, Wijesinghe, Lasantha, Tam, Adam, McCune, Ken, Chana, Manik, Lowe, Chris, Goh, Aaron, Powezka, Katarzyna, Kyrou, Ioanna, Altaf, Nishath, Harkin, Denis, Travers, Hannah, Cragg, James, sharif, Atif, Akhtar, Tasleem, Chávez, José Antonio, Ordonez, Claudia, Mazzurco, Martin, Choke, Edward, Asghar, Imran, Summerour, Virginia, Dunlop, Paul, Morley, Rachel, Hardy, Thomas, Bevis, Paul, Cuff, Robert, Stavroulakis, Konstantinos, Beropoulis, Efthymios, Argyriou, Angeliki, Loftus, Ian, Azhar, Bilal, Sheth, Sharvil, Usai, Marco Virgilio, Choudhry, Asad, Nicole, Kira, Boyle, Emily, Joyce, Doireann, Abdelaty Hassan, Mohammed Hassan, Saltiel, Alberto, Frahm-Jensen, Gert, Antoniou, George, Elhadi, Muhammed, Kimyaghalam, Ali, Malgor, Rafael, O'Banion, Leigh Ann, Telve, Diego, Isaak, Andrej, Schmidli, Jürg, McKevitt, Kevin, Siddiqui, Tam, Asciutto, Giuseppe, Floros, Nikolaos, Papadopoulos, George, Kafetzakis, Alexandros, Koutsias, Stylianos G., Nana, Petroula, Giannoukas, Athanasios, Kakkos, Stavros, Moulakakis, Konstantinos G., Shafique, Natasha, Jawien, Arkadiusz, Popplewell, Matthew, Imray, Chris, Abayasekara, Kumar, Rowlands, Timothy, Kuhan, Ganesh, Rajagopalan, Sriram, Jaipersad, Anthony, Sadia, Uzma, Kobe, Isaac, Mittapalli, Devender, Enemosah, Ibrahim, Behrendt, Christian-Alexander, Beck, Adam, Almudhafer, Muayyad, Ancetti, Stefano, Jacobs, Donald, Jayakumar, Priya, Malekpour, Fatemeh, Shalhub, Sherene, Keldiyorov, Boboyor, Simon, Meryl, Khashram, Manar, Rich, Nicole, Shepherd, Amanda, Meecham, Lewis, Doherty, Daniel, and Benson, Ruth A.
- Published
- 2022
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.