Search results: Found 20

Listing 1 - 10 of 20 << page
of 2
>>
Sort by
Advances in Proof-Theoretic Semantics

Authors: ---
Book Series: Trends in Logic ISSN: 15726126 ISBN: 9783319226859 9783319226866 Year: Volume: 43 Pages: 283 DOI: 10.1007/978-3-319-22686-6 Language: English
Publisher: Springer
Subject: Mathematics --- Statistics --- Philosophy
Added to DOAB on : 2016-06-08 18:00:12
License:

Loading...
Export citation

Choose an application

Abstract

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.

Technology Entrepreneurship : A Treatise on Entrepreneurs and Entrepreneurship for and in Technology Ventures. Band 2

Author:
ISBN: 9783731501091 Year: Pages: V, p. 635 - 1266 DOI: 10.5445/KSP/1000036460 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Chemistry (General)
Added to DOAB on : 2019-07-30 19:59:17
License:

Loading...
Export citation

Choose an application

Abstract

The treatise is the first coherent and comprehensive presentation of the important sub-field of ""technology entrepreneurship"" emphasizing the science and engineering perspectives. It is a presentation of technology entrepreneurship as an inter-cultural approach referring to the US and Germany. It integrates micro- and macro aspects referring to numerous cases of firms' foundations. The book provides also a new semi-quantitative approach to growth of new technology ventures.

Technology Entrepreneurship : A Treatise on Entrepreneurs and Entrepreneurship for and in Technology Ventures. Band 1 und Band 2

Author:
ISBN: 9783731501077 Year: Pages: XXIV, 1266 p. DOI: 10.5445/KSP/1000036457 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Chemistry (General)
Added to DOAB on : 2019-07-30 20:01:57
License:

Loading...
Export citation

Choose an application

Abstract

The treatise is the first coherent and comprehensive presentation of the important sub-field of ""technology entrepreneurship"" emphasizing the science and engineering perspectives. It is a presentation of technology entrepreneurship as an inter-cultural approach referring to the US and Germany. It integrates micro- and macro aspects referring to numerous cases of firms' foundations. The book provides also a new semi-quantitative approach to growth of new technology ventures.

Technology Entrepreneurship : A Treatise on Entrepreneurs and Entrepreneurship for and in Technology Ventures. Band 1

Author:
ISBN: 9783731501084 Year: Pages: XXIV, 634 p. DOI: 10.5445/KSP/1000036459 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Chemistry (General)
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

The treatise is the first coherent and comprehensive presentation of the important sub-field of ""technology entrepreneurship"" emphasizing the science and engineering perspectives. It is a presentation of technology entrepreneurship as an inter-cultural approach referring to the US and Germany. It integrates micro- and macro aspects referring to numerous cases of firms' foundations. The book provides also a new semi-quantitative approach to growth of new technology ventures.

The Cellular Automaton Interpretation of Quantum Mechanics

Author:
Book Series: Fundamental Theories of Physics ISSN: 0168-1222 ISBN: 9783319412849 9783319412856 Year: Pages: 298 DOI: 10.1007/978-3-319-41285-6 Language: English
Publisher: Springer
Subject: Astronomy (General) --- Geology --- Earth Sciences --- Physics (General)
Added to DOAB on : 2017-02-14 10:09:28
License:

Loading...
Export citation

Choose an application

Abstract

This book presents the deterministic view of quantum mechanics developed by Nobel Laureate Gerard 't Hooft.Dissatisfied with the uncomfortable gaps in the way conventional quantum mechanics meshes with the classical world, 't Hooft has revived the old hidden variable ideas, but now in a much more systematic way than usual. In this, quantum mechanics is viewed as a tool rather than a theory.The author gives examples of models that are classical in essence, but can be analysed by the use of quantum techniques, and argues that even the Standard Model, together with gravitational interactions, might be viewed as a quantum mechanical approach to analysing a system that could be classical at its core. He shows how this approach, even though it is based on hidden variables, can be plausibly reconciled with Bell's theorem, and how the usual objections voiced against the idea of ‘superdeterminism' can be overcome, at least in principle.This framework elegantly explains - and automatically cures - the problems of the wave function collapse and the measurement problem. Even the existence of an “arrow of time" can perhaps be explained in a more elegant way than usual. As well as reviewing the author’s earlier work in the field, the book also contains many new observations and calculations. It provides stimulating reading for all physicists working on the foundations of quantum theory.

Stabilisation behaviour of cyclically loaded shallow foundations for offshore wind turbines

Author:
ISBN: 9783866444133 Year: Pages: VIII, 132 p. DOI: 10.5445/KSP/1000012332 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: General and Civil Engineering
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

This work presents the results of model tests and numerical simulations of shallow foundations subjected to cyclic loads typical of offshore loadings. Main focus is spent on the accumulated rotational and settlement behaviour relevant in particular for fixed installed offshore wind turbines.

Melting Hadrons, Boiling Quarks: From Hagedorn Temperature to Ultra-Relativistic Heavy-Ion Collisions at CERN: With a Tribute to Rolf Hagedorn

Author:
ISBN: 9783319175447 9783319175454 Year: Pages: 439 DOI: 10.1007/978-3-319-17545-4 Language: English
Publisher: Springer
Subject: Astronomy (General) --- Business and Management --- Physics (General)
Added to DOAB on : 2015-11-03 13:55:41
License:

Loading...
Export citation

Choose an application

Abstract

