PENGARUH REVITALISASI PRODUK WISATA TERHADAP PREFERENSI MENGUNJUNGI LEMBAH BOUGENVILLE RESORT: Survei pada Wisatawan Pengunjung Lembah Bougenville Resort Kecamatan Lembang Kabupate... by Kariza Devia Gantini, -

Link Metadata

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

Table of Contents: “…-- 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

Pretoria Student Law Review 2020-14-2

DOAB: download the publication
DOAB: description of the publication

PERKEMBANGAN ISLAM DI KOREA SELATAN (1950-2006) by Nurmalasari, Siska

Link Metadata

PENGARUH KUALITAS PRODUK, HARGA, PROMOSI DAN DAYA JUAL KEMBALI TERHADAP KEPUTUSAN PEMBELIAN KENDARAAN BERMOTOR YAMAHA MIO DI SURAKARTA by MEGANTORO, YOGA

Connect to this object online

PENGARUH PERMAINAN TRADISIONAL LOMPAT TALI KARET TERHADAP KETERAMPILAN LOMPAT TINGGI SISWA KELAS V SEKOLAH DASAR NEGERI SEPATAN II by Balqis Laillisa, -

Link Metadata

PENERAPAN MODEL BELAJAR KONSTRUKTIVISME UNTUK MENINGKATKAN HASIL BELAJAR SISWA PADA MATERI MEMPERBAIKI SISTEM PENGAMAN KELISTRIKAN DAN KOMPONENNYA DI SMKN 1 TANGGEUNG KABUPATEN CIA... by Aditya Mahatma Yodha, -

Link Metadata

PENGEMBANGAN MULTIMEDIA INTERAKTIF PADA MATA PELAJARAN PROJEK KREATIF DAN KEWIRAUSAHAAN KONSENTRASI KEAHLIAN DPIB DI SMK NEGERI 2 GARUT by Melani Komalasari, -

Link Metadata

MODEL PEMBELAJARAN AL-QUR`ᾹN AL-ḤADĪŚ DI MADRASAH ALIYAH NEGERI 1 KOTA BANDUNG by Nadhifa, Hilma Ridla

Link Metadata

PENGEMBANGAN MEDIA PEMBELAJARAN BERBASIS WEBSITE "MARKIBA" SEBAGAI UPAYA MENINGKATKAN KEMAMPUAN MEMBACA SISWA KELAS I SEKOLAH DASAR: Penelitian Desain dan Pengembangan pada Pembela... by Tesalonika Br Nainggolan, -

Link Metadata

ANALISIS PENGGUNAAN GAME EDUKASI WORDWALL PADA PELAJARAN IPS KONTEN PEMANFAATAN SUMBER DAYA ALAM DAERAH PEGUNUNGAN TERHADAP KEMAMPUAN PEMECAHAN MASALAH SISWA KELAS IV SD: Penelitia... by Elis Rina Nuraeni, -

Link Metadata

PEMBELAJARAN TARI KREATIF UNTUK MENINGKATKAN PEMAHAMAN CINTA LINGKUNGAN PADA ANAK USIA DINI by Yulianti, Ratna

Link Metadata

STUDI FAKTOR-FAKTOR YANG MEMPENGARUHI HASIL BELAJAR MAHASISWA PADA MATA KULIAH KONSTRUKSI BANGUNAN II PRODI PENDIDIKAN TEKNIK BANGUNAN - JPTS FPTK UPI by Anugerah, Dinda Septiandina

Link Metadata

KESALAHAN PENGGUNAAN TANDA BACA TITIK DAN KOMA DALAM KARANGAN NARASI SISWA KELAS V SDN 3 NAGARAWANGI by NURJANAH, Enung Siti

Link Metadata

Studi Leksikografi Kamus Dwibahasa Arab-Indonesia dan Penggunaannya pada Mahasiswa Jurusan Pendidikan Bahasa Arab FPBS-UPI Tahun Ajaran 2013-2014 by rustandi, encep

Link Metadata

UPAYA WIDYAISWARA DALAM MENINGKATKAN KINERJA PLKB MELALUI PELATIHAN REFRESHING DI BALAI PELATIHAN by Risbandi, Riski

Link Metadata

UPAYA MENINGKATKAN KEMAMPUAN KOSAKATA BAHASA SUNDA ANAK MELALUI METODE BERCERITA DENGAN MEDIA WAYANG GOLEK by Safa'ah, Eneng Reni

Link Metadata

PENERAPAN METODE COOPERATIVE LEARNING TIPE NUMBERED HEADS TOGETHER (NHT) UNTUK MENUMBUHKAN KECERDASAN INTERPERSONAL SISWA DALAM PEMBELAJARAN IPS by Ardina, Putri

Link Metadata

SOLIDARITAS PADA KELOMPOK PELAJAR DALAM MEMPENGARUHI PERILAKU TAWURAN : Studi Kasus pada Tawuran antar Pelajar Sekolah Menengah Kejuruan di Kabupaten Sukabumi Wilayah Utara by Rahmawati, Rizky Amalia

Link Metadata

EFEKTIVITAS TEKNIK MEJA BUNDAR (ROUND TABLE) DALAM PEMBELAJARAN MENULIS CERITA PENDEK: Studi Eksperimen Kuasi Terhadap Siswa Kelas VII MTs Assobandiyyah Sukabumi Tahun Ajaran 2013/... by Fatonah, Irna Nurul

Link Metadata