Search

Your search keyword '"Ferrari, Mauro"' showing total 2,802 results

Search Constraints

Start Over You searched for: Author "Ferrari, Mauro" Remove constraint Author: "Ferrari, Mauro"
2,802 results on '"Ferrari, Mauro"'

Search Results

2. A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property

4. Perspektiven der Sozialen Landwirtschaft unter besonderer Berücksichtigung der Entwicklungen in Italien

8. SAT-Based Proof Search in Intermediate Propositional Logics

9. Duality between unprovability and provability in forward proof-search for Intuitionistic Propositional Logic

10. Publisher Correction: On the issue of transparency and reproducibility in nanomedicine

14. Long-term results of treatment of infrarenal aortic aneurysms with low-profile stent grafts in a multicenter registry

15. List of contributors

19. Insight from an Italian Delphi Consensus on EVAR feasibility outside the instruction for use: the SAFE EVAR Study

21. Software Framework for VR-Enabled Transcatheter Valve Implantation in Unity

25. A Microsoft HoloLens Mixed Reality Surgical Simulator for Patient-Specific Hip Arthroplasty Training

29. A Note on Semantic Web Services Specification and Composition in Constructive Description Logics

31. Tumor lysing genetically engineered T cells loaded with multi-modal imaging agents.

35. A Forward Unprovability Calculus for Intuitionistic Propositional Logic

36. Patient Specific Virtual and Physical Simulation Platform for Surgical Robot Movability Evaluation in Single-Access Robot-Assisted Minimally-Invasive Cardiothoracic Surgery

37. Using of 3D Virtual Reality Electromagnetic Navigation for Challenging Cannulation in FEVAR Procedure

42. A physical sciences network characterization of non-tumorigenic and metastatic cells

43. A physical sciences network characterization of non-tumorigenic and metastatic cells.

44. On the issue of transparency and reproducibility in nanomedicine

Catalog

Books, media, physical & digital resources