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

Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings /

Table of Contents: “…Investigating transparency dimensions for Internet voting -- OpenVoting: Recoverability from Failures in Dual Voting -- Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE -- Online Voting in Ontario Municipalities: A Standards-based Review -- Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study -- Verifiability Experiences in Ontario's 2022 Online Elections -- Pretty Good Strategies for Benaloh Challenge -- CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device -- Estimating carbon footprint of paper and Internet voting.…”
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

Primary Physical Science Education An Imaginative Approach to Encounters with Nature / by Fuchs, Hans U., Corni, Federico

Table of Contents: “…Encounters with Forces of Nature -- Chapter 3. Wind, Water, and Gravity -- Chapter 4. Heat as a Force of Nature -- Chapter 5. …”
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

System Lightweight Design for Aviation by Wiedemann, Martin

Link to Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 2, 2023

Table of Contents: “…Part I: ICL Landslide Lesson -- Advancements in shear strength interpretation, testing, and use for landslide analysis -- Rock Avalanches in the Tibet Plateau of China -- Part II: Original articles -- Landslide Susceptibility Zonation Using GIS-based Frequency Ratio Approach in the Kulon Progo Mountains Area, Indonesia -- Physically-based regional landslide forecasting modelling: model set-up and validation -- Consequence - frequency matrix as a tool to assess landslides risk -- Do not let your guard down: landslide exposure and local awareness in Mexico -- Landslides in Higher Education Curricula and Beyond -- Community Scale Landslide Resilience: A citizen-science approach -- Remedial Measures Impact on Slope Stability and Landslide Occurrence in Small-Scale Slope Physical Model in 1g Conditions -- Surficial geology and geomorphology of the North Slide, Thompson River valley, British Columbia: application of fundamental geoscience information to interpretations of geospatial monitoring results -- High Resolution Numerical Weather Simulation for Orographic Precipitation as an Accurate Early Warning Tool for Landslide Vulnerable Terrains -- Climate Change as Modifier of Landslide Susceptibility: Case Study in Davao Oriental, Philippines -- Fractal-based evaluation of the spatial relationship between conditioning factors and the distribution of landslides (A case study in Tinh Tuc, Cao Bang province, Vietnam) -- Procedure of Data Processing for the Improvement of Failure Time of a Landslide Based on the Velocity and Acceleration of the Displacement -- Numerical analysis of the effect of rainfall on the stability of sandstone-covered mudstone cutting slopes -- Part III: Review articles -- Post-formation behaviour of Hattian Landslide Dam and post-breaching situation -- Investigation of debris flow impact mechanisms and designs -- A review of the disaster risk assessment perspectives -- Part IV: IPL/WCOE/KLC2020 -- Application of LAND-SUITE for landslide susceptibility modelling using different mapping units. …”
Link to Metadata

Practical Tools for Youth Entrepreneurs An Applied Approach for South Africa and Beyond / by van der Westhuizen, Thea

Table of Contents: “…Part I: Connecting Systems -- Chapter 1: Introduction to Youth Entrepreneurship -- Chapter 2: Internal Domains Entrepreneurial Heartset, Mindset and Handset -- Chapter 3: Youth entrepreneur ecosystem -- Part II: The SHAPE Lab: Tools for Enabling Youth Entrepreneurship -- Chapter 4: Tools to shift hope and activate potential entrepreneurship -- Chapter 5: Enabling tools for entrepreneurship in South Africa -- Chapter 6: Tools to assist in making the move into entrepreneurship -- Chapter 7: New customers and product development -- Chapter 8: Tools to develop core business, growth and sustainability -- Part III: Journaling of the Author on Working as a Youth Entrepreneur -- Chapter 9: En route: A self-reflective lens as a case study.…”
Link to Metadata

Intercultural Competence and Pragmatics by Schauer, Gila A.

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Background -- Chapter 3. …”
Link to Metadata

Internet of Production Fundamentals, Methods and Applications /

Link to Metadata

European Actorness in a Shifting Geopolitical Order European Strategic Autonomy Through Differentiated Integration / by Rieker, Pernille, Giske, Mathilde T. E.

Table of Contents: “…1. Introduction -- 2. Conceptual framework -- 3. …”
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

Augmented Reality for Engineering Graphics by Ivanov, Vitalii, Pavlenko, Ivan, Evtuhov, Artem, Trojanowska, Justyna

