Search Results - godling~

PERBANDINGAN METODE LATIHAN PEREGANGAN DAN JENIS KELAMIN UNTUK MENINGKATKAN KELENTUKAN PADA PELAKU OLAHRAGA DI MOOJA FITNESS CENTER by Suarsana Dwi Payana, -

Link Metadata

PENAMBAHAN TEPUNG UDANG REBON TERHADAP UJI ORGANOLEPTIK BAKSO IKAN BANDENG (Chanos chanos) ADDITION OF REBON SHRIMP FLOUR TO ORGANOLEPTIC TEST OF MILKFISH MEATBALLS (Chanos chanos) by Fithri Nur'aini, -

Link Metadata

Peroxide alkaline for cleansing the baby bottle nipple to prevent oral thrush relaps by Maharani Laillyza Apriasari

Connect to this object online.

Balanced Urban Development: Options and Strategies for Liveable Cities

Link to Metadata

Agua potable un derecho de la humanidad: características fisicoquímicas, bacterias y metales pesados by Castillo, Eveling

DOAB: download the publication
DOAB: description of the publication

Effect of bimodal silica-alumina-supported metallocene catalyst for ethylene/α-olefin copolymerization by Pongsathorn Wongwaiwattanakul

Get full text

Biohydrogen production from synthetic wastewater in anaerobic sequencing batch reactors by Hannarong Neramitsuk

Connect to this object online.

Effect of molecular size on the activity coefficient of glycols in aqueous solution by Parnkamol Prucksunand

Connect to this object online.

"Patung Media Kertas Seniman Legendaris Jawa Barat : patung tokoh seniman Popo Iskandar, Barli Sasmitawinata, Ibing Kusmayatna, Darso dan Asep Sunandar Sunarya " by Ramdhani, Yusuf

Link Metadata

PENGEMBANGAN LEMBAR KERJA SISWA PRAKTIKUM INKUIRI TERBIMBING REAKSI TRANSESTERIFIKASI PADA KONTEKS PEMBUATAN BIODIESEL by Nurhayati, Mita

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

Effect of using preserved homologous prostatic fluid as flushing and thawing medium on canine epididymal sperm characteristics during freezing-thawing process by Sitanant Karalak

Get full text

PENINGKATAN KEMAMPUAN MOTORIK HALUS MELALUI KEGIATAN MERONCE MANIK-MANIK PADA ANAK TUNAGRAHITA SEDANG KELAS IV DI SLB C SUMBERSARI BANDUNG by Muchlisah, Anugerah

Link Metadata

Comparison of self-care behavior between HIV/AIDS infected and non-infected mothers by Nonglak Khamsawarde

Get full text

Evaluación del pH dentinario luego de la aplicación del hidróxido de calcio como medicación entre sesiones durante el tratamiento endodóntico y el retratamiento pH changes in... by Fernando Goldberg, Santiago Frajlich, Silvia Giarratana

Connect to this object online.

Modification of cellulose-supported zirconocene catalyst with boron and gallium for ethylene copolymerization by Chatuma Suttivitnarubet

Get full text

Synthesis of nanosized zeolite beta for plastic conversion to gasoline by Thidarat Kunawong

Get full text

EFEKTIVITAS MEWARNAI GAMBAR BENTUK GEOMETRI DALAM MENGURANGI PERILAKU MENGISAP JARI: Penelitian Eksperimen Single Subject Research Pada Peserta Didik Cerebral Palsy Athetoid Di SLB... by Wibawati, Eli

Link Metadata

Development of emulgel containing Allium Ascalonicum extract for cosmetic applications by Wirut Jitphongsaikul

Get full text

Gasoline preparation from polypropylene waste using MCM-22 zeolites as catalyst by Narumol Kerdsa

Connect to this object online.