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. Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. Denotational mathematics, as a counterpart of conventional analytic mathematics, is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, complex relations, behavioral information, concepts, knowledge, processes, granules, and systems. This volume includes 12 papers covering the following four important areas: foundations and applications of denotational mathematics; rough and fuzzy set theories; granular computing; and knowledge and information modeling.

The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of mathematical structures that formalize rigorous expressions and long-chain inferences of system compositions and behaviors with abstract concepts, complex relations, and dynamic processes. Typical paradigms of denotational mathematics are concept algebra, system algebra, Real-Time Process Algebra (RTPA), Visual Semantic Algebra (VSA), fuzzy logic, and rough sets. A wide range of applications of denotational mathematics have been identified in many modern science and engineering disciplines that deal with complex and intricate mathematical entities and structures beyond numbers, Boolean variables, and traditional sets. This issue of Springer’s Transactions on Computational Science on Denotational Mathematics for Computational Intelligence presents a snapshot of current research on denotational mathematics and its engineering applications. The volume includes selected and extended papers from two international conferences, namely IEEE ICCI 2006 (on Cognitive Informatics) and RSKT 2006 (on Rough Sets and Knowledge Technology), as well as new contributions. The following four important areas in denotational mathem- ics and its applications are covered: Foundations and applications of denotational mathematics, focusing on: a) c- temporary denotational mathematics for computational intelligence; b) deno- tional mathematical laws of software; c) a comparative study of STOPA and RTPA; and d) a denotational mathematical model of abstract games.

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. The 7th issue of the Transactions on Computational Science journal is devoted to core computational science techniques, such as grid computing, advanced numerical methods, and stochastic systems. It has been divided into two parts. The five papers in Part I focus on computations of stochastic systems and the four papers in Part II focus on computational methods for complex systems.

This issue focuses on the theme of security in computing. It offers in-depth coverage of a number of hot topics, presenting new architectures, novel hardware implementations, cryptographic algorithms and security protocols, and new tools and applications.

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. The 11th issue of the Transactions on Computational Science journal, edited by Edward David Moreno, is the second of two publications focusing on security in computing. The 14 papers in the volume address a wide range of hot topics within the sphere of security research, including new architectures, novel hardware implementations, cryptographic algorithms and security protocols, and new tools and applications.

This, the 22nd issue of the Transactions on Computational Science journal, consists of two parts. The first part is devoted to neural and social networks and the second to geometric modeling and simulation. The four papers in Part I span the areas of information-driven online social networks, neural networks, collaborative memories, and stability controls in multi-agent networked environments. The four papers in Part II cover the topics of shape reconstruction from planar contours, sharp feature preservation through wavelets, protein structure determination based on the beta-complex, and fast empty volume computation in molecular systems.

This, the 20th issue of the Transactions on Computational Science journal, edited by Bahman Kalantari, is devoted to the topic of Voronoi Diagrams and their applications. The 10 full papers included in the volume are revised and extended versions of a selection of papers presented at the International Symposium on Voronoi Diagrams 2012, held in Rutgers, NJ, USA, in June 2012. They provide an in-depth overview of current research on topological data structures and a comprehensive evaluation of their applications in the fields of cartography, physics, material modeling, chemistry, GIS, motion planning and computer graphics.

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.

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.