105 results on '"Vigano, A"'
Search Results
2. Sex differences exist in the perceived relief of cancer symptoms with medical cannabis: results from the Quebec Cannabis Registry
3. Patellofemoral arthroplasty: obesity linked to high risk of revision and progression of medial tibiofemoral osteoarthritis
4. Taste and smell disturbances in cancer patients: a scoping review of available treatments
5. Medical cannabis in supportive cancer care: lessons from Canada
6. Meniscal Repair: Enhancement of Healing Process
7. Intratendinous adipose-derived stromal vascular fraction (SVF) injection provides a safe, efficacious treatment for Achilles tendinopathy: results of a randomized controlled clinical trial at a 6-month follow-up
8. Quantum State Transformations and Branching Distributed Temporal Logic : (Invited Paper)
9. Defining Privacy Is Supposed to Be Easy
10. Using Interpolation for the Verification of Security Protocols
11. Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities
12. Attack Interference: A Path to Defending Security Protocols
13. Towards a Logical Framework for Reasoning about Risk
14. The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
15. Towards Formal Validation of Trust and Security in the Internet of Services
16. A Deduction System for Meaning Negotiation
17. Start
18. Secure Pseudonymous Channels
19. The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
20. A Labeled Natural Deduction System for a Fragment of CTL *
21. Model Checking Norms and Sanctions in Institutions
22. Specification and Verification of Institutions Through Status Functions
23. A Framework for Model Checking Institutions
24. Formalizing and Analyzing Sender Invariance
25. MagicMirror & FootGlove: A New System for the Customized Shoe Try-on
26. An Event Driven Approach to Norms in Artificial Institutions
27. Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
28. A Formalization of Off-Line Guessing for Security Protocol Analysis
29. Agent Communication and Institutional Reality
30. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
31. Algebraic Intruder Deductions
32. An On-the-Fly Model-Checker for Security Protocol Analysis
33. Virtual Reality and CAD/CAM for Customized Shoe Manufacturing : How virtual reality and CAD/CAM enable custom shoe manufacturing in mass markets
34. Labelled Deduction over Algebras of Truth-Values*
35. The AVISS Security Protocol Analysis Tool
36. A Formal Analysis of the CORBA Security Service
37. A new method for bounding the complexity of modal logics
38. Labelled quantified modal logics
39. The Use of Fibrin Glue in Thoracic Organ Transplantation: Analysis of 4-Year Experience
40. Building and executing proof strategies in a formal metatheory
41. Protein S-Mangel durch passageren Protein S-Inhibitor bei einem Kind mit Purpura fulminans
42. Handgrip strength predicts survival and is associated with markers of clinical and functional outcomes in advanced cancer patients
43. Ultrastructural Changes in Myocarditis and Dilated Cardiomyopathy
44. Towards the Secure Provision and Consumption in the Internet of Services
45. Right ventricular failure after heart transplantation: relationship with preoperative haemodynamic parameters
46. Different culture conditions affect the growth of human tendon stem/progenitor cells (TSPCs) within a mixed tendon cells (TCs) population
47. Septoplasty Procedure for Left Ventricular Aneurysms: Factors Affecting Early and Late Results
48. Surgical Treatment of Ventricular Tachycardias with Partial Endocardial Ventriculotomy
49. Coronary Artery Bypass in Patients with Left Main Disease: Long-Term Results
50. Coronary Artery Bypass Reoperation: Indication and Results
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.