Search results: Found 29

Listing 11 - 20 of 29 << page
of 3
>>
Sort by
The Amazing Journey of Reason

Author:
Book Series: SpringerBriefs in Computer Science ISBN: 9783030259624 Year: Pages: 113 DOI: 10.1007/978-3-030-25962-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-04 11:21:13
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing

Ernst Denert Award for Software Engineering 2019

Authors: --- --- --- --- et al.
ISBN: 9783030586171 Year: Pages: 140 DOI: 10.1007/978-3-030-58617-1 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Business and Management
Added to DOAB on : 2020-12-16 00:02:52
License:

Loading...
Export citation

Choose an application

Abstract

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.

Foundations of Software Science and Computation Structures

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452315 Year: Pages: 644 DOI: 10.1007/978-3-030-45231-5 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Computer Science
Added to DOAB on : 2020-05-14 09:30:23
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452377 Year: Pages: 425 DOI: 10.1007/978-3-030-45237-7 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:03
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Contextual Process Digitalization

Authors: --- --- ---
ISBN: 9783030383008 Year: Pages: 275 DOI: 10.1007/978-3-030-38300-8 Language: English
Publisher: Springer Nature
Subject: Political Science --- Business and Management --- Sociology --- Computer Science
Added to DOAB on : 2020-05-14 09:27:53
License:

Loading...
Export citation

Choose an application

Abstract

This open access book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ perspectives on their work in a process and its structuring and harmonization, and then moves on to its specification in a model and how it is embedded in the organizational and IT environment of the company. Lastly, the book examines the joint processing of instances in the resulting socio-technical systems. A corresponding illustration, which expands with the overview, enables readers to gain a comprehensive understanding of business process management. The book presents various facets of business process management from the perspective of the participants, and introduces a selection of models that have proved useful in practice. The design of such models supports the transition from a more-or-less unstructured or unsatisfactory way of working to a structured process that corresponds to the ideas of the company and its customers. The book is intended for professionals in industry as well as students in the field of business information systems who are looking for guidelines on how to discover, create and implement real-world processes.

Blockchain and Crypto Currency

Authors: --- --- ---
Book Series: Economics, Law, and Institutions in Asia Pacific ISBN: 9789811533761 Year: Pages: 141 DOI: 10.1007/978-981-15-3376-1 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Economics --- Social Sciences
Added to DOAB on : 2020-05-14 09:29:47
License:

Loading...
Export citation

Choose an application

Abstract

This open access book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people can coexist in harmony. Blockchains have shown that trusted records, or ledgers, of permanent data can be stored on the Internet in a decentralized manner. The decentralization of the recording process is expected to significantly economize the cost of transactions. Creating a ledger on data, a blockchain makes it possible to designate the owner of each piece of data, to trade data pieces, and to market them. This book examines the formation of markets for various types of data from the theory of market quality proposed and developed by M. Yano. Blockchains are expected to give data itself the status of a new production factor. Bringing ownership of data to the hands of data producers, blockchains can reduce the possibility of information leakage, enhance the sharing and use of IoT data, and prevent data monopoly and misuse. The industry will have a bright future as soon as better technology is developed and when a healthy infrastructure is created to support the blockchain market.

Society 5.0

ISBN: 9789811529894 Year: Pages: 177 DOI: 10.1007/978-981-15-2989-4 Language: English
Publisher: Springer Nature
Subject: Social Sciences --- Political Science --- Sociology --- Geography --- Computer Science --- Business and Management
Added to DOAB on : 2020-06-16 23:58:15
License:

Loading...
Export citation

Choose an application

Abstract

This open access book introduces readers to the vision on future cities and urban lives in connection with “Society 5.0”, which was proposed in the 5th Basic Science and Technology Plan by Japan’s national government for a technology-based, human-centered society, emerging from the fourth industrial revolution. The respective chapters summarize the findings and suggestions of joint research projects conducted by H-UTokyo Lab. Through the research collaboration and discussion, this book explores the future urban lives under the concept of “Society 5.0”, characterized by the key phrases of data-driven society, knowledge-intensive society, and non-monetary society, and suggests the directionality to which the concept should aim as Japan’s technology-led national vision. Written by Hitachi’s researchers as well as academics from a wide range of fields, including engineering, economics, psychology and philosophy at The University of Tokyo, the book is a must read for members of the general public interested in urban planning, students, professionals and researchers in engineering and economics.

Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites

Authors: ---
Book Series: Springer Series in Materials Science ISBN: 9783030426033 Year: Pages: 829 DOI: 10.1007/978-3-030-42603-3 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- Mathematics
Added to DOAB on : 2020-06-16 23:59:31
License:

Loading...
Export citation

Choose an application

Abstract

This open access book presents a collection of the most up-to-date research results in the field of steel development with a focus on pioneering alloy concepts that result in previously unattainable materials properties. Specifically, it gives a detailed overview of the marriage of high-performance steels of the highest strength and form-ability with damage-tolerant zirconia ceramics by innovative manufacturing technologies, thereby yielding a new class of high-performance composite materials. This book describes how new high-alloy stainless TRIP/TWIP steels (TRIP: TRansformation-Induced Plasticity, TWIP: TWinning-induced Plasticity) are combined with zirconium dioxide ceramics in powder metallurgical routes and via melt infiltration to form novel TRIP-matrix composites. This work also provides a timely perspective on new compact and damage-tolerant composite materials, filigree light-weight structures as well as gradient materials, and a close understanding of the mechanisms of the phase transformations. With a detailed application analysis of state-of-the-art methods in spatial and temporal high-resolution structural analysis, in combination with advanced simulation and modelling, this edited volume is ideal for researchers and engineers working in modern steel development, as well as for graduate students of metallurgy and materials science and engineering.

Agile Processes in Software Engineering and Extreme Programming

Authors: --- --- ---
Book Series: Lecture Notes in Business Information Processing ISBN: 9783030493929 Year: Pages: 251 DOI: 10.1007/978-3-030-49392-9 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Business and Management
Added to DOAB on : 2020-06-17 00:00:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.

Listing 11 - 20 of 29 << page
of 3
>>
Sort by
Narrow your search

Publisher

Springer Nature (29)


License

CC by (26)

Springer (2)

CC by-nc-nd (1)


Language

english (29)


Year
From To Submit

2020 (29)