The 13th issue of the Transactions on Computational Science journal consists of two parts. The six papers in Part I span the areas of computing collision probability, digital image contour extraction, multiplicatively weighted Voronoi diagrams, multi-phase segmentation, the rough-set approach to incomplete information systems, and fault-tolerant systolic arrays for matrix multiplications. The five papers in Part II focus on neural-network-based trajectory prediction, privacy in vehicular ad-hoc networks, augmented reality for museum display and the consumer garment try-on experience, and geospatial knowledge discovery for crime analysis.
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.
This book presents the latest research on computational approaches to learning. It includes high-quality peer-reviewed papers from the “Intelligent and Interactive Computing Conference (IIC 2018)” organized by the Universiti Teknikal Malaysia, Melaka. It uses empirical studies, theoretical analysis, and comparisons with psychological phenomena to show how learning methods can be employed to solve important application problems. The book also describes ongoing research in various research labs, universities and institutions, which may lead to the development of marketable products.
The book presents recent advances in the technology of installation, commissioning, maintenance, replacement, and removal of plant machinery and equipment, feedback on operation and design, and related subjects and practices. Keywords: Fibre Prestressing, Hierarchical Robotic System, Environmental Pollution, Casting Processes, EU and US Legal Frameworks, Machine Learning Models, Forecasting for Supply Chain Applications, Bio-inspired Algorithms, Resistance to the Effects of Explosions, Armor Technologies, Control of Aerial Drones, Concentrated Energy Beams.
This book introduces readers to the “Jaya” algorithm, an advanced optimization technique that can be applied to many physical and engineering systems. It describes the algorithm, discusses its differences with other advanced optimization techniques, and examines the applications of versions of the algorithm in mechanical, thermal, manufacturing, electrical, computer, civil and structural engineering. In real complex optimization problems, the number of parameters to be optimized can be very large and their influence on the goal function can be very complicated and nonlinear in character. Such problems cannot be solved using classical methods and advanced optimization methods need to be applied. The Jaya algorithm is an algorithm-specific parameter-less algorithm that builds on other advanced optimization techniques. The application of Jaya in several engineering disciplines is critically assessed and its success compared with other complex optimization techniques such as Genetic Algorithms (GA), Particle Swarm Optimization (PSO), Differential Evolution (DE), Artificial Bee Colony (ABC), and other recently developed algorithms.
Containing the proceedings of the Thirteenth International Conference on Design and Operation in Railway Engineering, this book presents the latest developments in the use of computer-based techniques in the design and operation of railways. The COMPRAIL conference series serves as the forum for major advances in this important field. The book covers such topics as Advanced Train Control; Planning; Timetable Planning; Rescheduling; Risk Management; Safety and Security; Maglev and High-speed Railways; Traffic Control and Safety of High-speed Railways; Metro and Other Transit Systems; Communications and Signalling; Energy Supply and Consumption; Driverless and Automatic Train Operation; Operations Quality; Computer Techniques and Simulations; Railway Vehicle Dynamics; Dynamics and Wheel/Rail Interface; Monitoring and Maintenance; Crack, Damage and Fatigue Problems.The book will be of interest to railway managers, consultants, railway engineers (including signal and control engineers), designers of advanced train control systems and computer specialists
ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for \u- fying" talks on topics of interest to the whole range of ETAPS attendees.
The six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14th International Conference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 2014. The 347 revised papers presented in 30 workshops and a special track were carefully reviewed and selected from 1167. The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
"This set of books represents a detailed compendium of authoritative, research-based entries that define the contemporary state of knowledge on technology"--Provided by publisher.
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). The conference was held at the Indian Institute of Technology, Kanpur during December 12–14, 2002. The conference attracted 108 submissions (of which two were withdrawn). Of these, a total of 26 papers were selected for presentation in the conference. As in the last year, the PC meeting was held electronically (stretching over nearly three weeks in August 2002) and was a great success. In addition to the contributed papers, we had ?ve invited speakers this year: Hendrik Lenstra, Jr., Harry Mairson, Dale Miller, Chih-Hao Luke Ong, and Margus Veanes. We thank them for accepting our invitation and for providing abstracts (or even full papers) for the proceedings. Two workshops were organized in conjunction with the conference – both in Kanpur. A workshop on Parameterized Complexity was held during December 10–11, organized by Mike Fellows and Venkatesh Raman. The second workshop actually consisted of three miniworkshops: on Coding Theory by Madhu Sudan; on Finite Field Algorithms by Hendrik Lenstra, Jr.; and on Sieve Theory by R. Balasubramanian. We wish to thank all the reviewers and PC members who contributed greatly to making the conference a success. We also wish to thank the team at Springer- Verlag for their help in preparing the proceedings.
