GLORIA — GEOMAR Library Ocean Research Information Access

11

Online-Ressource

Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics (2024)

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Beschreibung / Inhaltsverzeichnis: Intro -- Preface -- Introduction -- Contents -- Part I Harmony -- 1 Harmony via Reductions and Expansions -- 1.1 Meaning Theory and Harmony -- 1.2 Harmony and Natural Deduction -- 1.3 Harmony, Reductions and Expansions -- 1.4 Some Formal Definitions -- 1.5 Some Formal Results -- 1.6 Canonicity -- 1.7 Normalization, Subformula Property, Canonicity and Harmony -- 1.8 A Quick Comparison with Other Approaches -- 2 Identity of Proofs -- 2.1 Proof-Theoretic Semantics -- 2.2 Proofs as Constructions -- 2.3 Derivations and Proofs -- 2.4 From Reductions and Expansions to Equivalence -- 2.5 Formula Isomorphism -- 2.6 An Intensional Picture -- 2.7 Weak Notions of Reduction and Equivalence -- 2.8 Derivations and Proofs, Again -- 2.9 Validity -- 2.10 Correctness of Rules -- 2.11 The Relative Priority of Correctness and Validity -- 3 Towards an Intensional Notion of Harmony -- 3.1 Disjunction: A Problem for Stability -- 3.2 A ``Quantum-Like'' Implication -- 3.3 Generalizing the Expansions for Disjunction -- 3.4 Harmony: Arbitrary Connectives and Quantifiers -- 3.5 Stability and Permutations -- 3.6 The Meaning of Harmony -- 3.7 Comparison with Jacinto and Read's GE-Stability -- 3.8 Harmony by Interderivability -- 3.9 Yet Another Inversion Principle -- 3.10 Harmony by Interderivability is Not Intensional -- Part II Paradox -- 4 Paradoxes: A Natural Deduction Approach -- 4.1 The Prawitz-Tennant Analysis of Paradoxes -- 4.2 A Simplified Presentation -- 4.3 Which Background Logic? -- 4.4 A Substructural Analysis -- 5 Validity, Sense and Denotation in the Face of Paradoxes -- 5.1 Paradoxes as Non-denoting Derivations -- 5.2 Non-denoting Derivations and (In)validity -- 5.3 The Need of Revising Prawitz's Validity -- 5.4 The Local Correctness of an Inference -- 5.5 Local Correctness Versus Global Validity -- 5.6 rhoρ Versus monospace t o n ktonk.

Materialart: Online-Ressource

Seiten: 1 online resource (190 pages)

Ausgabe: 1st ed.

ISBN: 9783031469213

Serie: Trends in Logic Series v.62

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323964

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

12

Online-Ressource

City, Citizen, Citizenship, 400-1500 : A Comparative Approach (2024)

Rose, Els [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Beschreibung / Inhaltsverzeichnis: Intro -- Acknowledgements -- Contents -- Abbreviations -- List of Figures -- List of Tables -- Part I Introduction -- 1 The Medieval City: Stones, Communities, Concepts -- 1 Approaching the Medieval City -- 2 The Medieval City: Stones, People, Concepts -- 3 Volume Overview -- Bibliography -- Part II Monumentalising the City -- 2 Civic Commitment in the Post-Roman West: The Visigothic Case Study -- 1 Introduction -- 2 Early Medieval Cities as Place-Defined Communities -- 2.1 The Psychology of Place -- 2.2 Citizenship and Community Belonging -- 2.3 Leading the People, Managing the City: Elites and Civic Commitment -- 2.4 Popular Participation and Community Involvement -- 3 Commitment, Consensus, and Contribution: Civic Communities in Visigothic Iberia -- 3.1 Powerholders in Visigothic Cities -- 3.2 The Many Faces of Civic Commitment -- Institutional Contributions -- Private Donations -- Communal Action -- 4 Community and Investment in the Early Medieval City-Some Conclusions -- Bibliography -- 3 Water Provision in Early Islamic Cities: A Multidisciplinary Approach to Urban Water Governance -- 1 Introduction -- 2 Early Islamic Urban Organisation -- 3 Tribes and Water Management -- 4 Cooperation Between the State and Local Actors -- 5 Water in the Caliphal Capitals -- 6 Residential Water Supply and Commercial Involvement -- 7 Conclusions -- Bibliography -- 4 Places of Love and Honour: Cities and Almost-Cities in the Carolingian World -- 1 Introduction -- 2 The City and the Civitas -- 3 The Non-urban civitas -- 4 The Palace as civitas -- 5 Conclusion -- Bibliography -- 5 Expressing Civic Pride in Stone: Church Towers and Town Halls in the Fifteenth- and Sixteenth-Century Low Countries -- 1 Introduction -- 2 Prodigy Towers -- 2.1 Tower Competition in Delft -- 2.2 The New Church's Tower in Delft as a Joint Effort.

Materialart: Online-Ressource

Seiten: 1 online resource (500 pages)

Ausgabe: 1st ed.

ISBN: 9783031485619

Serie: The New Middle Ages Series

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323961

DDC: 307.760902

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

13

Online-Ressource

Covid-19, Psychological Operations, and the War for Technocracy : Volume 1 (2024)

Hughes, David A. [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Beschreibung / Inhaltsverzeichnis: Intro -- Legal Disclaimer -- Contents -- 1 Permanent Counterrevolution, Technocracy, and World War III -- Introduction -- Permanent Counterrevolution: A Brief History -- The "Covid-19" Operation: Proximate Triggers -- Worldwide Social Protests -- Crisis in the International Monetary and Financial System -- Crisis of the Western Propaganda System -- Technocracy: A Brief History -- Technocracy: Origins -- The "Scientific Dictatorship" and the "Technetronic Era" -- China: The World's First Technate -- World War III -- World War as an Instrument of Social Engineering -- How Can the Few Wage War Against the Many? -- Omniwar -- Information Warfare -- The "Covid-19" Operation -- References -- 2 Shock and Stress -- Shocking the Mind -- Tavistock Influence -- Psychiatry as a Means of Social Control -- Tavistock Methods of Counterinsurgency -- Counterinsurgency against the Domestic Population -- The Quest for Mass Suggestibility. -- The Shock Doctrine -- The Shock of "Covid-19" -- "Lockdown" as Shock and Awe Operation -- Disruption of Behavioural Patterns -- Isolation -- Defamiliarisation -- Implanting Triggers -- Mass Psychosis -- References -- 3 Trauma-based Mind Control -- The Franklin Scandal, Project Monarch, The Finders, and Satanic Ritual Abuse -- Torture -- Psychological Torture -- Chronic Stress -- Simple Techniques to Disturb Mental Equilibrium -- Face Masks as Instruments of Psychological Torture -- Trauma -- "Covid-19" as Mass Trauma Event -- Killing Granny -- Trauma Bonding -- Perpetrators in Parliament -- Permanent Scars and Intergenerational Trauma -- False Rescue -- Demonstrating "Omnipotence" -- Infantilisation -- Evil Comes to Light -- References -- 4 Fear and Threat -- Existential Threat and Social Control -- The "Covid-19 Pandemic" -- "Pandemic" as a Fear Concept -- What Counts as a "Pandemic"? -- The Bogus "Spanish Flu" Analogy.

Materialart: Online-Ressource

Seiten: 1 online resource (400 pages)

Ausgabe: 1st ed.

ISBN: 9783031418501

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323959

DDC: 303.483

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

14

Online-Ressource

Handbook of Digital 3D Reconstruction of Historical Architecture (2024)

Münster, Sander [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Beschreibung / Inhaltsverzeichnis: Intro -- Editors' Foreword -- References -- Acknowledgements -- Contents -- Abbreviations -- 1 Introduction -- 1.1 A Brief History of 3D Reconstruction -- 1.2 Examples of 3D Reconstruction Projects -- References -- 2 Basics and Definitions -- 2.1 Architectural History -- 2.2 Reconstruction -- 2.3 Sources -- 2.4 Models and Modeling -- 2.5 The Architectural Model -- 2.6 Computer-Based 3D Modeling -- 2.6.1 3D as Reference to Space -- 2.6.2 Digital Versus Virtual -- 2.6.3 Reconstruction Versus Digitalization -- 2.7 Simulation -- References -- 3 Scholarly Method -- 3.1 Introduction -- 3.2 Purposes of 3D Modeling -- 3.2.1 Research -- 3.2.2 Education -- 3.2.3 Knowledge Organization -- 3.3 Epistemic Challenges of 3D Modeling in Humanities -- 3.4 Visual Research Processes and 3D Modeling -- 3.5 Scientific Values -- 3.6 Guidelines and Standards for 3D Reconstruction -- References -- 4 Scholarly Community -- 4.1 Introduction -- 4.2 Disciplines Which Benefit from the Method -- 4.2.1 Visual Approaches in the Humanities -- 4.2.2 Visual Digital Humanities -- 4.3 Scholars and Topic Areas -- 4.4 Scholarly Culture -- References -- 5 Workflows -- 5.1 The Process of 3D Reconstruction -- 5.2 Interdisciplinarity -- 5.3 Modeling the Project Process -- 5.4 3D Reconstructions as Interdisciplinary Projects -- 5.5 3D Reconstruction Project Management -- 5.5.1 Definition of Project Work -- 5.5.2 Project Organization -- 5.5.3 Goals -- 5.5.4 Planning and Control -- 5.5.5 Quality -- 5.5.6 Quality Management -- 5.6 Phenomena and Strategies for Cooperation -- References -- 6 3D Modeling -- 6.1 The Raw Model and the Informative Model -- 6.2 Semantic Description of the 3D Model -- 6.3 Traditional and Digital Representation Methods -- 6.4 3D Modeling Techniques -- 6.4.1 Procedural and Algorithmic Modeling -- 6.4.2 Parametric Modeling -- 6.4.3 Automatic Reality-Based Modeling.

Materialart: Online-Ressource

Seiten: 1 online resource (211 pages)

Ausgabe: 1st ed.

ISBN: 9783031433634

Serie: Synthesis Lectures on Engineers, Technology, and Society Series v.28

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323958

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

15

Online-Ressource

Food Economics : Agriculture, Nutrition, and Health (2024)

Masters, William A. [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Beschreibung / Inhaltsverzeichnis: Intro -- Preface -- You Know More Than You Think, but This Book Offers Surprising New Insights -- Acknowledgments -- Praise for food economics -- This Book in Verse -- Why Are Kiwis So Cheap? -- Contents -- List of Figures -- List of Tables -- 1 Introduction -- 1.1 From Farming to Eating, Research and Teaching -- 1.1.1 Using Food Economics, for Professional Life and as Consumers and Citizens -- 1.1.2 The Origins of This Book -- 1.1.3 Supplementary Materials -- 1.2 Why Study Food Through Economics, and Economics Through Food? -- 1.2.1 Learning Objectives of the Book -- 1.2.2 Why Study Food Through Economics, and Economics Through Food? -- Why Use Economics to Study Food? -- Why Use Food to Understand Economics? -- Economics as a Science -- Economics as a Social Science -- How Economics Differs from Other Social Sciences -- What Economics Is Not -- Questions About Food and Nutrition that Economics Can Answer -- Economic Thinking as a Useful Skill for Any Profession -- 1.2.3 Intended Audiences for This Book -- The Models Used in This Book -- Two-Dimensional Diagrams Show a System of Simultaneous Equations -- How to Learn These Models -- On the Philosophies of Modeling -- Ways of Knowing in This Book -- 1.3 Understanding Charts of Economic Data -- 2 Individual Choices: Explaining Food Consumption and Production -- 2.1 Consumer Choices: Food Preferences and Dietary Intake -- 2.1.1 Motivation and Guiding Questions -- 2.1.2 Analytical Tools -- A Model of Consumer Choices -- Notation and Specification of Variables on Each Axis -- Indifference Curves for Consumption of Each Good -- 2.1.3 Conclusion -- 2.2 Producer Choices: Agriculture and Food Manufacturing -- 2.2.1 Motivation and Guiding Questions -- 2.2.2 Analytical Tools -- The Production Possibilities Frontier (PPF) -- The Input Response Curve (IRC) -- The Isoquant or Input Substitution Curve (ISC).

Materialart: Online-Ressource

Seiten: 1 online resource (498 pages)

Ausgabe: 1st ed.

ISBN: 9783031538407

Serie: Palgrave Studies in Agricultural Economics and Food Policy Series

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323954

DDC: 338.19

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

16

Online-Ressource

Research Ethics in Epidemics and Pandemics : a Casebook (2024)

Bull, Susan [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Beschreibung / Inhaltsverzeichnis: Intro -- Foreword -- Preface -- In Memoriam: Vasantha Muthuswamy -- Case Study Authors -- Case Keyword Overview -- Chapter 1 -- Case 1.1: A Study on the Telemonitoring of COVID-19 Patients at Home -- Case 1.2: Trial Unblinding Following Emergency Authorization of Vaccines -- Case 1.3: COVID-19 Controlled Human Infection Studies -- Case 1.4: Early-Stage Investigations into Infectious Diseases -- Chapter 2 -- Case 2.1: Should Death and Grieving During the Pandemic Be Studied? -- Case 2.2: Should Widespread Off-Label Use of Medication Influence Research Prioritisation? -- Case 2.3: Studying the Treatment of COVID-19 Patients with Traditional Medicine -- Case 2.4: Research Reprioritization During the COVID-19 Pandemic -- Case 2.5: Challenges with Continuing Cancer Research in a Publicly Funded Hospital -- Chapter 3 -- Case 3.1: Self-Experimentation in the Development of COVID-19 Vaccines -- Case 3.2: Research with Chlorine Dioxide in a Prison During the COVID-19 Pandemic -- Case 3.3: Evaluating the Role of the BCG Vaccine as a Prophylactic in Elderly Populations -- Case 3.4: Publication, Pre-publication and Retraction of Research: How a Pandemic Magnifies Concerns About Publication Ethics -- Case 3.5: Retracted Research: Impacts and Outcomes -- Chapter 4 -- Case 4.1: Use of Convalescent Plasma in Severely Ill COVID-19 Patients -- Case 4.2: COVID-19 Antibody-Testing Initiatives in a European Country -- Case 4.3: Competing Priorities Under Pressure: Government Collaboration with Academic Institutions -- Case 4.4: Vaccine Research or Rollout? -- Chapter 5 -- Case 5.1: Adapting Face-to-Face Interviews to Respect Infection Control Measures -- Case 5.2: A Community-Based Intervention for Indigenous Older Persons with Mild to Moderate Dementia -- Case 5.3: Suspending Participation in Research -- Case 5.4: Ethics and Adaptive Trials in the COVID-19 Pandemic.

Materialart: Online-Ressource

Seiten: 1 online resource (249 pages)

Ausgabe: 1st ed.

ISBN: 9783031418044

Serie: Public Health Ethics Analysis Series v.8

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323912

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

17

Online-Ressource

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I (2024)

Finkbeiner, Bernd [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Materialart: Online-Ressource

Seiten: 1 online resource (413 pages)

Ausgabe: 1st ed.

ISBN: 9783031572463

Serie: Lecture Notes in Computer Science Series v.14570

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31281876

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

18

Online-Ressource

Colloids and the Depletion Interaction (2024)

Lekkerkerker, Henk N. W. [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Materialart: Online-Ressource

Seiten: 1 online resource (400 pages)

Ausgabe: 2nd ed.

ISBN: 9783031521317

Serie: Lecture Notes in Physics Series v.1026

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31281860

DDC: 541.345

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

19

Online-Ressource

Managing the Transition to a Circular Economy : Action Plans in the Tourism Sector (2024)

Segarra-Oña, Marival [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Materialart: Online-Ressource

Seiten: 1 online resource (129 pages)

Ausgabe: 1st ed.

ISBN: 9783031496899

Serie: SpringerBriefs in Business Series

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31281846

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

20

Online-Ressource

Effective and Equitable Teacher Practice in Mathematics and Science Education : A Nordic Perspective Across Time and Groups of Students (2024)

Teig, Nani [VerfasserIn]

Cham : Springer International Publishing AG

zur Merkliste hinzufügen auf der Merkliste

Details Verfügbarkeit

Materialart: Online-Ressource

Seiten: 1 online resource (300 pages)

Ausgabe: 1st ed.

ISBN: 9783031495809

Serie: IEA Research for Education Series v.14

URL: https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31281845

Sprache: Englisch

Anmerkung: Description based on publisher supplied metadata and other sources

Permalink

	Standort	Signatur	Einschränkungen	Verfügbarkeit

Andere fanden auch interessant ...

GEOMAR KATALOG

Link zum Bibliothekskatalog

hinzugefügt am 2024-05-29

Neu verzeichnete Bücher des letzten Monats