Search Results - Game Freak~

Correlates of children's time-specific physical activity: A review of the literature by Stanley Rebecca M, Ridley Kate, Dollman James

Connect to this object online.

Practice to pitch: The relationship between force-velocity profiles and match-day performance of semi-professional rugby union players by Ormond Heather, Patrick Lander, Russell Rayner, Russell Rayner

Connect to this object online.

Companion to European Heritage Revivals

Table of Contents: “…PART I: THE CONTEXT: HERITAGE PRACTICES IN TODAY'S EUROPE -- Chapter 1: Experiencing the Past: Introduction to Experience, Strategies, Authenticity and Branding; Linde Egberts -- Chapter 2: Creating a Shared Past? Europe and the Frankish Heritage in One of its Heartlands: Alsace; Linde Egberts -- Chapter 3: Battlefield of Histories: Competition over Authenticity and Heritage in an Urban Region in Eastern Netherlands; Linde Egberts -- PART II: REVIVAL TOOLS -- Chapter 4: Strategies for a Heritage Revival in the Digital Age; Jasper Visser -- Chapter 5: Using Games to Mediate History; Connie Veugen -- Chapter 6: "This is Clearly Bullshit": Some Views about History on Television; Mijke Pol -- Chapter 7: Lost Cities, Exotic Travel and Digging up the World: Historical Feature Films as a Means of Enhancing Appreciation of our Archaeological Heritage; Nina Schucker and Jan van Helt -- Chapter 8: When the Past Comes to Life: Historical Reenactment; Peter van der Plaetsen -- Chapter 9: Visualisation of Place and Landscape; Joske Houtkamp, Arnoud de Boer and Henk Kramer -- Chapter 10: From Preservation to Managing Change: Using Spatial Development as a Heritage Revival Tool; Felix van Veldhoven -- Chapter 11: Europe is a Journey: The European Cultural Route as an Instrument for Heritage Revival; Minke Walda -- PART III: CONCEPTS -- Chapter 12: Conceptual Fuel for Reviving the Past: Creating a Heritage Revival in Today's Europe; Linde Egberts.…”
Link to Metadata

PENGARUH MEDIA ADVERTISING TERHADAP KEPUTUSAN BERKUNJUNG WISATAWAN NUSANTARA DI DAYA TARIK WISATA ALAM SITU CILEUNCA by Arief Eka Setiwan, -

Link Metadata

Applied Pedagogies for Higher Education Real World Learning and Innovation across the Curriculum /

Table of Contents: “…Real world learning: Simulation and Gaming; Jonathan Lean, Jonathan Moizer, Cathrine Derham, Lesley Strachan and Zakirul Bhuiyan -- Chapter 10. …”
Link to Metadata

Neglected tropical diseases: an effective global response to local poverty-related disease priorities by Dirk Engels, Xiao-Nong Zhou

Connect to this object online.

Is age‐related sarcopenia a real concern for my developing country? by Arben Boshnjaku

Connect to this object online.

The Challenge of Chance A Multidisciplinary Approach from Science and the Humanities /

Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Link to Metadata

The COVID-19 Lockdown and Players' Match Statistics in Serie A by Adam Metelski

Connect to this object online.

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Table of Contents: “…Requirements -- Functional Requirements for Enterprise Data Catalogs -- Are business expectations aligned with the development plan made by the software architecture area? A case study on Agile teams in a large company -- Investigating Open Innovation Practices to Support Requirements Management in Software Ecosystems -- Requirements tool practices that drive business agility -- Software Procurement -- On Public Procurement of ICT Systems: Stakeholder Views and Emerging Tensions -- Improving Communication and Collaboration in Enterprise Architecture Projects: Three Propositions from Three Public Sector EA Projects -- Navigating ICT In-House Procurement in Finland: Evaluating Legal Frameworks and Practical Challenges -- Artificial Intelligence Procurement Assistant: Enhancing Bid Evaluation -- Platforms, Ecosystems & Data -- Who Does What? …”
Link to Metadata

IMUNOLOGIA NAS ESCOLAS: EXPERIÊNCIAS DE UM PROJETO DE EXTENSÃO by Bruno Neves da Silva, Thaís Gonçalves de Souza, Jéssica Keylly da Silva Vieira, Millena Zaíra Cartaxo da Silva, Valcleberson Elias Farias, Luiz Henrique da Silva, José Augusto de Sousa Rodrigues, Laryssa Lins de Araújo, Luciana Moura de Assis

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Design for Learning Principles, Processes, and Praxis by McDonald, Jason K., West, Richard E.

Table of Contents: “…Documenting Instructional Design Decisions -- Creating9. Generating Ideas10. Instructional Strategies11. …”
Access online version

Effect of verbal coaching instruction on scanning activity in elite U19 female football players by Mirjam Hintermann, Jörg Fuchslocher

Connect to this object online.

Arbeit in der digitalisierten Welt Praxisbeispiele und Gestaltungslösungen aus dem BMBF-Förderschwerpunkt /

Table of Contents: “…Warum Gute Arbeit auch in der agilen Welt kein Automatismus ist -- GADIAM - Gesundes Arbeiten mit vernetzten digitalen Arbeitsmitteln: Lösungen zur Prävention von Fremd- und Selbstüberforderung bei entgrenzter Wissens- und Innovationsarbeit -- KAMiiSo - Digitale Hilfsmittel für Kommunikation und Methodeneinsatz in der standortübergreifenden Produktentwicklung -- Selbstständiges Arbeiten in der digitalen Fabrik -- Modelle ressourcenorientierter und effektiver Führung digitaler Projekt- und Teamarbeit - vLead -- Teil III Produktivitätsmanagement: Mit dem InAsPro-Transformationskonzept die Digitalisierung planen -- Integration digitaler Assistenzsysteme für die industrielle Montage -- Arbeit 4.0 in der Produktentstehung mit IviPep - Identifizierung und ganzheitliche Umsetzung von Szenarien digitalisierter Arbeit -- Informatorische Assistenzsysteme - Steigerung der Produktivität durch Minderungder mentalen Beanspruchung -- Einfach mal anders gucken?! …”
Link to Metadata

NL ARMS Netherlands Annual Review of Military Studies 2020 Deterrence in the 21st Century-Insights from Theory and Practice /

Link to Metadata

PERBANDINGAN EFEKTIVITAS PEMBELAJARAN TUTOR SEBAYA DENGAN MODEL KONVENSIONAL DALAM PROSES PEMBELAJARAN PRAKTIKUM MEMBUAT PESAWAT ELEKTRONIKA 2 by Alam, Wahyuni Nur

Link Metadata

PENDIDIKAN JASMANI DAN OLAHRAGA SEKOLAH UNTUK MENGEMBANGKAN KETERAMPILAN SOSIAL DALAM RANGKA POSITIVE YOUTH DEVELOPMENT (Studi Tinjauan Sistematis) by Widy Dewi Nuryanti, -

Link Metadata