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
-
461
-
462
Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools /
Published 2018Table of Contents: “…State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services -- Context Monitoring for Improved System Performance and QoE -- QoE Management for Future Networks -- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management -- Lag Compensation for First Person Shooter Games in Cloud Gaming -- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios -- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems -- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments -- Integrating SDN and NFV with QoS-aware Service Composition -- Energy vs. …”
Link to Metadata
Electronic eBook -
463
Fonthill Recovered A Cultural History
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
464
-
465
-
466
-
467
-
468
-
469
-
470
-
471
-
472
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata
Electronic eBook -
473
-
474
-
475
-
476
-
477
Fonthill Recovered A Cultural History
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
478
-
479
-
480
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2018Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata
Electronic eBook