Search Results - "Memory"

THE PROFILE OF 8TH JUNIOR HIGH SCHOOL STUDENTS' QUESTION SKILL BASED ON QUESTION CATEGORY SYSTEM FOR SCIENCE (QCSS) ON HUMAN RESPIRATORY by Syahida Ainaya, -

Link Metadata

LANGUAGE LEARNING STRATEGIES USED BY LEARNERS IN LEARNING SPEAKING: A Descriptive study of learners in an exemplary class in one of senior high schools in Cimahi by Rachmawati, Yuli

Link Metadata

IMPLEMENTASI TEORI THE RHETORIC DALAM GAYA BERDAKWAH USTADZ HANAN ATTAKI DI YOUTUBE by Elfira Fianita,

Link Metadata

PENGARUH EXERCISE TERHADAP KUALITAS TIDUR PADA WANITA MASA KLIMAKTERIUM : LITERATURE REVIEW by Davita Aprilia Pratiwi,

Link Metadata

PENGARUH PUASA INTERMITEN TERHADAP FUNGSI KOGNITIF MAHASISWA DENGAN TINGKAT STRES SEDANG DI FAKULTAS KEDOKTERAN UNIVERSITAS PEMBANGUNAN NASIONAL VETERAN JAKARTA TAHUN 2019 - 2020 by Fahira Alia Natassha,

Link Metadata

Penerapan Model Pembelajaran Contextual Teaching And Learning Sebagai Upaya Untuk Meningkatkan Prestasi Matematika Materi Peluang by Sukinah Sukinah

Connect to this object online.

MEMÓRIAS DOCENTES: narrativas sobre o fracasso escolar by Raimundo Sérgio de Farias Júnior, Marina Graziela Feldmann

Connect to this object online.

A time-course comparative clinical and immune response evaluation study between the human pathogenic Orientia tsutsugamushi strains: Karp and Gilliam in a rhesus macaque (Macaca mu... by Manutsanun Inthawong, Piyanate Sunyakumthorn, Sirima Wongwairot, Tippawan Anantatat, Susanna J. Dunachie, Rawiwan Im-Erbsin, James W. Jones, Carl J. Mason, Luis A. Lugo, Stuart D. Blacksell, Nicholas P. J. Day, Piengchan Sonthayanon, Allen L. Richards, Daniel H. Paris

Connect to this object online.

Genealogia feminina: diálogo silencioso entre gerações - Female genealogy: silent dialogue between generations by Flávia Obino Corrêa Werle, Brasil

Connect to this object online.

Entre el pasado, el presente, la memoria escolar y la historia oral: la pedagogía española en la educación normal en México a través del exilio by Alicia Civera Cerecedo

Connect to this object online.

PENGGUNAAN METODE SUKU KATA MELALUI REPOSISI BUNYI DALAM MNEINGKATKAN KEMAMPUAN MEMBACA PERMULAAN ANAK TUNAGRAHITA SEDANG KELAS II SLB C SUMBERSARI by Mukminah, _

Link Metadata

ANALISIS PERSEPSI SISWA TERHADAP PENGGUNAAN CD INTERAKTIF BERBASIS FLASH DALAM PEMBELAJARAN BAHASA ARAB by Cahyadi, _

Link Metadata

PENGARUH PRAKTEK KERJA INDUSTRI DAN PRESTASI BELAJAR MATA PELAJARAN PRODUKTIF TERHADAP KESIAPAN KERJA SISWA SMK PROGRAM KEAHLIAN ADMINISTRASI PERKANTORAN DI SMK NEGERI 3 BANDUNG by Rita Rosmawati, -

Link 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: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Normal Alert Consciousness A Central Executive Model of Hippocampal Function

DOAB: download the publication
DOAB: description of the publication

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL by Reinders, James

DOAB: download the publication
DOAB: description of the publication

Paradise Blues Travels through American Environmental History by Mauch, Christof

DOAB: download the publication
DOAB: description of the publication

The Models of Space, Time and Vision in V. Nabokov's Fiction: Narrative Strategies and Cultural Frames by Grishakova, Marina

DOAB: download the publication
DOAB: description of the publication

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL by Reinders, James

DOAB: download the publication
DOAB: description of the publication

Politics of Security: British and West German Protest Movements and the Early Cold War 1945-1970 by Nehring, Holger

DOAB: download the publication
DOAB: description of the publication