Search Results - "syntax"

CAN THE IMPLEMENTATION OF MULTIPLE INTELLIGENCES THEORY AFFECT STUDENTS' SPEAKING SKILLS? by Rizky Suci Mariam, -

Link Metadata

PENERAPAN TEKNIK SKIPPING POLA HORIZONTAL DALAM PEMBELAJARAN MEMBACA CEPAT TEKS EKSPOSISI by Enamia Pelawi, -

Link Metadata

ANALISIS 3 (TIGA) SKRIPSI PEMBELAJARAN TARI KREATIF TERHADAP KECERDASAN MAJEMUK ANAK USIA 5-6 TAHUN by Candra, -

Link Metadata

PENERAPAN MODEL PEMBELAJARAN KOOPERATIF TIPE MAKE A MATCH TERHADAP PENINGKATAN KEMAMPUAN KOGNITIF MATERI KLASIFIKASI MAKHLUK HIDUP PADA SISWA SMP by Syifa Suci Anggriyani, -

Link Metadata

KESENJANGAN FAKTOR BAHASA DAN FAKTOR BUDAYA DALAM PENGAJARAN BAHASA INDONESIA SEBAGAI BAHASA INGGRIS : Kajian analisis Banding Dan Analisis kesalahan Dalam Pengajaran Bahasa Indone... by Sachri Ramdhan, -

Link Metadata

PENGEMBANGAN STRATEGI PEMBELAJARAN INTERTEKSTUAL DENGAN POE PADA SUBMATERI HUKUM LAJU REAKSI YANG BERPOTENSI MENINGKATKAN PENGUASAAN KONSEP DAN KETERAMPILAN PROSES SAINS SISWA by Asep Kurniawan, -

Link Metadata

MODEL PEMBELAJARAN PENDIDIKAN KARAKTER BERBASIS UPACARA RAMBU SOLO' (PURSO) SEBAGAI PENGUATAN SIKAP GOTONG ROYONG SISWA SEKOLAH DASAR by Lutma Ranta Allolinggi, -

Link Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Malayalam A University Course and Reference Grammar . by Moag, Rodney F.

Access online version

Scars of COVID-19: A bibliometric analysis of post-COVID-19 fibrosis by Han Zhong, Yang Zhou, Shu-Ya Mei, Ri Tang, Jin-Hua Feng, Zheng-Yu He, Qiao-Yi Xu, Shun-Peng Xing

Connect to this object online.

Cognitive-Code Learning Theory and Foreign Language Learning Relations by Mehmet Demirezen

Connect to this object online.

Hasil Kajian Sintaksis Novel Selamat Tinggal Karya Tere Liye sebagai Bahan Ajar Mata Pelajaran Bahasa Indonesia by Fathia Rosyida, Sutrimah Sutrimah, Garwati Garwati

Connect to this object online.

當原住民與漢人在教室相遇：不同族群背景的教師與幼兒在教室之言談 Aboriginal and Han People in Classrooms: Discourse Styles between Teachers and by 李萍娜 Pyng-Na Lee, 林聖曦 Sheng-Hsi Lin

Connect to this object online.

PENGEMBANGAN LEMBAR KERJA SISWA BERBASIS PREDICT-OBSERVE-EXPLAIN (POE) DENGAN METODE DEMONSTRASI PADA MATERI PEMANASAN GLOBAL by Oktami, Nadia Rahayu

Link Metadata

PENGARUH MODEL PEMBELAJARAN BERBASIS PROYEK TERHADAP KEMAMPUAN LITERASI SAINS SISWA SMP PADA TOPIK INTERAKSI MAKHLUK HIDUP DENGAN LINGKUNGAN by Sari, Lisna Kurnia

Link Metadata

PENERAPAN PRAKTIKUM BERBASIS PREDICT-OBSERVE-EXPLAIN-EXPLORE (POEE) UNTUK MENINGKATKAN KETERAMPILAN PROSES SAINS SISWA SMA MATERI PENCEMARAN AIR by Fikriyanti, Ajfa Amaliah

Link Metadata

PROFIL KETERAMPILAN PROSES SAINS (KPS) SISWA SMA MELALUI PEMBELAJARAN BERBASIS GUIDED INQUIRY PADA KONSEP TERMOREGULASI by Islami, Tiara Fitria

Link Metadata

PENERAPAN MODEL PEMBELAJARAN MODIFIED PRODUCTION BASED TRAINING PADA KOMPETENSI DASAR PENGEMBANGAN PRODUK OLAHAN SEREALIA DI SMKN 1 KUNINGAN by Alvina, Nur Agni

Link Metadata

EFEKTIVITAS PENERAPAN PROJECT BASED LEARNING PADA KOMPETENSI PEMBENTUKAN BODI OTOMOTIF DI SMK by Gunawan, Indra Arya

Link Metadata

PENERAPAN MODEL PEMBELAJARAN DISCOVERY LEARNING DENGAN BANTUAN LEMBAR KERJA SISWA PADA KOMPETENSI DASAR MENERAPKAN DASAR PENGAWETAN DI SMK NEGERI 2 CILAKU-CIANJUR by Novitasari, Ani

Link Metadata