Table of Contents: “…Major challenges in engineering education -- Product design -- Visualization of engineering products -- Software description of the AR mobile application -- Exercises.…”
Link to Metadata

Biographical Life Course Research Studying the Biography-History Dynamic / by Nilsen, Ann

Table of Contents: “…Chapter 1 Life Course Studies and Biographical Research: Exploring the Individual-Society Relationship -- Chapter 2 The origins of Biographical and Life Course Research -- Chapter 3 The Revival of Biographical Research in Europe and America -- Chapter 4 Time and Temporality in Biographical Life Course Research -- Chapter 5 The Future as a Topic in Biographical Life Course Approaches -- Chapter 6 Methodological and Other Controversies -- Chapter 7 Reflections.…”
Link to Metadata

Women's Private Practices of Knowledge Production in Early Modern Europe

Table of Contents: “…Situating Women's Private Practices of Knowledge Production in the Early Modern Context -- References -- Lady Jane Lumley's Private Education and Its Political Resonances -- Introduction: Education at a Noble Household -- The Private, the Public, and the Political in Lady Lumley's Writings -- Lady Lumley's The Tragedie of Euripides Called Iphigeneia -- Comparing Translations of Iphigenia at Aulis -- In Conclusion -- References -- Camilla Herculiana (Erculiani): Private Practices of Knowledge Production -- Herculiana's Private Life and Connections: Biographical and Contextual Framework -- Camilla Herculiana é Gregetta, Lettere di philosophia naturale (1584) -- Inquisitional Trial -- Conclusion -- References -- From Behind the Folding Screen to the Collège de France: Victorine de Chastenay's Privacy Dynamics for Knowledge in the Making -- Note-Taking and Knowledge Acquisition as Private Practices -- Adapting the Household's Privacy to Reconcile Writing and Social Obligations -- Privacy in Institutional Spaces -- Conclusion -- References -- "Fait à mes heures de loisir": Women's Private Libraries as Spaces of Learning and Knowledge Production -- The Ducal Libraries: Private Collections? …”
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

Sustainability Objectives in Competition and Intellectual Property Law

Table of Contents: “…PART I: Sustainability Objectives in Competition Law -- Sustainability and Competition Law: an International Report -- Sustainability and Competition Law in Austria -- Sustainability and Competition Law in Belgium -- Sustainability and Competition Law in Brazil -- Sustainability and Competition Law in Czech Republic -- Sustainability and Competition Law - A French Perspective -- Sustainability and Competition Law in Germany -- Sustainability and Competition Law in Hungary -- Sustainability and Competition Law in Italy -- Sustainability and Competition Law in Malta -- Sustainability and Competition Law in Switzerland -- Sustainability and Competition Law in United Kingdom -- PART II: Sustainability Objectives in Intellectual Property Law -- Sustainability and Intellectual Property in Austria -- Sustainability and Intellectual Property in Brazil -- Sustainability and Intellectual Property in Germany -- Sustainability and Intellectual Property in Hungary -- Sustainability and Intellectual Property in Italy -- Sustainability and Intellectual Property in Malta -- Sustainability and Intellectual Property in Sweden -- Sustainability and Intellectual Property in Switzerland -- Sustainability and Intellectual Property in United Kingdom.…”
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

Compliance and Initiative in the Production of Safety A Systems Perspective on Managing Tensions and Building Complementarity /

Table of Contents: “…1. Contextualising (safety) rules -- 2. Uncertainty regulation in high-risk organizations: Harnessing the benefit of flexible rules -- 3. …”
Link to Metadata

Introduction to Digital Humanism A Textbook /

Table of Contents: “…Part 1: Background -- Humanism and Enlightenment -- Philosophical Foundations of Digital Humanism -- Evolution of Computing -- The Digital Revolution in a Historical Perspective -- The Social Responsibilities of Scientists and Technologists in the Digital Age -- "Digital transformation through the lens of intersectional gender research Challenges and needs for action -- No Digital Citizens Without Digital Humanisms -- Digital Transformation, Digital Humanism - What Needs to Be Done -- Part 2: Digital Humanism- a System's View -- A Short Introduction to Artificial Intelligence - Methods, Success Stories, and Current Limitations -- Trustworthy Artificial Intelligence: Comprehensible, Transparent, Correctable -- ARE WE IN CONTROL? …”
Link to Metadata