Kooperativer Bibliotheksverbund

UID:

Format: 1 online resource (161 pages)

Edition: 1st ed.

ISBN: 9789811395970

Note: Intro -- TABLE OF CONTENTS -- PREFACE -- LIST OF ILLUSTRATIONS -- 1 INTRODUCTION -- a. ASPECTS OF 'BLUE' AND 'GREEN' -- b. SINGAPOREAN SIGNIFICANCE OF 'BLUE AND GREEN' -- c. ORGANIZATION OF THE BOOK -- end notes -- 2 EARLY DAYS -- a. GEOGRAPHIC SETTING AND CONTROL -- b. TRANSFORMATION AND DEFORESTATION -- c. SECURING PROSPERITY -- d. WAR - TIME INTERLUDE -- e. POST - COLONIAL DEVELOPMENTS -- end notes -- 3 VISIONS OF CLEAN AND GREEN -- a. ONSET AND RISE OF 'CLEAN AND GREEN' -- b. FROM 'GARDEN CITY 'TO' CITY IN NATURE' -- c. METAPHORICAL PERSPECTIVES -- d. SINGAPORE'S CHANGING METAPHORIC LANDSCAPE -- end notes -- 4 WATER RESOURCES AND SUSTAINABILITY -- a. SINGAPORE'S CONSTRAINTS AND OPPORTUNITIES IN WATER RESOURCES -- b. SINGAPORE'S FOUR NATIONAL TAPS -- c. SINGAPORE'S CLOSED LOOP SYSTEM -- d. STOCK-FLOW DEPICTIONS -- e. SUSTAINABILITY, DEPENDENCIES AND VULNERABILITIES -- end notes -- 5 GARDENS PARKS AND GREEN RESERVES -- a. BOTANIC AND HORTICULTURAL GARDENS -- b. NATURE RESERVES -- c. THE ACTIVE, BEAUTIFUL, CLEAN WATERS PROGRAMME -- d. PARK AND OTHER CONNECTORS -- e. THEMES AND MANAGEMENT CONSIDERATIONS -- f. TOWARDS A BIOPHILIC OUTCOME -- end notes -- 6 WAYS FORWARD -- a. SUCCESSFUL INGREDIENTS -- b. PUBLIC PARTICIPATION -- c. FUTURE CHALLENGES -- d. DEALING WITH FUTURE UNCERTAINTY -- end notes -- LIST OF INTERVIEWS -- IMAGE CREDITS -- BIBLIOGRAPHY -- GLOSSARY -- INDEX -- AUTHORS NOTE -- ACKNOWLEDGEMENTS.

Additional Edition: Print version: Rowe, Peter G. A City in Blue and Green Singapore : Springer Singapore Pte. Limited,c2019 ISBN 9789811395963

Language: English

Subjects: Engineering , Geography , Biology , General works

Keywords: Electronic books. ; Electronic books

URL: Click to View

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: Full-text  ((OIS Credentials Required))

URL: ProQuest Ebook Central

URL: SpringerLink

URL: SpringerLink

URL: SpringerLink

URL: lizenzpflichtig

URL: kostenfrei

UID:

Format: VI, 283 p. , online resource.

ISBN: 9783319226866

Series Statement: Trends in Logic, Studia Logica Library, 43

Content: This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Note: Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783319226859

Language: English

Keywords: Electronic books ; Electronic books.

DOI: 10.1007/978-3-319-22686-6

URL: http://dx.doi.org/10.1007/978-3-319-22686-6

URL: lizenzpflichtig

URL: ProQuest Ebook Central

URL: ProQuest Ebook Central

URL: Full-text  ((OIS Credentials Required))

URL: Volltext  (kostenfrei)

URL: Inhaltsverzeichnis

URL: Abstract

URL: Click to View

UID:

Format: 1 Online-Ressource

ISBN: 9783662578056

Series Statement: Technologien für die intelligente Automation, Technologies for Intelligent Automation 8

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-57804-9

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-57806-3

Language: English

Keywords: Electronic books

DOI: 10.1007/978-3-662-57805-6

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: lizenzpflichtig

URL: ProQuest Ebook Central

URL: SpringerLink

URL: SpringerLink

URL: Full-text  ((OIS Credentials Required))

Author information: Niggemann, Oliver 1971-

UID:

Format: 1 online resource (571 pages)

ISBN: 9783030601249

Series Statement: Springer Tracts in Mechanical Engineering Ser.

Note: Intro -- Preface -- Acknowledgements -- Contents -- In Memory of Sergey G. Psakhie -- 1 Scientific Biography of Professor Sergey Grigorievich Psakhie -- 2 Georg-Peter Ostermeyer: Twenty Years of Friendship with Sergey Psakhie -- 3 Valentin L. Popov: A Word of Sergey Psakhie -- 4 Lev B. Zuev: From My Memories of Sergey G. Psakhie -- 5 Valery V. Ruzhich: On the "Earthquake Vaccine" Project of Sergey Psakhie -- 6 Most Important Publications of Prof. Sergey Grigorievich Psakhie -- Biomechanical and Tribological Aspects of Orthopaedic Implants -- 1 Introduction to Orthopaedic and Dental Implantable Devices -- 2 Tribology of Total Hip Replacement -- 2.1 Charnley Low Friction Arthroplasty -- 2.2 Wear of Polyethylene-The Main Culprit of Aseptic Loosening -- 3 Alternative Bearing Surfaces -- 3.1 Cross-Linked Polyethylene -- 3.2 Ceramic-on-Polyethylene Articulation -- 3.3 Hard-on-Hard Articulations -- 4 Bearing Materials in Total Knee Replacement -- 5 Surface-Modified Bearing Materials -- 6 Fretting Wear Damage of Total Joint Replacements -- 6.1 Modular Connections of Hip Prostheses -- 6.2 Stem-Cement Interface -- 7 Tribocorrosion in Dental Implants -- 8 Summary -- References -- A New Method for Seismically Safe Managing of Seismotectonic Deformations in Fault Zones -- 1 Introduction -- 2 Methodological Basis -- 3 Geological Study of Exhumed Seismic Dislocations of Paleo-Earthquakes in the Southeastern Boundary of the Siberian Craton -- 4 Features of the Response of Tectonic Fault Segments to Man-Caused Impacts -- 5 Prospects for the Implementation of Controlled Impacts on Fault Segments Through Deep Wells -- 6 Discussion -- 7 Conclusion -- References -- Particle-Based Approach for Simulation of Nonlinear Material Behavior in Contact Zones -- 1 Introduction -- 2 Distinct Element Method with Deformable Elements. , 3 Principles of Implementation of Rheological Models -- 4 Recent Applications of the Formalism of Deformable Elements -- 4.1 Surface Adhesion as a Factor Controlling Regimes of Adhesive Wear -- 4.2 Influence of Interstitial Fluid on the Sensitivity of the Femur to the Rate of Contact Loading -- 5 Conclusion -- References -- A Tool for Studying the Mechanical Behavior of the Bone-Endoprosthesis System Based on Multi-scale Simulation -- 1 Introduction -- 2 State-of-the-Art -- 3 The Problem Statement -- 4 Description of the Modeling Method -- 5 Results and Discussion -- 5.1 Modeling Friction Pair of the Hip Resurfacing -- 5.2 Modeling Bone-Endoprosthesis System -- 5.3 Modeling of Biomaterials Based on Poroelastic Approach -- 6 Conclusions and Future Work -- References -- Abstract Methods on Mesoscopic Scales of Friction -- 1 Introduction -- 2 Bottom-Up View -- 3 Top-Down View -- 4 Natural Principles of Dissipation of Information -- 5 Conclusion and Discussion -- References -- Study of Dynamics of Block-Media in the Framework of Minimalistic Numerical Models -- 1 Introduction -- 2 Mechanical Model -- 3 Statistical Properties of the Model -- 4 Three-Dimensional System and Reduced Frontal Motion Model -- 5 Correlation Functions -- 6 Burridge-Knopoff (BK) Model -- 7 Modified BK Model -- 8 Attractor Properties, Wave State and Phase Transition in a 1-Dimensional Model -- 9 Study of the 2-Dimensional Model -- References -- Material Transfer by Friction Stir Processing -- 1 Introduction -- 2 Influence of Process Parameters -- 3 Adhesion-Cohesion Concept of Mass Transfer -- 4 Influence of Load on the Transfer Layer -- 5 Surface Topography and Roughness -- 6 Conclusion -- References -- Nanomaterials Interaction with Cell Membranes: Computer Simulation Studies -- 1 Introduction -- 2 Nanoparticles -- 2.1 Dendrimers and Dendritic Nanostructures. , 2.2 Abstractive Nanoparticles -- 2.3 Metallic Nanoparticles -- 3 One-Dimensional Nanomaterials -- 3.1 Carbon Nanotubes -- 3.2 Boron Nitride Nanotubes -- 4 Two-Dimensional Nanomaterials -- 4.1 Graphene -- 4.2 Metal (Oxy)hydroxides -- 5 Summary -- References -- Application of Crumpled Aluminum Hydroxide Nanostructures for Cancer Treatment -- 1 Introduction to Low-Dimensional Aluminum (Hydro)oxides -- 2 Synthesis of Aluminum Oxyhydroxide Low-Dimensional Nanostructures -- 3 Anticancer Activity of Radially Assembled Al Hydroxide Crumpled Nanosheets -- 3.1 Effect of Aloohene on Tumor Cells Viability and Proliferation in Vitro -- 3.2 Evaluation of Antitumor Activity of Aloohene in Mouse Model of Cancer -- 4 Summary -- References -- Influence of Lattice Curvature and Nanoscale Mesoscopic Structural States on the Wear Resistance and Fatigue Life of Austenitic Steel -- 1 Introduction -- 2 Gauge Dynamic Theory of Defects in the Heterogeneous Medium -- 2.1 Basic Equations of the Gauge Theory -- 2.2 Structural Turbulence at Severe Lattice Curvature -- 3 Role of Lattice Curvature in the Mechanical Behavior of Austenitic Steel -- 3.1 Influence of High-Temperature Radial Shear Rolling and Subsequent Smooth-Roll Cold Longitudinal Rolling on the Austenitic Steel Microstructure -- 3.2 Fracture Surface in Uniaxial Tension of Austenitic Steel Specimens After Various Treatments -- 3.3 Damping Effect in the Structure of Austenitic Steel After the Treatment by Radial Shear Rolling + Cold Rolling -- 3.4 Influence of the Treatment by Radial Shear Rolling + Cold Rolling on the Development of Gigacycle Fatigue and Wear Resistance of Austenitic Steel -- 4 Structural Turbulence and Gigacycle-Fatigue Processes in a Solid with Lattice Curvature. , 4.1 Structural Turbulence of Plastic Flow at Lattice Curvature and in the Presence of Nanoscale Mesoscopic Structural States at Its Curvature Interstices -- 4.2 Influence of the Mechanism of Reversible Structural-Phase Transformations on Gigacycle Fatigue and Wear Resistance Increase in Austenitic Steel After Radial Shear and Cold Rolling -- 5 Conclusions -- References -- Autowave Mechanics of Plastic Flow -- 1 Introduction. General Consideration -- 1.1 Experimental Technique -- 1.2 Studied Materials -- 1.3 Preliminary Results -- 2 Deformation Pattern. Localized Plastic Flow Viewed as Autowaves -- 2.1 Plastic Flow Stages and Localized Plasticity Patterns -- 2.2 Localized Plastic Flow Autowaves -- 2.3 Autowaves Observed for the Linear Work Hardening Stage -- 2.4 Plastic Flow Viewed as Self-organization of the Deforming Medium -- 2.5 Autowave Equations -- 2.6 On the Relation of Autowave Equations to Dislocation Theory -- 3 Elastic-Plastic Strain Invariant -- 3.1 Introduction of Elastic-Plastic Strain Invariant -- 3.2 Generalization of Elastic-Plastic Strain Invariant -- 3.3 On the Strain Invariant and Autowave Equations -- 3.4 Some Consequences of the Strain Invariant -- 4 The Model of Localized Plastic Flow -- 4.1 Plastic and Acoustic Characteristics of the Deforming Medium -- 4.2 Two-Component Model of Localized Plasticity -- 5 Plastic Flow Viewed as a Macroscopic Quantum Phenomenon -- 5.1 Localized Plastic Flow Autowaves and the Planck Constant -- 5.2 Introduction of a New Quasi-particle and Its Applications -- 5.3 Plasticity Viewed as a Macro-scale Quantum Phenomenon -- 6 Conclusions -- References -- Three-Component Wear-Resistant PEEK-Based Composites Filled with PTFE and MoS2: Composition Optimization, Structure Homogenization, and Self-lubricating Effect -- 1 Introduction -- 2 Materials and Methods -- 3 Results and Discussion. , 3.1 Two-Component "PEEK + MoS2" Composites -- 3.2 Two-Component "PEEK + PTFE" Composites -- 3.3 Three-Component PEEK-Based Composites Filled with PTFE and MoS2 -- 4 Conclusions -- References -- Regularities of Structural Rearrangements in Single- and Bicrystals Near the Contact Zone -- 1 Introduction -- 2 Materials and Methods -- 3 Features of Symmetric Tilt Grain Boundary Migration in Metals -- 4 Peculiarities of Plasticity Nucleation in Metals Under Nanoindentation -- References -- Fault Sliding Modes-Governing, Evolution and Transformation -- 1 Introduction -- 2 Fault Slip Modes -- 3 Localization of Deformations and Hierarchy of Faults -- 4 Frictional Properties of Geomaterial and the Slip Mode -- 5 Generating Different Slip Modes in Laboratory Experiments -- 6 Radiation Efficiency of Slip Episodes -- 7 On Artificial Transformation of the Slip Mode -- 7.1 Changing the Fluid Dynamics -- 7.2 Effect of Seismic Vibrations -- 7.3 Excavation and Displacement of Rock in Mining -- 8 Conclusion -- References -- Multilayer Modelling of Lubricated Contacts: A New Approach Based on a Potential Field Description -- 1 Introduction and Model Assumptions -- 2 Mathematical Formulation -- 2.1 Field Equations for Newtonian Layer Types -- 2.2 Field Equations for Viscoelastic Layer Types -- 2.3 Boundary and Interface Conditions -- 3 Methods of Solution -- 3.1 Lubrication Approximation -- 3.2 Finite Elements Approach -- 3.3 Complex-Variable Approach with Spectral Solution Method -- 4 Results -- 4.1 Sinusoidal Upper Surface Shapes -- 4.2 Inharmonic Periodic Upper Surface Profiles -- 5 Conclusions and Perspectives -- References -- Microstructure-Based Computational Analysis of Deformation and Fracture in Composite and Coated Materials Across Multiple Spatial Scales -- 1 Introduction -- 2 Numerical Modelling Across Multiple Spatial Scales. , 3 Governing Equations and Boundary Conditions.

Additional Edition: Print version: Ostermeyer, Georg-Peter Multiscale Biomechanics and Tribology of Inorganic and Organic Systems Cham : Springer International Publishing AG,c2020 ISBN 9783030601232

Language: English

Keywords: Electronic books. ; Festschrift ; Electronic books.

URL: Click to View

URL: Volltext  (kostenfrei)

URL: Volltext  (kostenfrei)

URL: lizenzpflichtig

URL: FULL  ((Currently Only Available on Campus))

UID:

Format: 1 online resource (326 p.) : , Zahlr. Abb.

ISBN: 9783110328486 , 9783110636949

Series Statement: Publications of the Austrian Ludwig Wittgenstein Society - New Series , 7

Content: This is the second of two volumes of the proceedings from the 30th International Wittgenstein Symposium in Kirchberg, August 2007. It contains selected contributions on the Philosophy of media, Philosophy of the Internet, on Ethics and the political economy of information society. Also included are papers presented in a workshop on electronic philosophy resources and open source/open access.

Note: Frontmatter -- , Table of Contents -- , Preface -- , Section 1: Philosophy of Media Medienphilosophie -- , Binding time: Harold Innis and the balance of new media -- , A view on the iconic turn from a semiotic perspective -- , Medienphilosophie und Bildungsphilosophie - Ein Plädoyer für Schnittstellenerkundungen -- , Medienwissenschaft, Medientheorie oder Medienphilosophie? -- , Media Philosophy- A Reasonable Programme? -- , Section 2: Philosophy of the Internet Philosophie des Internets -- , Science of Recording -- , Weltkommunikation und World Brain. Zur Archäologie der Informationsgesellschaft -- , Avatars and Lebensform: Kirchberg 2007 -- , Towards a Philosophy of the Mobile Information Society -- , Section 3: Ethics and political Economy of the Information Society Ethik und politische Ökonomie der Informationsgesellschaft -- , On our Knowledge of Markets for Knowledge-A Survey -- , East-West Perspectives on Privacy, Ethical Pluralism and Global Information Ethics -- , Information Society: A Second "Great Transformation"? -- , Internet and the flow of knowledge: Which ethical and political challenges will we face? -- , Will the Open Access Movement be successful? -- , Globalisierte Produktion von (akademischem) Wissen - ein Wettbewerbsspiel -- , Section 4: Electronic philosophy resources and Open Source / Open Access Elektronische Philosophie-Ressourcen und Open Source / Open Access -- , Philosophy in an Evolving Web: Necessary Conditions, Web Technologies, and the Discovery Project -- , Some thoughts on the importance of open source and open access for emerging digital scholarship -- , The Necessary Multiplicity -- , References -- , Abstracts and Biographies , Issued also in print. , Mode of access: Internet via World Wide Web. , In English.

In: DGBA Philosophy 2000 - 2014, De Gruyter, 9783110636949

In: eBook Package De Gruyter Ontos 2002-2012, De Gruyter, 9783110331226

In: eBook Paket De Gruyter Ontos 2002-2012, De Gruyter, 9783110331219

Additional Edition: ISBN 9783110328080

Language: English

Keywords: Electronic books. ; Electronic books

DOI: 10.1515/9783110328486

URL: Open Access

URL: Open Access

URL: Cover

URL: FULL  ((Currently Only Available on Campus))

URL: Volltext  (kostenfrei)

URL: Volltext  (Open Access)

URL: Open Access

URL: Cover

URL: Cover

URL: Cover

URL: Volltext

URL: Volltext