Search

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

Search Constraints

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

Search Results

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

2. Verifying SQL Queries using Theories of Tables and Relations

3. Generalized Optimization Modulo Theories

8. Optimal Single-Shot Decoding of Quantum Codes

10. Partitioning Strategies for Distributed SMT Solving

16. The MoXI Model Exchange Tool Suite

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

21. 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

23. List of contributors

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

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

29. Realizability Checking of Contracts with Kind 2

30. Reasoning About Vectors using an SMT Theory of Sequences

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

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

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

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

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

37. 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

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

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

41. Safety and Efficacy of Lecoxen Cream on the Wound Healing and Scar of Cesarean Section: A Prospective Observational Clinical Trial

48. Oxytocin augmentation and neurotransmitters in prolonged delivery: An experimental appraisal

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

50. Merit and Blame Assignment with Kind 2

Catalog

Books, media, physical & digital resources