Search Results - 種痘~

Housing Estates in the Baltic Countries The Legacy of Central Planning in Estonia, Latvia and Lithuania /

Table of Contents: “…Prologue-A Place to Live, Work, and Play: Housing Demand and Urbanization in the Baltic Countries -- Turbulent Political History and the Legacy of State Socialism in the Baltic Countries -- Soviet-Era Housing Systems Explained: Constructing and Inhabiting Socialist Housing Estates in the Baltics -- Freedom and Constraints: Ideals Transferred but Eclipsed by Industrialised Housing Production -- Mass Housing and 'Extensive Urbanism' in Eastern Europe: A Comparative Overview -- The Ethnic and Social Landscape of Residents in Tallinn's Socialist Housing Estates -- Residential Change and Socio-Demographic Challenges for Large Housing Estates: Exploring Post-Soviet Riga -- Soviet Housing Estates and their Residents in Vilnius -- Living in a Large Housing Estate: An Insiders' Perspective from Lithuania -- Innovation Inside and Outside "The System": Revisiting the Role of Architects in Planning Socialist-Era Residential Districts in Estonia -- Evolution of Award-Winning Microrayons and Housing Estates in the Baltics -- Aspirations versus Reality in the Formation of Mikrorayon Commercial Centers in Lithuania -- Forms of Governing Parking in Housing Estates in Tallinn, Estonia -- State-Subsidized Renovation of Socialist Apartment Blocks in Estonia -- Large Housing Estates in Latvia: Origin and Future Challenges -- Possibilities for Energy-Efficient and Sustainable Renovation of Socialist Residential Space: "Smart City" Redevelopment in Tartu, Estonia .…”
Link to Metadata

Deltas in the Anthropocene

Table of Contents: “…Ganges-Brahmaputra-Meghna Delta, Bangladesh and India: A transnational mega-delta -- 3. The Mahanadi Delta: A rapidly developing delta in India -- 4. …”
Link to Metadata

Nature-Based Flood Risk Management on Private Land Disciplinary Perspectives on a Multidisciplinary Challenge /

Table of Contents: “…Part I: Introduction -- Nature-based solutions in flood risk management -- Nature-based solutions & issues of scale -- Part II: small scale property solutions -- Small retention programme in the Polish forests -- Privately funded natural water retention measures in the Czech Republic -- Experimenting with re-parcelling by means of land swop -- Part III: Medium sized infrastructure solutions -- Rivers and their floodplains in city of Plzeň (CZ): System of urban wetlands as nature based flood protection measures -- The "Blue Zone Rhine Valley": a regional planning instrument for future-oriented flood management in a dynamic risk environment -- Part VI: Large scale catchment solutions -- Adaptation of climate impacts via relocation of dykes: Governmental challenges in the biosphere reserve "River Landscape ELBE-Brandenburg" -- West European Climate Corridor / Green Rhine Corridor -- Part V: Conclusion. …”
Link to Metadata

Energy Justice Across Borders

Table of Contents: “…Section 1-Introduction -- Chapter 1-Where are we now? justice and energy transitions -- Chapter 2-Ethics without borders-world ethics, comparative philosophy, intercultural ethics for energy transitions -- Section 2-African Philosophy -- Chapter 3-Exploring marginalisation and exclusion in renewable energy development in Africa -- Chapter 4-South Africa's renewable energy independent power producer procurement programme -- Chapter 5-The role of energy technology in quality of life and well being in North Africa -- Section 3-Asian philosophy -- Chapter 6-Chinese energy evaluations -- Chapter 7-Energy ethics and Indian philosophical traditions -- Chapter 8-A question of energy ethics-the creative orthodoxy of Buddhist monks in Mongolia -- Section 4-European ethics -- Chapter 9-Contemporary European approaches to energy ethics -- Chapter 10-Energy ethics in the United Kingdom and the Netherlands -- Section 5-South America -- Chapter 11-Latin American principles and environmental ethics -- Chapter 12-Native Americans and energy development -- Section 6-Theistic traditions -- Chapter 13-(Energy) justice in theistic traditions -- Section 7-Conclusion.…”
Link to Metadata

Collective Actions in Europe A Comparative, Economic and Transsystemic Analysis / by Nagy, Csongor István

Table of Contents: “…Introduction -- Why are collective actions needed in Europe: Small claims are not reasonably enforced in practice and collective actions ensure effective access to justice -- Major European objections and fears against the opt-out system: Superego, ego and ID -- Transatlantic perspectives: Comparative law framing -- European models of collective actions -- Conclusions.…”
Link to Metadata

Personalized Hip and Knee Joint Replacement

Table of Contents: “…Hip replacement: Hip anatomy and biomechanics -- Hip replacement: its development -- Patient-specific hip replacement -- Future developments for patient-specific hip replacement. …”
Link to Metadata

Interdisciplinary Insights for Digital Touch Communication by Jewitt, Carey, Price, Sara, Leder Mackley, Kerstin, Yiannoutsou, Nikoleta, Atkinson, Douglas

Table of Contents: “…-- Touch, Body and 'Machine' -- A Note on Study -- Ethics -- Conclusion -- Closing Thoughts, Insights and Research and Design Resources for Digital Touch Communication -- A Social Perspective on Digital Touch -- Insights for digital touch communication -- Social Norms and Digital Touch -- Touch Connections -- Sociotechnical Imaginaries of Digital Touch The Ethics of Touch -- Methodologies for Digital Touch -- An Emergent Research and Design Framework for Digital Touch Communication. .…”
Link to Metadata

