Transactions on Computational Science II
Gavrilova, Marina L.
editor.
Tan, C. J. Kenneth.
editor.
Wang, Yingxu.
editor.
Yao, Yiyu.
editor.
Wang, Guoyin.
editor.
SpringerLink (Online service)
text
gw
2008
monographic
eng
access
XI, 250 p. online resource.
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.
Regular Papers -- Perspectives on Denotational Mathematics: New Means of Thought -- On Contemporary Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular Computing -- On Mathematical Laws of Software -- Rough Logic and Its Reasoning -- On Reduct Construction Algorithms -- Attribute Set Dependence in Reduct Computation -- A General Model for Transforming Vague Sets into Fuzzy Sets -- Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics -- Contingency Matrix Theory I: Rank and Statistical Independence in a Contigency Table -- Applying Rough Sets to Information Tables Containing Possibilistic Values -- Toward a Generic Mathematical Model of Abstract Game Theories -- A Comparative Study of STOPA and RTPA.
edited by Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang.
Computer science
Software engineering
Computers
Computer science
Mathematics
Computer mathematics
Computer Science
Software Engineering/Programming and Operating Systems
Mathematics of Computing
Theory of Computation
Computational Science and Engineering
QA76.758
005.1
Springer eBooks
Lecture Notes in Computer Science, 5150
9783540875635
http://dx.doi.org/10.1007/978-3-540-87563-5
http://dx.doi.org/10.1007/978-3-540-87563-5
100301
20160302163826.0
978-3-540-87563-5