Search

Your search keyword '"Bowles, Juliana"' showing total 230 results

Search Constraints

Start Over You searched for: Author "Bowles, Juliana" Remove constraint Author: "Bowles, Juliana"
230 results on '"Bowles, Juliana"'

Search Results

1. Geometrically Inspired Kernel Machines for Collaborative Learning Beyond Gradient Descent

2. A novel framework for systematic propositional formula simplification based on existential graphs

3. Representation Theorems Obtained by Miningacross Web Sources for Hints

4. Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies

7. Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform

8. A Secure User-Centred Healthcare System: Design and Verification

12. Semantic Annotations in Clinical Guidelines

13. A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision

14. A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways

15. Correct Composition of Dephased Behavioural Models

16. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

17. A Verified Algorithm Enumerating Event Structures

18. Conflict-Free Access Rules for Sharing Smart Patient Health Records

19. Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision

20. Argumentation-Based Explanations of Multimorbidity Treatment Plans

22. Designing a Patient-Centric System for Secure Exchanges of Medical Data

23. On Defining Rules for Cancer Data Fabrication

24. Dialogue Games for Explaining Medication Choices

27. Balancing Prescriptions with Constraint Solvers

28. On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer

30. Annotated BPMN Models for Optimised Healthcare Resource Planning

40. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

41. Formal Verification of CNL Health Recommendations

42. Avoiding Medication Conflicts for Patients with Multimorbidities

44. A Logical Approach for Behavioural Composition of Scenario-Based Models

45. Using Technology to Enhance Community Health and Territorial Resources Access

46. Security and Usability of a Personalized User Authentication Paradigm:Insights from a Longitudinal Study with Three Healthcare Organizations

47. The Need for a Non-Invasive Technology for Endometriosis Detection and Care

48. On Distributed Stochastic Logics for Mobile Systems

49. A Strongly Consistent Transformation from UML Interactions to PEPA Nets

Catalog

Books, media, physical & digital resources