Search Results - "tree"

EFEKTIVITAS KELOMPOK SWADAYA MASYARAKAT SAHABAT LINGKUNGAN TERHADAP KEWARGANEGARAAN EKOLOGIS MELALUI PROGRAM TPS 3R (Studi Kasus Pada TPS 3R Baraya Runtah di Kabupeten Karawang) by Nur Pitri Arisandi, -

Link Metadata

PENGETAHUAN LOKAL MENGENAI BOTANI DALAM PERIBAHASA BAHASA INDONESIA YANG BERKAITAN DENGAN TUMBUHAN (KAJIAN ANTROPOLINGUISTIK) by Harja, Resa Sindi

Link Metadata

PENGEMBANGAN EKOWISATA DI BUMI PERKEMAHAN KIARA PAYUNG KECAMATAN SUKASARI KABUPATEN SUMEDANG by Zakiah, Siti

Link Metadata

NATURE AFFECTION : Alam dan Manusia sebagai Gagasan dalam Berkarya Drawing dengan Menggunakan Media Cat Air by Nufus, Alima Hayatun

Link Metadata

EVALUASI PEMENUHAN STANDAR TINGKAT KEBISINGAN RUANG KELAS DI SMPN 23 BANDUNG by Metawati, Nur

Link Metadata

Anisotropy Across Fields and Scales

Table of Contents: “…Tensor approximation for multidimensional and multivariate data -- Tensor field topology without symmetrization using Hermitian tensors -- Continuous histograms for Anisotropy of 2D symmetric piece-wise linear tensor fields -- Riemann-DTI geodesic tractography revisited -- Fourth-order anisotropic diffusion for inpainting and image compression -- Advanced deep learning for processing orientation-dependent diffusion magnetic resonance imaging data - A review -- On the variance measure of diffusion tensors in two dimensions -- Magnetic resonance assessment of effective confinement anisotropy with powder-averaged single and double diffusion encoding -- Merge trees, neutral surfaces, and tensor field topology -- Asymmetric tensor analysis -- Anisotropy issues in shape-based object analysis -- Tractogram filtering -- Multispectral image processing in astronomy -- Anisotropy in the human placenta in pregnancies complicated by fetal growth restriction -- The case for spatially homogeneous models in high gradient strength diffusion-weighted MRI: A position paper on the potential applicability of stochastic geometry.…”
Link to Metadata

Forest Entomology and Pathology Volume 1: Entomology /

Table of Contents: “…Section II: Categories of Insects that Damage Trees -- 9. Foliage Feeders -- 10. Bark Beetles -- 11. …”
Link to Metadata

Introduction to Permaculture by Millison, Andrew

Table of Contents: “…Section 4 - Climates -- 20. Soil -- 21. Trees -- 22. Shelter -- 23. Food -- 24. Water -- 25. …”
Access online version

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme /

Table of Contents: “…I.Hendrickx, G.Bouma, W.Daelemans and V.Hoste -- 8.Automatic Tree Matching for Analysing Semantic Similarity in Comparable Text. …”
Link to Metadata

ID001 Análise de custo-efetividade do Cateter Central de Inserção Periférica (PICC), com tecnologia de confirmação eletromagnética intracavitária na perspectiva da saúde suplementa... by Renê Brandão, Elen Prado, Lilian Reinaldi, Roberto Carlos Lyra, Antonio Peregrino

Connect to this object online.

Análise de custos da atenção hospitalar a recém-nascidos de risco: uma comparação entre Unidade Intermediária Convencional e Unidade Canguru Análisis de los costes de la at... by Cynthia Magluta, Rosângela Caetano, Márcia Pinto, Maria Auxiliadora de Sousa Mendes Gomes, Aline Piovezan Entringer, Zeni Carvalho Lamy

Connect to this object online.

PROGRAM PELATIHAN PENGELOLAAN DIRI (SELF-MANAGEMENT) DENGAN TEKNIK KOGNITIF UNTUK MAHASISWA (Kuasi Eksperimen pada Mahasiswa UPI Kampus Serang TA. 2012/2013 dan 2013/2014 ) by Chudari, Ima Ni'mah

Link Metadata

SIMULASI PEMBUATAN PAKAN SIDAT DENGAN ALTERNATIF DAUN KELOR DAN DEDAK PADI by Robby Nur Hidayat, -

Link Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Discrete Mathematics An Open Introduction by Levin, Oscar

Table of Contents: “…-- 0.2 Mathematical Statements -- 0.3 Sets -- 1 Counting -- 1.1 Additive and Multiplicative Principles -- 1.2 Binomial Coefficients -- 1.3 Combinations and Permutations -- 1.4 Combinatorial Proofs -- 1.5 Stars and Bars -- 1.6 Advanced Counting Using PIE -- 1.7 Chapter Summary -- 2 Sequences -- 2.1 Definitions -- 2.2 Arithmetic and Geometric Sequences -- 2.3 Polynomial Fitting -- 2.4 Solving Recurrence Relations -- 2.5 Induction -- 2.6 Chapter Summary -- 3 Symbolic Logic and Proofs -- 3.1 Propositional Logic -- 3.2 Proofs -- 3.3 Chapter Summary -- 4 Graph Theory -- 4.1 Definitions -- 4.2 Trees -- 4.3 Planar Graphs -- 4.4 Coloring -- 4.5 Euler Paths and Circuits -- 4.6 Matching in Bipartite Graphs -- 4.7 Chapter Summary -- 5 Additional Topics -- 5.1 Generating Functions -- 5.2 Introduction to Number Theory…”
Access online version

Perfil clínico e microbiológico de mulheres com vaginose bacteriana Clinical and microbiological profile of women with bacterial vaginosis by Sonia Regina Ribeiro de Figueiredo Leite, Melania Maria Ramos de Amorim, Waldylene Barbosa Calábria, Tessália Natasha de Figueiredo Leite, Viviane Santos de Oliveira, José Alfredo Alves Ferreira Júnior, Ricardo Arraes de Alencar Ximenes

Connect to this object online.

TRADISI HAJAT LEMBUR AMPIH PARE DI KECAMATAN SITURAJA KABUPATEN SUMEDANG DAN PEMANFAATANNYA UNTUK MEMBUAT MODEL PELESTARIAN TRADISI LISAN PADA MASYARAKAT by Sulasyati, E.

Link Metadata

Improving emergency treatment for patients with acute stroke: the PEARS research programme, including the PASTA cluster RCT by Christopher I Price, Phil White, Joyce Balami, Nawaraj Bhattarai, Diarmuid Coughlan, Catherine Exley, Darren Flynn, Kristoffer Halvorsrud, Joanne Lally, Peter McMeekin, Lisa Shaw, Helen Snooks, Luke Vale, Alan Watkins, Gary A Ford

Connect to this object online.

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

Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata