Search Results - WHTZ~

Social Innovations in the Urban Context

Table of Contents: “…Opportunity Structures for Social Innovations in Münster" -- Chapter 4: Inertia, Clearings, and Innovations in Malmö -- Chapter 5: Birmingham, Priority to Economics, Social Innovation at the Margins -- Chapter 6: Social Policies and Governance in Geneva: What about Social Innovation? -- Chapter 7: Milan, a City Lost in the Transition from the Growth Machine Paradigm Towards a Social Innovation Approach -- Chapter 8: Poor but Sexy? …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Innovation, Economic Development, and Intellectual Property in India and China Comparing Six Economic Sectors /

Table of Contents: “…Indian Patent Law and Its Impact on the Pharmaceutical Industry: What Can China Learn from India? -- Chapter 12. Historical Evolution of India's Patent Regime and Its Impact on Innovation in the Indian Pharmaceutical Industry -- Chapter 13. …”
Link to Metadata

The Science of Plants by Michaels, Tom, Hoover, Emily, Irish, Laura

Table of Contents: “…Chapter 1: Plants in our Lives -- 1.1 What is horticulture? -- 1.2 Science and Experimentation -- 1.3 Plant Parts we Eat -- Chapter 1: Terms -- Chapter 2: Taxonomy and Seed Germination -- 2.1 Plant Taxonomy -- 2.2 Introduction to Seed Germination -- Chapter 2: Terms -- Chapter 3: How Plants Grow, Part 1 -- 3.1 Leaves -- 3.2 Shoots -- 3.3 Roots -- Chapter 3: Terms -- Chapter 4: How Plants Grow, Part 2 -- 4.1 Growth Patterns and Inflorescences -- 4.2 Plant Hormones -- Chapter 4: Terms -- Chapter 5: Inside Plants -- 5.1 Inside Leaves -- 5.2 Inside Stems -- 5.3 Inside Roots -- Chapter 5: Terms -- Chapter 6: Cells, Tissues, and Woody Growth -- 6.1 Plant Cells and Tissues -- 6.2 Woody Growth -- Chapter 6: Terms -- Chapter 7: Meristems and Flowers -- 7.1 Meristem Morphology -- 7.2 Flower Morphology -- Chapter 7: Terms -- Chapter 8: Fruit -- 8.1 Fruit Morphology -- Chapter 8: Terms -- Chapter 9: Seeds -- 9.1 Seed Morphology -- 9.2 Seed Physiology -- Chapter 9: Terms -- Chapter 10: Grafting -- 10.1 Grafts and Wounds -- 10.2 Unique Storage Organs -- Chapter 10: Terms -- Chapter 11: Water and Light -- 11.1 Plants and Water -- 11.2 Light and Photosynthesis -- Chapter 11: Terms -- Chapter 12: Soils, Fertility, and Plant Growth -- 12.1 Soils, Fertility, and Plant Growth -- Chapter 12: Terms -- Chapter 13: Sexual Reproduction -- 13.1 DNA -- 13.2 Mitosis -- 13.3 Meiosis -- Chapter 13: Terms -- Chapter 14: Variation and Plant Breeding -- 14.1 Gametogenesis -- 14.2 Inheritance of Big Differences -- 14.3 Linkage and Inheritance of Small Differences -- 14.4 Plant Breeding -- Chapter 14: Terms -- Chapter 15: Invasive plants and GMOs -- 15.1 Invasive plants -- 15.2 GMOs -- Chapter 15: Terms -- Glossary of Terms…”
Access online version

Purpose-driven Organizations Management Ideas for a Better World /

Table of Contents: “…Three Dimensions of Purpose: Knowledge, Motivation and Action; Carlos Rey and Miquel Bastons -- 4. Why Purpose Needs Strategy (and Vice Versa); Carlos Rey and Joan E. …”
Link to Metadata

Audacious Education Purposes How Governments Transform the Goals of Education Systems /

