503 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. Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
26. Doctorate in Clinical Psychology : main research portfolio
27. Analysing Security Protocols Using Scenario Based Simulation
28. A Summary of Formal Specification and Verification of Autonomous Robotic Systems
29. Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
30. Correction to: Local is Best: Efficient Reductions to Modal Logic K
31. Clausal Resolution for Modal Logics of Confluence
32. A Resolution Prover for Coalition Logic
33. Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
34. Multi-scale verification of distributed synchronisation
35. Efficient Local Reductions to Basic Modal Logic
36. Kn A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments
37. Clarification of Ambiguity for the Simple Authentication and Security Layer
38. The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
39. Sublogics of a branching time logic of robustness
40. Efficient First-Order Temporal Logic for Infinite-State Systems
41. Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
42. CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours
43. Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
44. Theorem Proving for Metric Temporal Logic over the Naturals
45. An Evaluation of the Effectiveness of a 'Five Ways to Well-Being' Group Run with People with Learning Disabilities
46. Clausal Temporal Resolution
47. Probabilistic Model Checking of Ant-Based Positionless Swarming
48. : A Resolution-Based Prover for Multimodal K
49. Security-Minded Verification of Cooperative Awareness Messages
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.