Search Results - "tree"

ANALISIS DAN USULAN PERBAIKAN SISTEM MANAJEMEN KESELAMATAN DAN KESEHATAN KERJA DENGAN METODE HIRARC DAN FTA PADA PT POLA GONDOLA ADIPERKASA by Muhamad Noval Prabowo,

Link Metadata

ANALISIS MINAT KONSUMEN PADA PRODUK CV JAKARTA POWDER DRINK DENGAN MENGGUNAKAN METODE ASOSIASI ALGORITMA FP GROWTH by Novia Febrianty,

Link Metadata

ANALISIS PENGENDALIAN KUALITAS PROSES ASSEMBLY ENGINE B MENGGUNAKAN METODE SIX SIGMA DMAIC DI PT XYZ by Toby Fatwa Pratama,

Link Metadata

PENERAPAN LEAN WAREHOUSE PADA PROSES UNLOADING DAN LOADING DENGAN PENDEKATAN LEAN SUPPLY CHAIN by Agung Adi Sutarman,

Link Metadata

PENGARUH CITRA MEREK KOPI KENANGAN TERHADAP KEPUTUSAN PEMBELIAN PRODUK OLEH KONSUMEN(Survei pada followers Instagram Kopi Kenangan) by Rida Nur Pratiwi,

Link Metadata

The Power of Energy Justice & the Social Contract

Link to Metadata

Seismic hazard map of Southern Thailand by Chinda Sutiwanich

Get full text

Cost-utility evaluation of influenza vaccination in patients with existing cardiovascular diseases in Thailand by Pongphaya Choosakulchart

Get full text

EFEKTIVITAS PENGGUNAAN MODEL PEMBELAJARAN JERAT PALANG PADA MATA PELAJARAN PENDIDIKAN KEWARGANEGARAAN DALAM MENINGKATKAN KEMAMPUAN MENGEMUKAKAN PENDAPAT SISWA : Studi Kasus di SM... by Ulfah, E. Maria

Link Metadata

KAJIAN RUANG TERBUKA HIJAU DAN PEMENUHAN KEBUTUHAN OKSIGEN DI KAMPUS UNIVERSITAS PENDIDIKAN INDONESIA (UPI) BANDUNG by Sahid, -

Link Metadata

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
Link to Metadata

The Crystal Ball Instruction Manual by Davies, Stephen

Table of Contents: “…1 Introduction -- 2 A trip to Jupyter -- 3 Three kinds of atomic data -- 4 Memory pictures -- 5 Calculations -- 6 Scales of measure -- 7 Three kinds of aggregate data -- 8 Arrays in Python (1 of 2) -- 9 Arrays in Python (2 of 2) -- 10 Interpreting Data -- 11 Assoc. arrays in Python (1 of 3) -- 12 Assoc. arrays in Python (2 of 3) -- 13 Assoc. arrays in Python (3 of 3) -- 14 Loops -- 15 EDA: univariate -- 16 Tables in Python (1 of 3) -- 17 Tables in Python (2 of 3) -- 18 Tables in Python (3 of 3) -- 19 EDA: bivariate (1 of 2) -- 20 EDA: bivariate (2 of 2) -- 21 Branching -- 22 Functions (1 of 2) -- 23 Functions (2 of 2) -- 24 Recoding and transforming -- 25 Machine Learning: concepts -- 26 Classification: concepts -- 27 Decision trees (1 of 2) -- 28 Decision trees (2 of 2) -- 29 Evaluating a classifier…”
Access online version

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Speciesism in Biology and Culture How Human Exceptionalism is Pushing Planetary Boundaries /

Table of Contents: “…Science Without Species: Doing Science With Tree-Thinking -- Part II. Culture and History -- Chapter 4. …”
Link to Metadata

Safety in the Digital Age Sociotechnical Perspectives on Algorithms and Machine Learning /

Table of Contents: “…Considering Severity of Safety-Critical System Outcomes in Risk Analysis: An Extension of Fault-Tree Analysis -- 7. Are we going towards "no-brainer" safety management? …”
Link to 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

Friendship Across the Seas The US Navy and the Japan Maritime Self-Defense Force / by Agawa, Naoyuki

Table of Contents: “…The US Navy's War Generation -- Chapter 8.A Dogwood in Etajima, a Cherry Tree in Annapolis -- Chapter 9. Minesweepers Crossing the Sea Again -- Chapter 10. …”
Link to Metadata

La hora del cuento en español by Rojas-Primus, Constanza, Rodríguez, Sofía

Table of Contents: “…-- Ema the Dancer -- The Apple Tree -- Home Sweet Home -- The Girl with the Kite -- Información biográfica/Biographical information…”
Access online version

Pilgrimage and Ambiguity: Sharing the Sacred by Manoël Pénicaud

DOAB: download the publication
DOAB: description of the publication

Cost-effectiveness of surgical mask, N-95 respirator, hand-hygiene and surgical mask with hand hygiene in the prevention of COVID-19: Cost effectiveness analysis from Indian contex... by Bhavani Shankara Bagepally, Madhumitha Haridoss, Meenakumari Natarajan, Kathiresan Jeyashree, Manickam Ponnaiah

Connect to this object online.