Search Results - "Magic!"

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

Reimagining Science Education in the Anthropocene, Volume 2

Table of Contents: “…Chapter 1 Introduction: To Be More Relevant the Field of Science Education Needs to Be Less Relevant -- Part I Kinship, Magic, and the Unthinkable -- Chapter 2 Re-thinking Science Education for the Anthropocene -- Chapter 3 What Future Do Young Mozambicans Envision in a Time of Humanitarian and Environmental Crisis? …”
Link to Metadata

The Intelligent Troglodyte’s Guide to Plato’s Republic by Drabkin, Douglas

Table of Contents: “…Book I -- 1 A Religious Festival in the Piraeus -- 2 Being Old -- 3 Treasure for Heaven -- 4 Giving What is Owed -- 5 The Craft of Justice -- 6 Benefiting Friends and Harming Enemies -- 7 The Advantage of the Stronger -- 8 The Good Shepherd -- 9 The Blushing Argument -- 10 Function, Virtue, and the Soul -- Book II -- 11 The Division of Goods -- 12 The Social Contract Theory of Justice -- 13 The Magic Ring -- 14 The Challenge -- 15 The Teaching of Justice -- 16 Glaucon's Lover -- 17 From Souls to Cities -- 18 Making the Most of Differences -- 19 Luxuries in the Just City -- 20 The Good Soldier -- 21 Censoring Homer -- 22 Gods Causing Bad Things -- 23 Gods in Disguise or Speaking Falsely -- Book III -- 24 Fear and Grief -- 25 Laughter and Lying -- 26 Lust, Wrath, and Greed -- 27 Narrative Style and Personal Integrity -- 28 The Emotional Power of Tune and Rhythm -- 29 Love of the Fine and Beautiful -- 30 Physical Training -- 31 Doctors and Judges -- 32 Harmony in the Soul -- 33 Rulers -- 34 The Myth of the Metals -- 35 Private Property and Private Interests -- Book IV -- 36 The City as a Whole -- 37 Lawfulness Internalized, Legislation Minimized -- 38 Wisdom in the City -- 39 Courage in the City -- 40 Temperance in the City -- 41 Justice in the City -- 42 Parts of the Soul ¬¬ Appetitive and Rational -- 43 The Spirited Part of the Soul -- 44 The Virtues of the Soul -- 45 Injustice is Sick -- Book V -- 46 A Desire to Listen -- 47 The Natures of Men and Women -- 48 Good Breeding -- 49 Families and the Saying of “Mine” and “Not Mine” -- 50 The Waging of War -- 51 Philosophers and Knowledge of the Forms -- Book VI -- 52 The Virtues of the Philosopher -- 53 Philosophical Perspective and the Fear of Death -- 54 The Uselessness of Philosophers -- 55 Gifted Students and the Sophists -- 56 Putting Knowledge of the Forms to Use -- 57 The Form of the Good -- 58 Every Soul Pursues the Good -- 59 The Sun -- 60 Degrees of Clarity (The Line) -- Book VII -- 61 The Cave -- 62 Two Kinds of Confusion -- 63 The Craft of Education -- 64 Compulsory Service for Philosophers -- 65 Numbers as Summoners -- 66 Further Mathematical Studies -- 67 Dialectic -- 68 Selecting Students for Philosophy -- 69 Abuses of Refutation -- 70 Completing the Education of the Rulers -- 71 Establishing Justice -- Book VIII -- 72 The Fall of the Aristocratic City -- 73 The Timocratic City -- 74 The Timocratic Soul -- 75 The Oligarchic City -- 76 The Oligarchic Soul -- 77 The Democratic City -- 78 The Democratic Soul -- 79 The Tyrannical City -- Book IX -- 80 Lawless Desires -- 81 The Right Way to Fall Asleep -- 82 The Tyrannical Soul -- 83 The First Proof: Analogy of City and Soul -- 84 The Second Proof: Who's to Say? …”
Access online version

Vivenciando o período puerperal: uma abordagem compreensiva da Fenomenologia Social Vivenciando el período puerperal: un abordaje comprensivo de la Fenomenología Social Experien... by Míriam Aparecida Barbosa Merighi, Roselane Gonçalves, Isabela Granghelli Rodrigues

Connect to this object online.

