Search Results - BAFTA~

MENINGKATKAN GERAK DASAR LARI SPRINT MELALUI PERMAINAN KEJAR BOLA PADA SISWA KELAS V MI KUBANG ALUN-ALUN KECAMATAN CIMALAKA KABUPATEN SUMEDANG by Hadi, Dimas Trisno

Link Metadata

MENINGKATKAN PEMBELAJARAN PENDIDIKAN JASMANIDENGAN MENGGUNAKAN MODEL KOOPERATIF TIPE JIGSAW (Penelitian Tindakan Kelas Pada Siswa Kelas V SDN Jatimulya Kecamatan Tanjungsiang Kab... by Sari, Siti

Link Metadata

PENGUKURAN DAN PEMETAAN BIDANG TANAH MARKAS BATALYON BEKANG 1 KOSTRAD CIBINONG BOGOR by Ramdani, Moch.Fahmi

Link Metadata

PENGUKURAN DAN PEMETAAN BIDANG TANAH MENGGUNAKAN METODE PENENTUAN POSISI CONTINUOUSLY OPERATING REFERENCE STATION (CORS) DI PT. TJITAYAM DESA CITAYAM KECAMATAN TAJUR HALANG DAN KECAMATAN BOJONG GEDE KABUPATEN BOGOR JAWA BARAT by Adima, Fazi

Link Metadata

ANALISIS KEPUASAN PENGUNJUNG TERHADAP DAYA TARIK WISATA DI KAMPOENG TULIP KOTA BANDUNG by Tantri Suci Widyanti, -

Link Metadata

IMPLEMENTASI ALGORITMA K-MEANS CLUSTERING DAN FUZZY C-MEANS DALAM PENGELOMPOKKAN KINERJA PELABUHAN DI INDONESIA by Zainal Arifin, -

Link Metadata

RANA DI TANDUK AFRIKA: KONFLIK DI WILAYAH OGADEN ANTARA ETHIOPIA DENGAN SOMALIA (1977-1978) by Mochamad Farhan Chohan, -

Link Metadata

INDEKS INKLUSI DI SD NEGERI KABUPATEN MUSI BANYUASIN :Studi Tentang Keberhasilan Implementasi Pendidikan Inklusif Tahun 2010 by Hartono, Y. Sri

Link Metadata

HUBUNGAN LINGKUNGAN KERJA DENGAN SEMANGAT KERJA KARYAWAN PADA PT. PLN (PERSERO) DISTRIBUSI JABAR BANTEN by R. Lia H. Fevliani, -

Link Metadata

TINJAUAN YURIDIS PENGALIHAN HAK RUMAH DINAS PEGAWAI NEGERI SIPIL GOLONGAN III KEPADA PENSIUNAN PEGAWAI NEGERI SIPIL(Studi Kasus Putusan Pengadilan Tata Usaha Negara Nomor: 192/G/2011/PTUN-JKT) by Dera Puspita Andini, -

Link Metadata

Hydroxyl-platelet-activating factor exists in blood of healthy volunteers and periodontal patients by Smaragdi Antonopoulou, Alexandros Tsoupras, George Baltas, Helen Kotsifaki, Zacharias Mantzavinos, Constantinos A. Demopoulos

Connect to this object online.

PROJECT SCHOOLS AS A SCHOOL-BASED MANAGEMENT MODEL by Mert Baştaş, Ahmet Koc

Connect to this object online.

PENERAPAN PENDEKATAN KONTEKSTUAL DALAM PEMBELAJARAN IPA UNTUK MENINGKATKAN HASIL BELAJAR SISWA by Rohmansyah, _

Link Metadata

Touch Lib©: humanising a library attendance system in a postgraduate academic institution / Hasniza Amno ... [et al.] by Amno, Hasniza, Kasim, Mohd Jamil, Hashim, Siti Fatimah, Salis @ Saleh, Md Naim, Shaharuddin, Bakiah

Link Metadata

PROFIL TEKANAN DARAH PADA WANITA PENGGUNA KONTRASEPSI ORAL DAN SUNTIK DI KOTA SURAKARTA by WIDIYANINGRUM, RACHMA FITRI WIDI

Connect to this object online

Equity, Equality and Diversity in the Nordic Model of Education

Table of Contents: “…Björnsson -- Section 2 -- Teaching culturally diverse student groups in the Nordic countries: What can the TALIS 2018 data tell us? Julius K. Bjørnsson -- Exploring diversity in the relationships between teacher quality and job satisfaction in the Nordic countries: Insights from TALIS 2013 and 2018. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! -- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Introduction to Development Engineering A Framework with Applications from the Field /

Table of Contents: “…Part I: A New Discipline: Development Engineering -- Chapter 1: The Role Of Technology In Development -- Chapter 2: The Development Engineering Framework: Innovate, Evaluate, Scale -- Chapter 3: Asking the Right Questions -- Part II: Water, Sanitation and Health -- Chapter 4: Advances In Water and Health Technologies -- Chapter 5: Case Study: Electrochemical Arsenic Remediation, India (Innovation) -- Chapter 6: Case Study: Information For Intermittent Water Supply, India (Evaluation) -- Chapter 7: Case Study: Mobile Phone Diagnostic Microscopy, Vietnam/Cameroon (Innovation, Scale) -- Part III: Governance -- Chapter 8: Technologies for Governance And Accountability -- Chapter 9: Case Study: Sensors For Aid Accountability, Rwanda (Evaluation, Scale) -- Chapter 10: Case Study: High Resolution Development Indicators, Afghanistan (Evaluation, Scale) -- Chapter 11: Case Study: Monitoring For Elections And Public Service Delivery, Kenya (Evaluation, Scale) -- Part IV: Energy and Resources -- Chapter 12: Advances in Energy & Environmental Technologies -- Chapter 13: Case Study: Economic Impacts Of Rural Electrification, Kenya (Evaluation, Scale) -- Chapter 14: Case Study: Cool Joule: Flexible Energy Loads, Nicaragua (Innovation, Evaluation) -- Chapter 15: Case Study: Cookstove Monitoring and Use In East Africa (Innovation, Evaluation) -- Part V: Information -- Chapter 16: Information and Communications Technology For Development -- Chapter 17: Case Study: Community Cellular Networks, Philippines (Innovation, Evaluation) -- Chapter 18: Case Study: ICT Solutions To Bring Telemedicine To Rural India (Innovation) -- Chapter 19: Case Study: Platforms For Development Data (ODK/Mezuri) (Innovation, Scale) -- PART VI: Markets (Incorporates Agriculture) -- Chapter 20: Technologies To Improve Market Performance -- Chapter 21: Case Study: Ag Market Information Platforms, India (Innovation, Evaluation, Scale) -- Chapter 22: Case Study: Agricultural Trading Platforms, Uganda (Innovation, Evaluation) -- Chapter 23: Case Study: Inventory And Supply Chain Tracking, Sri Lanka (Evaluation) -- PART VII: Human Capital (Incorporates Labor) -- Chapter 24: Increasing the Productivity of Human Capital -- Chapter 25: Case Study: Electronic Job Search Platforms, India (Evaluation, Scale) -- Chapter 26: Case Study: Customized E-Learning Innovations, India (Evaluation) -- Chapter 27: Case Study: TBD (Evaluation) -- PART VIII: Conclusion -- Chapter 28: Promising Directions in Development Engineering.…”
Link to Metadata

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

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata