Search Results - 自殺~

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings /

Link to Metadata

Cancer Care in Pandemic Times: Building Inclusive Local Health Security in Africa and India

Table of Contents: “…Part 1 cancer in pandemic times -- Chapter 1 - the cancer care challenge in the light of pandemic experience -- Chapter 2 - broken supply chains and local manufacturing innovation: responses to covid-19 and their implications for policy -- Part 2 the cancer care experience in east Africa -- Chapter 3 - the social pain of cancer in east africa: understanding need -- Chapter 4: access to cancer care: navigating the maze -- Chapter 5 - beyond 'late presentation': explaining delayed cancer diagnosis in east Africa -- Part 3 local industry and cancer care in india and east Africa -- Chapter 6 - cupboard full, cupboard empty: the industrial building blocks of covid-19 and cancer systems -- Chapter 7- manufacturing for cancer care in east africa: raising the ambition -- Chapter 8 - oncology drug production in sub-saharan africa: the challenge and opportunity, with evidence from india -- Part 4 - industrial innovation and industrial policy -- Chapter 9- emerging business models in cancer diagnostic startups in india and lessons for african countries -- Chapter 10 - realistic ambitions: technology transfer for biologics platform technologies -- Chapter 11 - palliation economics: the industrial organization of morphine in india -- Part 5 - tackling institutional gaps: using scenarios -- Chapter 12 innovation and policy in cancer pain management: systemic interactions in Tanzania -- Chapter 13 - using scenarios to support innovation and mutual linkages -- Chapter 14- conclusion: better cancer care and greater local health security: lessons, opportunities and ways forward.…”
Link to Metadata

Polarization, Shifting Borders and Liquid Governance Studies on Transformation and Development in the OSCE Region /

Table of Contents: “…Early Warning Models in the OSCE: Adoption and Re-Invention (Alina Isakova) -- Chapter 3. NATO and EU Strategic Security Environment (Aybike Yalcin-Ispir) -- Chapter 4. …”
Link to Metadata

Shaping the Future of Biological Education Research Selected Papers from the ERIDOB 2022 Conference /

Table of Contents: “…Facilitating the Practice of 4 C Skills in Biology Education through Educational Escape Rooms (Georgios Villias and Mark Winterbottom) -- Chapter 6. …”
Link to Metadata

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings /

Table of Contents: “…Education and Awareness for Artificial Intelligence -- What is AI-PACK? Outline of AI competencies for teaching with DPACK -- Implementing a Portable Learning Lab on Artificial Intelligence: It's AI in a Box! …”
Link to Metadata

Cycling Through the Pandemic Tactical Urbanism and the Implementation of Pop-Up Bike Lanes in the Time of COVID-19 /

Table of Contents: “…The rise of the user-group voice -- Tactical urbanism to develop cycling infrastructures: The implementation of COVID cycle lanes in Switzerland -- Temporary urbanism in pandemic times-Disruption and continuity of public action in Montreal -- Pop-up bike lanes and temporary shared spaces in Vienna during the COVID-19 pandemic -- The spatial dimension of "pop-up cycle paths" in metropolitan areas: A comparative study of France and Colombia -- Cycling in Bogotá during a pandemic. …”
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

Women's Drug Use in Everyday Life by Eleonorasdotter, Emma

Table of Contents: “…1. Introduction -- 2. Drugs in historical and contemporary contexts: Legal, cultural, scientific, and geographical -- Drugs and medications -- 4. …”
Link to Metadata

A Roadmap for Plant Genome Editing