Trade Unions on YouTube Online Revitalization in Sweden / by Jansson, Jenny, Uba, Katrin

Table of Contents: “…1. Introduction -- 2. Audiences: Who Do Unions Target? …”
Link to Metadata

Politics of (Dis)Integration

Table of Contents: “…The (Dis)Integration of Temporary Migrant Workers in Canada and the UK: Şahizer Samuk -- From Everyday Racist Incidents at Work to Institutional Racism: Migrant and Minority-Ethnic Workers' Experiences in Older-Age Care: Nina Sahraoui -- Returning for (Dis)Integration in the Labour Market? …”
Link to Metadata

Data Collection in Fragile States Innovations from Africa and Beyond /

Table of Contents: “…Chapter 1: Fragility and innovations in data collection; Johannes Hoogeveen and Utz Pape -- Part I: Innovations in data collection -- Chapter 2: Monitoring the Ebola crisis using mobile phone surveys; Alvin Etang and Kristen Himelein -- Chapter 3: Rapid Emergency Response Survey; Utz Pape -- Chapter 4: Tracking displaced people in Mali; Alvin Etang and Johannes Hoogeveen -- Chapter 5: Locally recruited, resident and enumerators for continuous monitoring; Andre-Marie Taptué and Johannes Hoogeveen -- Chapter 6: A local development index for the Central African Republic and Mali; Mohamed Coulibaly, Johannes Hoogeveen, Roy Katayama and Gervais Chamberlin Yama -- Part II: Methodologically innovations -- Chapter 7: Geo-spatial sampling; Stephanie Eckman and Kristen Himelein -- Chapter 8: Sampling in chaotic environments; Ana I. …”
Link to Metadata

Industry 4.0 for SMEs Challenges, Opportunities and Requirements /

Table of Contents: “…Part I. Introduction to Industry 4.0 for SMEs -- 1. …”
Link to Metadata

Successful Global Collaborations in Higher Education Institutions

Table of Contents: “…King Abdulaziz University Approach to International Collaboration -- Creating the Organizational Climate for Global Partnerships: Challenges and Opportunities -- Building Successful Partnerships -- International cooperation for Asian universities: A Hong Kong perspective -- Global citizens for the 21st century: the role of international partnerships in university education -- International networks - the catalyst of change and excellence -- University cooperation in knowledge transfer -- Student Exchange: The first step towards International Collaboration -- The Tricky Terrain of Global University Partnerships -- Long-Term Sustainability in Global Higher Education Partnerships.…”
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

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

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Human and Organisational Factors Practices and Strategies for a Changing World /

Table of Contents: “…Safety Leadership and Human and Organisational Factors (HOF) - Where do We Go from Here?, by Kathryn Mearns -- 4. Considering Human and Organizational Factors in Risk Industries:, by Christian Neveu, Valérie Lagrange, Philipe Noël, and Nicolas Herchin -- 5. …”
Link to Metadata

The Responsible University Exploring the Nordic Context and Beyond /

Table of Contents: “…Massive Open Online Courses (MOOCs) and the responsible university: History and enacting rationalities for MOOC-initiatives at three Swedish universities; Linda Barman, Cormac McGrath and Christian Stöhr -- Chapter 6. Co-creation with companies: A means to enhance the societal impact of university researchers?…”
Link to Metadata

Geographies of Asylum in Europe and the Role of European Localities

Table of Contents: “…1 Introduction: Birgit Glorius, Jeroen Doomernik -- Part I: Governing Asylum and Reception within an Asylum System under Stress: 2 Dispersal and Reception in Northern Italy: Comparing Systems along the Brenner Route: Michela Semprebon, Gracy Pelacani -- 3 Legal Paradigm Shifts and their Impacts on the Socio-Spatial Exclusion of Asylum Seekers in Denmark: René Kreichauf -- 4 Places and Spaces of the Others: A German Reception Center in Public Discourse and Individual Perception: Daniel Göler -- 5 Before and After the Reception Crisis of 2015: Asylum and Reception Policies in Austria: Sandra Müller, Sieglinde Rosenberger -- Part II: Perceptions and Discourses on Refugee Reception6 Local Narrative-Making on Refugees: how the Interaction between Journalists and Policy Networks shapes the Media Frames: Andrea Pogliano, Irene Ponzo -- 7 Shaping "the Deserving Refugee": Insights from a Local Reception Programme in Flanders: Stiene Ravn, Rilke Mahieu, Milena Belloni, Chris Timmerman -- 8 The Public Perception of the Migration Crisis from the Hungarian Point of View. …”
Link to Metadata

Divorce in Europe New Insights in Trends, Causes and Consequences of Relation Break-ups /

Table of Contents: “…Estimating Trends in Relationship Stability over Time: Conceptual and Empirical Challenges -- Chapter 3. On Increasing Divorce Risks -- Part 2. Divorce Risks -- Chapter 4. …”
Link to Metadata

The Amazing Journey of Reason from DNA to Artificial Intelligence / by Alemi, Mario

Link to Metadata

Your Post has been Removed Tech Giants and Freedom of Speech / by Stjernfelt, Frederik, Lauritzen, Anne Mette

Table of Contents: “…The Digital Enlightenment Project Facing Challenges -- Chapter 5. The Internet 3.0 -- Chapter 6. Attention and Dopamine Hits -- Chapter 7. …”
Link to Metadata