Search Results - Game Freak~

Pengembangan Pembelajaran Area Dan Sentra Berbasis Alat Permainan Edukatif Di TK Pertiwi Gondangrejo Karanganyar Tahun 2016/2017 by Chasanah, Uswatun, , Prof. Dr. Sutama, M.Pd, , Dr. Suyatmini, M.Si

Connect to this object online

Comparison of Shaping Ability of 10 Rotary and Reciprocating Systems: an In Vitro Study with AutoCAD by Jorge Rubio, José Ignacio Zarzosa, Antonio Pallarés

Connect to this object online.

Psychological perspectives on expertise by David Zachary Hambrick

DOAB: download the publication
DOAB: description of the publication

Assessing the needs of the labor market of Qom province for the specialization of graduates of technical and vocational fields by maliheh asghariajiri, hamid jafarian

Connect to this object online.

The density of electronic gambling machines and area-level socioeconomic status in Finland: a country with a legal monopoly on gambling and a decentralised system of EGMs by Susanna Raisamo, Arho Toikka, Jani Selin, Maria Heiskanen

Connect to this object online.

Estudos em modalidades esportivas de combate: estado da arte Studies in combat sports: state of the art by Emerson Franchini, Fabrício Boscolo Del Vecchio

Connect to this object online.

ANALYTICAL PRESENTATION OF THE 2020 NATIONAL CORE CURRICULUM IN HUNGARY by Pál HAMAR, István SOÓS

Connect to this object online.

Designed acute physical activity to benefit primary school children's cognition: Effects of cognitive challenge, bout duration and positive affect by Sofia Anzeneder, Valentin Benzing, Mirko Schmidt

Connect to this object online.

20 Years of Olympic Media Research: Trends and Future Directions by Andrea N. Geurin, Michael L. Naraine

Connect to this object online.

Team building Faculty of Pharmacy, group strengthening workshop / Azlinda Mohamad Nor and Assoc. Prof. Dr. Mahmathi Karuppannan by Mohamad Nor, Azlinda, Karuppannan, Mahmathi

Link Metadata

Applications of Virtual Reality

DOAB: download the publication
DOAB: description of the publication

Application of the Early Care Program Based on the Early Start Denver Model for Children with ASD by O.V. Starikova, V.V. Dvoryninova, O. Balandina

Connect to this object online.

Communicative Figurations Transforming Communications in Times of Deep Mediatization /

Table of Contents: “…Communicative Figurations of expertisation: DIY_MAKER and Multi-Player Online Gaming (MOG) as cultures of amateur learning; Karsten Wolf & Urszula Wudarski.- 7.The communicative construction of space-related identities. …”
Link to Metadata

Amateur football map (4th league) from Romania generated by the coronavirus (COVID-19) in the pre-pandemic season (2019/2020) by Alexandru ILIEȘ, Jan A. WENDT, Oliver DEHOORNE, Codruț G. BULZ

Connect to this object online.

Technological Imagination in the Green and Digital Transition

Table of Contents: “…From public residential estates to eco-districts -- Adaptive building technologies for building envelopes under climate change conditions -- The importance of testing activities for a "new" generation of building envelope -- Data visualization and web-based mapping for SGDs and adaptation to climate change in the urban environment -- Fog water harvesting through smart façade for a climate resilient built environment -- Building façade retrofit: A comparison between current methodologies and innovative membranes strategies for overcoming the existing retrofit constraints -- Technologies and solutions for collaborative processes in mutating cities -- New perspectives for the building heritage in depopulated areas: A methodological approach for evaluating sustainable reuse and upcycling strategies -- Climate adaptation in urban regeneration: A cross-scale digital design workflow -- Adaptive "velari" -- Temporary climate change adaptation: 5 measures for outdoor spaces of the mid-adriatic city -- Serious game: New tools for exploring and designing urban sustainability -- Energy efficiency improvement in industrial brownfield heritage buildings: Case study of "Beko" -- Industrial heritage of Belgrade: Brownfield sites revitalization status, potentials and opportunities missed -- Challenges and potentials of green roof retrofit: A case study -- Designing with nature climate-resilient cities: A lesson from Copenhagen -- New urban centralities universities as a paradigm for a sustainable city -- Part 5: Health -- Environment for healthy living -- New paradigms for indoor healthy living -- Healthy and empowering life in schoolyards. …”
Link to Metadata

An Education and Training Program on Disaster Triage for Nurses and Nursing Students: Literature Review by Novia Faizatiwahida, Sri Setiyarini, Syahirul Alim

Connect to this object online.

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...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

The impact of physical activity on electronic media use among chinese adolescents and urban-rural differences by Shengchao Bai, Yutong Yin, Shengju Chen

Connect to this object online.

Becoming InterActive for Life: Mobilizing Relational Knowledge for Physical Educators by Rebecca J. Lloyd, Stephen J. Smith

Connect to this object online.

Audio Signal Processing by Vesa Välimäki (Ed.)

DOAB: download the publication
DOAB: description of the publication