Search Results - MNDF~

Experiencing Society and the Lived Welfare State

Table of Contents: “…Hannikainen -- 11: Children and the Mediated Experiences of the Welfare State: The International Year of the Child (1979) in the Finnish Public Sphere; Heidi Kurvinen -- 12: The Making of the Western Affluent Working Class: Class and Affluence through Postwar Public Discussions and Academic Interpretations; Jussi Lahtinen -- Part V: Experience of Equality and Justice -- 13: Rural (In)Justice: Smallholding as Social Policy in a Modernizing Finland, from 1945 to the 1960s; Ville Erkkilä -- 14: From Survival Mode to Utopian Dreams: Conceptions ofSociety, Social Planning and Historical Time in 1950s and 1960s Finland; Sophy Bergenheim -- 15: Welfare State in a Fair Society? …”
Link to Metadata

Migration and Identity through Creative Writing StOries: Strangers to Ourselves /

Table of Contents: “…Family Histories and Stories that made me (Brianna Jennings) -- 20. Immigrant Stories (Thabata Costa) -- 21. …”
Link to Metadata

Interface Oral Health Science 2016 Innovative Research on Biosis-Abiosis Intelligent Interface /

Table of Contents: “…Development and performance of low cost beta-type Ti-based alloys for biomedical applications using Mn additions -- 20. Effect of Titanium Surface Modifications of Dental Implants on Rapid Osseointegration -- 21. …”
Link to Metadata

Agricultural Implications of Fukushima Nuclear Accident (IV) After 10 Years /

Table of Contents: “…Verification of Effects on Crops and Surrounding Environment in Agriculture Using Radioactively Contaminated Grass Silage Compost Made by Aerobic Ultra-High Temperature Fermentation -- 10. …”
Link to Metadata

Essentials of Exercise and Sport Psychology An Open Access Textbook

Table of Contents: “…Perceived Effort and Exertion -- Chapter 14. Mindfulness in Physical Activity -- Chapter 15. Exercise and Physical Activity for Depression -- Chapter 16. …”
Access online version

Smart and Sustainable Planning for Cities and Regions Results of SSPCR 2019-Open Access Contributions /

Table of Contents: “…Energy System Models for City Climate Mitigation Plans-Challenges and Recommendations -- Deep Energy Retrofit of Residential Buildings in the Mediterranean Area: the MedZEB Approach -- A Systematic Study of Sustainable Development Goal (SDG) Interactions in the Main Spanish Cities -- City Assessment Tool to Measure the Impact of Public Policies on Smart and Sustainable Cities. …”
Link to Metadata

Older Workers and Labour Market Exclusion Processes A Life Course perspective /

Table of Contents: “…From Early Retirement to Extending Working Life: Institutionalisation and Standardization at the End of Career in Belgium -- Chapter 11. Social Exclusion in Later Life, Evidence from the European Social Survey.…”
Link to Metadata

Dynamics of Long-Life Assets From Technology Adaptation to Upgrading the Business Model /

Table of Contents: “…PART I: Introduction and Setting the scene -- Dynamics of Long-Life Assets: The Editors' Intro -- The Challenge -- The Use-it-Wisely (UIW) Approach -- PART II: Tools and Methods -- Innovation Management with an Emphasis on Co-Creation -- Complexity Management and System Dynamics Thinking -- Managing the Life Cycle to Reduce Environmental Impacts -- Virtual Reality and 3D Imaging to Support Collaborative Decision Making for Adaptation of Long-llife Assets -- Operator-oriented Product and Production Process Design for Manufacturing, Maintenance and Upgrading -- Fostering a Community of Practice for Industrial Processes -- Extending the System Model -- PART III: From Theory to Practice -- Collaborative Management of inspection Results in Power Plant Turbines -- Rock crusher Upgrade Business from a PLM Perspective -- Space Systems Development -- Adaptation of High-Variant Automotive Production System Using a Collaborative Approach -- Supporting the Small-to-Medium Vessel Industry -- Sustainable Furniture that Grows with End-users -- Comparing Industrial Cluster Cases to Define Upgrade Business Models for a Circular Economy.   .…”
Link to Metadata

World History, Volume 2 From 1400 by Kordas, Ann, Lynch, Ryan J., Nelson, Brooke

Table of Contents: “…Life and Labor in the Industrial World -- Unit 3 The Modern World, 1914-Present -- Chapter 11. The War to End All Wars -- Chapter 12. The Interwar Period -- Chapter 13. …”
Access online version

