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
-
441
Chapter 8 Zombie history the undead in translation
Published 2020DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
442
-
443
-
444
-
445
-
446
-
447
-
448
-
449
-
450
-
451
-
452
-
453
Chapter 8 Zombie history the undead in translation
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
454
-
455
-
456
-
457
-
458
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2018Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata
Electronic eBook -
459
-
460
Information and Communication Technologies in Tourism 2022 Proceedings of the ENTER 2022 eTourism Conference, January 11-14, 2022 /
Published 2022Table of Contents: “…-- Video Games as a Media for Tourism Experience -- Travel planning for families with a disabled child, and how AI can improve tourism accessibility -- Leveraging Blockchain in Medical Tourism Value Chain -- Navigation by Revealing Trade-offs for Content-Based Recommendations -- Personalization of Multi-Day Round Trip Itineraries According to Travelers' Preferences -- Identifying the main service elements for customer-oriented live guided virtual tours -- Platform Stress in Hospitality - Focusing on the technology dimension -- Visualizing and Comparing Online Travel Reviews of the Great Walls: A Data Mining Approach -- Monitoring Human-Wildlife Interactions in National Parks with Crowdsourced Data and Deep Learning -- Exploring the utilitarian and hedonic value derived from tourism pre-experiences with virtual reality: differences between destinations and accommodations.…”
Link to Metadata
Electronic eBook