60 results on '"Bowles, Juliana"'
Search Results
2. The Need for a Non-Invasive Technology for Endometriosis Detection and Care
3. A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
4. Evaluating a Smart Healthcare System Design Through Participatory Approach
5. Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform
6. A Secure User-Centred Healthcare System: Design and Verification
7. A Blockchain-Based Healthcare Platform for Secure Personalised Data Sharing
8. A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision
9. A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways
10. Conflict-Free Access Rules for Sharing Smart Patient Health Records
11. Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision
12. Argumentation-Based Explanations of Multimorbidity Treatment Plans
13. Semantic Annotations in Clinical Guidelines
14. Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics
15. Designing a Patient-Centric System for Secure Exchanges of Medical Data
16. On Defining Rules for Cancer Data Fabrication
17. Dialogue Games for Explaining Medication Choices
18. Balancing Prescriptions with Constraint Solvers
19. On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer
20. Representation Theorems Obtained by Mining across Web Sources for Hints
21. Security and Usability of a Personalized User Authentication Paradigm: Insights from a Longitudinal Study with Three Healthcare Organizations
22. Annotated BPMN Models for Optimised Healthcare Resource Planning
23. A Verified Algorithm Enumerating Event Structures
24. Correct Composition of Dephased Behavioural Models
25. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts
26. Formal Verification of CNL Health Recommendations
27. APPS 2022: Fourth International Workshop on Adaptive and Personalized Privacy and Security
28. Avoiding Medication Conflicts for Patients with Multimorbidities
29. Studying trajectories of multimorbidity: a systematic scoping review of longitudinal approaches and evidence
30. A Logical Approach for Behavioural Composition of Scenario-Based Models
31. APPS 2021: Third International Workshop on Adaptive and Personalized Privacy and Security
32. On the Benefits and Security Risks of a User-Centric Data Sharing Platform for Healthcare Provision
33. A Strongly Consistent Transformation from UML Interactions to PEPA Nets
34. On Distributed Stochastic Logics for Mobile Systems
35. Graph‐based risk assessment and error detection in radiation therapy
36. Trends in diabetes medication use in Australia, Canada, England, and Scotland: a repeated cross-sectional analysis in primary care
37. Studying trajectories of multimorbidity: a systematic scoping review of longitudinal approaches and evidence
38. DataMod2020
39. Adaptive and Personalized Privacy and Security (APPS 2020): Workshop Chairs' Welcome
40. Interacting with Next-Generation Smart Patient-Centric Healthcare Systems
41. APPS 2020: Second International Workshop on Adaptive and Personalized Privacy and Security
42. Decomposing Interactions
43. Correct composition in the presence of behavioural conflicts and dephasing
44. Computing Conflict-free Treatments for Multiple Chronic Illnesses
45. Security And Privacy Of Medical Data
46. Our data, our society, our health: A vision for inclusive and transparent health data science in the United Kingdom and beyond
47. Formal reasoning over class models using TOMM.
48. Weaving True-Concurrent Aspects Using Constraint Solvers
49. Model checking cancer automata
50. Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.