440 results on '"Dixon, Clare"'
Search Results
2. Model Construction for Modal Clauses
3. Adaptive Cognitive Agents: Updating Action Descriptions and Plans
4. Dialogue Explanations for Rule-Based AI Systems
5. Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
6. Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
7. Adaptive Cognitive Agents: Updating Action Descriptions and Plans
8. Dialogue Explanations for Rule-Based AI Systems
9. Local is Best: Efficient Reductions to Modal Logic K
10. Modular Verification of Autonomous Space Robotics
11. Local Reductions for the Modal Cube
12. Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
13. Implementing Durative Actions with Failure Detection in Gwendolen
14. Multi-Scale Verification of Distributed Synchronisation
15. Formal Specification and Verification of Autonomous Robotic Systems: A Survey
16. Theorem Proving Using Clausal Resolution: From Past to Present
17. Efficient Local Reductions to Basic Modal Logic
18. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
19. Investigating the dissociative subtype of post‐traumatic stress disorder in single‐ and multi‐event trauma‐exposed youth: Prevalence, course, prognosis, severity and functional impairment.
20. Local Reductions for the Modal Cube
21. Implementing Durative Actions with Failure Detection in Gwendolen
22. Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
23. A Review of Verification and Validation for Space Autonomous Systems
24. A Corroborative Approach to Verification and Validation of Human--Robot Teams
25. Doctorate in Clinical Psychology : main research portfolio
26. Analysing Security Protocols Using Scenario Based Simulation
27. A Summary of Formal Specification and Verification of Autonomous Robotic Systems
28. Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
29. Correction to: Local is Best: Efficient Reductions to Modal Logic K
30. Clausal Resolution for Modal Logics of Confluence
31. A Resolution Prover for Coalition Logic
32. Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
33. Multi-scale verification of distributed synchronisation
34. Efficient Local Reductions to Basic Modal Logic
35. Kn A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments
36. Clarification of Ambiguity for the Simple Authentication and Security Layer
37. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
38. Sublogics of a branching time logic of robustness
39. Efficient First-Order Temporal Logic for Infinite-State Systems
40. Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
41. CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
42. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
43. Theorem Proving for Metric Temporal Logic over the Naturals
44. An Evaluation of the Effectiveness of a 'Five Ways to Well-Being' Group Run with People with Learning Disabilities
45. Clausal Temporal Resolution
46. Probabilistic Model Checking of Ant-Based Positionless Swarming
47. : A Resolution-Based Prover for Multimodal K
48. Security-Minded Verification of Cooperative Awareness Messages
49. Verifiable autonomy: From theory to applications
50. Parkinson's and the couple relationship: a qualitative meta-synthesis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.