Search Results - Ohey~

Ukrainian Migration to the European Union Lessons from Migration Studies /

Table of Contents: “…: Zuzanna Brunarska, Marta Kindler, Monika Szulecka, and Sabina Toruńczyk-Ruiz -- 8 Ukrainians in the Czech Republic: on the Pathway from Temporary Foreign Workers to One of the LargestMinority Groups: Yana Leontiyeva -- 9 Ukrainian Migration to Greece: from Irregular Work to Settlement, Family Reunification and Return : Marina Nikolova and Michaela Maroufof -- 10 Migration of Ukrainian Nationals to Italy: Women on the Move: Francesca Alice Vianello -- 11 Migration of Ukrainian Nationals to Portugal: the Visibility of a New Migration Landscape : Maria Lucinda Fonseca and Sónia Pereira -- 12 Research on Ukrainian Migration to Spain: Moving Beyond the Exploratory Approach : Renáta Hosnedlová, Mikołaj Stanek, and Elisa Brey -- 13 Theorizing the Ukrainian Case: Pushing the Boundaries of Migration Studies through a Europe-US Comparison: Cinzia D. …”
Link to Metadata

Care in Healthcare Reflections on Theory and Practice /

Table of Contents: “…Commercial Surrogacy and the Ethical Relevance of the Other' by Franziska Krause -- Part 2: Situated Care -- 7. …”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Mediation in Collective Labor Conflicts

Table of Contents: “…Part I: Mediation in collective labor conflicts: opening the black box -- Chapter 1. Introduction chapter (Ana Belén García) -- Chapter 2. …”
Link to Metadata

Evaluating Evidence of Mechanisms in Medicine Principles and Procedures / by Parkkinen, Veli-Pekka, Wallmann, Christian, Wilde, Michael, Clarke, Brendan, Illari, Phyllis, Kelly, Michael P., Norell, Charles, Russo, Federica, Shaw, Beth, Williamson, Jon

Table of Contents: “…-- 1.3.1 Evaluating efficacy -- 1.3.2 Evaluating external validity -- 1.3.3 Other questions -- 1.3.4 Importance of considering evidence of mechanisms -- 2 How to consider evidence of mechanisms: a summary -- 2.1 Questions to address -- 2.2 Quality level of evidence and status of claim -- 2.3 Identifying evidence of mechanisms in the literature -- 2.4 Evaluating evidence of mechanisms -- 2.5 Using evidence of mechanisms to evaluate causal claims -- 2.6 Overall approach -- 3 Identifying evidence of mechanisms in the literature -- 3.1 Hypothesize a mechanism -- 3.2 Search the literature -- 3.3 Identify the evidence most relevant to the mechanism hypothesis -- 3.4 Presenting the evidence of mechanisms -- 4 Evaluating evidence of mechanisms -- 4.1 Considerations for evaluating evidence of mechanism -- 4.2 Presenting quality of evidence of mechanisms -- 5 Using evidence of mechanisms to evaluate efficacy and external validity -- 5.1 Efficacy -- 5.2 External validity -- 6 Glossary -- 7 References -- 8 Acknowledgements -- 9 Appendix A. …”
Link to Metadata

Risiko im Wandel Herausforderung für die Versicherungswirtschaft /

Table of Contents: “…Jahrhundert: Auswirkungen auf die Bilanzierungen der Versicherer -- Digitalisierung und Risikotransfer: Wie im Zuge der Digitalisierung neue Geschäftsmodellen entstehen -- Führung ernst nehmen: Chancen und Risiken von Operations Bereichen in Versicherungsunternehmen -- Risiken im Versicherungsvertrieb -- Risikobereitschaft und Innovationsentwicklung -- Zum Schluss: Die Arche Noah aus Sicht der Seekasko.…”
Link to Metadata

Das Protokoll

Table of Contents: “…Materialien zu einer Kritik; oder Wo bleibt das richtige Protokoll? -- Das Protokoll gibt es nicht -- III TechnikenProtokollieren und Formatieren. …”
Link to Metadata

Gen- und Zelltherapie 2.023 - Forschung, klinische Anwendung und Gesellschaft AG Gentechnologiebericht mit freundlicher Unterstützung der DG-GT und des GSCN /

Table of Contents: “…- Ethische Bewertung der hohen Preise und des performanceorientierten Erstattungsmodells -- Anhang.…”
Link to Metadata

Sustainable Qatar Social, Political and Environmental Perspectives /

Table of Contents: “…Terrestrial Biodiversity in Arid Environments: One Global Component of Climate Crisis Resilience -- Chapter 14. …”
Link to Metadata

The Interconnected Arctic - UArctic Congress 2016

