Search results: Found 5

Listing 1 - 5 of 5
Sort by
Supercomputing Frontiers

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030488420 Year: Pages: 139 DOI: 10.1007/978-3-030-48842-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-16 23:58:55
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

The Impact of Digital Technologies on Public Health in Developed and Developing Countries

Authors: --- --- --- --- et al.
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030515171 Year: Pages: 442 DOI: 10.1007/978-3-030-51517-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-07-15 23:58:35
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences

Authors: ---
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030528294 Year: Pages: 373 DOI: 10.1007/978-3-030-52829-4 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Environmental Sciences --- Geography
Added to DOAB on : 2020-09-01 00:01:31
License:

Loading...
Export citation

Choose an application

Abstract

This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532888 Year: Pages: 669 DOI: 10.1007/978-3-030-53288-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:41
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Haptics: Science, Technology, Applications

Authors: --- --- ---
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030581473 Year: Pages: 557 DOI: 10.1007/978-3-030-58147-3 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-23 00:04:15
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and haptic applications. This year's focus is on accessibility.

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 (5)