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 35th issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The topics covered include classification of visual attention levels using microsaccades; analysis of textual content using Eyegaze; automatic car-accident detection and passenger counting; face recognition; secure data fusion in IoT; business compliance using goal models; and microfluidic executions.

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.

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.

This, the 21st issue of the Transactions on Computational Science journal, edited by Ajith Abraham, is devoted to the topic of nature-inspired computing and applications. The 15 full papers included in the volume focus on the topics of neurocomputing, evolutionary algorithms, swarm intelligence, artificial immune systems, membrane computing, computing with words, artificial life and hybrid approaches.

The Transactions on Computational Science journal is part of the Springer series Lecture Notes in Computer Science, and is devoted to the gamut of computational science issues, from theoretical aspects to application-dependent studies and the va- dation of emerging technologies. The current issue is devoted to computer systems research and the application of such research, which naturally complement each other. The issue is comprised of Part 1: Computational Visualization and Optimization, and Part 2: Computational Methods for Model Design and Analysis. Part 1 – Computational Visualization and Optimization – is devoted to state-of-the-art research carried out in this area with the use of novel computational methods. It is c- prised of five papers, each addressing a specific computational problem in the areas of shared virtual spaces, dynamic visualization, multimodal user interfaces, computational geometry, and parallel simulation, respectively. Part 2 – Computational Methods for Model Design and Analysis – continues the topic with an in-depth look at selected computational science research in the areas of data representation and analysis. The four papers comprising this part cover such areas as efficient reversible logic design, missing data analysis, stochastic computation and neural network representation for eccentric sphere models. Each paper describes a detailed experiment or a case study of the methodology presented to amplify the impact of the contribution.

The Transactions on Computational Science journal is part of the Springer series Lecture Notes in Computer Science, and is devoted to the gamut of computational science issues, from theoretical aspects to application-dependent studies and the va- dation of emerging technologies. The current issue is devoted to computer systems research and the application of such research, which naturally complement each other. The issue is comprised of Part 1: Computational Visualization and Optimization, and Part 2: Computational Methods for Model Design and Analysis. Part 1 – Computational Visualization and Optimization – is devoted to state-of-the-art research carried out in this area with the use of novel computational methods. It is c- prised of five papers, each addressing a specific computational problem in the areas of shared virtual spaces, dynamic visualization, multimodal user interfaces, computational geometry, and parallel simulation, respectively. Part 2 – Computational Methods for Model Design and Analysis – continues the topic with an in-depth look at selected computational science research in the areas of data representation and analysis. The four papers comprising this part cover such areas as efficient reversible logic design, missing data analysis, stochastic computation and neural network representation for eccentric sphere models. Each paper describes a detailed experiment or a case study of the methodology presented to amplify the impact of the contribution.

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 24th issue of the Transactions on Computational Science journal, guest edited by Himanshu Thapliyal and Nagarajan Ranganathan, is devoted to the topic of reversible computing. It is comprised of eight selected papers on reversible energy recovery designs, design of reversible logic gates and arithmetic circuits in optical computing, reversible basic linear algebra subprograms, quantum circuit description language, and reversible circuit and logic synthesis.