Yingxu Wang
Yingxu Wang is Professor of Cognitive Informatics and Software Science, President of International Institute of Cognitive Informatics and Cognitive Computing (ICIC), Director of Laboratory for Cognitive Informatics and Cognitive Computing, and Director of Laboratory for Denotational Mathematics and Software Science at the University of Calgary. He is a Fellow of WIF (UK), a Fellow of ICIC, a P.Eng of Canada, a Senior Member of IEEE and ACM. He received a PhD in Software Engineering from the Nottingham Trent University, UK, and a BSc in Electrical Engineering from Shanghai Tiedao University. He has industrial experience since 1972 and has been a full professor since 1994. He was a visiting Professor on sabbatical leaves in the Computing Laboratory at Oxford University in 1995, Dept. of Computer Science at Stanford University in 2008, the Berkeley Initiative in Soft Computing (BISC) Lab at University of California, Berkeley in 2008, and MIT (2012), respectively. He is the founder and steering committee chair of the annual IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC). He is founding Editor-in-Chief of International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), founding Editor-in-Chief of International Journal of Software Science and Computational Intelligence (IJSSCI), Associate Editor of IEEE Trans on System, Man, and Cybernetics (Part A), and Editor-in-Chief of Journal of Advanced Mathematics and Applications (JAMA). Dr. Wang is the initiator of a few cutting-edge research fields or subject areas such as Cognitive Informatics (CI, the theoretical framework of CI, neuroinformatics, the logical model of the brain (LMB), the layered reference model of the brain (LRMB), the cognitive model of brain informatics (CMBI), the mathematical model of consciousness, and the cognitive learning engine); Abstract Intelligence (?I); Cognitive Computing (such as cognitive computers, cognitive robots, cognitive agents, and cognitive Internet); Denotational Mathematics (i.e., concept algebra, inference algebra, semantic algebra, real-time process algebra, system algebra, granular algebra, and visual semantic algebra); Software Science (on unified mathematical models and laws of software, cognitive complexity of software, and automatic code generators, the coordinative work organization theory, and built-in tests (BITs)); basic studies in Cognitive Linguistics (such as the cognitive linguistic framework, the deductive semantics of languages, deductive grammar of English, and the cognitive complexity of online text comprehension). He has published over 130 peer reviewed journal papers, 220+ peer reviewed conference papers, and 27 books in cognitive informatics, cognitive computing, software science, denotational mathematics, and computational intelligence. He is the recipient of dozens international awards on academic leadership, outstanding contributions, research achievement, best papers, and teaching in the last three decades.
Publications
|
Jun Peng, Shangzhu Jin, Shaoning Pang, Du Zhang, Lixiao Feng, Zuojin Li, Yingxu Wang.
© 2021. 17 pages.
For a security system built on symmetric-key cryptography algorithms, the substitution box (S-box) plays a crucial role to resist cryptanalysis. In this article, we incorporate...
|
|
Yingxu Wang, Bernard Carlos Widrow, Lotfi A. Zadeh, Newton Howard, Sally Wood, Virendrakumar C. Bhavsar, Gerhard Budin, Christine W. Chan, Rodolfo A. Fiorini, Marina L. Gavrilova, Duane F. Shell.
© 2020. 24 pages.
The theme of IEEE ICCI*CC'16 on Cognitive Informatics (CI) and Cognitive Computing (CC) was on cognitive computers, big data cognition, and machine learning. CI and CC are a...
|
|
Yingxu Wang, Victor Raskin, Julia M. Rayz, George Baciu, Aladdin Ayesh, Fumio Mizoguchi, Shusaku Tsumoto, Dilip Patel, Newton Howard.
© 2020. 15 pages.
Cognitive Computing (CC) is a contemporary field of studies on intelligent computing methodologies and brain-inspired mechanisms of cognitive systems, cognitive machine learning...
|
|
Yingxu Wang, Lotfi A. Zadeh, Bernard Widrow, Newton Howard, Françoise Beaufays, George Baciu, D. Frank Hsu, Guiming Luo, Fumio Mizoguchi, Shushma Patel, Victor Raskin, Shusaku Tsumoto, Wei Wei, Du Zhang.
© 2020. 18 pages.
Basic studies in denotational mathematics and mathematical engineering have led to the theory of abstract intelligence (aI), which is a set of mathematical models of natural and...
|
|
Yingxu Wang, Mehrdad Valipour, Omar A. Zatarain.
© 2020. 16 pages.
Knowledge learning is the sixth and the most fundamental category of machine learning mimicking the brain. It is recognized that the semantic space of machine knowledge is a...
|
|
Junjie Bai, Kan Luo, Jun Peng, Jinliang Shi, Ying Wu, Lixiao Feng, Jianqing Li, Yingxu Wang.
© 2020. 14 pages.
Music emotions recognition (MER) is a challenging field of studies addressed in multiple disciplines such as musicology, cognitive science, physiology, psychology, arts and...
|
|
Yingxu Wang, Newton Howard, Janusz Kacprzyk, Ophir Frieder, Phillip Sheu, Rodolfo A. Fiorini, Marina L. Gavrilova, Shushma Patel, Jun Peng, Bernard Widrow.
© 2018. 13 pages.
Cognitive Informatics (CI) is a contemporary field of basic studies on the brain, computational intelligence theories and underpinning denotational mathematics. Its applications...
|
|
Yingxu Wang, Victor Raskin, Julia Rayz, George Baciu, Aladdin Ayesh, Fumio Mizoguchi, Shusaku Tsumoto, Dilip Patel, Newton Howard.
© 2018. 14 pages.
Cognitive Computing (CC) is a contemporary field of studies on intelligent computing methodologies and brain-inspired mechanisms of cognitive systems, cognitive machine learning...
|
|
Yingxu Wang, Edmund T. Rolls, Newton Howard, Victor Raskin, Witold Kinsner, Fionn Murtagh, Virendrakumar C. Bhavsar, Shushma Patel, Dilip Patel, Duane F. Shell.
© 2018. 18 pages.
Cognitive Informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science, intelligence...
|
|
Yingxu Wang.
© 2017. 23 pages.
A recent discovery in computer and software sciences is that information in general is a deterministic abstract quantity rather than a probability-based property of the nature....
|
|
Yingxu Wang.
© 2017. 18 pages.
Cognitive robots are brain-inspired robots that are capable of inference, perception, and learning mimicking the cognitive mechanisms of the brain. Cognitive learning theories...
|
|
Yingxu Wang.
© 2017. 23 pages.
A cognitive knowledge base (CKB) is a novel structure of intelligent knowledge base that represents and manipulates knowledge as a dynamic concept network mimicking human...
|
|
Yingxu Wang.
© 2017. 26 pages.
Knowledge is one of the fundamental cognitive objects in the brain among those of data, information, and intelligence. Knowledge can be classified into two main categories, i.e....
|
|
Yingxu Wang.
© 2017. 14 pages.
Humor is an advanced emotional and cognitive ability of mankind that involves complex semantic inference and deep passionate appreciation. This paper presents the cognitive...
|
|
Yingxu Wang, Lotfi A. Zadeh, Bernard Widrow, Newton Howard, Françoise Beaufays, George Baciu, D. Frank Hsu, Guiming Luo, Fumio Mizoguchi, Shushma Patel, Victor Raskin, Shusaku Tsumoto, Wei Wei, Du Zhang.
© 2017. 15 pages.
Basic studies in denotational mathematics and mathematical engineering have led to the theory of abstract intelligence (aI), which is a set of mathematical models of natural and...
|
|
Junjie Bai, Kan Luo, Jun Peng, Jinliang Shi, Ying Wu, Lixiao Feng, Jianqing Li, Yingxu Wang.
© 2017. 13 pages.
Music emotions recognition (MER) is a challenging field of studies addressed in multiple disciplines such as musicology, cognitive science, physiology, psychology, arts and...
|
|
Yingxu Wang, Victor J. Wiebe.
© 2016. 18 pages.
Big data are products of human collective intelligence that are exponentially increasing in all facets of quantity, complexity, semantics, distribution, and processing costs in...
|
|
Yingxu Wang.
© 2016. 25 pages.
Knowledge is one of the fundamental cognitive objects in the brain among those of data, information, and intelligence. Knowledge can be classified into two main categories, i.e....
|
|
Yingxu Wang, Mehrdad Valipour, Omar A. Zatarain.
© 2016. 16 pages.
Knowledge learning is the sixth and the most fundamental category of machine learning mimicking the brain. It is recognized that the semantic space of machine knowledge is a...
|
|
Yingxu Wang, Bernard Widrow, Lotfi A. Zadeh, Newton Howard, Sally Wood, Virendrakumar C. Bhavsar, Gerhard Budin, Christine Chan, Rodolfo A. Fiorini, Marina L. Gavrilova, Duane F. Shell.
© 2016. 20 pages.
The theme of IEEE ICCI*CC'16 on Cognitive Informatics (CI) and Cognitive Computing (CC) was on cognitive computers, big data cognition, and machine learning. CI and CC are a...
|
|
Junjie Bai, Lixiao Feng, Jun Peng, Jinliang Shi, Kan Luo, Zuojin Li, Lu Liao, Yingxu Wang.
© 2016. 16 pages.
Music emotion recognition (MER) is a challenging field of studies that has been addressed in multiple disciplines such as cognitive science, physiology, psychology, musicology...
|
|
Yingxu Wang.
© 2015. 18 pages.
Cognitive robots are brain-inspired robots that are capable of inference, perception, and learning mimicking the cognitive mechanisms of the brain. Cognitive learning theories...
|
|
Yingxu Wang.
© 2015. 23 pages.
A recent discovery in computer and software sciences is that information in general is a deterministic abstract quantity rather than a probability-based property of the nature....
|
|
Yingxu Wang, Edmund T. Rolls, Newton Howard, Victor Raskin, Witold Kinsner, Fionn Murtagh, Virendrakumar C. Bhavsar, Shushma Patel, Dilip Patel, Duane F. Shell.
© 2015. 20 pages.
Cognitive Informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science, intelligence...
|
|
Xiaoyu Lin, Yingxu Wang.
© 2014. 26 pages.
Concept algebra (CA) is a denotational mathematics for formal knowledge manipulation and natural language processing. In order to explicitly demonstrate the mathematical models...
|
|
Yingxu Wang.
© 2014. 15 pages.
Eyes as the unique organ possess intensively direct connections to the brain and dynamically perceptual accessibility to the mind. This paper analyzes the cognitive mechanisms of...
|
|
Yingxu Wang.
© 2014. 13 pages.
Humor is an advanced emotional and cognitive ability of mankind that involves complex semantic inference and deep passionate appreciation. This paper presents the cognitive...
|
|
Yingxu Wang.
© 2014. 22 pages.
A cognitive knowledge base (CKB) is a novel structure of intelligent knowledge base that represents and manipulates knowledge as a dynamic concept network mimicking human...
|
|
Yingxu Wang, Victor J. Wiebe.
© 2014. 16 pages.
Big data are products of human collective intelligence that are exponentially increasing in all facets of quantity, complexity, semantics, distribution, and processing costs in...
|
|
Yingxu Wang.
© 2013. 456 pages.
With the developments and intersection of science and engineering, cognitive informatics has emerged as a new and intriguing field of study which investigates the natural...
|
|
Yingxu Wang.
© 2013. 456 pages.
Continuous developments in software and intelligence sciences have brought together the studies of both natural and machine intelligence and the relationship between the function...
|
|
Yingxu Wang.
© 2013. 19 pages.
The contemporary wonder of sciences and engineering recently refocused on the starting point: how the brain processes internal and external information autonomously rather than...
|
|
Yingxu Wang, Bernard Carlos Widrow, Bo Zhang, Witold Kinsner, Kenji Sugawara, Fuchun Sun, Jianhua Lu, Thomas Weise, Du Zhang.
© 2013. 15 pages.
The contemporary wonder of sciences and engineering has recently refocused on the beginning point of: how the brain processes internal and external information autonomously and...
|
|
Jeff Bancroft, Yingxu Wang.
© 2013. 17 pages.
The cognitive mechanisms of knowledge representation, memory establishment, and learning are fundamental issues in understanding the brain. A basic approach to studying these...
|
|
Yingxu Wang, Robert C. Berwick, Simon Haykin, Witold Pedrycz, Witold Kinsner, George Baciu, Du Zhang, Virendrakumar C. Bhavsar, Marina L. Gavrilova.
© 2013. 18 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates into the...
|
|
Yingxu Wang.
© 2013. 19 pages.
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are needed for dealing...
|
|
Yingxu Wang, Yousheng Tian, Kendal Hu.
© 2013. 27 pages.
Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept algebra is...
|
|
Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Guenther Ruhe.
© 2013. 15 pages.
It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge representation as a...
|
|
Yingxu Wang.
© 2013. 11 pages.
Human thought, perception, reasoning, and problem solving are highly dependent on causal inferences. This paper presents a set of cognitive models for causation analyses and...
|
|
Cyprian F. Ngolah, Ed Morden, Yingxu Wang.
© 2013. 15 pages.
Monitoring industrial machine health in real-time is not only in high demand, it is also complicated and difficult. Possible reasons for this include: (a) access to the machines...
|
|
Yingxu Wang, Vincent Chiew.
© 2013. 19 pages.
Functional complexity is one of the most fundamental properties of software because almost all other software attributes and properties such as functional size, development...
|
|
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.Y. Sheu.
© 2013. 21 pages.
Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating large-volume...
|
|
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.Y. Sheu.
© 2013. 17 pages.
Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. Lists as a finite sequence of elements are one of the most...
|
|
Yingxu Wang, Jason Huang, Jingsheng Lei.
© 2013. 19 pages.
Arrays are one of the most fundamental and widely applied data structures, which are useful for modeling both logical designs and physical implementations of multi-dimensional...
|
|
Yingxu Wang, Xinming Tan.
© 2013. 22 pages.
Trees are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. A binary tree (B-Tree) is a typical balanced tree where the fan-out of...
|
|
Yingxu Wang.
© 2013. 25 pages.
The human brain is a superbly marvelous and extremely complicated neurophysiological structure for generating natural intelligence that transforms cognitive information into...
|
|
Yingxu Wang, Shushma Patel, Dilip Patel.
© 2013. 19 pages.
Attention is a complex mental function of humans in order to capture and serve the basic senses of vision, hearing, touch, smell, and taste, as well as internal motivations and...
|
|
Yingxu Wang, Yousheng Tian.
© 2013. 21 pages.
Intelligent knowledge base theories and technologies are fundamentally centric in machine learning and cognitive robotics. This paper presents the design of a formal knowledge...
|
|
Yingxu Wang, Gabriele Fariello, Marina L. Gavrilova, Witold Kinsner, Fumio Mizoguchi, Shushma Patel, Dilip Patel, Fernando L. Pelayo, Victor Raskin, Duane F. Shell, Shusaku Tsumoto.
© 2013. 24 pages.
Cognitive Informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science, intelligence...
|
|
Yingxu Wang.
© 2013. 21 pages.
The human sensory system is a perfect natural real-time distributed system. It transforms physical and chemical stimuli of the external environment into electronic neural signals...
|
|
Yingxu Wang.
© 2012. 444 pages.
As both intelligence and software science revolutionizes the modern world, the contributions that each make to the other combine into a new transdisciplinary field. Breakthroughs...
|
|
Yingxu Wang.
© 2012. 423 pages.
The junction of software development and engineering combined with the study of intelligence has created a bustling intersection of theory, design, engineering, and conceptual...
|
|
Yingxu Wang.
© 2012. 381 pages.
Thought, comprehension, and intelligence are everyday concepts that are so pervasive through the lives of every human being that people scarcely think about them at all. These...
|
|
Yingxu Wang.
© 2012. 19 pages.
In studies of genetic algorithms, evolutionary computing, and ant colony mechanisms, it is recognized that the higher-order forms of collective intelligence play an important...
|
|
Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao.
© 2012. 12 pages.
Cognitive Computing (CC) is an emerging paradigm of intelligent computing theories and technologies based on cognitive informatics, which implements computational intelligence by...
|
|
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah.
© 2012. 23 pages.
Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the Unified Data...
|
|
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Philip Choy, Yousheng Tian.
© 2012. 17 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and...
|
|
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Philip Choy, Yousheng Tian.
© 2012. 27 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and...
|
|
Yingxu Wang, Yanan Zhang, Philip C.-Y. Sheu, Xuhui Li, Hong Guo.
© 2012. 25 pages.
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design...
|
|
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu.
© 2012. 28 pages.
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of...
|
|
Yingxu Wang.
© 2012. 13 pages.
Software Science is a discipline that studies the theoretical framework of software as instructive and behavioral information, which can be embodied and executed by generic...
|
|
Yingxu Wang.
© 2012. 18 pages.
Abstract intelligence is a human enquiry of both natural and artificial intelligence at the reductive embodying levels of neural, cognitive, functional, and logical from the...
|
|
Yingxu Wang.
© 2012. 14 pages.
A new form of denotational mathematics known as Visual Semantic Algebra (VSA) is presented for abstract visual object and architecture manipulations. A set of cognitive theories...
|
|
Yingxu Wang.
© 2012. 15 pages.
Inspired by the latest development in cognitive informatics and contemporary denotational mathematics, cognitive computing is an emerging paradigm of intelligent computing...
|
|
Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao.
© 2012. 24 pages.
Granular computing studies a novel approach to computing system modeling and information processing. Although a rich set of work has advanced the understanding of granular...
|
|
Yingxu Wang, Shushma Patel.
© 2012. 20 pages.
It is recognized that software is a unique abstract artifact that does not obey any known physical laws. For software engineering to become a matured engineering discipline like...
|
|
Yingxu Wang.
© 2012. 23 pages.
The quantification and measurement of functional complexity of software are a persistent problem in software engineering. Measurement models of software complexities have been...
|
|
Yingxu Wang.
© 2012. 25 pages.
A typical real-time system, the Telephone Switching System (TSS), is a highly complicated system in design and implementation. This paper presents the formal design...
|
|
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Philip Sheu, Shi Ying.
© 2012. 25 pages.
A Lift Dispatching System (LDS) is a typical real-time system that is highly complicated in design and implementation. This article presents the formal design, specification, and...
|
|
Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith Chan, Bo Zhang, Stuart Hameroff, Ning Zhong, Chu-Ren Hunag, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang, Haibin Zhu.
© 2012. 24 pages.
Cognitive informatics is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates the internal...
|
|
Yingxu Wang, Davrondzhon Gafurov.
© 2012. 13 pages.
Comprehension is an ability to understand the meaning of a concept or an action. Comprehension is an important intelligent power of abstract thought and reasoning of humans or...
|
|
Kai Hu, Yingxu Wang, Yousheng Tian.
© 2012. 16 pages.
Autonomous on-line knowledge discovery and acquisition play an important role in cognitive informatics, cognitive computing, knowledge engineering, and computational...
|
|
Yingxu Wang.
© 2012. 27 pages.
Inference as the basic mechanism of thought is abilities gifted to human beings, which is a cognitive process that creates rational causations between a pair of cause and effect...
|
|
Yingxu Wang, Aderemi Adewumi.
© 2012. 30 pages.
Graphs are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. Problems in sciences and engineering can be formulated and solved by...
|
|
Yingxu Wang.
© 2012. 18 pages.
Consciousness is the sense of self and the sign of life in natural intelligence. One of the profound myths in cognitive informatics, psychology, brain science, and computational...
|
|
Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang.
© 2012. 23 pages.
Emotions are one of the important subconscious mechanisms that influence human behaviors, attentions, and decision making. The emotion process helps to determine how humans...
|
|
Yingxu Wang, Yousheng Tian.
© 2012. 24 pages.
The Telephone Switching Systems (TSS) is a typical real-time system that is highly complicated in design and implementation. In order to deal with the extreme complexity in...
|
|
Yingxu Wang, James A. Anderson, George Baciu, Gerhard Budin, D. Frank Hsu, Mitsuru Ishizuka, Witold Kinsner, Fumio Mizoguchi, Toyoaki Nishida, Kenji Sugawara, Shusaku Tsumoto, Du Zhang.
© 2012. 21 pages.
Cognitive Informatics (CI) is a discipline spanning across computer science, information science, cognitive science, brain science, intelligence science, knowledge science, and...
|
|
Yingxu Wang.
© 2012. 27 pages.
A key notion in abstract intelligence and cognitive informatics is that the brain and natural intelligence may only be explained by a hierarchical and reductive theory that maps...
|
|
Yingxu Wang.
© 2012. 17 pages.
Causal inference is one of the central capabilities of the natural intelligence that plays a crucial role in thinking, perception, and problem solving. Fuzzy inferences are an...
|
|
Yingxu Wang.
© 2011. 436 pages.
Cognitive informatics is a multidisciplinary field that acts as the bridge between natural science and information science. Specifically, it investigates the potential...
|
|
Yingxu Wang, Bernard Carlos Widrow, Bo Zhang, Witold Kinsner, Kenji Sugawara, Fuchun Sun, Jianhua Lu, Thomas Weise, Du Zhang.
© 2011. 17 pages.
The contemporary wonder of sciences and engineering has recently refocused on the beginning point of: how the brain processes internal and external information autonomously and...
|
|
Yingxu Wang.
© 2011. 19 pages.
The contemporary wonder of sciences and engineering recently refocused on the starting point: how the brain processes internal and external information autonomously rather than...
|
|
Yingxu Wang.
© 2011. 11 pages.
Human thought, perception, reasoning, and problem solving are highly dependent on causal inferences. This paper presents a set of cognitive models for causation analyses and...
|
|
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.Y. Sheu.
© 2011. 24 pages.
Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating large-volume...
|
|
Yingxu Wang.
© 2011. 16 pages.
Despite the fact that the origin of software agent systems has been rooted in autonomous artificial intelligence and cognitive psychology, their implementations are still based...
|
|
Yingxu Wang.
© 2011. 13 pages.
Recent researches in both cognitive informatics and computational intelligence are interested in the human perceptual senses of spatiality, time, and motion, which are...
|
|
Yingxu Wang.
© 2011. 10 pages.
It is recognized that the internal mechanisms for visual information processing are based on semantic inferences where visual information is represented and processed as visual...
|
|
Yingxu Wang.
© 2011. 14 pages.
Creativity is a gifted ability of human beings in thinking, inference, problem solving, and product development. A creation is a new and unusual relation between two or more...
|
|
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.Y. Sheu.
© 2011. 20 pages.
Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. Lists as a finite sequence of elements are one of the most...
|
|
Jeff Bancroft, Yingxu Wang.
© 2011. 20 pages.
The cognitive mechanisms of knowledge representation, memory establishment, and learning are fundamental issues in understanding the brain. A basic approach to studying these...
|
|
Yingxu Wang, Yousheng Tian, Kendal Hu.
© 2011. 29 pages.
Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept algebra is...
|
|
Yingxu Wang, Vincent Chiew.
© 2011. 20 pages.
Functional complexity is one of the most fundamental properties of software because almost all other software attributes and properties such as functional size, development...
|
|
Yingxu Wang, Jason Huang, Jingsheng Lei.
© 2011. 21 pages.
Arrays are one of the most fundamental and widely applied data structures, which are useful for modeling both logical designs and physical implementations of multi-dimensional...
|
|
Yingxu Wang, Robert C. Berwick, Simon Haykin, Witold Pedrycz, Witold Kinsner, George Baciu, Du Zhang, C. Bhavsar.
© 2011. 21 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates into the...
|
|
Yingxu Wang.
© 2011. 22 pages.
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are needed for dealing...
|
|
Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Guenther Ruhe.
© 2011. 17 pages.
It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge representation as a...
|
|
Cyprian F. Ngolah, Ed Morden, Yingxu Wang.
© 2011. 17 pages.
Monitoring industrial machine health in real-time is not only in high demand, it is also complicated and difficult. Possible reasons for this include: (a) access to the machines...
|
|
Yingxu Wang, Xinming Tan.
© 2011. 25 pages.
Trees are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. A binary tree (B-Tree) is a typical balanced tree where the fan-out of...
|
|
Peng-Yeng Yin.
Est. 2010.
The International Journal of Applied Metaheuristic Computing (IJAMC) is a rigorous refereed journal that publishes high quality, innovative research on the latest developments...
|
|
Yingxu Wang, Guenther Ruhe.
© 2010. 13 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of alternatives based on...
|
|
Yingxu Wang.
© 2010. 606 pages.
Cognitive informatics is a multidisciplinary field that acts as the bridge between natural science and information science. Specifically, it investigates the potential...
|
|
Yingxu Wang, Yanan Zhang, Philip C.Y. Sheu, Xuhui Li, Hong Guo.
© 2010. 30 pages.
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This article presents the formal design...
|
|
Yingxu Wang.
© 2010. 17 pages.
Human factors are the most predominated factors in all systems where humans are part of the systems. Human traits and needs are the fundamental force underlying almost all...
|
|
Yingxu Wang.
© 2010. 23 pages.
Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational mathematics, a concept...
|
|
Yingxu Wang.
© 2010. 29 pages.
Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines. System algebra is an...
|
|
Yingxu Wang.
© 2010. 22 pages.
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic...
|
|
Yingxu Wang, Xinming Tan.
© 2010. 18 pages.
Real-time process algebra (RTPA) is a form of denotational mathematics for dealing with fundamental system behaviors such as timing, interrupt, concurrency, and...
|
|
Yingxu Wang, Cyprian F. Ngolah.
© 2010. 21 pages.
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational...
|
|
Yingxu Wang, Jian Huang.
© 2010. 15 pages.
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been...
|
|
Yingxu Wang.
© 2010. 38 pages.
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the...
|
|
Yingxu Wang.
© 2010. 16 pages.
Iterative and recursive control structures are the most fundamental mechanisms of computing that make programming more effective and expressive. However, these constructs are...
|
|
Yingxu Wang.
© 2010. 17 pages.
The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction, concept...
|
|
Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith Chan, Bo Zhang, Stuart Hameroff, Ning Zhong, Chu-Ren Hunag, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang, Haibin Zhu.
© 2010. 29 pages.
Cognitive informatics is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates the internal...
|
|
Kai Hu, Yingxu Wang, Yousheng Tian.
© 2010. 18 pages.
Autonomous on-line knowledge discovery and acquisition play an important role in cognitive informatics, cognitive computing, knowledge engineering, and computational...
|
|
Yingxu Wang.
© 2010. 19 pages.
In studies of genetic algorithms, evolutionary computing, and ant colony mechanisms, it is recognized that the higher-order forms of collective intelligence play an important...
|
|
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah.
© 2010. 22 pages.
Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the Unified Data...
|
|
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Philip C.Y. Sheu, C. Philip Choy, Yousheng Tian.
© 2010. 18 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and...
|
|
Yingxu Wang, Davrondzhon Gafurov.
© 2010. 15 pages.
Comprehension is an ability to understand the meaning of a concept or an action. Comprehension is an important intelligent power of abstract thought and reasoning of humans or...
|
|
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Philip C.Y. Sheu, C. Philip Choy, Yousheng Tian.
© 2010. 27 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and...
|
|
Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao.
© 2010. 13 pages.
Cognitive Computing (CC) is an emerging paradigm of intelligent computing theories and technologies based on cognitive informatics, which implements computational intelligence by...
|
|
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu.
© 2010. 29 pages.
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of...
|
|
Yingxu Wang.
© 2009. 396 pages.
Creating a link between a number of natural science and life science disciplines, the emerging field of cognitive informatics presents a transdisciplinary approach to the...
|
|
Brij Gupta, Andrew W.H. Ip.
Est. 2009.
The latest developments in computer science, theoretical software engineering, cognitive science, cognitive informatics, intelligence science, and the crystallization of...
|
|
Yingxu Wang.
© 2009. 16 pages.
Despite the fact that the origin of software agent systems has been rooted in autonomous artificial intelligence and cognitive psychology, their implementations are still based...
|
|
Yingxu Wang.
© 2009. 15 pages.
Recent researches in both cognitive informatics and computational intelligence are interested in the human perceptual senses of spatiality, time, and motion, which are...
|
|
Yingxu Wang.
© 2009. 17 pages.
Abstract intelligence is a human enquiry of both natural and artificial intelligence at the reductive embodying levels of neural, cognitive, functional, and logical from the...
|
|
Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao.
© 2009. 23 pages.
Granular computing studies a novel approach to computing system modeling and information processing. Although a rich set of work has advanced the understanding of granular...
|
|
Yingxu Wang, Shushma Patel.
© 2009. 19 pages.
It is recognized that software is a unique abstract artifact that does not obey any known physical laws. For software engineering to become a matured engineering discipline like...
|
|
Yingxu Wang.
© 2009. 23 pages.
The quantification and measurement of functional complexity of software are a persistent problem in software engineering. Measurement models of software complexities have been...
|
|
Yingxu Wang.
© 2009. 11 pages.
It is recognized that the internal mechanisms for visual information processing are based on semantic inferences where visual information is represented and processed as visual...
|
|
Yingxu Wang.
© 2009. 27 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost...
|
|
Yingxu Wang.
© 2009. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attributerelation (OAR) model. This paper presents...
|
|
Yingxu Wang.
© 2009. 27 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost...
|
|
Yingxu Wang.
© 2009. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the Object-Attribute-Relation (OAR) model. This chapter...
|
|
Yingxu Wang.
© 2009. 14 pages.
Theoretical research is predominately an inductive process, while applied research is mainly a deductive process. Both inference processes are based on the cognitive process and...
|
|
Yingxu Wang, Guenther Ruhe.
© 2009. 12 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of alternatives based on...
|
|
Yingxu Wang.
© 2009. 16 pages.
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms....
|
|
Du Zhang, Witold Kinsner, Jeffrey Tsai, Yingxu Wang, Philip Sheu, Taehyung Wang.
© 2009. 3 pages.
The 2005 IEEE International Conference on Cognitive Informatics (ICCI’05) was held during August 8th to 10th 2005 on the campus of University of California, Irvine. This was the...
|
|
Yiyu Yao, Zhongzhi Shi, Yingxu Wang, Witold Kinsner, Yixin Zhong, Guoyin Wang.
© 2009. 5 pages.
Cognitive informatics (CI) is a cutting-edge and multidisciplinary research area that tackles the fundamental problems shared by modern informatics, computation, software...
|
|
Yingxu Wang, Guenther Ruhe.
© 2009. 14 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of alternatives based on...
|
|
Yingxu Wang.
© 2009. 30 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost...
|
|
Yingxu Wang.
© 2009. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attributerelation (OAR) model. This paper presents...
|
|
Yingxu Wang, Jian Huang.
© 2009. 13 pages.
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been...
|
|
Yingxu Wang.
© 2009. 28 pages.
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the...
|
|
Yingxu Wang.
© 2009. 20 pages.
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic...
|
|
Yingxu Wang.
© 2009. 21 pages.
Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational mathematics, a concept...
|
|
Yingxu Wang.
© 2009. 26 pages.
Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines. System algebra is an...
|
|
Yingxu Wang.
© 2009. 16 pages.
Despite the fact that the origin of software agent systems has been rooted in autonomous artificial intelligence and cognitive psychology, their implementations are still based...
|
|
Yingxu Wang, Cyprian F. Ngolah.
© 2009. 21 pages.
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational...
|
|
Yingxu Wang.
© 2009. 15 pages.
Inspired by the latest development in cognitive informatics and contemporary denotational mathematics, cognitive computing is an emerging paradigm of intelligent computing...
|
|
Yingxu Wang.
© 2009. 25 pages.
A typical real-time system, the Telephone Switching System (TSS), is a highly complicated system in design and implementation. This paper presents the formal design...
|
|
Yingxu Wang.
© 2009. 16 pages.
A new form of denotational mathematics known as Visual Semantic Algebra (VSA) is presented for abstract visual object and architecture manipulations. A set of cognitive theories...
|
|
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Philip Sheu, Shi Ying.
© 2009. 27 pages.
A Lift Dispatching System (LDS) is a typical real-time system that is highly complicated in design and implementation. This article presents the formal design, specification, and...
|
|
Yingxu Wang.
© 2009. 18 pages.
Creativity is a gifted ability of human beings in thinking, inference, problem solving, and product development. A creation is a new and unusual relation between two or more...
|
|
Yingxu Wang.
© 2008. 12 pages.
Iterative and recursive control structures are the most fundamental mechanisms of computing that make programming more effective and expressive. However, these constructs are...
|
|
Yingxu Wang, Jian Huang.
© 2008. 12 pages.
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been...
|
|
Yingxu Wang.
© 2008. 19 pages.
Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational mathematics, a concept...
|
|
Yingxu Wang.
© 2008. 24 pages.
Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines. System algebra is an...
|
|
Yingxu Wang.
© 2008. 19 pages.
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic...
|
|
Yingxu Wang.
© 2008. 27 pages.
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the...
|
|
Yingxu Wang, Cyprian F. Ngolah.
© 2008. 19 pages.
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational...
|
|
Yingxu Wang.
© 2008. 14 pages.
The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction, concept...
|
|
Yingxu Wang.
© 2008. 15 pages.
Human factors are the most predominated factors in all systems where humans are part of the systems. Human traits and needs are the fundamental force underlying almost all...
|
|
Yingxu Wang.
© 2008. 8 pages.
Cognitive informatics (CI) is an emerging discipline that studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes...
|
|
Yingxu Wang.
© 2008. 7 pages.
The development of classical and contemporary informatics, the cross fertilization between computer science, systems science, cybernetics, computer/software engineering...
|
|
Kangshun Li.
Est. 2007.
The development and the cross fertilization between the aforementioned science and engineering disciplines have led to a whole range of extremely interesting new research areas...
|
|
Yingxu Wang.
© 2007. 27 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost...
|
|
Yingxu Wang.
© 2007. 15 pages.
From the perspective of cognitive informatics (CI), this paper proposes internal relations between distance and orientation knowledge of extended objects, and presents a formal...
|
|
Yingxu Wang, Guenther Ruhe.
© 2007. 13 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of alternatives based on...
|
|
Yingxu Wang.
© 2007. 16 pages.
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms....
|
|
Yingxu Wang.
© 2007. 12 pages.
The cognitive models of information representation are fundamental research areas in cognitive informatics, which attempts to reveal the mechanisms and potential of the brain in...
|
|
Yingxu Wang.
© 2007. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attribute-relation (OAR) model. This paper presents...
|
|
Yingxu Wang.
© 2007. 12 pages.
Theoretical research is predominately an inductive process; while applied research is mainly a deductive process. Both inference processes are based on the cognitive process and...
|