Search Results - 自殺~

Industry 4.0 and the Road to Sustainable Steelmaking in Europe Recasting the Future /

Table of Contents: “…Introduction -- Social and Technological Transformation of the European Steel Industry -- European Steel Industry - A Trade Union Perspective -- Effects of Industry 4.0 on workforce and employment: a novel strategy to identify new skills requirements of the steel sector -- Steel Industry Automation and Incremental Change -- Robotic systems in the European Steel Industry: state-of-art and use cases -- Digitalisation - impacts on the workforce, challenges and current status of projects from the perspective of the cold rolling industry -- The impact of the new technologies on the workforce in the steel industry -- Combining technological and social innovation -- Attracting talents to the steel industry -- Development of Skills Adjustment and Training within a Social Innovation Process -- Recruitment and training: the 'effect' of digitalisation -- Preparing for a Digital Steel Industry -- Conclusion.…”
Link to Metadata

Sex in Cetaceans Morphology, Behavior, and the Evolution of Sexual Strategies /

Table of Contents: “…Chapter 1. Sex and Behavior -- Chapter 2. Genetic Tools to Investigate the Consequences of Sex -- Chapter 3. …”
Link to Metadata

Smart Cities Social and Environmental Challenges and Opportunities for Local Authorities /

Table of Contents: “…Smart Modelling for Greener Urban Environments: The Digital Twin of the City of Imola -- 11. MUST-B: a multi-agent model to envisage the future challenges of sustainable urban development -- 12. …”
Link to Metadata

Digital Writing Technologies in Higher Education Theory, Research, and Practice /

Table of Contents: “…Introduction -- Section1: Word processing software -- Name of chapter -- The Beginnings of Word Processing: A Historical Account -- Establishing the Standard: The Rise of Microsoft Word -- Expansions and Alternatives: Beyond Microsoft Word -- Section2: Web applications and platform technology -- Name of chapter -- Hypertext, Hyperlinks, and the World Wide Web -- Creativity Software and Idea Mapping Technology -- Digital tools for Written Argumentation -- Digital Note-taking for Writing -- Synchronous and Asynchronous Collaborative Writing -- Social Annotation: Promising Technologies and Practices in Writing -- Multimodal chat-based apps: enhancing copresence when writing -- Learning Management Systems (LMSs) -- Digital Teacher Feedback Tools -- Digital Student Peer Review Systems -- Reference Management Systems -- Plagiarism Detection and Intertextuality Software -- The Electronic Portfolio: self-regulation and reflective practice -- CMS 3.0: The All-in-One Digital Writing Workspace -- Section3: Writing analytics and language technologies -- Name of chapter -- Automated Text Generation and Summarization -- Information Retrieval and Knowledge Extraction for Academic Writing -- Analytic Techniques for Automated Analysis of Writing -- Automated Scoring of Writing -- Automated Feedback on Writing -- Intelligent Tutoring for Writing -- On Corpora and Writing -- Investigating Writing Processes with Keystroke Logging -- Section4: Implications -- Writing and Learning: What Changed with Digitalization? …”
Link to Metadata

Future Intelligence The World in 2050 - Enabling Governments, Innovators, and Businesses to Create a Better Future /

Table of Contents: “…Chapter 1. Introduction to the WORLD 50.0 Movement -- Chapter 2. …”
Link to Metadata

People or Property Legal Contradictions, Climate Resettlement, and the View from Shifting Ground / by Jerolleman, Alessandra, Marino, Elizabeth, Jessee, Nathan, Koslov, Liz, Comardelle, Chantel, Villarreal, Melissa, de Vries, Daniel, Manda, Simon

Table of Contents: “…Part I: Conceptualizing Property and Its Contradictions: A Challenge for Climate Justice -- Chapter 1: Pulling at the Thread -- Chapter 2: Property Law and Its Contradictions -- Part II: Proof of Harm -- Chapter 3: Market Orientation as an Environmental Hazard for Resettling Communities -- Chapter 4: Flood Buyout Relocations and Community Action -- Chapter 5: Displacing a Right to Act Communally within Community Relocation -- Chapter 6: Precarious Possessors and "the Right to (rebuilding) the City" -- Chapter 7: Interrogating "Just Compensation" and Flexibility: Details on the Inadequacy (and Importance) of Voluntary Buyouts for Relocation in Alaska -- Part III: The Legal Framework -- Chapter 8: A Primer of Laws, Legal Concepts, and Tools that Structure Relocation -- Chapter 9: Discretion and the Roles People Play in Interpreting and Applying the Law -- Chapter 10: Concluding Thoughts.…”
Link to Metadata

Roadblocks to the Socialist Modernization Path and Transition Evidence from East Germany and Poland /

Table of Contents: “…1. Introduction -- 2. From East to West: Modernization efforts in the northern and western regions of Poland (1944-1989) -- 3. …”
Link to Metadata

Leadership in Educational Contexts in Finland Theoretical and Empirical Perspectives /

