Search Results - Game Freak~
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 13
- Cultural studies 12
- Media studies 12
- Sports & outdoor recreation 10
- Sports management & facilities 10
- Sports training & coaching 10
- Computer games / online games: strategy guides 8
- History of engineering & technology 8
- Research & information: general 8
- Humanities 7
- Psychology 7
- Software Engineering 7
- Software engineering 7
- The arts 7
- Artificial Intelligence 6
- Artificial intelligence 6
- Economics 6
- Education 6
- Social & cultural anthropology, ethnography 6
- Technology: general issues 6
- Translation & interpretation 6
- History 5
- Popular culture 5
- Sociology 5
- Theory of Computation 5
- Business strategy 4
- Central government policies 4
- Computer Science Logic and Foundations of Programming 4
- Computer networks 4
- Computers 4
-
501
-
502
Technology and Testing Improving Educational and Psychological Measurement
Published 2016OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
503
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Electronic eBook -
504
-
505
Warlike and Peaceful Societies The Interaction of Genes and Culture
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
506
-
507
-
508
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
Published 2021Table of Contents: “…Structure and ontology in nonlocal readings of adjectives (Marcin Morzycki) -- Part II: Concept theory -- Chapter 5. …”
Link to Metadata
Electronic eBook -
509
Theoretical and Practical Advances in Computer-based Educational Measurement
Published 2019Table of Contents: “…Feasibility and Value of Using a GoPro Camera and iPad to Study Teacher-Student Assessment Feedback Interactions; Fabienne van der Kleij, Joy Cumming, Lenore Adie -- 19. Game-based Spoken Interaction Assessment in Special Need Children; Jos Keuning, Sanneke Schouwstra, Femke Scheltinga, Marleen Van der Lubbe -- 20. …”
Link to Metadata
Electronic eBook -
510
-
511
-
512
-
513
Warlike and Peaceful Societies The Interaction of Genes and Culture
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
514
-
515
-
516
-
517
-
518
-
519
Remittances as Social Practices and Agents of Change The Future of Transnational Society /
Published 2023Table of Contents: “…Introduction: Remittances as Social Practices and Agents of Change -- Part I: Historical Perspectives: Paving the Platform for Remittance Research -- Chapter 2. Dreaming of Gold, Dreaming of Home: Transnationalism and Migration between the United States and South China, 1882-1943 -- Chapter 3. …”
Link to Metadata
Electronic eBook -
520