Transactions on Computational Science XXVII
Transactions on Computational Science XXVII

Author: Marina L. Gavrilova

Publisher: Springer

Published: 2016-04-07

Total Pages: 152

ISBN-13: 366250412X

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 27th issue of the Transactions on Computational Science journal, is devoted to the topic of high-performance computing. It contains eight full papers, covering the areas of cloud middleware, multi-processor systems, quantum computing, optimization, and secure biometric-based encryption methods.

Transactions on Computational Science XXVI
Transactions on Computational Science XXVI

Author: Marina L. Gavrilova

Publisher: Springer

Published: 2016-01-22

Total Pages: 188

ISBN-13: 3662492474

DOWNLOAD EBOOK

This, the 26th issue of the Transactions on Computational Science journal, is comprised of ten extended versions of selected papers from the International Conference on Cyberworlds 2014, held in Santander, Spain, in June 2014. The topics covered include areas of virtual reality, games, social networks, haptic modeling, cybersecurity, and applications in education and arts.

Transactions on Computational Science XXXVIII
Transactions on Computational Science XXXVIII

Author: Marina L. Gavrilova

Publisher: Springer Nature

Published: 2021-03-24

Total Pages: 145

ISBN-13: 3662631709

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 38th issue of the Transactions on Computational Science, is devoted to research on modelling, optimization, and graphs, with applications in 3D and sketch modelling, engineering design, evolutionary computing, and networks.

Transactions on Computational Science XXX
Transactions on Computational Science XXX

Author: Marina L. Gavrilova

Publisher: Springer

Published: 2017-10-24

Total Pages: 123

ISBN-13: 3662560062

DOWNLOAD EBOOK

This, the 30th issue of the Transactions on Computational Science journal, is comprised of extended versions of selected papers from the International Conference on Cyberworlds, held in Chongqing, China, in September 2016. The first paper is a position paper giving an outline of current research at the intersection of cybersecurity and cyberworlds, and specifically focusing on mining behavioral data from online social networks. The remaining 5 papers focus on a range of topics, including privacy assurance in online location services, human gait recognition using KINECT sensors, hand-gesture recognition for computer games, scene matching between the source image and the target image for virtual reality applications, and human identification using brain waves.

Transactions on Computational Science XXXIV
Transactions on Computational Science XXXIV

Author: Marina L. Gavrilova

Publisher: Springer Nature

Published: 2019-08-28

Total Pages: 148

ISBN-13: 3662599589

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 34th issue of the Transactions on Computational Science, contains seven in-depth papers focusing on research on data analytics using machine learning and pattern recognition, with applications in wireless networks, databases, and remotely sensed data.

Transactions on Computational Science XXIX
Transactions on Computational Science XXIX

Author: Marina L. Gavrilova

Publisher: Springer

Published: 2017-03-11

Total Pages: 150

ISBN-13: 3662545632

DOWNLOAD EBOOK

This, the 29th issue of the Transactions on Computational Science journal, is comprised of seven full papers focusing on the area of secure communication. Topics covered include weak radio signals, efficient circuits, multiple antenna sensing techniques, modes of inter-computer communication and fault types, geometric meshes, and big data processing in distributed environments.

Transactions on Computational Science XXXIX
Transactions on Computational Science XXXIX

Author: Marina L. Gavrilova

Publisher: Springer Nature

Published: 2023-01-01

Total Pages: 139

ISBN-13: 3662664917

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 39th issue of the Transactions on Computational Science, is devoted to research on geometric modeling, visual object detection, cloud service utilization, pattern recognition, processing arrays, and classification using bio-heuristic optimization.

The Green Computing Book
The Green Computing Book

Author: Wu-chun Feng

Publisher: CRC Press

Published: 2014-06-16

Total Pages: 358

ISBN-13: 1439819874

DOWNLOAD EBOOK

State-of-the-Art Approaches to Advance the Large-Scale Green Computing Movement Edited by one of the founders and lead investigator of the Green500 list, The Green Computing Book: Tackling Energy Efficiency at Large Scale explores seminal research in large-scale green computing. It begins with low-level, hardware-based approaches and then traverses up the software stack with increasingly higher-level, software-based approaches. In the first chapter, the IBM Blue Gene team illustrates how to improve the energy efficiency of a supercomputer by an order of magnitude without any system performance loss in parallelizable applications. The next few chapters explain how to enhance the energy efficiency of a large-scale computing system via compiler-directed energy optimizations, an adaptive run-time system, and a general prediction performance framework. The book then explores the interactions between energy management and reliability and describes storage system organization that maximizes energy efficiency and reliability. It also addresses the need for coordinated power control across different layers and covers demand response policies in computing centers. The final chapter assesses the impact of servers on data center costs.

Temporal Logics in Computer Science
Temporal Logics in Computer Science

Author: Stéphane Demri

Publisher: Cambridge University Press

Published: 2016-10-13

Total Pages: 753

ISBN-13: 1316727769

DOWNLOAD EBOOK

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

Network-on-Chip
Network-on-Chip

Author: Isiaka Alimi

Publisher: BoD – Books on Demand

Published: 2022-04-06

Total Pages: 111

ISBN-13: 1839681489

DOWNLOAD EBOOK

Limitations of bus-based interconnections related to scalability, latency, bandwidth, and power consumption for supporting the related huge number of on-chip resources result in a communication bottleneck. These challenges can be efficiently addressed with the implementation of a network-on-chip (NoC) system. This book gives a detailed analysis of various on-chip communication architectures and covers different areas of NoCs such as potentials, architecture, technical challenges, optimization, design explorations, and research directions. In addition, it discusses current and future trends that could make an impactful and meaningful contribution to the research and design of on-chip communications and NoC systems.