Table of Contents: “…Curriculum and educational reforms in Portugal: An analysis of why and how students' knowledge and skills improved (Nuno Crato) -- Chapter 9. …”
Link to Metadata

Equity Policies in Global Higher Education Reducing Inequality and Increasing Participation and Attainment /

Table of Contents: “…Data and reflections on access-transition to higher education in Portugal - João Baptista, Cristina Sin, Orlanda Tavares -- Chapter 8. Who is left out? Inequalities in higher education admissions and placements in Portugal - Carla Sá, Orlanda Tavares, Cristina Sin -- Chapter 9. …”
Link to Metadata

Corporate Finance for Long-Term Value by Schoenmaker, Dirk, Schramade, Willem

Table of Contents: “…Introduction -- Part 1: Why Corporate Finance for Long-term Value? -- Chapter 1. …”
Link to Metadata

Civil Society Elites Exploring the Composition, Reproduction, Integration, and Contestation of Civil Society Actors at the Top /

Table of Contents: “…A cross-national comparison of civil society elite composition -- Chapter 4: Organisational, reputational, and visible leaders -- Chapter 5: Consecrating civil society elites in Europe -- Chapter 6: Elite integration through volunteerism -- Chapter 7: Reproduction of elites in Hong Kong through the Hong Kong Jockey Club -- Chapter 8: Civil society boundary crossing and elite integration -- Chapter 9: The interstitial elites of the Italian foundations of banking origin -- Chapter 10: Networks of interlocking leaders among civil society organisations in four European countries -- Chapter 11: Contestation of civil society elites -- Chapter 12: The state as a challenger to civil society elite: the case of Poland -- Chapter 13: Who gets a seat at the table? Identifying incumbents and challengers in the European Parliament's civil society consultations on animal welfare -- Chapter14: Michels, Mills, and civil society elites.…”
Link to Metadata

Academic Flying and the Means of Communication

Table of Contents: “…a view from australia -- Chapter 6: Who gets to fly? -- Chapter 7: Exceptionalism and evasion: how scholars reason about air travel -- Chapter 8: Academic aeromobility in the global periphery -- Chapter 9: The virus and the elephant in the room: knowledge, emotions and a pandemic - drivers to reducing flying in academia -- Chapter 10: Decarbonising academia's flyout culture -- Chapter 11: Aeromobilities and academic work -- Chapter 12: Means and meanings of research collaboration in the face of a suffering earth: a landscape of questions -- Chapter 13: Academic air travel cultures: a framework for reducing academic flying. .…”
Link to Metadata

Humanizing Science through STEAM Challenges by Bahng, EunJin, Hauptman, John

Table of Contents: “…Grandpa’s Out-Growth Forest -- The Gift of Water -- Kewanee’s Appreciation of Earth -- The Life of a Lily -- The Storyteller -- Now Our Minds Are One -- Mother Earth -- Honorable Harvest -- Loving our land -- Windigo Footprints -- Grandma’s Healing Herbs -- The New Neighbor -- That’s Not Science -- The Lost and Found of Beauty in Nature -- Lily and the Community Garden -- The Gift of Rain -- A Spring Day -- Summer Camp -- Skywoman Falling -- The Student is the Teacher -- Forest Adventures -- Henry’s Harvest Life -- Marvin’s Bountiful Reward -- The Gods of Tahawus -- Remi’s Adventure -- Genesis and Willow -- Generosity in the Powwow -- The Thanksgiving Address -- Puhpowee -- Jimmy’s Yummy Goodness -- The Honorable Harvest -- Ella’s Sweet Surprise -- Who Is Hiding in the Rain? -- Our Lilies -- A Good Home -- Grace's Green Beans -- Maple Nation -- It All Started with a Pond -- Jacqui’s Garden -- The Lichen Tale -- Dahila’s Summer Garden -- Finding Your Roots Again -- Be a Good Citizen -- The Value of Teamwork -- Growing Season -- Where Am I From? …”
Access online version

