Suchergebnisse - "abstraction"

Philosophical Texts: Character Education for Minangkabau Women von Hamdan Hasibuan, Muhammad Roihan Daulay, Mowafg Masuwd

Connect to this object online.

Reproductive justice in the time of COVID-19: a systematic review of the indirect impacts of COVID-19 on sexual and reproductive health von Trena I. Mukherjee, Angubeen G. Khan, Anindita Dasgupta, Goleen Samari

Connect to this object online.

Disaster and Multiple Sclerosis: A Systematic Review von Reza HabibiSaravi, Seyed Mohammad Baghbanian, Ramin Navaie, Nasrin Sayfouri, Hesam Seyedin, Farzad Gohardehi, Fariba Ghasemihamedani

Connect to this object online.

Identifying Patients With Ischemic Heart Disease in an Electronic Medical Record von Noah Ivers MD, CCFP, Bogdan Pylypenko BScN, Karen Tu MD, MSc, CCFP, FCFP

Connect to this object online.

Validation of data quality in the Swedish National Register for Breast Cancer von Lars Löfgren, Sandra Eloranta, Kamilla Krawiec, Annette Asterkvist, Charlotta Lönnqvist, Kerstin Sandelin, On behalf of the steering group of the National Register for Breast Cancer

Connect to this object online.

Estimulación del lenguaje expresivo y comprensivo en la etapa inicial de los niños y niñas de 2 a 3 años del grado párvulo / Stimulation of expressive and receptive language... von Katherine Chiquillo Reyes, Lady Lais Gazabón Castilla, Yolanda Pereira Lentino

Connect to this object online.

Upaya Kepala Sekolah dalam Meningkatkan Kompetensi Guru PAI von Samsul Hadi

Connect to this object online.

Beta Exercise: The Theory and Practice of Osamu Kanemura von Kanemura, Osamu

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

The Funambulist Papers 2

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

Empirical modelling of translation and interpreting

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

Making up Numbers A History of Invention in Mathematics von Kopp, Ekkehard

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

Medieval Women and Their Objects

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

Introduction to Systems Biology Workbook for Flipped-classroom Teaching von Sauter, Thomas

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

Life after Medicine: A Systematic Review of Studies of Physicians' Adjustment to Retirement von Michelle Pannor Silver, Angela D Hamilton, Aviroop Biswas, Sarah A Williams

Connect to this object online.

IMPLEMENTASI MORAL PANCASILA UNTUK MENGUATKAN WAWASAN KEBANGSAAN ANGGOTA PEMUDA MUHAMMADIYAH : Studi Deskriptif Terhadap Anggota Pemuda Muhammadiyah Di Wilayah Kelurahan Loab... von Frenky Zainul Kusyanto, -

Link Metadata

Gamification Classroom for Enhancing Students' Computational Thinking Skills in Learning Respiratory System von Resti Rohmah Fatimah, Resti Rohmah

Link Metadata

MULTIMEDIA PEMBELAJARAN UNTUK PEMROGRAMAN TERSTRUKTUR MENGGUNAKAN PROBLEM-BASED LEARNING DENGAN KONSEP COMPUTATIONAL THINKING UNTUK MENINGKATKAN PEMAHAMAN SISWA von Dina Dwi Handayani, -

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

Inhaltsangabe: “… 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

Cultural Values and Human Ecology in Southeast Asia

DOAB: download the publication
DOAB: description of the publication

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

DOAB: download the publication
DOAB: description of the publication