Arama Sonuçları - Porur~

Immediate Complete Overdenture - A case report Yazar: Ali Surahman Fatahillah, Michael Josef Kridanto Kamadjaja, Harry Laksono

Connect to this object online.

Pengaruh Inokulasi Mangan Pada Besi Cor Kelabu Terhadap Kekuatan Tarik Yazar: Nugroho, Adi, , Agus Yulianto, ST., MT

Connect to this object online

Global Perspectives on Educational Innovations for Emergency Situations

İçindekiler: “…STEFANIAK) -- Chapter 8 - THE EFFECTS OF COVID-19 ON RURAL SCHOOL COMMUNITIES IN GUYANA: NEW DIRECTIONS OR OLD METHODS RETOOLED (CHARMAINE BISSESSAR) -- Chapter 9 - MOBILE LEARNING FOR EMERGENCY SITUATIONS: FOUR DESIGN CASES FROM LATIN AMERICA (DANIELA CASTELLANOS-REYES, ENILDA ROMERO-HALL, LUCAS VASCONCELOS, BELEN GARCÍA) -- Chapter 10 - BACK TO DESIGN BASICS: REFLECTIONS, CHALLENGES AND ESSENTIALS OF A DESIGNER'S SURVIVAL KIT DURING A PANDEMIC (RITUSHREE CHATTERJEE, DARSHANA JUVALE, LONG HE, LYNN LUNDY EVANS) -- Chapter 11 - OPEN, FLEXIBLE, AND SERVING OTHERS: MEETING NEEDS DURING A PANDEMIC AND BEYOND (VANESSA P. …”
Link to Metadata

KLASIFIKASI PENYAKIT PENGOROK TANAMAN DAUN PADA TANAMAN MANGGIS MENGGUNAKAN METODE GRAY LEVEL CO-OCCURRENCE MATRIX DAN SUPPORT VECTOR MACHINE Yazar: Ramadhani Sheffi Tiara Gultom,

Link Metadata

La culture Shay d'Éthiopie (Xe-XIVe siècles) Yazar: François-Xavier Fauvelle-Aymar, Bertrand Poissonnier (dir.)

DOAB: download the publication
DOAB: description of the publication

D'Augusta Tricastinorum à Saint-Paul-Trois-Châteaux Yazar: Thierry Odiot, Valérie Bel, Michèle Bois (dir.)

DOAB: download the publication
DOAB: description of the publication

Dossier : S'habiller, se déshabiller dans les mondes anciens

DOAB: download the publication
DOAB: description of the publication

Effect of sodium fluoride addition as a disinfectant on some properties of alginate impression material Yazar: Alaa M Hussian, Raghdaa k Jassim

Connect to this object online.

تقييم شبكات الصرف الصحي والمطري وفصل الشبكتين عن بعضهما في المنطقة الصناعية بمدينة طرطوس Yazar: أحمد وزان

Connect to this object online.

Apresentação - Introduction Yazar: RHE Asphe

Connect to this object online.

La democrazia. Educare l'uomo alla libertà dalla nascita Yazar: Sandra Elia

Connect to this object online.

The Philosophy of Beauty of Hegel Yazar: Hanan M. Ali Al-Tai' حنان مجيد علي الطائي

Connect to this object online.

Building Consensus Building on the Concept of Quality Education Yazar: F. Javier Murillo, Ricardo Cuenca

Connect to this object online.

Virtual Subjects of Knowledge: Information Challenges on the Hypertext Yazar: Ana Marcela Mungaray Lagarda

Connect to this object online.

Effect of topical magnesium sulfate on labor duration and childbirth experience: a randomized controlled trial Yazar: Sahar Rouhzendeh, Sanaz Mousavi, Mojgan Mirghafourvand, Sakineh Mohammad-Al

Connect to this object online.

Kantianism for Animals A Radical Kantian Animal Ethic / Yazar: Müller, Nico Dario

İçindekiler: “…-- 6.2 Adopting Another's Ends as Our Own -- 6.3 Kant's Denial of End-Directed Animal Agency -- 6.4 Animal 'Ends': Conceptual, Non-conceptual, 'Obscure' -- References -- 7 Kantianism for Animals: The Framework in Five Claims -- 7.1 Duties from Autonomy -- 7.2 The Primacy of Duties over Rights and Claims -- 7.3 Duties to Self and Others -- 7.4 Practical Love and Non-exaltation -- 7.5 Motives Matter -- References -- Part III Using the Framework -- 8 A Kantian Argument Against Using Animals -- 8.1 'External' Arguments Against Using Animals -- 8.2 A Kantian-for-Animals 'Internal' Argument Against Animal Use -- References -- 9 A Kantian Argument Against Eating Animals -- 9.1 The Philosophical Stalemate Regarding Vegetarianism -- 9.2 A Kantian-for-Animals Argument Against Eating Animals -- References -- 10 A Kantian Argument Against Environmental Destruction -- 10.1 Kant and the Environment: Previous Approaches -- 10.2 A Kantian-for-Animals Perspective on the Environment -- References -- 11 Animal Ethics and the Philosophical Canon: A Proposal -- References -- Index.…”
Link to Metadata

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

İçindekiler: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

AiREAS: Sustainocracy for a Healthy City The Invisible made Visible Phase 1 /

İçindekiler: “…The way things work at AiREAS -- 9.1 The workflow in AiREAS -- 9.2 Financial routine in AiREAS -- 9.3Confidence based interaction -- 9.4 October 2013 general AiREAS participants meeting -- 9.5 Interpreting the ILM data -- 9.6 The transition -- 9.7 Communication -- 9.8 Benchmarking and referencing our practical ideologies -- 9.9 The royalty system -- 9.10 Some of the transformative issues -- 9.11 Conclusion. …”
Link to Metadata

Le rappresentazioni sociali degli insegnanti della scuola secondaria sullo sviluppo sostenibile e sui proprio ruoli nell'ambiente scolastico Yazar: Esoh Elamé, Anne Laure Amilhat-Szary, Lionel Juge

Connect to this object online.

Public Health Implications of Household Pharmaceutical Waste in the United States Yazar: Kevin T. Bain

Connect to this object online.