Table of Contents: “…Chapter 25 Maritime operations and emergency preparedness in the Arctic -competence standards for search and rescue operations contingencies in polar waters -- Chapter 26 Risk reduction as a result of implementation of the functional based IMO Polar Code in the Arctic cruise industry -- Chapter 27 Safety of industrial development and transportation routes in the Arctic (SITRA) -collaboration project for research and education of future High North experts -- Chapter 28 Safe Snow and Ice Construction to Arctic Conditions -- Chapter 29 The components of psychological safety of oil and gas shift workers in the Arctic -- Part VI Circumpolar, inclusive and reciprocal Arctic. …”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
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. …”
Link to Metadata

Vulnerability in Scandinavian Art and Culture

Table of Contents: “…Nowhere Home: The Waiting of Vulnerable Child Refugees -- Odin Lysaker -- 6. Vulnerability When Fecundity Fails: Infertility and Assisted Reproductive Technologies in The Bridge -- Melissa Gjellstad -- 7. …”
Link to Metadata

Big Data in Bioeconomy Results from the European DataBio Project /

Table of Contents: “….) -- Delineation of management zones using satellite imageries -- Farm Weather Insurance Assessment -- Copernicus Data and CAP Subsidies Control -- Future vision, Summary and Outlook -- Part III Applications in Forestry: Introduction - state of the art of technology and market potential for Big Data in forestry -- Finnish Forest Data based Metsään.fi-services -- Forest variable estimation and change monitoring solutions based on remote sensing Big Data -- Monitoring Forest Health: Big Data applied to diseases and plagues control -- Forest damage monitoring for the bark beetle -- Conclusions and Outlook - Summary of Big Data in forestry -- Part IV Applications in Fishery: The potential of Big data for improving pelagic fisheries sustainability -- Tuna fisheries fuel consumption reduction and safer operations -- Sustainable and added value small pelagic fisheries pilots -- Conclusion and future vision -- Part V - Summary and Outlook: Summary of experiences of the potential and Exploitation of Big Data and AI in Bioeconomy -- Glossary - Terminology, acronyms, abbreviations.…”
Link to Metadata

The Diversity Of Worldviews Among Young Adults Contemporary (Non)Religiosity And Spirituality Through The Lens Of An International Mixed Method Study /

Table of Contents: “…Religiosity and Volunteering in YARG Case Studies -- Chapter 11. The Open and the Closed Mind, or, the Rhetoric of Choice and Equality vs. …”
Link to Metadata

New Perspectives in Critical Data Studies The Ambivalences of Data Power /

Table of Contents: “…Critical Evaluation of the Possibilities of Developing Data Infrastructure Literacy from User Data Workshops to Public Service Media -- Part III Everyday Practices and Collective Action -- (Not) Safe to Use: Insecurities in Everyday Data Practices with Period-Tracking Apps -- Community Rankings and Affective Discipline: The Case of Fandometrics -- Affinity Spaces as an Analytical Lens for Attending to Temporality in Critical Data Studies: The Case of COVID-19-Related, Educational Twitter Communication -- "Party like it's December 31, 1983": Supporting Data Literacy at CryptoParties -- Researching Public Trust in Datafication: Reflections on the Deliberative Citizen Jury as Method -- Worker Perspectives on Designs for a Crowdwork Co-operative -- Counting, Debunking, Making, Witnessing, Shielding: What Critical Data Studies Can Learn from Data Activism During the Pandemic.…”
Link to Metadata

Doing Transitions in the Life Course Processes and Practices /

Table of Contents: “…Organizations as Collective Subjects in the Formation of Transitions Over the Life Course (Eva Heinrich, Nils Klevermann and Bernhard Schmidt-Hertha) -- 7. …”
Link to Metadata

External Voting The Patterns and Drivers of Central European Migrants' Homeland Electoral Participation / by Szulecki, Kacper, Erdal, Marta Bivand, Stanley, Ben

Table of Contents: “….-04-2007 -- East-West Migration in Europe: Political Context and Consequences -- The DIASPOlitic Project, Data Gathering, and Methods -- Data Gathering and Method: Quantitative Analysis of External Voting Results -- Data Gathering and Method: Qualitative Study of Migrant Voting -- References -- 3 External Voting Patterns: CEE Migrants in Western Europe -- The Political Contexts of the Countries of Origin -- Bulgaria -- Czechia -- Latvia -- Lithuania -- Poland -- Romania -- Data and Methods -- Results of the Analysis -- Turnout Patterns and Change Over Time -- Overall Disparity -- Ideological Disparity -- References -- 4 Migrant Perspectives on External Voting.…”
Link to Metadata

Society - Water - Technology A Critical Appraisal of Major Water Engineering Projects /

Table of Contents: “…-- Part V: Outlook and Options for Action -- Lessons Learnt, Open Research Questions and Recommendations.…”
Link to Metadata