Search Results - "Memory"

GAMBARAN AKTIVITAS FISIK LANJUT USIA DEMENSIA DI BALAI PERLINDUNGAN SOSIAL TRESNA WREDA CIPARAY BANDUNG by Mulyadi, Asep

Link Metadata

PENERAPAN JOYFUL LEARNING UNTUK MENINGKATKAN HASIL BELAJAR SISWA DALAM PEMBELAJARAN IPA PADA SISWA KELAS V DI SEKOLAH DASAR by Intan, _

Link Metadata

PEMBELAJARAN SENI TARI BAGI ANAK USIA DINI : Penelitian Deskriptif Kualitatif pada Siswa Kelompok B di Taman Kanak-kanak Bunda Ganesa by Dewi, Intan Astriani

Link Metadata

EFEKTIVITAS PENGGUNAAN MEDIA MOTION GRAPHIC PADA PEMBELAJARAN SAINTIFIK UNTUK MENINGKATKAN HASIL BELAJAR DOMAIN KOGNITIF by FAHMI NUGROHADI, -

Link Metadata

Pengaruh Pendekatan Multisensori dalam Meningkatkan Kemampuan Membaca Permulaan pada Anak Disleksia by Fasya Fadhila R. A. F, -

Link Metadata

PRE-SERVICE TEACHERS' PERCEPTIONS AND INSTRUCTIONAL PRACTICES OF EFL LEARNING STRATEGIES by Egi Fajriyandi, -

Link Metadata

KESADARAN SEJARAH MELALUI PEWARISAN BUDAYA MASYARAKAT KAMPUNG ADAT TAMKESI by Maria Antonia Cunino, -

Link Metadata

KOMUNIKASI TERAPEUTIK PERAWAT PADA LANSIA YANG MENGALAMI DEMENSIA DI PANTI JOMPO: Studi Kasus di Wisma Lansia J. Soenarti Nasution Bandung by Ika Kurniati, -

Link Metadata

PENGARUH PENERAPAN BRAIN GYM DENGAN SETTING KELAS MODEL KOOPERATIF TIPE NUMBERED HEADS TOGETHER (NHT) UNTUK MENINGKATKAN KEMAMPUAN PENALARAN DAN SELF-CONFIDENCE SISWA by Marini Ulfa Siregar, -

Link Metadata

RANCANGAN PEMBELAJARAN BERBASIS MODEL THINK PAIR SHARE UNTUK MENINGKATKAN KONSENTRASI BELAJAR SISWA KELAS IV SEKOLAH DASAR by Vina Nurkarimah, -

Link Metadata

PEMBELAJARAN PENCAK SILAT BAGI PENYANDANG TUNANETRA OLEH ASOSIASI PENCAK SILAT DISABILITAS (APSIDI) KOTA BANDUNG by Monika Pebriyanti, -

Link Metadata

PENGGUNAAN METODE TALAQQI PADA PEMBELAJARAN TAHFIDZ UNTUK MENINGKATKAN KEMAMPUAN HAFALAN AL-QUR'AN PESERTA DIDIK (Studi di PKBM Baitul Muttaqin Kota Bandung) by Ajeng Puspitasari Santosa, -

Link Metadata

PENGEMBANGAN MEDIA PEMBELAJARAN PETA (PENJELAJAHAN MATEMATIKA) BERBASIS APLIKASI ANDROID PADA MATERI KECEPATAN DI KELAS V SD by Salsabila Baliani Putri Sopian, -

Link Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

When Music Takes Over in Film

Table of Contents: “…The Musical Moment, Counter-Memory, Oblivion -- 3. The Crystal Song in four American Films from 2016 to 2018 -- 4. …”
Link to Metadata

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

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Trauma und Terror Zum palästinensischen und tschetschenischen Nationalismus by Szyszkowitz, Tessa

DOAB: download the publication
DOAB: description of the publication

Abrir os Gomos do Tempo: Conversas Sobre Cinema em Moçambique by Pereira, Ana Cristina

DOAB: download the publication
DOAB: description of the publication

Faces of Republican Turkey: Beyond the Modernization Hypothesis

DOAB: download the publication
DOAB: description of the publication

Effects of chronic stress on the brain - the evidence from morphological examinations of hippocampus in a chronic unpredictable stress (CUS) model in rats by Joanna Sekita-Krzak, Iwona Żebrowska-Łupina, Tomasz Łupina, Leszek Czajkowski, Beata Cichacz-Kwiatkowska, Joanna Robaczewska

Connect to this object online.