Search Results - Ohey~

When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /

Table of Contents: “…Shaping digital tools, equipping children drawings (Dominique Vinck, Pierre-Nicolas Oberhauser) -- Chapter 15. An innovative open-access database: "Drawings of gods" ( Olga Serbaeva) -- Chapter 16. …”
Link to 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

Critical Issues in Head and Neck Oncology Key Concepts from the Eighth THNO Meeting /

Table of Contents: “…The gut microbiota and anticancer immunotherapy, Laurence Zitvogel -- The bidirectional communication between tumor cells and other components of the tumor microenvironment, Phil Sloan -- Resistance mechanisms in immune checkpoint inhibitors and radiotherapy and how to overcome this, Kirsten Lauber -- DNA repair mechanisms as a new target in head and neck cancer, Kevin Harrington -- How to standardize molecular profiling programs for routine patient care, Ingeborg Tinhofer -- Novel immune oncology targets beyond PD-1/PD-L1 in head and neck cancer, Christophe Le Tourneau -- Analytic methods to understand head and neck cancer evolution to guide therapeutic approaches, Ben O'Leary -- Clinical cases, Jean Pascal Machiels -- Updates from the European Head & Neck Society (EHNS), Wojciech Golusinski (President of EHNS) Section 2: Primary disease Piero Nicolai -- Sensitivity and specificity of extranodal extension in SCCHN: unlocking the strongest prognostic factor in head and neck cancer, Brian O'Sullivan -- From photon to proton: what's in it for head and neck cancer patients?…”
Link to Metadata

Cloud-Based Remote Sensing with Google Earth Engine Fundamentals and Applications /

Table of Contents: “…Zonal Statistics -- 25. Advanced Vector Operations -- 26. GEEDiT - Digitizing From Satellite Imagery -- Part 6: Advanced Topics -- 27. …”
Link to Metadata

Migrations in the Mediterranean IMISCOE Regional Reader /

Table of Contents: “…Migration across the Mediterranean: Shaping Italy-Libya relations over time -- Chapter 5. (Im-)Mobility Partnerships: Challenges to EU Democracy Promotion through Mobility in the Mediterranean -- Chapter 6. …”
Link to Metadata

Handbook of Life Course Health Development

Table of Contents: “…Early in the Life Course: Time for Obesity Prevention -- Chapter 10. Pediatric Type 2 Diabetes: Prevention and Treatment through a Life Course Health-Development Framework -- Chapter 11. …”
Link to Metadata

History Education and Conflict Transformation Social Psychological Theories, History Teaching and Reconciliation /

Table of Contents: “…Formal and Non-formal Reform Efforts of History Teaching in Cyprus: Openings and Closures for Dangerous Memories and Reconciliation Pedagogies; Michalinos Zembylas & Hakan Karahasan -- Chapter 14. …”
Link to Metadata

Geographies of the University

Table of Contents: “…Schwinges) -- Chapter 3: Scientific and Cultural Relations between Heidelberg University and Hungary over Five Centuries (Peter Meusburger) -- Chapter 4: Catchment Areas and Killing Fields: Towards an Academic Geography of the Thirty Years' War (Howard Hotson) -- Chapter 5: A Political Geography of University Foundation: The Case of the Danish Monarchy (Hanne Kirstine Adriansen) -- Chapter 6: 'A Small Town of Character': Locating a New Scottish University, 1963 - 1965 (Michael Heffernan) -- Part II: Spaces and Governance of Knowledge, Research and Education -- Chapter 7: Knowledge Environments at Universities. …”
Link to Metadata

<i>Dirofilaria repens</i> in a Pediatric Patient-First Case Report from Switzerland by Rose Rose, Kleitsch Kleitsch, Born Born, Heye Heye

Connect to this object online.

Risk behaviors contributing to recent serious unintentional injuries among school-going adolescent boys in Kolkata: Application of zero-inflated count model by Arup Chakraborty, Arista Lahiri

Connect to this object online.

PEDAGOGICAL SUPPORT OF GIFTED STUDENTS FROM CARPATHIAN MOUNTAIN AREAS BY MEANS OF FOLK ART CRAFTS by Iryna Kozlovska, Oksana Bilyk, Yuriy Kozlovsky

Connect to this object online.

Spectrophotometric and spectrofluorimetric methods for the determination of saxagliptin and vildagliptin in bulk and pharmaceutical preparations by Marwa S. Moneeb

Connect to this object online.

HUBUNGAN DISIPLIN KERJA DENGAN KINERJA PERAWAT DI RUANG RAWAT INAP RSUP DR. SITANALA TANGERANG by Nabilla Adyatrin,

Link Metadata

Molecular epidemiology of HIV-1 infection in Cyprus: onward transmission is predominantly driven by young adults by Andrea-Clemencia, Kristof Theys, Johana Hezka, Ioanna Kousiappa, Maria Andreou, Ioannis Demetriades, Ana Barroso Abecasis, Leondios G. Kostrikis

Connect to this object online.

INTERNALISASI NILAI KETAATAN PADA SANTRI DI PONDOK PESANTREN ALQURAN AL-FALAH II NAGREG KABUPATEN BANDUNG by Suwarna, Acep

Link Metadata

On freedman equation and the shape of our universe by S Kalimuthu

Connect to this object online.

Hubungan Antara Pengetahuan Dan Sikap Dengan Kepatuhan Diit Diabetes Mellitus (DM) Pada Lanjut Usia (Lansia) Di Kelurahan Gayam Kecamatan Sukoharjo by NOVITASARI, RETNANINGTYAS, , Agus Sudaryanto, S.Kep., Ns., M.Kes, , Dian Nur W, S.Kep., Ns

Connect to this object online

The Future European Energy System Renewable Energy, Flexibility Options and Technological Progress /

Table of Contents: “…(Ulrich Reiter and Martin Jakob) -- Chapter 9 - A Techno-Economic Comparison of Demand Side Management with Other Flexibility Options (Theresa Ladwig) -- Part IV: Flexibility Options in the Electricity and Heating Sector -- Chapter 10 - Optimal Energy Portfolios in the Electricity Sector: Trade-offs and Interplay between Different Flexibility Options ( Steffi Schreiber, Christoph Zöphel and Dominik Möst ) -- Chapter 11 - Impact of Electricity Market Designs on Investments in Flexibility Options ( Christoph Fraunholz, Dogan Keles and Wolf Fichtner ) -- Chapter 12 - Optimal Energy Portfolios in the Heating Sector and the Flexibility Potential of Combined-Heat-Power Plants and District Heating Systems ( Maciej Raczyński, Artur Wyrwa, Marcin Pluta and Wojciech Suwała ) -- Part V : Analysis of the Environmental and Socio-Impacts beyond the Greenhouse Gas Emission Reduction Targets -- Chapter 13 - Unintended Environmental Impacts at Local and Global Scale - Trade-offs of a Low-carbon Electricity System (Maryegli Fuss and Lei Xu).…”
Link to Metadata

Interlocal Adaptations to Climate Change in East and Southeast Asia Sharing Lessons of Agriculture, Disaster Risk Reduction, and Resource Management /

Table of Contents: “…Climate Change Adaptation in Fisheries Livelihoods Associated with Mangrove Forests in Xuan Thuy National Park, Vietnam: A case study in Giao An Commune, Giao Thuy District, Nam Dinh Province (Thu Nguyen Hoai) -- 8. …”
Link to Metadata