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

1. Verifying SQL Queries using Theories of Tables and Relations

2. Economic Evaluation of Anti-Epileptic Medicines for Autistic Children with Epilepsy

3. Generalized Optimization Modulo Theories

7. MoXI: An Intermediate Language for Symbolic Model Checking

11. Optimal Single-Shot Decoding of Quantum Codes

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

13. Partitioning Strategies for Distributed SMT Solving

17. Physician-modified endograft for symptomatic zone 2 penetrating ulcer of the aortic arch without bridging stenting of the left subclavian artery for vertebral preservation

18. Long-term obstetric, perinatal, and surgical complications in singleton pregnancies following previous cesarean myomectomy: a retrospective multicentric study

25. The MoXI Model Exchange Tool Suite

26. IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL

27. A real-life study of daratumumab-bortezomib-dexamethasone (D-VD) in lenalidomide exposed/refractory multiple myeloma patients: a report from the Triveneto Myeloma Working Group

28. Realizability Checking of Contracts with Kind 2

29. Reasoning About Vectors using an SMT Theory of Sequences

30. Passive temporary arterial shunt for visceral and distal aortic perfusion during complex aortic surgery

32. List of contributors

35. Reuse of building components – Assessment system to support decisions in indoor re-layout interventions

36. Leadless Pacemaker Implantation Across Percutaneous Tricuspid Valve Prothesis Implanted Via Valve-in-Valve Technique

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

38. Endosutured Aneurysm Repair of Abdominal Aortic Aneurysms with Short Necks Achieves Acceptable Midterm Outcomes—Results from the Peru Registry

40. Effect of rearing system (free-range vs cage) on gut and muscle histomorphology and microbial loads of Italian White breed rabbits

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

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

44. Predictive Value of Volumetric Measurements of Fetal Adrenal Glands for Preterm Birth: A Case-Control Study

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

47. Proximal sealing in the aortic arch for inner curve disease using the custom Relay scalloped and fenestrated stent graft

48. Urgent endovascular repair of juxtarenal/pararenal aneurysm by off-the-shelf multibranched endograft

49. Outcomes of off-the-shelf preloaded inner branch device for urgent endovascular thoraco-abdominal aortic repair in the ItaliaN Branched Registry of E-nside EnDograft

50. Editor's Choice – Outcomes of Off the Shelf Outer Branched Versus Inner Branched Endografts in the Treatment of Thoraco-Abdominal Aortic Aneurysm in the B.R.I.O. (BRanched Inner – Outer) Study Group

Catalog

Books, media, physical & digital resources