EFEKTIFITAS PENGGUNAAN STRATEGI PEMBELAJARAN AKTIF CARD SORT TERHADAP KEMAMPUAN KOSAKATA BAHASA ARAB SISWA : Studi Eksperimen Kuasi Terhadap Siswa Kelas VII MTs Sagalaherang Subang... by Hakim, Rahmi

Link Metadata

KAMAMPUH BUDAK TK KANA NGAWASA KANDAGA KECAP DINA KAULINAN BARUDAK DI TK HAJJAH MULTAZAM KECAMATAN ANTAPANI KOTA BANDUNG by Dewi, Mira Yuthika

Link Metadata

PENERAPAN COMPUTER SCIENCE UNPLUGGED PADA MATA PELAJARAN PEMROGRAMAN DASAR UNTUK MENINGKATKAN COMPUTATIONAL THINKING SISWA SMK by Ratu Khoerunnisa Hidayati, -

Link Metadata

Understanding The Everyday Digital Lives of Children and Young People

Table of Contents: “…ICT Use and Children's Self-reported Life Satisfaction -- 10. 'Of Gaming and Other Demons': Defining Children and Young People's Meaningful Leisure Activities in the Digital Era -- 11. …”
Link to Metadata

EFEKTIVITAS MODEL PEMBELAJARAN CONCEPT SENTENCE DENGAN MEDIA FLASH CARD UNTUK MENINGKATKAN KETERAMPILAN BERBICARA by Apriliana, Karin Christi

Link Metadata

EFEKTIVITAS PENGGUNAAN MEDIA DIE INSEL DER PRÄPOSITIONEN DALAM MENINGKATKAN PENGUASAAN PREPOSISI BAHASA JERMAN by Hanny Purnama Dewi, -

Link Metadata

EFEKTIVITAS MEWARNAI GAMBAR BENTUK GEOMETRI DALAM MENGURANGI PERILAKU MENGISAP JARI: Penelitian Eksperimen Single Subject Research Pada Peserta Didik Cerebral Palsy Athetoid Di SLB... by Wibawati, Eli

Link Metadata

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

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

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

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

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

How Megaprojects Are Damaging Nigeria and How to Fix It A Practical Guide to Mastering Very Large Government Projects / by Ibrahim, Jimoh, Loch, Christoph, Sengupta, Kishore

Link to Metadata

Global Perspectives on Educational Innovations for Emergency Situations

Table of Contents: “…DENNEN, JIYAE BONG) -- Chapter 12 - INTERSECTIONALITY AND COMPROMISE - ENACTING GOVERNMENT POLICIES IN THE CARIBBEAN (CAMILLE DICKSON-DEANE,LAURETTE BRISTOL, DAURAN MCNEIL, TALIA ESNARD, LORRAINE LEACOCK) -- Chapter 13 - A FAMILY OF K-12 EDUCATORS' INNOVATIVE RESPONSES TO OVERCOME COVID-19 CHALLENGES (HUI-CHEN DURLEY, XUN GE) -- Chapter 14 - TRANSLATING DISTANCE EDUCATION THEORY INTO PRACTICE (LEROY HILL) -- Chapter 15 - ALL HANDS ON DECK: FACULTY COLLABORATION IN TRANSFORMING TO REMOTE TEACHING (WANJU HUANG, JENNIFER RICHARDSON) -- Chapter 16 - VIRTUAL MAKING - TRANSFORMING MAKER EDUCATION IN A TEACHER EDUCATION PROGRAM DURING THE COVID-19 PANDEMIC (YI JIN, JASON HARRON, HELEN MADDOX) -- Chapter 17 - REFLECTING ON A YEAR OF EMERGENCY REMOTE TEACHING (JEONGHYUN LEE, FARAHNAZ SOLEIMANI, STEPHEN W HARMON) -- Chapter 18 - A REFLECTION ON ONLINE TEACHING AND LEARNING THROUGH THE PANDEMIC: REVISITING CREATIVITY (JIN MAO) -- Chapter 19 - CHILEAN PERSPECTIVES ON EDUCATIONAL EXPERIENCES AND INNOVATIONS IN EMERGENCY CONTEXTS (JAIME SÁNCHEZ, JOSÉ REYES-ROJAS) -- Chapter 20 - IMPLEMENTATION OF A DIGITAL LIVE-ACTION GAMING EXPERIENCE FOR INTERPROFESSIONAL LEARNING AND TRAINING (ANDRE THOMAS, YUN LI, CHRISTINE L. …”
Link to Metadata

KAULINAN BARUDAK DI DÉSA TANJUNGWANGIKACAMATAN CICALENGKA KABUPATEN BANDUNG by Srimulyani, Aas

Link Metadata

Permainan mudah alih dan kanak-kanak / Aznan Omar by Aznan, Omar

Link Metadata

KIPRAH KOMUNITAS HONG DALAM MELESTARIKAN PERMAINAN TRADISIONAL SUNDA DI KABUPATEN BANDUNG (2003 - 2022) by Sri Dewi Rahayu Nurgianti, -

Link Metadata

ANALISIS BEBERAPA PERMAINAN TRADISIONAL SUNDA DAN IMPLEMENTASINYA DALAM PEMBELAJARAN ANAK SEKOLAH DASAR by Rinaldi Yusup, -

Link Metadata

COMPUTER BASED INSTRUCTION DENGAN MENGGUNAKAN MULTIMEDIA INTERAKTIF MODEL INSTRUCTIONAL GAMESUNTUK MENINGKATKAN PRESTASI BELAJAR SISWAPADA MATA PELAJARAN TIK by Khairunnisa, -

Link Metadata

Playing e-sport among university students: benefits and disadvantages / Nurul Nadiah Rasdi and Ahmad Najmie Rusli by Rasdi, Nurul Nadiah, Rusli, Ahmad Najmie

Link Metadata