Transactions on Computational Science II

Transactions on Computational Science II PDF Author: Yingxu Wang
Publisher: Springer
ISBN: 3540875638
Category : Computers
Languages : en
Pages : 256

Get Book Here

Book Description
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.

Transactions on Computational Science II

Transactions on Computational Science II PDF Author: Yingxu Wang
Publisher: Springer
ISBN: 3540875638
Category : Computers
Languages : en
Pages : 256

Get Book Here

Book Description
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.

Transactions on Computational Science XXX

Transactions on Computational Science XXX PDF Author: Marina L. Gavrilova
Publisher: Springer
ISBN: 3662560062
Category : Computers
Languages : en
Pages : 123

Get Book Here

Book Description
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.

Computer Science 2

Computer Science 2 PDF Author: Ricardo Baeza-Yates
Publisher: Springer Science & Business Media
ISBN: 1475798059
Category : Social Science
Languages : en
Pages : 576

Get Book Here

Book Description


Rough Sets

Rough Sets PDF Author: Lech Polkowski
Publisher: Springer
ISBN: 3319608371
Category : Computers
Languages : en
Pages : 737

Get Book Here

Book Description
This two-volume set LNAI 10313 and LNAI 10314 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2017, held in Olsztyn, Poland, in July 2017. The 74 revised full papers presented together with 16 short papers and 16 invited talks, were carefully reviewed and selected from 130 submissions. The papers in this two set-volume of IJCRS 2017 follow the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of rough set theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like rough-fuzzy, neuro-rough, neuro-rough-fuzzy computing. IJCRS 2017 encompasses topics spread among four main tracks: Rough Sets and Data Science (in relation to RSCTC series organized since 1998); Rough Sets and Granular Computing (in relation to RSFDGrC series organized since 1999); Rough Sets and Knowledge Technology (in relation to RSKT series organized since 2006); and Rough Sets and Intelligent Systems (in relation to RSEISP series organized since 2007).

Computational Materials Science

Computational Materials Science PDF Author: June Gunn Lee
Publisher: CRC Press
ISBN: 1498749755
Category : Science
Languages : en
Pages : 365

Get Book Here

Book Description
This book covers the essentials of Computational Science and gives tools and techniques to solve materials science problems using molecular dynamics (MD) and first-principles methods. The new edition expands upon the density functional theory (DFT) and how the original DFT has advanced to a more accurate level by GGA+U and hybrid-functional methods. It offers 14 new worked examples in the LAMMPS, Quantum Espresso, VASP and MedeA-VASP programs, including computation of stress-strain behavior of Si-CNT composite, mean-squared displacement (MSD) of ZrO2-Y2O3, band structure and phonon spectra of silicon, and Mo-S battery system. It discusses methods once considered too expensive but that are now cost-effective. New examples also include various post-processed results using VESTA, VMD, VTST, and MedeA.

International Conference on Materials, Architecture and Engineering Technology (ICMAET 2013)

International Conference on Materials, Architecture and Engineering Technology (ICMAET 2013) PDF Author: Fangli Zheng
Publisher: DEStech Publications, Inc
ISBN: 1605951684
Category : Technology & Engineering
Languages : en
Pages : 1269

Get Book Here

Book Description
The main objective of ICMAET 2013 is to provide a platform for researchers, engineers, academicians as well as industrial professionals from all over the world to present their research results and development activities in Materials, Architecture, Agriculture Science, Environment Engineering and Engineering Technology. This conference provides opportunities for the delegates to exchange new ideas and experiences face to face, to establish business or research relations and to find global partners for future collaboration. ICMAET 2013 received over 350 submissions which were all reviewed by at least two reviewers. As a result of our highly selective review process about 130 papers have been retained for inclusion in the ICMAET 2013 proceedings, less than 40% of the submitted papers. The program of ICMAET 2013 consists of invited sessions, and technical workshops and discussions covering a wide range of topics. This rich program provides all attendees with the opportunities to meet and interact with one another. We hope your experience is a fruitful and long lasting one. With your support and participation, the conference will continue its success for a long time. The conference is supported by many universities and research institutes. Many professors play an important role in the successful holding of the conference, so we would like to take this opportunity to express our sincere gratitude and highest respects to them. They have worked very hard in reviewing papers and making valuable suggestions for the authors to improve their work. We also would like to express our gratitude to the external reviewers, for providing extra help in the review process, and to the authors for contributing their research result to the conference. Special thanks go to our publisher DEStech Publication

Developments in Natural Intelligence Research and Knowledge Engineering: Advancing Applications

Developments in Natural Intelligence Research and Knowledge Engineering: Advancing Applications PDF Author: Wang, Yingxu
Publisher: IGI Global
ISBN: 1466617446
Category : Computers
Languages : en
Pages : 382

Get Book Here

Book Description
"This book covers the intricate worlds of thought, comprehension, intelligence, and knowledge through the scientific field of Cognitive Science, covering topics that have been pivotal at major conferences covering Cognitive Science"--Provided by publisher.

Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence

Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence PDF Author: Wang, Yingxu
Publisher: IGI Global
ISBN: 1605669032
Category : Education
Languages : en
Pages : 605

Get Book Here

Book Description
Cognitive informatics is a multidisciplinary field that acts as the bridge between natural science and information science. Specifically, it investigates the potential applications of information processing and natural intelligence to science and engineering disciplines. This collection, entitled Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence, provides emerging research topics in cognitive informatics research with a focus on such topics as reducing cognitive overload, real-time process algebra, and neural networks for iris recognition, emotion recognition in speech, and the classification of musical chords.

Cognitive Informatics for Revealing Human Cognition: Knowledge Manipulations in Natural Intelligence

Cognitive Informatics for Revealing Human Cognition: Knowledge Manipulations in Natural Intelligence PDF Author: Wang, Yingxu
Publisher: IGI Global
ISBN: 1466624779
Category : Science
Languages : en
Pages : 483

Get Book Here

Book Description
"This book presents indepth research that builds a link between natural and life sciences with informatics and computer science for investigating cognitive mechanisms and the human information processes"--

Transactions on Engineering Technologies

Transactions on Engineering Technologies PDF Author: Sio-Iong Ao
Publisher: Springer
ISBN: 9789811074875
Category : Technology & Engineering
Languages : en
Pages : 403

Get Book Here

Book Description
This volume contains a selection of revised and extended research articles written by prominent researchers participating in the 25th International MultiConference of Engineers and Computer Scientists (IMECS 2017) which was held in Hong Kong, 15-17 March, 2017. Topics covered include electrical engineering, communications systems, engineering mathematics, engineering physics, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book offers the state of art in engineering technologies and physical science and applications, and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.