Search Results - "Memory"

Proceedings of the International Conference on Business and Management Dynamics 2016 Sustainable economies in the information economy by Twum-Darko, Michael

OAPEN Library: download the publication
OAPEN Library: description of the publication

Citoyenneté et réconciliation au Rwanda by Junod, Roland

OAPEN Library: download the publication
OAPEN Library: description of the publication

Islam and the making of the nation: Kartosuwiryo and political Islam in twentieth-century Indonesia by Formichi, Chiara

OAPEN Library: download the publication
OAPEN Library: description of the publication

Relative Histories Mediating History in Asian American Family Memoirs by Davis, Rocio G.

OAPEN Library: download the publication
OAPEN Library: description of the publication

Internet of Things - The Call of the Edge Everything Intelligent Everywhere

OAPEN Library: download the publication
OAPEN Library: description of the publication

APLIKASI SISTEM INFORMASI MOBILE UNTUK MENYAJIKAN INFORMASI DAN TRANSAKSI BATIK SOLO MENGGUNAKAN J2ME by MUTTAQIN, AENI

Connect to this object online

PENGELOLAAN SISTEM INFORMASI TERHADAP PENGAMBILAN KEPUTUSAN KEPALA SEKOLAH (STUDI KASUS : SD MUHAMMADIYAH 2 SURAKARTA) by WIJIYANT0, WIJIYANT0

Connect to this object online

THE USE OF MIND MAPPING IN IMPROVING STUDENTS' READING COMPREHENSION ABILITY (A Quasi-Experimental Research at One Vocational High School in Bandung) by Putri, Trime Anggita Ayu

Link Metadata

EFEKTIVITAS GRATITUDE TRAINING UNTUK MENINGKATKAN SUBJECTIVE WELL BEING PADA BURUH PABRIK SARUNG ALIMIN MAJALAYA by Kusumah, Shafira Hanawati

Link Metadata

IDIOM YANG MENGGUNAKAN KATA MIZU: KAJIAN LINGUISTIK KOGNITIF by Nur 'Izzati, -

Link Metadata

IMPLEMENTASI COGNITIVE LOAD THEORY PADA PERANCANGAN MULTIMEDIA ANIMASI PEMBELAJARAN DESAIN GRAFIS PERCETAKAN by Muhammad Razi Iskandar, -

Link Metadata

KAJIAN FENOMENOGRAFI ASPEK-ASPEK MODEL MENTAL SUBYEK LINTAS LEVEL AKADEMIK DALAM PROBLEM SOLVING KONSEP DASAR MEKANIKA by Mansyur, Jusman

Link Metadata

EFEKTIVITAS PENGGUNAAN MEDIA FLASHCARD UNTUK MENINGKATKAN KEMAMPUAN MENULIS PERMULAAN PADA SISWA KELAS 1 DI SEKOLAH DASAR. by Ajeng Kartika Sari, -

Link Metadata

MENINGKATKAN KEMAMPUAN MENGINGAT DAN MEMBACA ANAK USIA DINI MELALUI BERMAIN PUZZLE HURUF : Studi Kuasi Eksperimen pada Kelompok B Taman Kanak-Kanak Tunas Bangsa Desa Kramatmulya K... by Eti, Juhaeti

Link Metadata

ANALISIS MINAT BELAJAR SISWA PADA PEMBELAJARAN MATEMATIKA DI SDN TAMANSARI KOTA TASIKMALAYA by Muhammad Khafaby, -

Link Metadata

PENEGAKAN HUKUM TERHADAP TINDAK PIDANA PELAKU PENYEBARAN BERITA BOHONG (HOAX) by Yanto,

Link Metadata

Improving the diagnosis and management of Lewy body dementia: the DIAMOND-Lewy research programme including pilot cluster RCT by John T O'Brien, John-Paul Taylor, Alan Thomas, Claire Bamford, Luke Vale, Sarah Hill, Louise Allan, Tracy Finch, Richard McNally, Louise Hayes, Ajenthan Surendranathan, Joseph Kane, Alexandros E Chrysos, Allison Bentley, Sally Barker, James Mason, David Burn, Ian McKeith

Connect to this object online.

DSCR1 gene silencing by siRNA in lymphoblast cells from patient with down syndrome by Pantipa Trichantong

Get full text

Programming Languages Application and Interpretation by Krishnamurthi, Shriram

Table of Contents: “…1 Introduction -- 2 Everything (We Will Say) About Parsing -- 3 A First Look at Interpretation -- 4 A First Taste of Desugaring -- 5 Adding Functions to the Language -- 6 From Substitution to Environments -- 7 Functions Anywhere -- 8 Mutation Structures and Variables -- 9 Recursion and Cycles: Procedures and Data -- 10 Objects -- 11 Memory Management -- 12 Representation Decisions -- 13 Desugaring as a Language Feature -- 14 Control Operations -- 15 Checking Program Invariants Statically: Types -- 16 Checking Program Invariants Dynamically: Contracts -- 17 Alternate Application Semantics…”
Access online version

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata