Dieses Buch ist eine Open-Access-Publikation unter einer CC BY 4.0 Lizenz. Künstliche Intelligenz (KI) klingt in aktuellen Debatten oft abstrakt und alltagsfremd. Doch die meisten Internetnutzerinnern und -nutzer sind bereits täglich mit ihr konfrontiert – wenn auch unbewusst: sei es bei der Sprachsteuerung des Smartphones, bei Kaufempfehlungen im Online-Shop oder bei der Abfrage von auf …
This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processing and communication systems that use algorithms based on probabilistic models and techniques, including web searches, digital links, speech recognition, GPS, route planning, recommendation systems, c…
Dieses Open-Access-Handbuch versteht sich als praktisches Hilfsmittel für den gezielten Einsatz eines automatisierten ÖPNV auf dem Weg zur Mobilitätswende. Es richtet sich in erster Linie an Entscheidungsträger, Verwaltungen kleinerer und größerer Kommunen sowie an Verkehrsbetriebe. Das Handbuch vermittelt der Leserin und dem Leser einen umfassenden Überblick über verschiedene Entwicklu…
This open access book presents a comprehensive and up-to-date collection of knowledge on the state of crowdfunding research and practice. It considers crowdfunding models and their different manifestations across a variety of geographies and sectors, and explores the perspectives of fundraisers, backers, platforms, and regulators. Gathering insights from a wide range of influential researchers …
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integr…
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 resear…
This open access book systematically explores the statistical characteristics of cryptographic systems, the computational complexity theory of cryptographic algorithms and the mathematical principles behind various encryption and decryption algorithms. The theory stems from technology. Based on Shannon's information theory, this book systematically introduces the information theory, statistical…
This book based on static indicators and dynamic big data from local electric vehicles, is the first New-Energy Vehicles (NEVs) research report on the Big Data in China. Using the real-time big data collected by China's National Monitoring and Management Platform for NEVs, this book delves into the main annual technological progress of NEVs, the vehicle operating characteristics, it also antici…
This open access book compiles the research results of the Collaborative Research Center SFB 837, which has been running since 2010 and will end in 2022, with the topic "Interaction Modeling in Mechanized Tunneling". The Collaborative Research Center is funded by the German Research Foundation (DFG) and is currently the world's largest research facility in the field of tunneling. The aim of the…
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following top…