The Western World Daily Readings on Geography by Quam, Joel, Campbell, Scott

Table of Contents: “…1. What is the Western World? -- 2. What is Regional Geography? …”
Access online version

Konnektiver Zynismus Politik und Kultur im digitalen Zeitalter by Schäfer, Fabian

DOAB: download the publication
DOAB: description of the publication

The Indigenous Identity of the South Saami Historical and Political Perspectives on a Minority within a Minority /

Table of Contents: “…Speaker and Ethnic Identifying Profiles in the Process of Revitalizing the South Saami Language, Culture and Ethnic Identity; Inger Johansen -- Part III: Historical and Archaelogical Perspectives -- Identification of the South Saami in the Norwegian 1801 Cencus. Why is the 1801 Census a Problematic Source? Håkon Hermanstrand -- The Meaning of Words and the Power of Silence; Erik Nordberg -- Part IV: Text and Representation -- Puncturing Parts of History's Blindness: South Saami and South Saami Culture in Early Picture Postcards; Cathrine Baglo -- The Indigenous Voice in Majority Media. …”
Link to Metadata

Epistemic Rights in the Era of Digital Disruption

Table of Contents: “…Part I Foundations -- 1 Introduction: The Epistemic Turn -- 2 Why We Need Epistemic Rights -- Part II Concepts and Issues -- 3 On the Need to Revalue Old Radical Imaginaries to Assert Epistemic Media and Communication Rights Today -- 4 Epistemic Rights, Information Inequalities, and Public Policy -- 5 (Re-)casting Epistemic Rights as Human Rights: Conceptual Conundrums for the Council of Europe -- 6 Epistemic Rights and Digital Communications Policies: Collective Rights and Digital Citizenship -- 7 Public Service Media: From Epistemic Rights to Epistemic Justice -- Part III National and Regional Cases -- 8 Towards Feminist Futures in the Platform Economy: Four Stories from India -- 9 Epistemic Rights and Right to Information in Brazil and Mexico -- 10 Digital Authoritarianism and Epistemic Rights in the Global South: Unpacking Internet Shutdowns in Zimbabwe -- 11 Epistemic Violators: Disinformation in Central and Eastern Europe -- 12 Nordic Illusion and Challenges for Epistemic Rights in the Era of Digital Media -- 13 Right to Data Access in the Digital Era: The Case of China -- Part IV Implications -- 14 Conclusion: Ubiquitous Need for Epistemic Rights and the Way Forward.…”
Link to Metadata

Workers, Managers, Productivity Kaizen in Developing Countries /

Table of Contents: “…Kaizen towards Learning, Transformation, and High-Quality Growth: Insights from Outstanding Experiences -- 4. Why is Kaizen Critical for Developing Countries? …”
Link to Metadata

How Megaprojects Are Damaging Nigeria and How to Fix It A Practical Guide to Mastering Very Large Government Projects / by Ibrahim, Jimoh, Loch, Christoph, Sengupta, Kishore

Table of Contents: “…1 Introduction: The Project Abandonment Problem -- References -- 2 What We Know About the Management of Very Large Projects -- 2.1 Project Success Factors as Lists -- 2.2 The Project Success Frameworks of Miller and Lessard and Morris and Hough -- 2.2.1 Miller and Lessard (2000) -- 2.2.2 Morris and Hough (1987) -- 2.3 The Nigerian Context -- 2.4 The Extended Theoretical Framework -- 2.5 What About Corruption? …”
Link to Metadata

Children and Peace From Research to Action /

Table of Contents: “…Growing up in violent contexts: Differential effects of community, family and school violence on child adjustment -- 11. When do Intergenerational Narratives of Ingroup Responsibility for Past Violence Result in Peace and Violence? …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Health Promotion in Health Care - Vital Theories and Research

Table of Contents: “…Older adults in hospitals: health-promotion when hospitalized -- Chapter 22. Socio-cultural aspects of health promotion in palliative care in Uganda -- Chapter 23. …”
Link to Metadata