Transactions on Computational Science XXXVII


Book Description

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 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers included in the volume constitute extended versions of selected papers presented at the 36th Computer Graphics International Conference, CGI 2019. Topics covered include virtual reality, augmented reality, image retrieval, animation of elastoplastic material, and visualization of 360°HDR images.




Transactions on Computational Science XXXVI


Book Description

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 36th issue of the Transactions on Computational Science, is devoted to the area of Cyberworlds and Cybersecurity. The first four papers constitute extended versions of selected papers presented at the 2018 International Conference on Cyberworlds, CW 2018. A further two papers were accepted following an open Call for Papers and cover the areas of fast 3D segmentation using geometric surface features and nature-inspired optimization for face recognition.




Transactions on Computational Science IX


Book Description

The 9th issue of the Transactions on Computational Science journal, edited by François Anton, is devoted to the subject of Voronoi diagrams in science and engineering. The 9 papers included in the issue constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams, held in Copenhagen, Denmark, June 23-36, 2009. Topics covered include: divide and conquer construction of Voronoi diagrams; new generalized Voronoi diagrams or properties of existing generalized Voronoi diagrams; and applications of Voronoi diagrams and their duals in graph theory, computer graphics, bioinformatics, and spatial process simulation.




Automated Deduction - CADE-18


Book Description

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ̈ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.




Mathematical Perspectives on Neural Networks


Book Description

Recent years have seen an explosion of new mathematical results on learning and processing in neural networks. This body of results rests on a breadth of mathematical background which even few specialists possess. In a format intermediate between a textbook and a collection of research articles, this book has been assembled to present a sample of these results, and to fill in the necessary background, in such areas as computability theory, computational complexity theory, the theory of analog computation, stochastic processes, dynamical systems, control theory, time-series analysis, Bayesian analysis, regularization theory, information theory, computational learning theory, and mathematical statistics. Mathematical models of neural networks display an amazing richness and diversity. Neural networks can be formally modeled as computational systems, as physical or dynamical systems, and as statistical analyzers. Within each of these three broad perspectives, there are a number of particular approaches. For each of 16 particular mathematical perspectives on neural networks, the contributing authors provide introductions to the background mathematics, and address questions such as: * Exactly what mathematical systems are used to model neural networks from the given perspective? * What formal questions about neural networks can then be addressed? * What are typical results that can be obtained? and * What are the outstanding open problems? A distinctive feature of this volume is that for each perspective presented in one of the contributed chapters, the first editor has provided a moderately detailed summary of the formal results and the requisite mathematical concepts. These summaries are presented in four chapters that tie together the 16 contributed chapters: three develop a coherent view of the three general perspectives -- computational, dynamical, and statistical; the other assembles these three perspectives into a unified overview of the neural networks field.




Proceedings of the International Symposium for Production Research 2018


Book Description

The conference aims at forming a unique platform to bring together academicians and practitioners from industrial engineering and management engineering as well as from other disciplines working on production function applying the tools of operational research and production/operational management. Topics treated include: computer aided manufacturing, industry 4.0, big data and analytics, flexible manufacturing systems, fuzzy logic, industrial applications, information technologies in production management, optimization, production economy, production planning and control, productivity and performance management, project management, quality management, risk analysis and management, supply chain management.




Biomedical Diagnostics and Clinical Technologies: Applying High-Performance Cluster and Grid Computing


Book Description

Biomedical Diagnostics and Clinical Technologies: Applying High-Performance Cluster and Grid Computing disseminates knowledge regarding high performance computing for medical applications and bioinformatics. This critical reference source contains a valuable collection of cutting-edge research chapters for those working in the broad field of medical informatics and bioinformatics.




Introduction to Parallel Algorithms and Architectures


Book Description

Introduction to Parallel Algorithms and Architectures: Arrays Trees Hypercubes provides an introduction to the expanding field of parallel algorithms and architectures. This book focuses on parallel computation involving the most popular network architectures, namely, arrays, trees, hypercubes, and some closely related networks. Organized into three chapters, this book begins with an overview of the simplest architectures of arrays and trees. This text then presents the structures and relationships between the dominant network architectures, as well as the most efficient parallel algorithms for a wide variety of problems. Other chapters focus on fundamental results and techniques and on rigorous analysis of algorithmic performance. This book discusses as well a hybrid of network architecture based on arrays and trees called the mesh of trees. The final chapter deals with the most important properties of hypercubes. This book is a valuable resource for readers with a general technical background.




Modeling Interactions among Pedestrians and Cars in Shared Spaces


Book Description

In this book, a novel agent-based, realistic, and general motion model of pedestrians and (human-driven) vehicles is proposed. It can capture a large variety of interactions and be utilized to assess the applicability of different shared space schemes and in the advent of autonomous vehicles. Sustainable urban traffic and transport is a key to successful future development of our society. Urban traffic is predicted to increase further, and the lack of traffic space makes it undesirable to maintain today's strict separation of different modalities. Shared space design principles promote a flexible use of traffic infrastructure by enabling different traffic modalities to share the same space with few or no explicit regulations. Simulation technologies are becoming an essential tool for traffic planners and managers to analyze future urban areas before new concepts and technologies are applied on the road. The proposed simulation model can suitably replicate the motion behaviors of pedestrians and vehicles from new environments with incremental integration of new behaviors and calibrating model parameters.




Foundations of Software Science and Computational Structures


Book Description

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.