Table of Contents: “…Section 0- Editorial -- Section 1- Plant breeding and Technological Advances -- Chapter 1 Genome editing of gene families for crop improvement -- Chapter 2 Base editing and Prime editing -- Chapter 3 Novel delivery methods for CRISPR-based plant genome editing + Figure -- Chapter 4 Balancing trait improvement with tradeoff side-effects using genome editing technology -- Chapter 5 CRISPR/Cas mutation screening: from mutant allele detection to prediction of protein coding potential -- Chapter 6 Methods and techniques to select efficient and specific guides for CRISPR-mediated genome editing in plants -- Section 2- Applications of Genome Editing -- Chapter 7 Genome editing of a macroalgae with possible global impacts -- Chapter 8 A Short Review of Advances in Plant-Based Antigen Production Strategies and the Production of Viral Vaccine Antigens Derived from CRISPR/Cas9 Genome Edited Nicotiana benthamiana Plants for Enhanced Vaccine Efficacy -- Chapter 9 Precise gene editing of cereals using CRISPR/Cas technology -- Chapter 10 Implementing genome editing in barley breeding -- Chapter 11 Current status and future prospective of genome editing application in maize -- Chapter 12 Using gene editing strategies for wheat improvement -- Chapter 13 Gene Editing of Wheat to Reduce Coeliac Disease Epitopes in Gluten -- Chapter 14 Genome Editing in Horticultural Plants: Present Applications and Future Perspective -- Chapter 15 Application of CRISPR/Cas-mediated genome editing techniques in leguminous crops -- Chapter 16 Genetic improvement in leguminous crops through genome editing -- Chapter 17 Soybean improvement and the role of gene editing -- Chapter 18 Oilseed rape (Brassica napus L.) …”
Link to Metadata

The Power of Energy Justice & the Social Contract

Table of Contents: “…Minimum Standards of Access to Energy Services: Underpinning Energy Justice and Legal Action (Tedd Moya Mose) -- Chapter 32: Empowering those in harm's way: a Restorative Justice approach (Amina Ahmed Ibrahim) -- Part 7: Conclusion -- Chapter 33. …”
Link to Metadata

Designing Democratic Schools and Learning Environments A Global Perspective /

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Kopernikus School: dialog and respect for a democratic life -- Chapter 3. …”
Link to Metadata

Children in Custody Disputes Matching Legal Proceedings to Problems /

Table of Contents: “…Children's health matters in custody conflicts - What do we know? -- Chapter 3. Nordic family mediation: towards a system of differentiated services? …”
Link to Metadata

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

Tracing Private Conversations in Early Modern Europe Talking in Everyday Life /

Table of Contents: “…Kaminska -- 7. "So that I never fail to warn and exhort": Pastoral Care and Private Conversation in a Seventeenth-Century Reformed Village; Markus Bardenheuer -- 8. …”
Link to Metadata

Transformations of European Welfare States and Social Rights Regulation, Professionals, and Citizens /

Table of Contents: “…Chapter 1. Introduction: transformations of european welfare states and social rights (stine piilgaard porner nielsen & ole hammerslev) -- Part I: State Regulation, Transformation of State egulation, And Agents Acting on Behalf of The State -- Chapter 2. …”
Link to Metadata

New Mechanism Explanation, Emergence and Reduction /

Table of Contents: “…Chapter 1. A framework for mapping mechanistic perspectives (João Cordovil, Gil Santos, Davide Vecchi ) -- Chapter 2. …”
Link to Metadata

Understanding The Everyday Digital Lives of Children and Young People

Table of Contents: “…Talking About Digital Responsibility: Children's and Young People's Voices -- 14. Intersecting Knowledge on Young People's Well-Being and Use of Digital Technology Across Contexts: A Scoping Review Synthesis -- Part III A New Response to Risk and Vulnerability: Influencing Social Policy in the Digital Age -- 15. …”
Link to Metadata

Gender and Cultural Mediation in the Long Eighteenth Century Women across Borders /

Table of Contents: “…La Vopa -- 7. Language, Gender and Authority in the Letters of Isabelle de Charrière;Amélie Jaques and Beatrijs Vanacker -- Part 3: Rewriting through Translation -- 8. …”
Link to Metadata

Proceedings of the 8th International Conference on Attosecond Science and Technology

Table of Contents: “…Imaging ultrafast Dissociation Dynamics: OCS & Roaming in Formaldehyde -- Chapter 9. Controlling the time evolution of electron-nuclei entanglement for steering vibronic coherences dynamics induced by short 1-2 fs optical pulses -- Chapter 10. …”
Link to Metadata