- Table View
- List View
Communication Technologies for Vehicles: 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16–17, 2019, Proceedings (Lecture Notes in Computer Science #11461)
by Benoît Hilt Marion Berbineau Alexey Vinel Magnus Jonsson Alain PirovanoThis book constitutes the proceedings of the 14th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, held in Colmar, France, in May 2019. The 9 full papers and 1 short paper in this volume were carefully reviewed and selected from 15 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: - Vehicles on the road: e.g. cars, trucks and buses; - Air: e.g. aircraft and unmanned aerial vehicles; and - Rail: e.g. trains, metros and trams.
Substructuring in Engineering Dynamics: Emerging Numerical and Experimental Techniques (CISM International Centre for Mechanical Sciences #594)
by Matthew S. Allen Daniel Rixen Maarten van der Seijs Paolo Tiso Thomas Abrahamsson Randall L. MayesThis book reviews the most common state-of-the art methods for substructuring and model reduction and presents a framework that encompasses most method, highlighting their similarities and differences. For example, popular methods such as Component Mode Synthesis, Hurty/Craig-Bampton, and the Rubin methods, which are popular within finite element software, are reviewed. Similarly, experimental-to-analytical substructuring methods such as impedance/frequency response based substructuring, modal substructuring and the transmission simulator method are presented. The overarching mathematical concepts are reviewed, as well as practical details needed to implement the methods. Various examples are presented to elucidate the methods, ranging from academic examples such as spring-mass systems, which serve to clarify the concepts, to real industrial case studies involving automotive and aerospace structures. The wealth of examples presented reveal both the potential and limitations of the methods.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11561)
by Isil Dillig Serdar TasiranThis 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 topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
by Isil Dillig Serdar TasiranThe 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 topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Smart Assisted Living: Toward An Open Smart-Home Infrastructure (Computer Communications and Networks)
by Feng Chen Rebeca I. García-Betances Liming Chen María Fernanda Cabrera-Umpiérrez Chris NugentSmart Homes (SH) offer a promising approach to assisted living for the ageing population. Yet the main obstacle to the rapid development and deployment of Smart Home (SH) solutions essentially arises from the nature of the SH field, which is multidisciplinary and involves diverse applications and various stakeholders. Accordingly, an alternative to a one-size-fits-all approach is needed in order to advance the state of the art towards an open SH infrastructure.This book makes a valuable and critical contribution to smart assisted living research through the development of new effective, integrated, and interoperable SH solutions. It focuses on four underlying aspects: (1) Sensing and Monitoring Technologies; (2) Context Interference and Behaviour Analysis; (3) Personalisation and Adaptive Interaction, and (4) Open Smart Home and Service Infrastructures, demonstrating how fundamental theories, models and algorithms can be exploited to solve real-world problems.This comprehensive and timely book offers a unique and essential reference guide for policymakers, funding bodies, researchers, technology developers and managers, end users, carers, clinicians, healthcare service providers, educators and students, helping them adopt and implement smart assisted living systems.
Inpainting and Denoising Challenges (The Springer Series on Challenges in Machine Learning)
by Sergio Escalera Stephane Ayache Jun Wan Meysam Madadi Umut Güçlü Xavier BaróThe problem of dealing with missing or incomplete data in machine learning and computer vision arises in many applications. Recent strategies make use of generative models to impute missing or corrupted data. Advances in computer vision using deep generative models have found applications in image/video processing, such as denoising, restoration, super-resolution, or inpainting. Inpainting and Denoising Challenges comprises recent efforts dealing with image and video inpainting tasks. This includes winning solutions to the ChaLearn Looking at People inpainting and denoising challenges: human pose recovery, video de-captioning and fingerprint restoration. This volume starts with a wide review on image denoising, retracing and comparing various methods from the pioneer signal processing methods, to machine learning approaches with sparse and low-rank models, and recent deep learning architectures with autoencoders and variants. The following chapters present results from the Challenge, including three competition tasks at WCCI and ECML 2018. The top best approaches submitted by participants are described, showing interesting contributions and innovating methods. The last two chapters propose novel contributions and highlight new applications that benefit from image/video inpainting.
Human Interaction and Emerging Technologies: Proceedings of the 1st International Conference on Human Interaction and Emerging Technologies (IHIET 2019), August 22-24, 2019, Nice, France (Advances in Intelligent Systems and Computing #1018)
by Tareq Ahram Redha Taiar Serge Colson Arnaud ChoplinThis book reports on research and developments in human-technology interaction. A special emphasis is given to human-computer interaction, and its implementation for a wide range of purposes such as healthcare, aerospace, telecommunication, and education, among others. The human aspects are analyzed in detail. Timely studies on human-centered design, wearable technologies, social and affective computing, augmented, virtual and mixed reality simulation, human rehabilitation and biomechanics represent the core of the book. Emerging technology applications in business, security, and infrastructure are also critically examined, thus offering a timely, scientifically-grounded, but also professionally-oriented snapshot of the current state of the field. The book is based on contributions presented at the 1st International Conference on Human Interaction and Emerging Technologies, IHIET 2019, held on August 22-24, in Nice, France. It offers a timely survey and a practice-oriented reference guide to systems engineers, psychologists, sport scientists, physical therapists, as well as decision-makers, designing or dealing with the new generation of service systems.User Experience of a Social Media Based Knowledge Sharing System in Industry Work, Chapter of this book is available open access under a CC BY 4.0 license at link.springer.com
Parallel Computing Technologies: 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings (Lecture Notes in Computer Science #11657)
by Victor MalyshkinThis book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019. The 24 full papers and 10 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on Programming Languages and Execution Environments; Methods and Tools for Parallel Solution of Large-Scale Problems; Data Processing; Cellular Automata; and Distributed Algorithms.
Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11375)
by Danny Weyns Viviana Mascardi Alessandro RicciThis book constitutes the revised and selected papers from the 6th International Workshop on Engineering Multi-Agent Systems held in Stockholm, Sweden, in July 2018, in conjunction with AAMAS 2018. The 17 full papers presented in this volume were carefully reviewed and selected from 32 submissions. The book also contains a state-of-the-art paper that reflects on the role and potential of MAS engineering in a number of key facets. The papers are clustered around the following themes: programming agents and MAS, agent-oriented software engineering, formal analysis techniques, rational agents, modeling and simulation, frameworks and application domains.
Biologically Inspired Cognitive Architectures 2019: Proceedings of the Tenth Annual Meeting of the BICA Society (Advances in Intelligent Systems and Computing #948)
by Alexei V. SamsonovichThe book focuses on original approaches intended to support the development of biologically inspired cognitive architectures. It bridges together different disciplines, from classical artificial intelligence to linguistics, from neuro- and social sciences to design and creativity, among others. The chapters, based on contributions presented at the Tenth Annual Meeting of the BICA Society, held in on August 15-18, 2019, in Seattle, WA, USA, discuss emerging methods, theories and ideas towards the realization of general-purpose humanlike artificial intelligence or fostering a better understanding of the ways the human mind works. All in all, the book provides engineers, mathematicians, psychologists, computer scientists and other experts with a timely snapshot of recent research and a source of inspiration for future developments in the broadly intended areas of artificial intelligence and biological inspiration.
WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (SpringerBriefs in History of Science and Technology)
by Leo Corry Raya LeviathanThe book tells the unique story of WEIZAC, an early computer built by a “new nation” in the early 1950s. It was created in Israel, even though the feasibility of this project was actually close to null when it was initially conceived, in 1946, and, unlike most of the early computer projects, was privately financed mainly by the Jewish world community. The book draws on a wealth of documents and historical insights to reveal the processes and powers that led to the successful completion of the project and, as well as its actual impact on scientific activities in Israel, and on the rise of a local computing community.Based on archival data, the book shows how a synergy of personal dedication together with an organizational and national mission that links the Zionist vision with science and technology for the Jewish people helped to achieve a well-defined goal.The book offers intriguing insights and refreshing perspectives to all readers interested in the Zionist movement or in the history of computing.
Mathematical Modeling and Simulation of Systems: Selected Papers of 14th International Scientific-Practical Conference, MODS, 2019 June 24-26, Chernihiv, Ukraine (Advances in Intelligent Systems and Computing #1019)
by Alexander Palagin Anatoliy Anisimov Anatoliy Morozov Serhiy ShkarletThis book presents current investigations in the field of mathematical modeling and simulation to support the development of intelligent information systems in domains such as ecology and geology, manufacturing, project management, and safety of distributed information systems. The book will be of interest to developers of modern high-tech software complexes for situational control centers, based on mathematical modeling and simulation methods. In addition, it will appeal to software engineers and programmers, offering them new implementation and application methods. Gathering the latest research, prepared by leading scholars, and identifying promising new directions for solving complex scientific and practical problems, the book presents selected outcomes of the 14th International Scientific-Practical Conference, MODS2019, held in Chernihiv, Ukraine, on June 24 to 26, 2019.
Cognitive Radio-Oriented Wireless Networks: 14th EAI International Conference, CrownCom 2019, Poznan, Poland, June 11–12, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #291)
by Adrian Kliks Paweł Kryszkiewicz Faouzi Bader Dionysia Triantafyllopoulou Carlos E. Caicedo Aydin Sezgin Nikos Dimitriou Michał SybisThis book constitutes the refereed proceedings of the 14th International Conference on Cognitive Radio-Oriented Wireless Networks, CROWNCOM 2019, held in Poznan, Poland, in June 2019. The 30 revised full papers were selected from 48 submissions and present a large scope of research topic also covering IoT in 5G and how cognitive mechanisms shall help leveraging access for numerous devices; mmWave and how specific propagation and operation in these bands bring new sharing mechanisms ; how resource allocation amongst bands (including offload mechanisms) shall be solved. The key focus will be on how rich data analysis can improve the delivery of above defined services.
New Paradigm of Industry 4.0: Internet of Things, Big Data & Cyber Physical Systems (Studies in Big Data #64)
by Srikanta PatnaikThe book provides readers with an overview of the state of the art in the field of Industry 4.0 and related research advancements. The respective chapters identify and discuss new dimensions of both risk factors and success factors, along with performance metrics that can be employed in future research work. They also discuss a number of real-time issues, problems and applications with corresponding solutions and suggestions. Sharing new theoretical findings, tools and techniques for Industry 4.0, and covering both theoretical and application-oriented approaches, the book offers a valuable asset for newcomers to the field and practicing professionals alike.
Data Visualization and Knowledge Engineering: Spotting Data Points with Artificial Intelligence (Lecture Notes on Data Engineering and Communications Technologies #32)
by Jude Hemanth Madhulika Bhatia Oana GemanThis book presents the fundamentals and advances in the field of data visualization and knowledge engineering, supported by case studies and practical examples. Data visualization and engineering has been instrumental in the development of many data-driven products and processes. As such the book promotes basic research on data visualization and knowledge engineering toward data engineering and knowledge. Visual data exploration focuses on perception of information and manipulation of data to enable even non-expert users to extract knowledge. A number of visualization techniques are used in a variety of systems that provide users with innovative ways to interact with data and reveal patterns. A variety of scalable data visualization techniques are required to deal with constantly increasing volume of data in different formats. Knowledge engineering deals with the simulation of the exchange of ideas and the development of smart information systems in which reasoning and knowledge play an important role. Presenting research in areas like data visualization and knowledge engineering, this book is a valuable resource for students, scholars and researchers in the field. Each chapter is self-contained and offers an in-depth analysis of real-world applications. It discusses topics including (but not limited to) spatial data visualization; biomedical visualization and applications; image/video summarization and visualization; perception and cognition in visualization; visualization taxonomies and models; abstract data visualization; information and graph visualization; knowledge engineering; human–machine cooperation; metamodeling; natural language processing; architectures of database, expert and knowledge-based systems; knowledge acquisition methods; applications, case studies and management issues: data administration issues and knowledge; tools for specifying and developing data and knowledge bases using tools based on communication aspects involved in implementing, designing and using KBSs in cyberspace; Semantic Web.
Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems
by Marilyn Wolf Dimitrios SerpanosThis book provides the first comprehensive view of safe and secure CPS and IoT systems. The authors address in a unified manner both safety (physical safety of operating equipment and devices) and computer security (correct and sound information), which are traditionally separate topics, practiced by very different people. Offers readers a unified view of safety and security, from basic concepts through research challenges;Provides a detailed comparison of safety and security methodologies;Describes a comprehensive threat model including attacks, design errors, and faults;Identifies important commonalities and differences in safety and security engineering.
A View of Operations Research Applications in Italy, 2018 (AIRO Springer Series #2)
by Mauro Dell’Amico Manlio Gaudioso Giuseppe SteccaThis book presents expert descriptions of the successful application of operations research in both the private and the public sector, including in logistics, transportation, product design, production planning and scheduling, and areas of social interest. Each chapter is based on fruitful collaboration between researchers and companies, and company representatives are among the co-authors. The book derives from a 2017 call by the Italian Operations Research Society (AIRO) for information from members on their activities in promoting the use of quantitative techniques, and in particular operations research techniques, in society and industry. A booklet based on this call was issued for the annual AIRO conference, but it was felt that some of the content was of such interest that it deserved wider dissemination in more detailed form. This book is the outcome. It equips practitioners with solutions to real-life decision problems, offers researchers examples of the practical application of operations research methods, and provides Master’s and PhD students with suggestions for research development in various fields.
Pervasive Computing Paradigms for Mental Health: 9th International Conference, MindCare 2019, Buenos Aires, Argentina, April 23–24, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #288)
by Silvia Serino Pietro Cipresso Daniela VillaniThis book constitutes the refereed proceedings of the 9th International Conference on Pervasive Computing Paradigms for Mental Health, MindCare 2019, held in Buenos Aires, Argentina, in April 2019. The 22 papers presented were carefully reviewed and selected from 38 submissions and present new paradigms in mental healthcare, in parallel with compelling questions about how it is possible to promote and structure these changes to improve physical well-being.
Ocular Fluid Dynamics: Anatomy, Physiology, Imaging Techniques, and Mathematical Modeling (Modeling and Simulation in Science, Engineering and Technology)
by Giovanna Guidoboni Alon Harris Riccardo SaccoThe chapters in this contributed volume showcase current theoretical approaches in the modeling of ocular fluid dynamics in health and disease. By including chapters written by experts from a variety of fields, this volume will help foster a genuinely collaborative spirit between clinical and research scientists. It vividly illustrates the advantages of clinical and experimental methods, data-driven modeling, and physically-based modeling, while also detailing the limitations of each approach. Blood, aqueous humor, vitreous humor, tear film, and cerebrospinal fluid each have a section dedicated to their anatomy and physiology, pathological conditions, imaging techniques, and mathematical modeling. Because each fluid receives a thorough analysis from experts in their respective fields, this volume stands out among the existing ophthalmology literature.Ocular Fluid Dynamics is ideal for current and future graduate students in applied mathematics and ophthalmology who wish to explore the field by investigating open questions, experimental technologies, and mathematical models. It will also be a valuable resource for researchers in mathematics, engineering, physics, computer science, chemistry, ophthalmology, and more.
Enterprise Governance of Information Technology: Achieving Alignment and Value in Digital Organizations (Management for Professionals)
by Steven De Haes Wim Van Grembergen Anant Joshi Tim HuyghThis book integrates theoretical advances and empirical data on Enterprise Governance in Information Technology (EGIT) with practical applications based on numerous case examples. The third revised edition of Enterprise Governance of Information Technology provides professionals and students with the most recent research advancements as well as an in-depth discussion of the recently-introduced Control Objectives for Information and Related Technologies (COBIT) 2019 framework which can be used to facilitate a tailored implementation of effective EGIT. Furthermore, the book features a new chapter which provides readers with hands-on examples from practice and clear insights on how these relate to theory. At the forefront of the field, the authors of this volume draw from years of research and advising corporate clients to present a comprehensive resource on EGIT. Featuring a variety of elements, including executive summaries and sidebars, extensive references, questions and activities and additional online materials, this book is a valuable updated resource for professionals, students and researchers alike.
Code-Based Cryptography: 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11666)
by Marco Baldi Edoardo Persichetti Paolo SantiniThis book constitutes the refereed and revised post-conference proceedings of the 7th International Workshop on Code-Based Cryptography, CBC 2019, held in Darmstadt, Germany, in May 2019. The eight papers presented in this book were carefully reviewed and selected from numerous submissions. These contributions are divided into two groups: The first four papers deal with the design of code-based cryptosystems, while the following four papers are on cryptanalysis of code-based cryptosystems.
Advanced Guide to Python 3 Programming (Undergraduate Topics in Computer Science)
by John HuntAdvanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level. There are nine different sections within the book covering Computer Graphics (including GUIs), Games, Testing, File Input and Output, Databases Access, Logging, Concurrency and Parallelism, Reactive programming, and Networking. Each section is self-contained and can either be read on its own or as part of the book as a whole. This book is aimed at the those who have learnt the basics of the Python 3 language but want to delve deeper into Python’s eco system of additional libraries and modules, to explore concurrency and parallelism, to create impressive looking graphical interfaces, to work with databases and files and to provide professional logging facilities.
Sustainable Urbanism in Digital Transitions: From Low Carbon to Smart Sustainable Cities (SpringerBriefs in Geography)
by Mary J. Thornbush Oleg GolubchikovThis book examines how contemporary urbanism is influenced by digital and low carbon transitions. From its infancy at the scale of individual buildings, a focus on ‘green’ agenda, energy, and resource efficiency has fostered research and policies for low carbon cities, eco-cities, and increasingly intelligent and smarter urban systems. Cities around the world are getting ‘smarter’ as more advanced technology is integrated into urban planning and design. People are relying more on digital and information and communication technology (ICT) in their daily lives, while cities are adopting more digital technology to monitor and gather information about people and their environment. This leads to Big Data collection, which is used to inform governance and improve urban performance. These transformations, however, raise critical questions, including whether emerging smart sustainable cities are too technocratic, but also with regard to citizen involvement. This brief addresses these important contemporary concerns through a review of literature and existing urban strategies. It should be of interest to everyone involved in advancing sustainable cities and smart cities. It should also be a relevant read for students and researchers in this area.
The Amazing Journey of Reason: from DNA to Artificial Intelligence (SpringerBriefs in Computer Science)
by Mario AlemiThis 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 organismsThe emergence and evolution of the brainThe emergence and evolution of societies (human and not)Possible evolution of our "internet society" and the role that Artificial Intelligence is playing
Augmented Reality, Virtual Reality, and Computer Graphics: 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11613)
by Lucio Tommaso De Paolis Patrick BourdotThe 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019.The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual and augmented reality, 3D visualization and computer graphics in the areas of medicine, cultural heritage, arts, education, entertainment, military and industrial applications. They are organized in the following topical sections: virtual reality; medicine; augmented reality; cultural heritage; education; and industry.