440 results on '"Gay, Simon"'
Search Results
2. Special Delivery: Programming with Mailbox Types (Extended Version)
3. A Theoretical Systematic Review of Patient Involvement in Health and Social Care Education
4. The Different Shades of Infinite Session Types
5. A bio-inspired model for robust navigation assistive devices
6. Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
7. A Bio-Inspired Model for Robust Navigation Assistive Devices: A Proof of Concept
8. A theoretical systematic review of patient involvement in health and social care education
9. Duality of Session Types: The Final Cut
10. Raising professionalism concerns as a medical student: damned if they do, damned if they don’t?
11. A Session Type System for Asynchronous Unreliable Broadcast Communication
12. A New Approach to Assist Virtual Image Accessibility for Visually Impaired People
13. Behavioural Types
14. Mungo and StMungo: Tools for Typechecking Protocols in Java
15. Clinical Assessors' Working Conceptualisations of Undergraduate Consultation Skills: A Framework Analysis of How Assessors Make Expert Judgements in Practice
16. 'What Do We 'Do,' Doctor?' Transitions of Identity and Responsibility: A Narrative Analysis
17. Using Force-Feedback Haptic Effects to Develop Serious and Entertainment Games Accessible for Visually Impaired People
18. Reflecting on the Spectrum of Involvement: How do we involve patients as partners in education?
19. 'It's a gamble': A phenomenological exploration of medical students' learning experiences as newcomers to clinical communities of practice.
20. Towards an empathic hidden curriculum in medical school: A roadmap.
21. Liveness for Verification
22. Behavioural Prototypes
23. The Different Shades of Infinite Session Types
24. A New Approach to Assist Virtual Image Accessibility for Visually Impaired People
25. Towards the Tactile Discovery of Cultural Heritage with Multi-approach Segmentation
26. Typechecking Java Protocols with [St]Mungo
27. Cables, Trains and Types
28. ‘It's a gamble’: A phenomenological exploration of medical students' learning experiences as newcomers to clinical communities of practice
29. Multiparty Compatibility for Concurrent Objects
30. Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
31. Resource Sharing via Capability-Based Multiparty Session Types
32. Future challenges in primary care educational research
33. An Affordance-Based Intersubjectivity Mechanism to Infer the Behaviour of Other Agents
34. So much more than an impact factor
35. Session Types as Generic Process Types
36. Verification of Linear Optical Quantum Computing using Quantum Process Calculus
37. Session Types for Broadcasting
38. Clinical assessors’ working conceptualisations of undergraduate consultation skills: a framework analysis of how assessors make expert judgements in practice
39. ‘What do we do, doctor?’ Transitions of identity and responsibility: a narrative analysis
40. Automated Verification of Quantum Protocols by Equivalence Checking
41. Using Force-Feedback Haptic Effects to Develop Serious and Entertainment Games Accessible for Visually Impaired People
42. Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
43. Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
44. Towards Haptic Surface Devices with Force Feedback for Visually Impaired People
45. TactiBelt: Integrating Spatial Cognition and Mobility Theories into the Design of a Novel Orientation and Mobility Assistive Device for the Blind
46. A New Linear Logic for Deadlock-Free Session-Typed Processes
47. Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
48. Modular session types for objects
49. Stabilizer States as a Basis for Density Matrices
50. Formal Analysis of Quantum Systems using Process Calculus
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.