Springer

http://www.springer.com

Peer review info

Proposals are peer reviewed through a blind review process by internationally recognized experts in the field. The decision to publish is based on the advice of these researchers, the advice of the Series Editor(s), the response from the editor(s)/author(s) to the review report and timeliness of the project.

License info

SpringerOpen books are published under the Creative Commons Attribution 4.0 (CC BY) license, so they can be reused and redistributed as long as the original author is attributed. Other Creative Commons licenses may be available on request.


Browse results: Found 145

Listing 1 - 10 of 145 << page
of 15
>>
Advances in Cryptology - CRYPTO '96

Authors:
Book Series: Lecture Notes in Computer Science ISSN: 16113349 ISBN: 9783540615125 9783540686972 Year: Volume: 1109 Pages: 432 DOI: 10.1007/3-540-68697-5 Language: English
Publisher: Springer
Subject: Computer Science
License:

Loading...
Export citation

Choose an application

Abstract

16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18–22, 1996, Proceedings

Advances in Production Technology

Authors:
Book Series: Lecture Notes in Production Engineering ISSN: 21940525 ISBN: 9783319123035 9783319123042 Year: Pages: 211 DOI: 10.1007/978-3-319-12304-2 Language: English
Publisher: Springer
Subject: Business and Management
License:

Loading...
Export citation

Choose an application

Abstract

This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on “Integrative Production Technology for High-Wage Countries”, held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, Virtual Production Systems, Integrated Technologies, Self-Optimising Production Systems and Human Factors in Production Technology. The Aachen perspective on a holistic theory of production is complemented by conference papers from external leading researchers in the fields of production, materials science and bordering disciplines. The target audience primarily comprises research experts and practitioners in the field but the book may also be beneficial for graduate students.

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 --- Philosophy
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.

Keywords

logic --- mathematics

Advances in Wheat Genetics: From Genome to Field: Proceedings of the 12th International Wheat Genetics Symposium

Authors: --- ---
ISBN: 9784431556749 9784431556756 Year: Pages: 445 DOI: 10.1007/978-4-431-55675-6 Language: English
Publisher: Springer
Subject: Plant Sciences --- Genetics
License:

Loading...
Export citation

Choose an application

Abstract

This proceedings is a collection of 46 selected papers that were presented at the 12th International Wheat Genetics Symposium (IWGS). Since the launch of the wheat genome sequencing project in 2005, the arrival of draft genome sequences has marked a new era in wheat genetics and genomics, catalyzing rapid advancement in the field. This book provides a comprehensive review of the forefront of wheat research, across various important topics such as germplasm and genetic diversity, cytogenetics and allopolyploid evolution, genome sequencing, structural and functional genomics, gene function and molecular biology, biotic stress, abiotic stress, grain quality, and classical and molecular breeding. Following an introduction, 9 parts of the book are dedicated to each of these topics. A final, 11th part entitled “Toward Sustainable Wheat Production” contains 7 excellent papers that were presented in the 12th IWGS Special Session supported by the OECD. With rapid population growth and radical climate changes, the world faces a global food crisis and is in need of another Green Revolution to boost yields of wheat and other widely grown staple crops. Although this book focuses on wheat, many of the newly developed techniques and results presented here can be applied to other plant species with large and complex genomes. As such, this volume is highly recommended for all students and researchers in wheat sciences and related plant sciences and for those who are interested in stable food production and food security.

Agricultural Implications of the Fukushima Nuclear Accident

Authors:
ISBN: 9784431543275 9784431543282 Year: Pages: 214 DOI: http://dx.doi.org/10.1007/978-4-431-54328-2 Language: English
Publisher: Springer
Subject: Agriculture (General)
License:

Loading...
Export citation

Choose an application

Abstract