This book shows how the study of multi-hadron production phenomena in the years after the founding of CERN culminated in Hagedorn's pioneering idea of limiting temperature, leading on to the discovery of the quark-gluon plasma -- announced, in February 2000 at CERN.Following the foreword by Herwig Schopper -- the Director General (1981-1988) of CERN at the key historical juncture -- the first part is a tribute to Rolf Hagedorn (1919-2003) and includes contributions by contemporary friends and colleagues, and those who were most touched by Hagedorn: Tamás Biró, Igor Dremin, Torleif Ericson, Marek Gaździcki, Mark Gorenstein, Hans Gutbrod, Maurice Jacob, István Montvay, Berndt Müller, Grazyna Odyniec, Emanuele Quercigh, Krzysztof Redlich, Helmut Satz, Luigi Sertorio, Ludwik Turko, and Gabriele Veneziano.The second and third parts retrace 20 years of developments that after discovery of the Hagedorn temperature in 1964 led to its recognition as the melting point of hadrons into boiling quarks, and to the rise of the experimental relativistic heavy ion collision program. These parts contain previously unpublished material authored by Hagedorn and Rafelski: conference retrospectives, research notes, workshop reports, in some instances abbreviated to avoid duplication of material, and rounded off with the editor's explanatory notes.

Traditions and Transformations in the History of Quantum Physics

Authors: --- ---
Book Series: Proceedings 5: Max Planck Research Library for the History and Development of Knowledge ISBN: 9783844251340 Year: Pages: 352 Language: English
Publisher: Edition Open Access
Added to DOAB on : 2017-03-07 13:05:10
License:

Loading...
Export citation

Choose an application

Abstract

More than a century after the beginning of the quantum revolution, historians continue to explore new facets in the history of quantum physics, and to re-examine some of its better-known aspects. The thirteen papers collected in this volume, by authors from five continents, present central trends in the current study of quantum physics within its theoretical, experimental, philosophical, technological and social contexts. They discuss developments from the late nineteenth to the early twenty-first century and go beyond the traditional focus on Europe and North America to include China and Japan, and beyond the Heisenbergs and Diracs to reveal the role of actors who hitherto have played only a marginal role in historical account, but left their mark on the development of quantum physics. Also a wider array of subdisciplines comes into view, from optics to quantum gravity through quantum electrodynamics, from atomic and nuclear to condense matter physics and foundations of physics. Moreover, the volume shows that fields such as dispersion, physical chemistry and solid state physics should not be seen merely as areas of applications of ideas that evolved in other contexts, but should be regarded as birthplaces of important theoretical insights. The perspective of the papers ranges from local histories to global discussions, from conceptual changes via the role of experimentation to interactions with social and technological forces and to the interpretation of the theory.

Optics in Our Time

Authors: --- ---
ISBN: 9783319319025 9783319319032 Year: Pages: 504 DOI: 10.1007/978-3-319-31903-2 Language: English
Publisher: Springer
Subject: General and Civil Engineering --- Business and Management --- Chemical Engineering --- Industrial Engineering --- Chemical Technology --- Electrical and Nuclear Engineering
Added to DOAB on : 2017-03-08 13:47:58
License:

Loading...
Export citation

Choose an application

Abstract

Light and light based technologies have played an important role in transforming our lives via scientific contributions spanned over thousands of years. In this book we present a vast collection of articles on various aspects of light and its applications in the contemporary world at a popular or semi-popular level. These articles are written by the world authorities in their respective fields. This is therefore a rare volume where the world experts have come together to present the developments in this most important field of science in an almost pedagogical manner. This volume covers five aspects related to light. The first presents two articles, one on the history of the nature of light, and the other on the scientific achievements of Ibn-Haitham (Alhazen), who is broadly considered the father of modern optics. These are then followed by an article on ultrafast phenomena and the invisible world. The third part includes papers on specific sources of light, the discoveries of which have revolutionized optical technologies in our lifetime. They discuss the nature and the characteristics of lasers, Solid-state lighting based on the Light Emitting Diode (LED) technology, and finally modern electron optics and its relationship to the Muslim golden age in science. The book’s fourth part discusses various applications of optics and light in today's world, including biophotonics, art, optical communication, nanotechnology, the eye as an optical instrument, remote sensing, and optics in medicine. In turn, the last part focuses on quantum optics, a modern field that grew out of the interaction of light and matter. Topics addressed include atom optics, slow, stored and stationary light, optical tests of the foundation of physics, quantum mechanical properties of light fields carrying orbital angular momentum, quantum communication, and Wave-Particle dualism in action.

Johannes August Lattmann. Sozial und liberal im vordemokratischen Hamburger Senat

Authors: --- ---
Book Series: Mäzene für Wissenschaft ISBN: 9783943423082 Year: DOI: 10.15460/HUP.MFW.14.138 Language: German
Publisher: Hamburg University Press
Subject: History
Added to DOAB on : 2019-01-15 13:33:18

Loading...
Export citation

Choose an application

Abstract

Johannes August Lattmann played a special role in Hamburg's political culture. As a merchant, he went overseas for two decades and became a partner in the New York trading company Gustav Amsinck & Co. Back in Hamburg he became known by his generous foundations. In 1907 he was one of the donors of the Hamburgische Wissenschaftliche Stiftung (Hamburg Scientific Society) of which he was a member in later years. His election as senator in 1912 was a novelty and was only possible through an alliance of liberal bourgeoisie and social democracy. Lattmann advocated a pluralist coexistence of political positions and confessions, advocated equal suffrage and worked with women protagonists of the women's movement. When he retired from the Senate in 1919, he became manager of the newly established goods trust in order to restore credit lost to the German economy.

Listing 1 - 10 of 20 << page
of 2
>>
Sort by
-->