Search Results - 畫家~

Refine Results
  1. 1561

    Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

    Published 2023
    Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
    Link to Metadata
    Electronic eBook
  2. 1562

    Irregular Migration IMISCOE Short Reader / by Ambrosini, Maurizio, Hajer, Minke H.J

    Published 2023
    Table of Contents: “…1. Introduction. Understanding the Challenge of Irregular Migration -- 2. …”
    Link to Metadata
    Electronic eBook
  3. 1563
  4. 1564

    Differential Equations for Studies in Computational Electrophysiology by Horgmo Jæger, Karoline, Tveito, Aslak

    Published 2023
    Table of Contents: “…1. Getting Started -- 2. A System of Ordinary Differential Equations -- 3. …”
    Link to Metadata
    Electronic eBook
  5. 1565

    Energy and Sustainable Futures: Proceedings of the 3rd ICESF, 2022

    Published 2023
    Table of Contents: “…Investigating Energy Cost Impact on Private Residential Buildings in the West Midlands Region of the UK -- Towards an Effective Artificial Intelligence Systems for Condition Monitoring of Off-Shore Wind Turbines: The Application of Sensor Fusion -- CFD Based Aerodynamics conjugate Heat Transfer and Airgap Fluid Flow Thermal Analysis to a Wheel Hub Motor for Electric Scooters -- Learning from the past fora sustainable future: Environmental monitoring and 3D modeling to assess the thermal performance of heritage buildings -- Oil and gas supply chain: Analysing stakeholder sustainability risk perception -- using machine learning to predict synthetic fuel spray penetration from limited experimental data without computational flluid dynamics.…”
    Link to Metadata
    Electronic eBook
  6. 1566

    Marine Plastics: Innovative Solutions to Tackling Waste

    Published 2023
    Table of Contents: “…-Chapter 8: Engaging Volunteers as Experts in Data-Driven Research Projects and a Circular Economy: The Case of PlastOPol -- Chapter 9: The role of non-profit organizations (NGOs) in value creation: Lessons from the recycling of fishing gear in Norway -- Chapter 10: Sotenäs Marine Recycling Centre in Sweden: A Case Study related to Waste Fishing Gear -- Chapter 11: The effect of fishing nets aging on metal uptake -- Chapter 12: Possible applications for waste fishing nets in construction material -- Chapter 13: The influence of Involvement and Attribute Importance on Purchase Intentions for Green Products -- Chapter 14: Role of resource users' knowledge for developing realistic strategies for a circular economy for plastics from the Norwegian fishing sector -- Chapter 15: Concluding remarks.…”
    Link to Metadata
    Electronic eBook
  7. 1567

    New Wars and Old Plagues Armed Conflict, Environmental Change and Resurgent Malaria in the Southern Caucasus / by Hirschfeld, Katherine, de Beurs, Kirsten, Brayfield, Brad, Melkonyan-Gottschalk, Ani

    Published 2023
    Table of Contents: “…1. Introduction -- 2. History and Ecology of Malaria in the Caucasus -- 3. …”
    Link to Metadata
    Electronic eBook
  8. 1568

    Thyroid Surgery

    Published 2024
    Table of Contents: “…Part I: Introduction.History of thyroid surgery -- General preoperative workup and diagnostic tools.…”
    Link to Metadata
    Electronic eBook
  9. 1569

    The Evolution of Research on Teaching Mathematics International Perspectives in the Digital Era /

    Published 2023
    Table of Contents: “…Student mathematics learning outcomes -- 9. External context -- 10. Individual student internal contexts and considerations for mathematics teaching and learning -- 11. …”
    Link to Metadata
    Electronic eBook
  10. 1570

    Struggles for Reproductive Justice in the Era of Anti-Genderism and Religious Fundamentalism

    Published 2023
    Table of Contents: “…-- 5: Changing and competing discourses on abortion in Taiwan, 1990-2020 -- 6: In green and blue: Feminist struggle for abortion rights in Argentina -- 7: Narratives on the history of abortion in socialist Poland in today's struggles around abortion in Poland -- 8: Everyday bordering and the struggle for reproductive justice in Ireland -- 9: ¡Aborto Ya! …”
    Link to Metadata
    Electronic eBook
  11. 1571

    Values - Politics - Religion: The European Values Study In-depth Analysis - Interdisciplinary Perspectives - Future Prospects /

    Published 2023
    Table of Contents: “…Transformations in the Religious and Moral Landscape in Europe? -- Part II: In-Depth Analysis -- Chapter 5. Political Values and Religion: A Comparison Between Western and Eastern Europe -- Chapter 6. …”
    Link to Metadata
    Electronic eBook
  12. 1572

    Empty Innovation Causes and Consequences of Society's Obsession with Entrepreneurship and Growth / by Hallonsten, Olof

    Published 2023
    Table of Contents: “…Economization -- Chapter 4. We're All Entrepreneurs Now -- Chapter 5. Faster, Better, Stronger -- Chapter 6. …”
    Link to Metadata
    Electronic eBook
  13. 1573

    The Future of Work Challenges and Prospects for Organisations, Jobs and Workers /

    Published 2023
    Table of Contents: “…Assessing the impact of new ways of working on individual and organisational well-being -- Chapter 3. AI, Data Analytics and the Professions -- Chapter 4. …”
    Link to Metadata
    Electronic eBook
  14. 1574

    Systems Biology Functional Strategies of Living Organisms / by Konieczny, Leszek, Roterman-Konieczna, Irena, Spólnik, Paweł

    Published 2023
    Table of Contents: “…Chapter 1: The Structure And Function Of Living Organisms -- Chapter 2: Energy In Biology - Demand And Use -- Chapter 3: Information - Its Role And Meaning In Organism -- Chapter 4: Regulation In Biological Systems -- Chapter 5: Interrelationship In Organized Biological Systems. .…”
    Link to Metadata
    Electronic eBook
  15. 1575

    Non-Territorial Autonomy An Introduction /

    Published 2023
    Table of Contents: “…1. Introduction -- 2. The Concept of Non-Territorial Autonomy: Origins, Developments, and Subtypes -- 3. …”
    Link to Metadata
    Electronic eBook
  16. 1576

    Effective Teaching Around the World Theoretical, Empirical, Methodological and Practical Insights /

    Published 2023
    Table of Contents: “…Foreword -- Introduction -- Section 1: Conceptualization and measurement of effective teaching -- Section 2: Effective teaching: insights from specific countries -- Section 3: Effective teaching: comparison across countries -- Section 4: Effective teaching and its correlates -- Section 5: Effective teaching in complex environments: Differentiation and adaptive teaching -- Epilogue -- Conclusion.…”
    Link to Metadata
    Electronic eBook
  17. 1577

    Migration and International Relations IMISCOE Short Reader / by Wihtol de Wenden, Catherine

    Published 2023
    Table of Contents: “…Chapter 1. International Migration as a World Issue -- Chapter 2. …”
    Link to Metadata
    Electronic eBook
  18. 1578

    Stakeholder Engagement in a Sustainable Circular Economy Theoretical and Practical Perspectives /

    Published 2023
    Table of Contents: “…Chapter 5. Multi-Stakeholder Network in a Circular Economy Transition: A Typology of Stakeholder Relationships -- Chapter 6.,Developing a Participatory Approach to Support Decision-making in Waste Management -- Chapter 7. …”
    Link to Metadata
    Electronic eBook
  19. 1579

    Stakeholder Relationships And Sustainability The Case Of Health Aid To The Kyrgyz Republic / by Isabekova, Gulnaz

    Published 2024
    Table of Contents: “…1. Introduction -- 2. Theorizing Power, Agents, Structures, and Aid Relationships -- 3. …”
    Link to Metadata
    Electronic eBook
  20. 1580

    Placing Property A Legal Geography of Property Rights in Land / by Byer, Amanda

    Published 2023
    Table of Contents: “…1. Introduction: A Legal Geography of Property Rights in Land -- 2. …”
    Link to Metadata
    Electronic eBook