Following the Fukushima nuclear accident, a large volume of monitoring data has been collected about the soil, air, dust, and seawater, along with data about an immense number of foods supplied to the market. Little is known, however, about the effect of radioactive fallout on agriculture, information about which is vital. Although more than 80% of the damaged area is related to agriculture, in situ information specifically for agriculture is scarce. This book provides data about the actual movement and accumulation of radioactivity in the ecological system—for example, whether debris deposited on mountains can be a cause of secondary contamination, under what conditions plants accumulate radioactive cesium in their edible parts, and how radioactivity is transferred from hay to milk. Because agriculture is so closely related to nature, many specialists with different areas of expertise must be involved in answering these questions. In the case of rice, researchers in rice cultivation as well as in soil, hydrology, and radioactivity measurement are working together to reveal the paths or accumulation of radioactivity in the field. For this purpose, the Graduate School of Agricultural and Life Sciences of The University of Tokyo has diverse facilities available throughout Japan, including farmlands, forests, and meadowlands. Many academic staff members have formed groups to conduct on-site research, with more than 40 volunteers participating. This book presents the data collected from the only project being systematically carried out across Japan after the Fukushima accident.

Agricultural Implications of the Fukushima Nuclear Accident: The First Three Years

Authors: ---
ISBN: 9784431558262 9784431558286 Year: Pages: 263 DOI: 10.1007/978-4-431-55828-6 Language: English
Publisher: Springer
Subject: Environmental Technology
License:

Loading...
Export citation

Choose an application

Abstract

This book reports the results from on-site research into radioactive cesium contamination in various agricultural systems affected by the Fukushima Daiichi Nuclear Power Plant accident that occurred in March 2011. This is the second volume from the research groups formed in the Graduate School of Agricultural and Life Sciences of The University of Tokyo who have published the initial data in their first volume. In this book, additional data collected in the subsequent years are presented to show how the radioactivity level in agricultural products and their growing environments have changed with time. The data clarify the route by which radioactive materials entered agricultural products and their movement among different components (e.g., soil, water, and trees) within an environmental system (e.g., forests). The book consists of various topics, including radioactivity inspection of food products; decontamination trials for rice and livestock production; the state of contamination in wild animals and birds, trees, mushrooms, and timber; the dynamics of radioactivity distribution in mountain and paddy fields; damage incurred by the forestry and fishery industries; and the change in consumers’ minds. The last chapter introduces a real-time radioisotope imaging system, the forefront technique to visualize actual movement of cesium in soil and in plants. This is the only book to provide systematic data about the actual change of radioactivity, and thus is of great value for all researchers who wish to understand the effect of radioactive fallout on agriculture. The project is ongoing; the research groups continue their work in the field for further evaluation of the long-term effects.

AiREAS: Sustainocracy for a Healthy City

Authors:
Book Series: SpringerBriefs on Case Studies of Sustainable Development ISSN: 2196-7830 ISBN: 9783319456201 Year: Pages: 158 DOI: 10.1007/978-3-319-45620-1 Language: English
Publisher: Springer
Subject: Sociology
License:

Loading...
Export citation

Choose an application

Abstract

This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to innovative change. The three books together describe the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation.

Anti-fragile ICT Systems

Authors:
Book Series: Simula SpringerBriefs on Computing ISBN: 9783319300689 9783319300702 Year: Volume: 1 Pages: 151 DOI: 10.1007/978-3-319-30070-2 Language: English
Publisher: Springer
Subject: Computer Science
License:

Loading...
Export citation

Choose an application

Abstract

This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their stakeholders as complex adaptive systems and argues that traditional risk analyses cannot predict all future incidents with major impacts. To avoid unacceptable events, it is necessary to establish and operate anti-fragile ICT systems that limit the impact of all incidents, and which learn from small-impact incidents how to function increasingly well in changing environments. The book applies four design principles and one operational principle to achieve anti-fragility for different classes of incidents. It discusses how systems can achieve high availability, prevent malware epidemics, and detect anomalies. Analyses of Netflix’s media streaming solution, Norwegian telecom infrastructures, e-government platforms, and Numenta’s anomaly detection software show that cloud computing is essential to achieving anti-fragility for classes of events with negative impacts.

