Search Results - Virasat~

<p>Perawatan ortodonti kamuflase pada maloklusi kelas III skeletal dengan gigitan terbuka anterior</p><p>Orthodontic camouflage of skeletal class III malocclusion with an anterior... by William Suryajaya, Haru Setyo Anggani

Connect to this object online.

<p>Penatalaksanaan diskolorisasi gigi pasca perawatan endodontik dengan teknik walking bleach</p><p>Management of post-endodontic tooth discolouration with the walking bleach techn... by Megafuri Chaya, Opik Taofik Hidayat

Connect to this object online.

An Empirical analysis of structural models of Thai corporate bonds by Asawin Wongweerawit

Get full text

Cross-linking of gelatin using plant phenolics for gelatin fabrication by Tharittri Pornpitchaya

Get full text

Gumbling behavior in Thai stock market by Atchara Yomsin

Get full text

Thixotropic behavior of phpa mud system for managed pressure drilling by Eakarin Wachirapanyanukul

Get full text

PELIBATAN ORANG TUA DALAM KEGIATAN SOSIALISASI PENCEGAHAN PENYAKIT DIFTERI PADA AUD MELALUI VAKSINASI DPT (STUDI DESKRIPTIF DI TK NURJIHAD 1 CILEUNGSI) by Saffanatun Hasna, -

Link Metadata

DURABILITAS BETON DENGAN SUBTITUSI SEBAGIAN SEMEN DENGAN ABU SEKAM PADI by Oktaria, Tika

Link Metadata

<p>Protesa obturator definitif resin akrilik pada pasien systemic lupus erythematosus (SLE) pasca maksilektomi</p><p>Acrylic resin definitive obturator prosthesis in systemic lupus... by Pramudya Aditama, Erwan Sugiatno, Murti Indrastuti, Endang Wahyuningtyas

Connect to this object online.

FAKTOR-FAKTOR YANG BERHUBUNGAN DENGAN KEJADIAN BAYI BERAT LAHIR RENDAH DI RS. MUHAMMADIYAH PALEMBANG by Susmita Susmita

Connect to this object online.

Cost of informed based trading, liquidity and trader type: Evidence from set by Worapong Janyangyuen

Connect to this object online.

Walk rate prediction for slimhole driling in the gulf of Thailand by Dararat Amponpun

Get full text

REHABILITASI PECANDU NARKOTIK MELALUI PENDEKATAN KEAGAMAAN: Studi Kasus Di Pondok Inabah I Pondok Pesantren Suryalaya by Padmawidjaja, Rusyai

Link Metadata

Temperature survey and microbial quality of chicken sausages during storage distribution in cold chain by Ashadi Bin Yaacob

Get full text

Co-expression of nectin-4 receptor and canine distemper viral antigen in naturally infected dogs by Watanyoo Pratakpiriya

Get full text

PENGEMBANGAN GREEN BEHAVIOUR MELALUI BABASAN PARIBASA SUNDA DALAM PEMBELAJARAN IPS : Penelitian Tindakan Kelas di SMP Negeri 44 Bandung by Vanya, Annisa Roza

Link Metadata

PENGEMBANGAN GREEN BEHAVIOUR MELALUI BABASAN PARIBASA SUNDA DALAM PEMBELAJARAN IPS : Penelitian Tindakan Kelas di SMP Negeri 44 Bandung by Vanya, Annisa Roza

Link Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Product development of pasteurized ready-to-cook marinated white shrimp Litopenaeus vannamei in green curry paste by Mohamed, Nor Salasiah Binti

Get full text

Anterior makeover on fractured teeth by simple composite resin restoration by Eric Priyo Prasetyo

Connect to this object online.