Search

Your search keyword '"Tinelli, A"' showing total 8,961 results

Search Constraints

Start Over You searched for: Author "Tinelli, A" Remove constraint Author: "Tinelli, A"
8,961 results on '"Tinelli, A"'

Search Results

152. CVC4 at the SMT Competition 2018

153. On Solving Quantified Bit-Vectors using Invertibility Conditions

154. SyGuS Techniques in the Core of an SMT Solver

155. Melanoma amelanótico cutâneo em um cão jovem

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

158. Practice patterns and 90-day treatment-related morbidity in early-stage cervical cancer

160. Immunohistochemical, pharmacovigilance, and omics analyses reveal the involvement of ATP-sensitive K+ channel subunits in cancers: role in drug–disease interactions

161. Whole brain surface-based morphometry and tract-based spatial statistics in migraine with aura patients: difference between pure visual and complex auras

163. Lactobacillus crispatus M247 oral administration: Is it really an effective strategy in the management of papillomavirus-infected women?

166. Through-and-through femorofemoral wire retrograde technique for the E-nside precannulated inner branch thoracoabdominal stent graft

167. Constraint Solving for Finite Model Finding in SMT Solvers

168. Reasoning with Finite Sets and Cardinality Constraints in SMT

170. Uterine rupture following prostaglandins use in second trimester medical abortion: Fact or fiction? A systematic review.

171. Pediatric Huntington Disease Brains Have Distinct Morphologic and Metabolic Traits: the RAREST‐JHD Study.

172. From 3D to 2D-4K laparoscopic sacral colpopexy: are we addicted to technology?

173. An artificial intelligence-based model exploiting H&E images to predict recurrence in negative sentinel lymph-node melanoma patients.

174. The Determination of the Prohibited Herbicide 4,6-Dinitro-Ortho-Cresol (DNOC) in Poisoned Domestic and Wild Animals in Italy.

175. Treatment methods for cervical intraepithelial neoplasia in England: A cost‐effectiveness analysis.

176. The sac evolution imaging follow-up after endovascular aortic repair: An international expert opinion-based Delphi consensus study.

177. Treatment with Epigallocatechin Gallate, Folic Acid, Vitamin B12, and Hyaluronic Acid Decreases HPV Positivity in Women Attending Regional Screening in Puglia.

178. Understanding the Blood-Brain Barrier (BBB) with MRI Techniques and Its Implications in Neurodegenerative Diseases: An Overview.

181. AIDA (Artificial Intelligence Dystocia Algorithm) in Prolonged Dystocic Labor: Focus on Asynclitism Degree.

183. The Transvaginal Natural Orifice Transluminal Endoscopic Surgery (vNOTES) Procedures in Contemporary Gynecology: An Appraisal of the Published Evidence and a Review

184. Aggressive Pelvic Angiomyxoma in a Patient with Twin Pregnancy: Diagnosis, Treatment, and Clinical Complications in Light of the Literature

185. Whole-Genome Sequencing and Molecular Analysis of Ceftazidime–Avibactam-Resistant KPC-Producing Klebsiella pneumoniae from Intestinal Colonization in Elderly Patients

191. Smt-Switch: A Solver-Agnostic C++ API for SMT Solving

192. Syntax-Guided Quantifier Instantiation

200. Documenting the Recovery of Vascular Services in European Centres Following the Initial COVID-19 Pandemic Peak: Results from a Multicentre Collaborative Study

Catalog

Books, media, physical & digital resources