Atlas of Challenges and Opportunities in European Neighbourhoods

Authors: --- ---
ISBN: 9783319285207 9783319285214 Year: Pages: 198 DOI: 10.1007/978-3-319-28521-4 Language: English
Publisher: Springer
Subject: Ecology
License:

Loading...
Export citation

Choose an application

Abstract

This atlas provides a macro-regional overview of the areas that surround the European Union, from the Sahara to the Middle East, Western Balkans to European Russia, Turkey to the Arctic. Detailing key socio-economic data as well as developmental trends, the maps provide a comprehensive territorial analysis at a local scale and explore the potential for regional integration and cooperation.These pioneering maps examine challenges that threaten this wide, yet inter-connected, region, including environmental concerns in the North, political unrest in the East, social factors in the Western Balkans, and the upheaval in the Mediterranean since the Arab spring. Coverage investigates such key countries and areas as Libya, Israel, Palestine, Syria, and the Ukraine as well as explores such essential issues as Europe’s energy procurement. In addition, it also presents a comparison with other world regions such as East Asia and North America.In the end, readers discover that territorial integration faces many shortcomings, but that deep regional cooperation would be a key driver for the EU’s sustainable future. This atlas features the main results of the “Integrated Territorial Analysis of the Neighbourhoods” research project undertaken by ESPON (The European Observation Network for Territorial Development and Cohesion). It provides scholars; local authorities and NGOs involved in cross-border cooperation; companies interested in energy, agriculture, water, transportation and communication; and interested readers with key insights into this important region.

Autonomes Fahren: Technische, rechtliche und gesellschaftliche Aspekte

Authors: --- --- ---
ISBN: 9783662458532 9783662458549 Year: Pages: 732 DOI: 10.1007/978-3-662-45854-9 Language: Deutsch
Publisher: Springer
Subject: Technology (General)
License:

Loading...
Export citation

Choose an application

Abstract

Ist das voll automatisierte, autonom fahrende Auto zum Greifen nah? Testfahrzeuge und Zulassungen in den USA erwecken diesen Eindruck, werfen aber gleichzeitig viele neue Fragestellungen auf. Wie werden autonome Fahrzeuge in das aktuelle Verkehrssystem integriert? Wie erfolgt ihre rechtliche Einbettung? Welche Risiken bestehen und wie wird mit diesen umgegangen? Und welche Akzeptanz seitens der Gesellschaft sowie des Marktes kann hinsichtlich dieser Entwicklungen überhaupt erwartet werden? Das vorliegende Buch gibt Antworten auf ein breites Spektrum dieser und weiterer Fragen. Expertinnen und Experten aus Deutschland und den USA beschreiben aus ingenieur- und gesellschaftswissenschaftlicher Sicht zentrale Themen im Zusammenhang mit der Automatisierung von Fahrzeugen im öffentlichen Straßenverkehr. Sie zeigen auf, welche „Entscheidungen“ einem autonomen Fahrzeug abverlangt werden beziehungsweise welche „Ethik“ programmiert werden muss. Die Autorinnen und Autoren diskutieren Erwartungen und Bedenken, die die individuelle wie auch die gesellschaftliche Akzeptanz des autonomen Fahrens kennzeichnen. Ein durch autonome Fahrzeuge erhöhtes Sicherheitspotenzial wird den Herausforderungen und Lösungsansätzen, die bei der Absicherung des Sicherheitskonzeptes eine Rolle spielen, gegenübergestellt. Zudem erläutern sie, welche Veränderungsmöglichkeiten und Chancen sich für unsere Mobilität und die Neuorganisation des Verkehrsgeschehens ergeben, nicht zuletzt auch für den Güterverkehr. Das Buch bietet somit eine aktuelle, umfassende und wissenschaftlich fundierte Auseinandersetzung mit dem Thema „Autonomes Fahren“.

Listing 1 - 10 of 145 << page
of 15
>>
-->