Search Results - Polexit~

Refine Results
  1. 14741
  2. 14742

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

    Published 2021
    Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
    Link to Metadata
    Electronic eBook
  3. 14743

    Perspectives on Public Policy in Societal-Environmental Crises What the Future Needs from History /

    Published 2022
    Table of Contents: “…Social Responses to Climate Change in a Politically Decentralized Context: A Case Study from East African History -- 11. …”
    Link to Metadata
    Electronic eBook
  4. 14744

    Knowledge and Networks

    Published 2017
    Table of Contents: “…Exploring the Interaction of Space and Networks in the Creation of Knowledge: An Introduction: Johannes Glückler, Emmanuel Lazega, and Ingmar Hammer -- I: The Significance of Knowledge About Networks: The Relational Dimension as a Bridging Principle Between Economic, Social, and Geographic Issues: Reversing the Instrumentality of the Social for the Economic: A Critical Agenda for 21st-Century Knowledge Networks: Nancy Ettlinger -- Interpersonal Networks in Foreign Assignments and Intercultural Learning Processes: Erika Spieß -- Family Networks for Learning and Knowledge Creation in Developing Regions: Pengfei Li -- Studying Networks Geographically: World Political Regionalization in the United Nations General Assembly (1985-2010): Laurent Beauguitte -- (Post)graduate Education Markets and the Formation of Mobile Transnational Economic Elites: Sarah Hall -- II: Relational Opportunity: Network Evolution and Its Impact on Individuals and Regions: Organized Mobility and Relational Turnover as Context for Social Mechanisms: A Dynamic Invariant at the Heart of Stability from Movement: Emmanuel Lazega -- Trajectory Types Across Network Positions: Jazz Evolution from 1930 to 1969: Charles Kirschbaum -- Topology and Evolution of Collaboration Networks: The Case of a Policy-anchored District: Laura Prota, Maria Prosperina Vitale, and Maria Rosaria D'Esposito -- Platforming for Path-Breaking? …”
    Link to Metadata
    Electronic eBook
  5. 14745

    Children and Peace From Research to Action /

    Published 2020
    Table of Contents: “…The Role of Cognitive Complexity in Promoting a Positive Representation of Diversity in Children -- 17. Political Orientation and Engagement from Adolescence to Adulthood: Evidence of (Dis)Continuity from a Three-Decade Longitudinal Study in the German Peace Movement -- 18. …”
    Link to Metadata
    Electronic eBook
  6. 14746

    Buildings for Education A Multidisciplinary Overview of The Design of School Buildings /

    Published 2020
    Table of Contents: “…PART 1: THE URBAN AND SOCIAL ROLE OF SCHOOL BUILDINGS, The open-air school typology in the Milanese experience: the Trotter and the Rinnovata Pizzigoni -- The topic of the school in the Milanese Professionalism -- Space and figuration of the school building in the construction of the metropolitan periphery: the school as a for social emancipation workshop -- Imagining the School of the future -- Modernist schools in the new rural landscape of the Pontine Plain -- Rural and urban schools: Northern Greece in the interwar period -- The schools as heritage and a tool for political and cultural integration. The buildings of the Plan de edificación escolar in Buenos Aires -- Origins and development of the American Campus: the "Academical Village" of Thomas Jefferson -- Bovisa: a Park for Work and Research -- The city's New Road. …”
    Link to Metadata
    Electronic eBook
  7. 14747

    Geographies of the University

    Published 2018
    Table of Contents: “…Schwinges) -- Chapter 3: Scientific and Cultural Relations between Heidelberg University and Hungary over Five Centuries (Peter Meusburger) -- Chapter 4: Catchment Areas and Killing Fields: Towards an Academic Geography of the Thirty Years' War (Howard Hotson) -- Chapter 5: A Political Geography of University Foundation: The Case of the Danish Monarchy (Hanne Kirstine Adriansen) -- Chapter 6: 'A Small Town of Character': Locating a New Scottish University, 1963 - 1965 (Michael Heffernan) -- Part II: Spaces and Governance of Knowledge, Research and Education -- Chapter 7: Knowledge Environments at Universities. …”
    Link to Metadata
    Electronic eBook
  8. 14748

    Maritime Spatial Planning past, present, future /

    Published 2019
    Table of Contents: “…Adding people to the sea: conceptualising social sustainability in MSP; Fred Saunders, Michael Gilek and Ralph Tafon -- Chapter 9. Politics and Power in Marine Spatial Planning; Wesley Flannery, Jane Clarke and Benedict McAteer -- Chapter 10. …”
    Link to Metadata
    Electronic eBook
  9. 14749
  10. 14750
  11. 14751
  12. 14752
  13. 14753
  14. 14754
  15. 14755
  16. 14756
  17. 14757

    The Palgrave Handbook of Global Slavery throughout History

    Published 2023
    Table of Contents: “…Montana -- 27: Slavery in Islamic West Africa; Jennifer Lofkrantz -- 28: Urban East African Slavery; Michelle Liebst -- 29: Slavery in South Asia; Emma Kalb -- 30: Slavery in Southeastern Europe; Viorel Achim -- 31: Injection: The Global Spread of Abolitionism; William Mulligan -- Part 5: Contemporary Societies (1900-Present) -- 32: American Slaveries since Emancipation; Catherine Armstrong -- 33: Slavery in French West Africa; Benedetta Rossi -- 34: Slave Labor in Nazi Germany; Marc Buggeln -- 35: State-introduced Slavery in Soviet Forced Labor Camps; Felicitas Fischer von Weikersthal -- 36: North Korean Slavery and Forced Labor in Present-Day Europe; Remco Breuker -- 37: Modern Slavery in the Global Economy; Bruno Lamas -- 38: Injection: Modern Slavery and Political Strategy; Joel Quirk -- 39: Conclusion: Situating Slavery Studies in the Field of Global History; Juliane Schiel.…”
    Link to Metadata
    Electronic eBook
  18. 14758

    Advancing Energy Policy Lessons on the integration of Social Sciences and Humanities /

    Published 2018
    Table of Contents: “…Binder -- Chapter 11. Towards a Political Ecology of EU Energy Policy; Gavin Bridge, Stefania Barca, Begüm Özkaynak, Ethemcan Turhan, Ryan Wyeth -- Afterword 1. …”
    Link to Metadata
    Electronic eBook
  19. 14759
  20. 14760