Search Results - Urash~

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

Table of Contents: “…Teachers' Communication Styles in Post-Transition Societies; Katrin Kello & Wolfgang Wagner -- Chapter 9. A Clash of Communication? Intervening in Textbook Writing and Curriculum Development in Bosnia and Herzegovina after the War of 1992-1995; Falk Pingel -- Chapter 10. …”
Link to Metadata

Maritime Spatial Planning past, present, future /

Table of Contents: “…Challenges and opportunities for ecosystem based management and Marine Spatial Planning in the Irish Sea; Tim O'Higgins, Linda O'Higgins, Anne Marie O'Hagan, Joseph Owona Ansong -- Chapter 4. …”
Link to Metadata

Low-Dose Radiation Effects on Animals and Ecosystems Long-Term Study on the Fukushima Nuclear Accident /

Table of Contents: “…Comparison of Radioactivity Release and Contamination from the Fukushima and Chernobyl Nuclear Power Plant Accidents -- 19. The Pale Grass Blue Butterfly as an Indicator for the Biological Effect of the Fukushima Daiichi Nuclear Power Plant Accident -- 20. …”
Link to Metadata

Selected Abstracts of the 2nd Congress of joint European Neonatal Societies (jENS 2017); Venice (Italy); October 31-November 4, 2017; Session "Neonatal Fetal Nutrition and Metaboli... by -

Connect to this object online.

Using Social Theory in Higher Education

Table of Contents: “…Chapter 1 Other people's ideas: An introduction to using social theory in higher education -- Chapter 2 Sit Down, be Humble: The influence of the Work of Linda Tuhiwai Smith on our research -- Chapter 3 The decolonial imperative - text and context: a response to Amani Bell and Gulwanyang Moran -- Chapter 4 After Belonging: Aileen Moreton-Robinson's 'I Still Call Australia Home' -- Chapter 5 In belonging: a response to Timothy Laurie -- Chapter 6 Deploying Rose and Abi-Rached to 'make sense' of the rise of the 'brain sciences' in the field of violence against women -- Chapter 7 What do we talk about when we talk about neuro? …”
Link to Metadata

Taxation, International Cooperation and the 2030 Sustainable Development Agenda

Table of Contents: “…The Promise of Non-Arm's Length Practices: Is the Destination-Based Cash Flow Tax or Unitary Taxation the Panacea of which Developing Countries are in Search? …”
Link to Metadata

The Future of Consumption How Technology, Sustainability and Wellbeing will Transform Retail and Customer Experience /

Table of Contents: “…, Matthias Lehner, Jessika Luth Richter & Oksana Mont -- The Challenge of Overproduction and Overconsumption, Gabriella Wulff -- Creating Tomorrow's Vintage, Kevin Gelsi & Sandya Lang -- Part 3 - Wellbeing -- The Future of Wellbeing: Value Creation in Digital Mental Health Services, Alisa Minina Jeunemaître -- No cash, no coins, no cards, but you: Biohacking the future of payments, Vitor Lima & Russell Belk -- Contemporary Consumption of Brand Activism, Natasha Lewis & Jessica Vredenburg -- Vegan Consumption: Insights into the consumer-driven emergence of the vegan market, Rachel Lamarche-Beauchesne -- Buying Happiness, Tomas de Souza -- Part 4 - Customer Experience -- Re-examining the Place of the Physical Store During the Digital Retail Era, Elin Nilsson -- Employee-to-Customer Improvisation: A Value Creation Strategy for Navigating the Contemporary Consumption Experience, Jessica Vredenburg, Simon J. …”
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

Climate Smart Agriculture Building Resilience to Climate Change /

Table of Contents: “…: Evidence from the Pastoral Regions of East Africa -- Chapter 11: Can Cash Transfer Programs Promote Household Resilience?…”
Link to Metadata

Migration and Social Protection in Europe and Beyond (Volume 2) Comparing Consular Services and Diaspora Policies /

Table of Contents: “…Diaspora Policies, Consular Services and Social Protection for Irish Citizens Abroad: Mary J. Hickman -- 16. Diaspora Policies, Consular Services and Social Protection for Italian Citizens Abroad: Carlo Caldarini -- 17. …”
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

"Slow Down! Your Loved One Is Waiting For You 2.0": E-Book for motorcyclists / Farzana Izzati Abdullah ... [et al.] by Abdullah, Farzana Izzati, Ahmad, Yarina, Bakar, Ahmad Naqiyuddin, Jaafar, Harlina Suzana

Link Metadata

Artefacts of questionnaire-based psychological testing of drivers by Anna Łuczak, Adam Tarnowski

Connect to this object online.

An unusual case of painless hematuria - A rare case report and review of literature by Ajitha Kumari, Mohan P. Sam, Sany Philip

Connect to this object online.

Public Health in Pharmacy Practice A Casebook by Covvey, Jordan R, Arya, Vibhuti, Mager, Natalie A. DiPietro

Table of Contents: “…Ethical decision-making in global health: when cultures clash -- 8. Safe opioid use in the community setting: reverse the curse? …”
Access online version

Design Discourse Composing and Revising Programs in Professional and Technical Writing by Franke, David, Reid, Alex, Di Renzo, Anthony

Table of Contents: “…Gary Griswold -- Disciplinary Identities: Professional Writing, Rhetorical Studies, and Rethinking "English", Brent Henze, Wendy Sharer, and Janice Tovey -- Revising -- Smart Growth of Professional Writing Programs: Controlling Sprawl in Departmental Landscapes, Diana Ashe and Colleen A. Reilly -- Curriculum, Genre and Resistance: Revising Identity in a Professional Writing Community, David Franke -- Composing and Revising the Professional Writing Program at Ohio Northern University: A Case Study, Jonathan Pitts -- Minors, Certificates, Engineering -- Certificate Programs in Technical Writing: Through Sophistic Eyes, Jim Nugent -- Shippensburg University's Technical / Professional Communications Minor: A Multidisciplinary Approach, Carla Kungl and S. …”
Access online version

Road Traffic Fatality Time Series Analysis in Dubai from 2012 To 2016 by Faisal Abdulla AlShamsi, Ebrahium Abdulla AlShamsi, Mohammed El-Sadig

Connect to this object online.

Predictors and geographic analysis of road traffic accidents in Leon, Nicaragua by Christian Toval-Ruiz, Carlos Rojas-Roque, Akram Hernández-Vásquez

Connect to this object online.

Road Traffic Injuries: Solutions to a complex problem by Heike Geduld, Marion Sinclair, Elmin Steyn, Kathryn Chu

Connect to this object online.