Table of Contents: “…Introduction; Raisa Ahtiainen, Eija Hanhimäki, Jaana Leinonen, Mika Risku & Ann-Sofie Smeds-Nylund -- Part I Context -- Educational Policy, Governance, and Leadership; Jukka Alava, Pia Kola-Torvinen & Mika Risku -- In Quest of Principalship; Petri Salo & Siv Saarukka -- Towards a Multi-form Professional Development of Educational Leadership; Eija Hanhimäki, Janni Alho, Piia Nuora, Mika Risku, Elina Fonsén, Alex Mäkiharju, Ann-Sofie Smeds-Nylund, Petra Autio & Saana Korva -- Service Design Thinking Method for Educational Leaders; Mari Suoheimo & Kaarina Määttä -- Part II Conceptual Approaches -- Understanding leadership in educational leadership research in Finland; Saana Korva & Pikka-Maaria Laine -- Positioning and Conceptualising Finnish Pedagogical Leadership in the International Setting; Jukka Alava, Terttu Kovalainen & Mika Risku -- The Concept of Pedagogical Leadership in Finnish Education Enhancing Global Understanding of Leading High-quality Education; Elina Fonsén & Tapio Lahtero -- Pedagogical Dimensions of Curriculum Leadership - a Non-affirmative Approach; Michael Uljens -- Part III Leadership Profession -- Moral Professionalism in the Context of Educational Leadership; Eija Hanhimäki -- Conceptions of Diversity Among Finnish Principals; Anita Jantunen, Lauri Heikonen, Raisa Ahtiainen, Elina Fonsén & Arto Kallioniemi -- Contradictions and Opportunities in Contexts of Everyday Leadership in Education; Mari Simola & Raisa Ahtiainen -- Examining Contradictions for the Development of Competencies in School Leadership; Lauri Lantela, Ville Pietiläinen & Saana Korva -- Principals' Perceptions of Their Work during the COVID-19 Pandemic; Mailis Elomaa, Marja-Kristiina Lerkkanen, & Eija Pakarinen -- Part IV School Community and Collaboration -- Cultural Antecedents in Multisectoral Collaboration Promoting the Wellbeing of School-aged Children; Henna Nurmi, Jaana Leinonen, Malla Örn & Outi Ylitapio-Mäntylä -- The Leadership Group as Means for Teacher Participation and Distributing Leadership; Raisa Ahtiainen & Lauri Heikonen -- Prosociality in Shared Leadership from the Finnish Principals' Viewpoint; Takumi Yada -- Teachers as leaders? …”
Link to Metadata

Digital Interaction and Machine Intelligence Proceedings of MIDI'2022 - 10th Machine Intelligence and Digital Interaction - Conference, December 12-15, 2022, Warsaw, Poland (Online) /

Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

Link to Metadata

Tourism and Conservation-based Development in the Periphery Lessons from Patagonia for a Rapidly Changing World /

Table of Contents: “…Values, conflicts, and discourses and the global 30X30 initiative: A case study of Tompkins Conservation initiatives in Patagonia -- 10. …”
Link to Metadata

Postdigital Participation in Education How Contemporary Media Constellations Shape Participation /

Table of Contents: “…Chapter 1: Postdigital Participation in Education: An Introduction -- Part 1: Mapping the Postdigital Condition in Education -- Chapter 2: Participation as a Key Principle of Education for Sustainable Development in the Postdigital Era -- Chapter 3: Social Participation in a Postdigital-Biodigital Age -- Chapter 4: Postdigital Bildung as a Guiding Principle to Foster Inclusion in Educational Media -- Chapter 5: Distance Learning and the Question of Educational Justice: A Dialogic Approach to Digital Diversity in Schools -- Part 2 : Performing and Reflecting on the Postdigital Condition with Learners -- Chapter 6: Learning Academic Practices: Enabling Students to Participate in a Postdigital Society -- Chapter 7: Expanding the Pedagogical Space: Co-design and Participation in an Online Postgraduate Course -- Chapter 8: Let's Figure it Out: Participatory Methods for Reflecting on Educational Media in a Postdigital World -- Chapter9: From Official Document Utopias to a Collective Utopian Imagination -- Chapter 10: Asynchronous Narrative Audio-Messages: An Internet-based Qualitative Method for Data Collection in International Research -- Chapter 11: Postdigital Participation in Education-a Postscript.…”
Link to Metadata

New Horizons in Systemic Practice with Children and Families

Table of Contents: “…1. Editors Introduction -- 2. Systemic Approaches to Safeguarding Children's Rights through Parental Separation and Divorce: Opening Spaces for Childhood to Continue -- 3. …”
Link to Metadata

The Wheat Genome

Table of Contents: “…Introduction -- IWGSC RefSeq bread wheat reference genome sequence -- Wheat genomic resources and their role in wheat research -- Wheat genome structural and functional annotation -- The wheat transcriptome and discovery of functional gene networks -- Genome-wide resource development to accelerate gene discovery and functional analysis in wheat -- Genome-editing technology applications in wheat breeding -- Wheat genetic diversity explored through genomic approaches -- Dawn of the wheat pangenome: sequencing the genomes of 10+ elite lines -- Sequencing ancient wheat to illuminate the history of domestication -- Genome sequences from diploids and wild relatives of wheat for comparative genomics and alien Introgressions -- The impact of the durum wheat genome in identifying new germplasm for breeding -- Haplotype mapping in globally diverse germplasm for genomic-assisted wheat breeding -- Genome-informed discovery of genes and association with wheat traits -- Genomic insights on global journeys of adaptive wheat genes that brought us to modern wheat -- Genomic selection in wheat utilizing the reference sequence -- Rapid cloning of disease resistance genes in wheat. .…”
Link to Metadata

Racial and Ethnic Residential Segregation Across the United States New Approaches to Understanding Trends and Patterns / by Crowell, Amber R., Fossett, Mark A.

Table of Contents: “…Segregation in Rural Nonmetropolitan Communities (High D Low S) special case analysis -- 10. Latino and Asian Subgroups(with additional co-author Wenquan Zhang) -- 11. …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Fashion Communication in the Digital Age Proceedings of the FACTUM 23 Conference, Pisa, Italy, 2023 /

Link to Metadata

Proceedings of the XV Ibero-American Congress of Mechanical Engineering CIBIM 22 / CIBEM 22 /

Link to Metadata