KESENIAN ANGKLUNG BADUD GRUP RUKUN SAWARGI PADA ACARA GUSARAN DI KABUPATEN PANGANDARAN by Firmansyah, Heddy Yunardi

Link Metadata

PENGEMBANGAN GENIUS HOUR BERBASIS PERSONAL INQUIRY LEARNING DI SEKOLAH DASAR by Aida Fandilah, -

Link Metadata

PROSES PEWARISAN KESENIAN RUDAT DI SANGGAR DANISKA DESA KEMANISAN KOTA SERANG BANTEN by Dandi Musa Al-Gaha P

Link Metadata

Digital Bangladesh: Using Formative Research to Develop Phone Messages for the Prevention and Control of Diabetes in Rural Bangladesh. by Hannah Maria Jennings, Kohenour Akter

Connect to this object online.

KAJIAN STRUKTUR, FUNGSI, DAN NILAI BUDAYA TRADISI SASI (RITUAL PENETAPAN LARANGAN BERDASARKAN ADAT) SUKU MOI PESISIR KABUPATEN SORONG PROVINSI PAPUA BARAT by Suntoko, _

Link Metadata

PENGEMBANGAN BAHAN AJAR TEKS CERITA FANTASI BERDASARKAN ANCANGAN KAJIAN STRUKTUR DAN NILAI-NILAI PENDIDIKAN UNTUK SEKOLAH MENENGAH PERTAMA by Hikmahwati, Inayah

Link Metadata

The Power of Selling by Richmond, Kimberly

Access online version

TRAINER INTERNET OF THINGS BERBASIS LORA RFM95W (SPIRA95) UNTUK MEDIA PEMBELAJARAN PRAKTIKUM SENSOR DAN MIKROPROSESOR by Teguh Pratama Nugraha, -

Link Metadata

Capaian Perkembangan Fisik Motorik Dan Stimulasinya Pada Anak Usia 3-4 Tahun by Eka Damayanti, M. Ansar Nasrul

Connect to this object online.

Kegiatan Menggambar Bebas Menggunakan Crayon dalam Upaya Meningkatkan Kreativitas Anak Usia Dini by Veryawan Veryawan, Juliati Juliati, Rapita Aprilia

Connect to this object online.

Monsters in contemporary Thai horror film: image, representation and meaning by Lee, Ji Eun

Get full text

Debating Transformations of National Citizenship

Table of Contents: “…Why History Cannot Provide the Justification for Abandoning Ius Sanguinis: Jannis Panagiotidis -- Family Matters: Modernise, Don't Abandon, Jus Sanguinis: Scott Titshaw -- Abolishing Ius Sanguinis Citizenship: A Proposal Too Restrained and Too Radical: Kristin Collins -- Citizenship Without Magic: Lois Harder -- The Janus-Face of Ius Sanguinis: Protecting Migrant Children and Expanding Ethnic Nations: Francesca Decimo -- The Prior Question: What Do We Need State Citizenship for?…”
Link to Metadata

PENERAPAN MODEL PAKEM BERBASIS HYPNOTEACHING DALAM PEMBELAJARAN MENULIS PUISI BEBAS: Kuasi eksperimen Pada Siswa Kelas Viii Semester Ii Smpn 2 Jalancagak, Kabupaten Subang, Tahun... by Erdalitama, Aristy

Link Metadata

IMPLEMENTASI METODE PENYADARAN DALAM MENINGKATKAN MINAT BACA MASYARAKAT PADA PROGRAM TAMAN BACAAN MASYARAKAT SUKAMULYA CERDAS DI KELURAHAN SUKAMULYA KECAMATAN CINAMBO KOTA BANDUNG by Evan Handrian, -

Link Metadata

Play-Responsive Teaching in Early Childhood Education by Pramling, Niklas, Wallerstedt, Cecilia, Lagerlöf, Pernilla, Björklund, Camilla, Kultti, Anne, Palmér, Hanna, Magnusson, Maria, Thulin, Susanne, Jonsson, Agneta, Pramling Samuelsson, Ingrid

Table of Contents: “…When Kroko-the-Crocodile got sick -- 10. The Magical Fruits: Establishing a narrative play frame for mutual problem solving -- 11. …”
Link to Metadata