85 results on '"French, Tim"'
Search Results
2. Aleatoric Propositions: Reasoning About Coins
3. Natural Language Query for Technical Knowledge Graph Navigation
4. A Modal Aleatoric Calculus for Probabilistic Reasoning
5. Aleatoric Dynamic Epistemic Logic for Learning Agents
6. A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling
7. A Novel Anonymity Quantification and Preservation Model for UnderNet Relay Networks
8. The World 'Wild' Web: Cyber-Security Intelligence Gathering Opportunities from the 'Dark' Side
9. Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
10. Verifying Temporal Properties in Real Models
11. Model Checking General Linear Temporal Logic
12. Indiscrete Models: Model Building and Model Checking over Linear Time
13. An Efficient Tableau for Linear Time Temporal Logic
14. An Investigation of Recursive Auto-associative Memory in Sentiment Detection
15. On the Interactions of Awareness and Certainty
16. Bringing the Home into the Hospital: Assisting the Pre-Discharge Home Visit Process Using 3D Home Visualization Software
17. Becoming Aware of Propositional Variables
18. Considering Patterns in Class Interactions Prediction
19. Axioms for Obligation and Robustness with Temporal Logic
20. Simulation and Information: Quantifying over Epistemic Events
21. Idempotent Transductions for Modal Logics
22. A Temporal Logic of Robustness
23. Non-Repudiable and Repudiable Authentications in E-Systems
24. Semiotic Models of Trust and Usability for Agent-Managed Grid Services
25. Bisimulation Quantified Logics: Undecidability
26. Decidability of Propositionally Quantified Logics of Knowledge
27. Decidability of Quantifed Propositional Branching Time Logics
28. Identity Implies Trust in Distributed Systems – A Novel Approach : (Extended Abstract)
29. A Robust Exploration Strategy in Reinforcement Learning Based on Temporal Difference Error
30. Examining Average and Discounted Reward Optimality Criteria in Reinforcement Learning
31. Reinforcement Learning for Collective Motion Tuning in the Presence of Extrinsic Goals
32. Enhancing the Speed of Hierarchical Learning Automata by Ordering the Actions - A Pioneering Approach
33. Autonomous UAV Navigation in Wilderness Search-and-Rescue Operations Using Deep Reinforcement Learning
34. Using Uncertainty as a Defense Against Adversarial Attacks for Tabular Datasets
35. Operation-based Greedy Algorithm for Discounted Knapsack Problem
36. Active Learning Using Difficult Instances
37. Liver Disease Classification by Pruning Data Dependency Utilizing Ensemble Learning Based Feature Selection
38. Efficiency and Truthfulness in Dial-a-Ride Problems with Customers Location Preferences
39. Latent Pattern Identification Using Orthogonal-Constraint Coupled Nonnegative Matrix Factorization
40. Human-Autonomous Teaming Framework Based on Trust Modelling
41. Optimizing the Feature Set for Machine Learning Charitable Predictions
42. Dynamic Bus Holding Control Using Spatial-Temporal Data – A Deep Reinforcement Learning Approach
43. A Text-Independent Forced Alignment Method for Automatic Phoneme Segmentation
44. Cognitive Impairment Prediction by Normal Cognitive Brain MRI Scans Using Deep Learning
45. Multi-componential Emotion Recognition in VR Using Physiological Signals
46. Automated Fish Classification Using Unprocessed Fatty Acid Chromatographic Data: A Machine Learning Approach
47. What Leads to Arrhythmia: Active Causal Representation Learning of ECG Classification
48. Non-linear Continuous Action Spaces for Reinforcement Learning in Type 1 Diabetes
49. 3D Face Reconstruction with Mobile Phone Cameras for Rare Disease Diagnosis
50. Multiclass Classification for GvHD Prognosis Prior to Allogeneic Stem Cell Transplantation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.