Hongbo Li – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
25 produkter
25 produkter
559 kr
Skickas inom 10-15 vardagar
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.
710 kr
Läs direkt efter köp
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.
Del 213 - Advances in Intelligent Systems and Computing
Foundations and Applications of Intelligent Systems
Proceedings of the Seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012)
Häftad, Engelska, 2013
2 149 kr
Skickas inom 10-15 vardagar
These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new findings and perspectives on future developments. The proceedings introduce current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, knowledge engineering, information retrieval, information theory, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, and natural-language processing, etc. Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods. By presenting new methodologies and practices, the proceedings will benefit both researchers and practitioners who want to utilize intelligent methods in their specific fields. Dr. Fuchun Sun is a professor at the Department of Computer Science & Technology, Tsinghua University, China. Dr. Tianrui Li is a professor at the School of Information Science & Technology, Southwest Jiaotong University, Chengdu, China. Dr. Hongbo Li also works at the Department of Computer Science & Technology, Tsinghua University, China.
E-bok
PDF, Engelska, 20132 833 kr
Läs direkt efter köp
These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new findings and perspectives on future developments. The proceedings introduce current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, knowledge engineering, information retrieval, information theory, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, and natural-language processing, etc. Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods. By presenting new methodologies and practices, the proceedings will benefit both researchers and practitioners who want to utilize intelligent methods in their specific fields. Dr. Fuchun Sun is a professor at the Department of Computer Science & Technology, Tsinghua University, China. Dr. Tianrui Li is a professor at the School of Information Science & Technology, Southwest Jiaotong University, Chengdu, China. Dr. Hongbo Li also works at the Department of Computer Science & Technology, Tsinghua University, China.
Del 214 - Advances in Intelligent Systems and Computing
Knowledge Engineering and Management
Proceedings of the Seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012)
Häftad, Engelska, 2013
2 149 kr
Skickas inom 10-15 vardagar
These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new findings and perspectives on future developments. The proceedings introduce current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, knowledge engineering, information retrieval, information theory, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, and natural-language processing, etc. Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods. By presenting new methodologies and practices, the proceedings will benefit both researchers and practitioners who want to utilize intelligent methods in their specific fields. Dr. Fuchun Sun is a professor at the Department of Computer Science & Technology, Tsinghua University, China. Dr. Tianrui Li is a professor at the School of Information Science & Technology, Southwest Jiaotong University, Chengdu, China. Dr. Hongbo Li also works at the Department of Computer Science & Technology, Tsinghua University, China.
E-bok
PDF, Engelska, 20132 833 kr
Läs direkt efter köp
These proceedings present technical papers selected from the 2012 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new findings and perspectives on future developments. The proceedings introduce current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, knowledge engineering, information retrieval, information theory, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, and natural-language processing, etc. Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods. By presenting new methodologies and practices, the proceedings will benefit both researchers and practitioners who want to utilize intelligent methods in their specific fields. Dr. Fuchun Sun is a professor at the Department of Computer Science & Technology, Tsinghua University, China. Dr. Tianrui Li is a professor at the School of Information Science & Technology, Southwest Jiaotong University, Chengdu, China. Dr. Hongbo Li also works at the Department of Computer Science & Technology, Tsinghua University, China.
Del 337 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Automation Conference
Intelligent Automation
Inbunden, Engelska, 2015
2 149 kr
Skickas inom 10-15 vardagar
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
E-bok
PDF, Engelska, 20152 833 kr
Läs direkt efter köp
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
Del 338 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Automation Conference
Intelligent Technology and Systems
Inbunden, Engelska, 2015
2 149 kr
Skickas inom 10-15 vardagar
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
E-bok
PDF, Engelska, 20152 833 kr
Läs direkt efter köp
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
Del 336 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Automation Conference
Intelligent Information Processing
Inbunden, Engelska, 2015
2 149 kr
Skickas inom 10-15 vardagar
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
E-bok
PDF, Engelska, 20152 833 kr
Läs direkt efter köp
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
Del 360 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Systems Conference
Volume 2
Inbunden, Engelska, 2015
1 613 kr
Skickas inom 10-15 vardagar
This book presents selected research papers from the 2015 Chinese Intelligent Systems Conference (CISC’15), held in Yangzhou, China. The topics covered include multi-agent systems, evolutionary computation, artificial intelligence, complex systems, computation intelligence and soft computing, intelligent control, advanced control technology, robotics and applications, intelligent information processing, iterative learning control, and machine learning. Engineers and researchers from academia, industry and the government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.
E-bok
PDF, Engelska, 20152 049 kr
Läs direkt efter köp
This book presents selected research papers from the 2015 Chinese Intelligent Systems Conference (CISC’15), held in Yangzhou, China. The topics covered include multi-agent systems, evolutionary computation, artificial intelligence, complex systems, computation intelligence and soft computing, intelligent control, advanced control technology, robotics and applications, intelligent information processing, iterative learning control, and machine learning. Engineers and researchers from academia, industry and the government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.
Del 359 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Systems Conference
Volume 1
Inbunden, Engelska, 2015
2 149 kr
Skickas inom 10-15 vardagar
This book presents selected research papers from the 2015 Chinese Intelligent Systems Conference (CISC’15), held in Yangzhou, China. The topics covered include multi-agent systems, evolutionary computation, artificial intelligence, complex systems, computation intelligence and soft computing, intelligent control, advanced control technology, robotics and applications, intelligent information processing, iterative learning control, and machine learning. Engineers and researchers from academia, industry and the government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.
E-bok
Engelska, 20152 833 kr
Läs direkt efter köp
This book presents selected research papers from the 2015 Chinese Intelligent Systems Conference (CISC’15), held in Yangzhou, China. The topics covered include multi-agent systems, evolutionary computation, artificial intelligence, complex systems, computation intelligence and soft computing, intelligent control, advanced control technology, robotics and applications, intelligent information processing, iterative learning control, and machine learning. Engineers and researchers from academia, industry and the government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.
Del 359 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Systems Conference
Volume 1
Häftad, Engelska, 2016
2 149 kr
Skickas inom 10-15 vardagar
This book presents selected research papers from the 2015 Chinese Intelligent Systems Conference (CISC’15), held in Yangzhou, China. The topics covered include multi-agent systems, evolutionary computation, artificial intelligence, complex systems, computation intelligence and soft computing, intelligent control, advanced control technology, robotics and applications, intelligent information processing, iterative learning control, and machine learning. Engineers and researchers from academia, industry and the government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.
Del 336 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Automation Conference
Intelligent Information Processing
Häftad, Engelska, 2016
2 149 kr
Skickas inom 10-15 vardagar
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
Del 360 - Lecture Notes in Electrical Engineering
Proceedings of the 2015 Chinese Intelligent Systems Conference
Volume 2
Häftad, Engelska, 2019
1 613 kr
Skickas inom 10-15 vardagar
This book presents selected research papers from the 2015 Chinese Intelligent Systems Conference (CISC’15), held in Yangzhou, China. The topics covered include multi-agent systems, evolutionary computation, artificial intelligence, complex systems, computation intelligence and soft computing, intelligent control, advanced control technology, robotics and applications, intelligent information processing, iterative learning control, and machine learning. Engineers and researchers from academia, industry and the government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.
Del 405 - Lecture Notes in Electrical Engineering
Proceedings of 2016 Chinese Intelligent Systems Conference
Volume II
Inbunden, Engelska, 2016
1 078 kr
Skickas inom 10-15 vardagar
These proceedings present selected research papers from CISC’16, held in Xiamen, China. The topics include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.
E-bok
PDF, Engelska, 20161 413 kr
Läs direkt efter köp
These proceedings present selected research papers from CISC’16, held in Xiamen, China. The topics include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.
Del 404 - Lecture Notes in Electrical Engineering
Proceedings of 2016 Chinese Intelligent Systems Conference
Volume I
Inbunden, Engelska, 2016
2 149 kr
Skickas inom 10-15 vardagar
These proceedings present selected research papers from CISC’16, held in Xiamen, China. The topics include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.
E-bok
PDF, Engelska, 20162 833 kr
Läs direkt efter köp
These proceedings present selected research papers from CISC’16, held in Xiamen, China. The topics include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.
Häftad, Engelska, 2016
2 855 kr
Tillfälligt slut
Proceedings of the 2015 Chinese Intelligent Automation Conference presents selected research papers from the CIAC’15, held in Fuzhou, China. The topics include adaptive control, fuzzy control, neural network based control, knowledge based control, hybrid intelligent control, learning control, evolutionary mechanism based control, multi-sensor integration, failure diagnosis, reconfigurable control, etc. Engineers and researchers from academia, industry and the government can gain valuable insights into interdisciplinary solutions in the field of intelligent automation.
Inbunden, Engelska, 2008
2 858 kr
Tillfälligt slut
The demand for more reliable geometric computing in robotics, computer vision and graphics has revitalized many venerable algebraic subjects in mathematics — among them, Grassmann–Cayley algebra and Geometric Algebra. Nowadays, they are used as powerful languages for projective, Euclidean and other classical geometries.This book contains the author and his collaborators' most recent, original development of Grassmann–Cayley algebra and Geometric Algebra and their applications in automated reasoning of classical geometries. It includes two of the three advanced invariant algebras — Cayley bracket algebra, conformal geometric algebra, and null bracket algebra — for highly efficient geometric computing. They form the theory of advanced invariants, and capture the intrinsic beauty of geometric languages and geometric computing. Apart from their applications in discrete and computational geometry, the new languages are currently being used in computer vision, graphics and robotics by many researchers worldwide.