Search Results - 畫家~

Unleashing Society's Innovative Capacity An Integrated Policy Framework / by Braunerhjelm, Pontus, Henrekson, Magnus

Table of Contents: “…1. The Challenge -- 2. Theories of Growth, Innovation, and Entrepreneurship -- 3. …”
Link to Metadata

Feminist Activism, Travel and Translation Around 1900 Transnational Practices of Mediation and the Case of Käthe Schirmacher / by Gehmacher, Johanna

Table of Contents: “…-- Chapter 5: Letters from Paris: Letters from Germany -- Chapter 6: Trans/national Encounters: Winter Travels Through Europe -- Chapter 7: 'The Modern Women's Rights Movement' -- Chapter 8: 'As Interpreter for This Convention, I Feel That I Must Not Continue My Office': London 1909 -- Chapter 9: 'Suffragettes in Germany': Translating Militancy -- Chapter 10: When Translation Ends.…”
Link to Metadata

Language Contacts and Discourses in the Far North

Table of Contents: “…Chapter 1: Language Discourses and Contacts in the 21st Century Far North - Introduction to the Volume -- Chapter 2: Managing Differences, Showing (Dis)affiliations: Language Contacts Through the Eyes of the Inhabitants of a Village in Finnish Lapland. -- Chapter 3: 'Somewhere Between Engineering and Humanities': Discourses of Investment in Additional Language Learning Among Students of Higher Education in Finland -- Chapter 4: The Effects of the Beginning of University Studies on the Language Revitalisation of Skolt Saami as Seen from the Perspective of Students and the Language Community -- Chapter 5: Talkin' 'bout my Integration: Views on Language, Identity, and Integration Among Dutch and Finnish Migrants to the Swedish Countryside -- Chapter 6: Finnish, the Most Difficult Language to Learn? …”
Link to Metadata

Transformative Governance for the Future Navigating Profound Transitions / by Caro-Gonzalez, Antonia

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. A Call for Action - Tackling the Profound Transitions Ahead -- Chapter 3. …”
Link to Metadata

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /

Link to Metadata

Scenes and Communities in the City by Klekotko, Marta

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Community question: classical debates -- Chapter 3. …”
Link to Metadata

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