Search Results - 翼鋒~

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

Shipping and Globalization in the Post-War Era Contexts, Companies, Connections /

Table of Contents: “…Petersson, Stig Tenold and Nicholas J. White -- Part I: Contexts -- 2. The declining role of Western Europe in shipping and shipbuilding, 1900-2000- Stig Tenold -- 3. …”
Link to Metadata

Agency and Causal Explanation in Economics

Table of Contents: “…Preface -- Introduction -- Part I Theory -- Nadine Elzein: Free Will and Empirical Arguments for Epiphenomenalism -- Stephen Pratten: Causality, Agency and Change -- Jason Blakely: How Economics Becomes Ideology: The Uses and Abuses of Rational Choice Theory -- William Child: Economics, Agency, and Causal Explanation -- Part II Praxis -- Richard Conrad and Peter Hunter: Why Aquinas Would Agree That Human Economic Behaviour Is Largely Predictable -- Paul Clough: Agency, Time and Morality: An Argument from Social and Economic Anthropology -- Scott Meikle: The Switch from Agency to Causation in Marx -- Margaret S. …”
Link to Metadata

Motivational Profiles in TIMSS Mathematics Exploring Student Clusters Across Countries and Time / by Michaelides, Michalis P., Brown, Gavin T. L., Eklöf, Hanna, Papanastasiou, Elena C.

Table of Contents: “…Insights from Motivational Profiles in TIMSS Mathematics -- Appendix A -- Appendix B -- Appendix C.…”
Link to Metadata

Gender Differences in Computer and Information Literacy An In-depth Analysis of Data from ICILS / by Gebhardt, Eveline, Thomson, Sue, Ainley, John, Hillman, Kylie

Table of Contents: “…Students' Interest and Enjoyment In, and Patterns of Use of ICT -- 5. Teacher Gender and ICT -- 6. What have we learned about gender differences in ICT? …”
Link to Metadata

Obsessed by a Dream The Physicist Rolf Widerøe - a Giant in the History of Accelerators / by Sørheim, Aashild

Table of Contents: “…- The unanswered question of why he went to Germany -- Postscript: The Letter from his Brother. .…”
Link to Metadata

Spationomy Spatial Exploration of Economic Data and Methods of Interdisciplinary Analytics /

Table of Contents: “…Part C - Spatial exploration of economic data (Methods of interdisciplinary analytics, Case studies and applications I - V) -- 4. …”
Link to Metadata

Ionospheric Multi-Spacecraft Analysis Tools Approaches for Deriving Ionospheric Parameters /

Table of Contents: “…Dedication -- Preface -- Chapter 1: Introduction -- Chapter 2: Introduction to Spherical Elementary Current Systems -- Chapter 3: Spherical Elementary Current Systems applied to Swarm data -- Chapter 4: Local least squares analysis of auroral current structures in multi-spacecraft data -- Chapter 5: Multi-spacecraft current estimates at Swarm -- Chapter 6: Applying the dual-spacecraft approach to the Swarm constellation for deriving radial current density. …”
Link to Metadata