Search Results - "abstraction"

Earth Sciences Teaching Difficulties in Secondary School: A Teacher's Point of View by Radouan Chakour, Anouar Alami, Sabah Selmaoui, Aâtika Eddif, Moncef Zaki, Youssef Boughanmi

Connect to this object online.

Christina McPhee: A Commonplace Book

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

Ordnungsbildung und Erkenntnisprozesse

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

The Discursive Construction of Identities On- and Offline Personal - group - collective

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

The relentless body. L'impossibile elisione del corpo in Samuel Beckett e la noluntas schopenhaueriana by Orlandini, Lorenzo

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

Model and Mathematics: From the 19th to the 21st Century

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

An interactive OOP learning environment for teaching and learning with Java / Wan Saiful 'Azzam Wan Ismai,Maznie Manaf and Marina Ahmad by Wan Ismail, Wan Saiful 'Azzam, Manaf, Maznie, Ahmad, Marina

Link Metadata

VERBAL AND VISUAL REPRESENTATION OF WOMEN IN ADVERTISEMENTS:A CRITICAL ANALYSIS OF NIKE PRINT COMMERCIALS by Yessy Zakaria, -

Link Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Stimulasi Pengajaran Dengan Media Gambar Terhadap Prestasi Belajar Anak Retardasi Mental by Titik Sumiatin

Connect to this object online.

PENERAPAN STEM QUARTET UNTUK MENINGKATKAN KETERAMPILAN BERPIKIR KOMPUTASI SISWA PADA PEMBELAJARAN SMP MATERI PERUBAHAN IKLIM by Triska Sukmawati, -

Link Metadata

PENGARUH KECERDASAN TERHADAP KEBERHASILAN BELAJAR MAHASISWA PROGRAM STUDI PENDIDIKAN TEKNIK ARSITEKTUR by Vianda Rabilla Sunandar Putri, -

Link Metadata

Introduction to Implant Prosthodontics A Case-Based Clinical Guide by Kourtis, Stefanos, Lampropoulos, Panagiotis, Polychronakis, Nikolaos

Table of Contents: “…Abbreviations used in the text -- Prologue -- Chapter 1 -- Diagnostic Elements for Treatment Planning in Implant Restorations -- Abstract -- Knowledge background -- References for Chapter 1 -- Chapter 2 -- Radiographic and Surgical Guides -- Abstract -- Knowledge background -- References for Chapter 2 -- Chapter 3 -- Implant Overdentures -- Abstract -- Knowledge background -- References for Chapter 3 -- Chapter 4 -- Impression techniques for implant restorations -- Abstract -- Knowledge background -- References for Chapter 4 -- Chapter 5 -- Intra-Oral Scanning -- Digital Impressions for Implant Restorations -- Abstract -- Knowledge background -- References for Chapter 5 -- Chapter 6 -- Cement-retained Implant Restorations -- Abstract -- Knowledge background -- References for Chapter 6 -- Chapter 7 -- Screw-retained Implant Restorations -- Abstract -- Knowledge background -- References for Chapter 7 -- Chapter 8 -- Completely Digital Workflow for Implant Restorations -- Abstract -- Knowledge background -- References for Chapter 8 -- Glossary of scientific terms…”
Access online version

Ethnography #9 by Klima, Alan

DOAB: download the publication
DOAB: description of the publication

Les sciences sociales de l'environnement by Camille Raymond

DOAB: download the publication
DOAB: description of the publication

Sedes Sapientiae : Vierges noires, culte marial et pèlerinages en France méridionale by Sophie Brouquet

DOAB: download the publication
DOAB: description of the publication

Aesthetic Programming A Handbook of Software Studies by Soon, Winnie

DOAB: download the publication
DOAB: description of the publication

Lezione di sguardi. Edoardo Detti fotografo by Lisini, Caterina

DOAB: download the publication
DOAB: description of the publication

Symétrie et gravitation Leçon inaugurale prononcée le jeudi 5 mars 2020 by Henneaux, Marc

DOAB: download the publication
DOAB: description of the publication