This sixth volume of the Transactions on Computational Science journal contains the thoroughly refereed best papers selected from the International Conference on Computational Science and Its Applications, ICCSA 2008.

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 sixth volume of the Transactions on Computational Science journal contains the thoroughly refereed best papers selected from the International Conference on Computational Science and Its Applications, ICCSA 2008. All 21 papers included in the issue have been significantly revised and extended following the event. The journal has been divided into two parts. The 11 papers in Part 1 are devoted to the theme of information systems and communications and the 10 papers in Part 2 focus on geographical analysis and geometric modeling.

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 sixth volume of the Transactions on Computational Science journal contains the thoroughly refereed best papers selected from the International Conference on Computational Science and Its Applications, ICCSA 2008. All 21 papers included in the issue have been significantly revised and extended following the event. The journal has been divided into two parts. The 11 papers in Part 1 are devoted to the theme of information systems and communications and the 10 papers in Part 2 focus on geographical analysis and geometric modeling.

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 25th issue of the Transactions on Computational Science journal, consists of two parts. Part I, which is guest edited by Khalid Saeed, Nabendu Chaki and Soharab Hossain Shaikh, covers the areas of computer vision, image processing for biometric security, information fusion, and Kinect activity recognition. The papers in Part II focus on optimization through novel methods for data fusion, clustering in WSN, fault-tolerance, probability, weight assignment and risk analysis.

The LNCS journal Transactions on Computational Collective Intelligence (TCCI) focuses on all facets of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This, the sixth issue of Transactions on Computational Collective Intelligence contains 10 selected papers, focusing on the topics of classification, agent cooperation, paraconsistent reasoning and agent distributed mobile interaction.

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. 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 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 8th issue of the Transactions on Computational Science has been divided into two parts. Part I, prepared by Guest Editors Nadia Nedjah, Abdelhamid Bouchachia, and Luiza de Macedo Mourelle, consists of 5 detailed papers, presenting state-of-the-art research results on adaptive models for evolutionary computation and their application in various dynamic environments. The 6 papers in Part II take an in-depth look at selected computational science research in the areas of geometric computing, Euclidean distance transform, distributed systems, segmentation, visualization of monotone data, and data interpolation.

By applying research in artificial intelligence to problems in the philosophy of science, Paul Thagard develops an exciting new approach to the study of scientific reasoning. This approach uses computational ideas to shed light on how scientific theories are discovered, evaluated, and used in explanations. Thagard describes a detailed computational model of problem solving and discovery that provides a conceptually rich yet rigorous alternative to accounts of scientific knowledge based on formal logic, and he uses it to illuminate such topics as the nature of concepts, hypothesis formation, analogy, and theory justification.