Search Results - "abstraction"

RANCANG BANGUN MULTIMEDIA INTERAKTIF DENGAN MODEL PROBLEM BASED LEARNING BERBASIS ANDROID UNTUK SISWA TUNARUNGU by Muthia Primayunita, -

Link Metadata

PENERAPAN UNPLUGGED COMPUTER SCIENCE BERBASIS ETNOPEDAGOGI SEBAGAI ALTERNATIF PENGAJARAN PADA MATA PELAJARAN ALGORITMA PEMROGRAMAN DASAR : Studi Kasus: SMK Tribakti Pangalengan by Bara Mahisa Buana, -

Link Metadata

PENGEMBANGAN MODUL ELEKTRONIK INTERAKTIF PADA MATERI TEORI KINETIK GAS (MEI TKG) by Athif Naufal Mufid, -

Link Metadata

RANCANG BANGUN MEDIA PEMBELAJARAN INTERAKTIF ARTICULATE STORYLINE PADA MATA PELAJARAN IPS JENIS-JENIS PEKERJAAN DI SEKOLAH DASAR : Penelitian Design & Development di Kelas IV pada... by Devita Syafitriyani, -

Link Metadata

Case Studies in Systems Chemistry by Fleck, George

Table of Contents: “…Abstract -- Introduction -- Systems Chemistry: Putting it All Together -- Taking it Apart, versus Putting it Together: Implications for the Chemistry Curriculum -- Concepts of Systems Chemistry -- Carboxylic Acid Equilibria -- Chapter 1. …”
Access online version

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Ship and Offshore Structure Design in Climate Change Perspective by Bitner-Gregersen, Elzbieta Maria, Eide, Lars Ingolf, Hørte, Torfinn, Skjong, Rolf

Table of Contents: “…1.Abstract -- 2.Introduction -- 3.Climate Change and Variability -- 4.Changes in Wind, Waves and Sea Water Level in the 20th Century -- 5.Expected Changes in Wind, Waves and Sea Water Level in the 21st Century -- 5.1. …”
Link to Metadata

Sourcing, summarizing, and synthesizing   Skills for effective research writing  by McBride, Wendy L.

Table of Contents: “…About the Author -- The objective of a literature review -- Matters of tone and style -- Raising the level (grammar support) -- Articles and nouns (grammar support) -- Strong research questions -- Producing a workable thesis statement -- Identifying and deploying source material -- Question structure (grammar support) -- Paragraph and sentence structure (grammar support) -- Paraphrasing and summarizing -- Summarizing and synthesizing -- Sentence strength and variety (grammar support) -- Using parallel structures effectively (grammar support) -- The annotated bibliography -- The literature review structure and function -- Producing effective abstracts…”
Access online version

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

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Cognitive style of a future IT specialist in a teamwork process by N. V. Buzhinskaya, E. S. Vaseva, I. E. Shkabara

Connect to this object online.

PENGGUNAAN ALAT PERAGA STIK BERWARNA UNTUK MENINGKATKAN HASIL BELAJAR SISWA TENTANG PENJUMLAHAN DAN PENGURANGAN BILANGAN BULAT : Penelitian Tindakan Kelas pada Siswa Kelas IV SDN C... by Megaswati, Hani

Link Metadata

MENINGKATKAN HASIL BELAJAR SISWA DENGAN MENERAPKAN METODE INKUIRI PADA PEMBELAJARAN IPA TENTANG KETERGANTUNGAN MANUSIA DAN HEWAN PADA TUMBUHAN HIJAU by Nurdayanti, Ririn

Link Metadata

PENERAPAN PROBLEM BASED LEARNING PADA MULTIMEDIA PEMBELAJARAN PEMROGRAMAN BERORIENTASI OBJEK BERBASIS QR CODE UNTUK MENINGKATKAN KEMAMPUAN COMPUTATIONAL THINKING PESERTA DIDIK by Dwi Fitria Al Husaeni, -

Link Metadata

Naming the Unnameable An Approach to Poetry for New Generations by Evory, Michelle Bonczek

Table of Contents: “…Reviewer's Notes -- Reviewer's Notes -- Preface for Instructors -- Introduction: Our Natural Right to Play -- Chapter One: Getting Started: The Nine Muses -- Chapter Two: Welcome, Reader: Reading Poetry -- Chapter Three: Images -- Chapter Four: Voice -- Chapter Five: Architecture -- Chapter Six: Acoustics -- Chapter Seven: Experimenting with Forms -- Chapter Eight: Revision -- Chapter Nine: Publication -- Chapter Ten: Reading Your Poems to an Audience -- Key Terms -- Concrete Word List -- Abstract Word List -- Recommended Accompanying Resources -- Works Cited…”
Access online version

PENINGKATAN KEMAMPUAN KONEKSI MATEMATIKA SISWA PADA MATERI LAYANG-LAYANG MELALUI PEMBELAJARAN BERBASIS TEORI VAN HIELE by ROSMAWATI, Erma

Link Metadata

PENGEMBANGAN DESAIN DIDAKTIS UNTUK MENGATASI LEARNING OBSTACLES MATERI PERSAMAAN DAN PERTIDAKSAMAAN LINEAR SATU VARIABEL PADA SISWA KELAS VII SMP by Rohimah, Siti Maryam

Link Metadata

PROFIL MOTIVASI BELAJAR SISWA SMA KELAS XI PADA PEMBELAJARAN LARUTAN PENYANGGA MENGGUNAKAN MODELPROBLEM SOLVING by Slamet, Asti Rahayu

Link Metadata

IMPLEMENTASI KURIKULUM PENDIDIKAN BERKEBUTUHAN KHUSUS AUTIS : studi kasus pada SLB autisma YPPA Padang Sumatera Barat by Ilmita, _

Link Metadata

METODE MAKHORIJUL HURUF DAN QUANTUM LEARNING DALAM PEMBELAJARAN MEMBACA AL-QURAN SURAT AL-FATIHAH PADA ANAK TUNARUNGU by Mamah Halimah, -

Link Metadata

KERANGKA KERJA TPACK (Technological Pedagogical and Content Knowledge) DALAM MENINGKATKAN KEMAMPUAN PENALARAN DAN PENGUASAAN KONSEP EMBRIOLOGI MAHASISWA CALON GURU BIOLOGI by Nia Nurdiani, -

Link Metadata