Zoekresultaten - "action game"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- Artificial Intelligence 1
- Artificial intelligence 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Engineering and Networks 1
- Computer Modelling 1
- Computer engineering 1
- Computer networks 1
- Computer science 1
- Computer simulation 1
- Digital Education and Educational Technology 1
- Educational technology 1
- Software Engineering 1
- Software engineering 1
- Teachers 1
- Teaching and Teacher Education 1
- Theory of Computation 1
- Training of 1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Gepubliceerd in 2019Inhoudsopgave: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Elektronisch E-boek -
8
Global Perspectives on Educational Innovations for Emergency Situations
Gepubliceerd in 2022Inhoudsopgave: “…DENNEN, JIYAE BONG) -- Chapter 12 - INTERSECTIONALITY AND COMPROMISE - ENACTING GOVERNMENT POLICIES IN THE CARIBBEAN (CAMILLE DICKSON-DEANE,LAURETTE BRISTOL, DAURAN MCNEIL, TALIA ESNARD, LORRAINE LEACOCK) -- Chapter 13 - A FAMILY OF K-12 EDUCATORS' INNOVATIVE RESPONSES TO OVERCOME COVID-19 CHALLENGES (HUI-CHEN DURLEY, XUN GE) -- Chapter 14 - TRANSLATING DISTANCE EDUCATION THEORY INTO PRACTICE (LEROY HILL) -- Chapter 15 - ALL HANDS ON DECK: FACULTY COLLABORATION IN TRANSFORMING TO REMOTE TEACHING (WANJU HUANG, JENNIFER RICHARDSON) -- Chapter 16 - VIRTUAL MAKING - TRANSFORMING MAKER EDUCATION IN A TEACHER EDUCATION PROGRAM DURING THE COVID-19 PANDEMIC (YI JIN, JASON HARRON, HELEN MADDOX) -- Chapter 17 - REFLECTING ON A YEAR OF EMERGENCY REMOTE TEACHING (JEONGHYUN LEE, FARAHNAZ SOLEIMANI, STEPHEN W HARMON) -- Chapter 18 - A REFLECTION ON ONLINE TEACHING AND LEARNING THROUGH THE PANDEMIC: REVISITING CREATIVITY (JIN MAO) -- Chapter 19 - CHILEAN PERSPECTIVES ON EDUCATIONAL EXPERIENCES AND INNOVATIONS IN EMERGENCY CONTEXTS (JAIME SÁNCHEZ, JOSÉ REYES-ROJAS) -- Chapter 20 - IMPLEMENTATION OF A DIGITAL LIVE-ACTION GAMING EXPERIENCE FOR INTERPROFESSIONAL LEARNING AND TRAINING (ANDRE THOMAS, YUN LI, CHRISTINE L. …”
Link to Metadata
Elektronisch E-boek -
9
-
10
-
11
-
12
-
13
-
14