Search results: Found 5

Listing 1 - 5 of 5
Sort by
Machine Learning for Cyber Physical Systems

Authors: --- ---
Book Series: Technologien für die intelligente Automation ISBN: 9783662584859 Year: Pages: 136 DOI: 10.1007/978-3-662-58485-9 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- Computer Science
Added to DOAB on : 2020-01-29 11:21:06
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Karlsruhe, October 23-24, 2018. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255404 Year: Pages: 673 DOI: 10.1007/978-3-030-25540-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

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

Dynamic Spectrum Management

Author:
Book Series: Signals and Communication Technology ISBN: 9789811507762 Year: Pages: 166 DOI: 10.1007/978-981-15-0776-2 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- Computer Science
Added to DOAB on : 2020-02-04 11:21:15
License:

Loading...
Export citation

Choose an application

Abstract

This open access book, authored by a world-leading researcher in this field, describes fundamentals of dynamic spectrum management, provides a systematic overview on the enabling technologies covering cognitive radio, blockchain, and artificial intelligence, and offers valuable guidance for designing advanced wireless communications systems. This book is intended for a broad range of readers, including students and professionals in this field, as well as radio spectrum policy makers.

Supercomputing Frontiers

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030186456 Year: Pages: 107 DOI: 10.1007/978-3-030-18645-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.

Enhanced Living Environments

Authors: --- --- --- --- et al.
Book Series: Lecture Notes in Computer Science ISBN: 9783030107529 Year: Pages: 323 DOI: 10.1007/978-3-030-10752-9 Language: English
Publisher: Springer Nature
Subject: Social Sciences --- Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science and technology in this area and the development of new and innovative solutions that can provide improvements in the quality of life for people in their homes and can reduce the financial burden on the budgets of the healthcare providers. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area. The book contains 12 chapters and can serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, medical doctors, healthcare organizations, insurance companies, and research strategists working in this area.

Listing 1 - 5 of 5
Sort by
Narrow your search

Publisher

Springer Nature (5)


License

CC by (5)


Language

english (5)


Year
From To Submit

2020 (1)

2019 (4)