A History of the Middle East 1.01 by Flynn, Robert J.

Table of Contents: “…Preface -- Chapter One: Introduction -- Chapter Two: Muhammad and Islam -- Chapter Three: The Arab Conquest and the Establishment of the Caliphate -- Chapter Four: Religious, Social, and Intellectual Changes During the Caliphate, 632-1258 -- Chapter Five: The Decline of the Arab Empire, 809-1300 -- Chapter Six: The Gunpowder Empires -- Chapter Seven: Ottoman Crisis and Adaptation, 1566-1768 -- Chapter Eight: Western Intrusions, Eastern Responses, 1768-1878 -- Chapter Nine: The Twilight of the Ottoman Empire, 1878-1916 -- Chapter Ten: “A Peace to End All Peace" -- Chapter Eleven: The Independent States, 1918-1948 -- Chapter Twelve: The Middle East Under European Control, 1922-1948 -- Chapter Thirteen, The Establishment of Israel, 1918-1948 -- Chapter Fourteen: The Age of Nasser, 1949-1967 -- Chapter Fifteen: Arabia, Turkey, and Iran, 1949-1979 -- Chapter Sixteen: The Middle East After Nasser, 1967-1979 -- Chapter Seventeen: Transition and Stalemate, 1980-1990 -- Chapter Eighteen: The Gulf War and Its Legacy, 1990-2001…”
Access online version

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

Mehrsprachigkeit in der deutschsprachigen Presse des östlichen Europas / Multilingualism in the German-Language Press in Eastern Europe

“…Journal für Kultur und Geschichte der Deutschen im östlichen Europa (JKGE) / Journal for Culture and History of the Germans in Eastern Europe…”
DOAB: download the publication
DOAB: description of the publication

Raumkonstruktionen = Spatial Constructions Digital Humanities und die 'Messbarkeit' des NS-Regimes | The Digital Humanities And The 'Measurability' Of The Nazi Regime

“…Journal für Kultur und Geschichte der Deutschen im östlichen Europa (JKGE) / Journal for Culture and History of the Germans in Eastern Europe…”
DOAB: download the publication
DOAB: description of the publication

Bildung für nachhaltige Entwicklung - Impulse zu Digitalisierung, Inklusion und Klimaschutz

“…Schriftenreihe "Ökologie und Erziehungswissenschaft" der Kommission Bildung für nachhaltige Entwicklung der Deutschen Gesellschaft für Erziehungswissenschaft (DGfE)…”
DOAB: download the publication
DOAB: description of the publication

Kompetenzen für eine Nachhaltige Entwicklung aus der Perspektive beruflicher Praxis Eine empirische Untersuchung zu idealtypischen subjektiven Theorien über nachhaltigkeitsbezoge... by Ruesch Schweizer, Corinne

“…Schriftenreihe "Ökologie und Erziehungswissenschaft" der Kommission Bildung für nachhaltige Entwicklung der Deutschen Gesellschaft für Erziehungswissenschaft (DGfE)…”
DOAB: download the publication
DOAB: description of the publication

Unter Beobachtung | Under Surveillance Vertriebenenverbände im Blick der sozialistischen Sicherheitsdienste | The Monitoring of Expellee Organizations by the Socialist Security Se...

“…Journal für Kultur und Geschichte der Deutschen im östlichen Europa (JKGE) / Journal for Culture and History of the Germans in Eastern Europe…”
DOAB: download the publication
DOAB: description of the publication

Bildungspraktiken der Aufklärung / Education practices of the Enlightenment

“…Journal für Kultur und Geschichte der Deutschen im östlichen Europa (JKGE) / Journal for Culture and History of the Germans in Eastern Europe…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Raumkonstruktionen = Spatial Constructions Digital Humanities und die 'Messbarkeit' des NS-Regimes | The Digital Humanities And The 'Measurability' Of The Nazi Regime

“…Journal für Kultur und Geschichte der Deutschen im östlichen Europa (JKGE) / Journal for Culture and History of the Germans in Eastern Europe…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Bildung für nachhaltige Entwicklung - Impulse zu Digitalisierung, Inklusion und Klimaschutz

“…Schriftenreihe "Ökologie und Erziehungswissenschaft" der Kommission Bildung für nachhaltige Entwicklung der Deutschen Gesellschaft für Erziehungswissenschaft (DGfE)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication