Download or read book Intelligent Mathematical Software Systems written by E.N. Houstis and published by Elsevier. This book was released on 1990-07-03 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ``knowledge'' or ``expertise'' into these systems. A number of developments have helped in making the systems more powerful and user-friendly: algorithm/parameter selection for the solution of well-defined mathematical engineering problems; parallel computing; computer graphics technology; interface development tools; and of course the years of experience with these systems and the increase in available computing power have made it practical to fulfill the potential seen in the early years of their development.This book covers four main areas of the subject: Application Oriented Expert Systems, Advisory Systems, Knowledge Manipulation Issues, and User Interfaces.
Download or read book Intelligent Computer Mathematics written by Fairouz Kamareddine and published by . This book was released on 2021 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. * The conference was held virtually due to the COVID-19 pandemic.
Download or read book Applied Computational Intelligence and Mathematical Methods written by Radek Silhavy and published by Springer. This book was released on 2017-09-04 with total page 406 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book discusses real-world problems and exploratory research in computational intelligence and mathematical models. It brings new approaches and methods to real-world problems and exploratory research that describes novel approaches in the mathematical methods, computational intelligence methods and software engineering in the scope of the intelligent systems. This book constitutes the refereed proceedings of the Computational Methods in Systems and Software 2017, a conference that provided an international forum for the discussion of the latest high-quality research results in all areas related to computational methods, statistics, cybernetics and software engineering.
Download or read book Intelligent Routines written by George A. Anastassiou and published by Springer Science & Business Media. This book was released on 2012-07-28 with total page 592 pages. Available in PDF, EPUB and Kindle. Book excerpt: Real Analysis is a discipline of intensive study in many institutions of higher education, because it contains useful concepts and fundamental results in the study of mathematics and physics, of the technical disciplines and geometry. This book is the first one of its kind that solves mathematical analysis problems with all four related main software Matlab, Mathcad, Mathematica and Maple. Besides the fundamental theoretical notions, the book contains many exercises, solved both mathematically and by computer, using: Matlab 7.9, Mathcad 14, Mathematica 8 or Maple 15 programming languages. The book is divided into nine chapters, which illustrate the application of the mathematical concepts using the computer. Each chapter presents the fundamental concepts and the elements required to solve the problems contained in that chapter and finishes with some problems left to be solved by the readers. The calculations can be verified by using a specific software such as Matlab, Mathcad, Mathematica or Maple.
Download or read book Advances in Intelligent Systems Computer Science and Digital Economics IV written by Zhengbing Hu and published by Springer Nature. This book was released on 2023-01-28 with total page 993 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book comprises high-quality peer-reviewed research papers presented at the 4th International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2022), held in Wuhan, China, from November 11–13, 2022, organized jointly by the Wuhan University of Technology, Hubei University of Technology, Wuhan University of Science and Technology, the Polish Operational and Systems Society, and the International Center of Informatics and Computer Science (ICICS). The topics discussed in the book include state-of-the-art papers in computer science and their technological applications; intelligent systems and intellectual approaches; digital economics and educational approaches. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and its applications in engineering and management.
Download or read book Complex Intelligent Systems and Their Applications written by Fatos Xhafa and published by Springer Science & Business Media. This book was released on 2010-08-03 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Complex Intelligent Systems and Applications" presents the most up-to-date advances in complex, software intensive and intelligent systems. Each self-contained chapter is the contribution of distinguished experts in areas of research relevant to the study of complex, intelligent, and software intensive systems. These contributions focus on the resolution of complex problems from areas of networking, optimization and artificial intelligence. The book is divided into three parts focusing on complex intelligent network systems, efficient resource management in complex systems, and artificial data mining systems. Through the presentation of these diverse areas of application, the volume provides insights into the multidisciplinary nature of complex problems. Throughout the entire book, special emphasis is placed on optimization and efficiency in resource management, network interaction, and intelligent system design. This book presents the most recent interdisciplinary results in this area of research and can serve as a valuable tool for researchers interested in defining and resolving the types of complex problems that arise in networking, optimization, and artificial intelligence.
Download or read book Computational and Statistical Methods in Intelligent Systems written by Radek Silhavy and published by Springer. This book was released on 2018-08-29 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents real-world problems and pioneering research in computational statistics, mathematical modeling, artificial intelligence and software engineering in the context of intelligent systems. It gathers the peer-reviewed proceedings of the 2nd Computational Methods in Systems and Software 2018 (CoMeSySo 2018), a conference that broke down traditional barriers by being held online. The goal of the event was to provide an international forum for discussing the latest high-quality research results.
Download or read book Artificial Intelligence Expert Systems Symbolic Computing written by E.N. Houstis and published by Elsevier. This book was released on 1992-11-05 with total page 471 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers in the areas of artificial intelligence, expert systems, symbolic computing and applications to scientific computing. Together, they provide an excellent overview of the dynamic state of these closely related fields. They reveal a future where scientific computation will increasingly involve symbolic and artificial intelligence tools as these software systems become more sophisticated; also a future where systems of computational science and engineering will be problem solving environments created with components from numerical analysis, computational geometry, symbolic computing and artificial intelligence.
Download or read book Intelligent knowledge based systems in electrical power engineering written by J.R. McDonald and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: Intelligent Knowledge Based Systems in Electrical Power Engineering details how intelligent applications can be used in the power industry. The book gives a general and historical overview of intelligent knowledge based systems (IKBS) and artificial intelligence (AI) and a broad analysis of the application of these techniques in the electrical power industry. It includes chapters on forecasting and planning in power systems, design of electrical plant and systems, IKBS in condition monitoring, alarm processing, event and fault diagnosis and an analysis of future trends in IKBS for power engineering. No previous knowledge of IKBS is assumed, but an appreciation of electrical transmission and distribution systems would be useful.
Download or read book Computational Statistics and Mathematical Modeling Methods in Intelligent Systems written by Radek Silhavy and published by Springer Nature. This book was released on 2019-09-19 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents real-world problems and exploratory research in computational statistics, mathematical modeling, artificial intelligence and software engineering in the context of the intelligent systems. This book constitutes the refereed proceedings of the 3rd Computational Methods in Systems and Software 2019 (CoMeSySo 2019), a groundbreaking online conference that provides an international forum for discussing the latest high-quality research results.
Download or read book Smart Electromechanical Systems written by Irina Leonidovna Tarasova and published by Springer Nature. This book was released on with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scientific Software Systems written by J. C. Mason and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main aim of this book is to present a broader view of scientific software than has been common in the past. The provision of scientific software is no longer a matter of just writing 'good computer programs', but rather it is concerned with the development of an integrated software system wI-,ich offers the user facilities which approach all that he needs in terms of speed, accuracy and convenience. This means that due account must, for example, be taken of the high-speed computing capabilities of parallel processors, the exact computing features of symbolic mathematical systems, the presentational potentialities of computer graphics, and the advisory aspects of knowledge-based and expert systems. When suites of numerical software programs or routines are supported by such ranges of facilities, then they can be justly described as 'scientific software systems', and that is why we have adopted such a title here. The assembly of this book was a direct consequence of the running of a one-day international symposium, with the same broad aim of advocating a 'systems approach', under the title 'Scientific Software and Systems'. This Symposium was held at the Royal Military College of Science (RMCS) in Shrivenham on July 11, 1988 and was attended by 85 people. A very busy but most enjoyable day included invited talks, poster presentations and demonstrations of software products, not to mention various social activi ties.
Download or read book Intelligent Computer Mathematics written by Christoph Benzmüller and published by Springer Nature. This book was released on 2020-07-17 with total page 337 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.
Download or read book Computational Science Mathematics and Software written by Ronald F. Boisvert and published by Purdue University Press. This book was released on 2002 with total page 414 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains 19 contributions from the International Symposium for Computational Science, 1999. Topics covered include delivery mechanisms for numerial algorithms, intelligent systems for recommending scientific software and the architecture of scientific problem-solving environments.
Download or read book Intelligent Algorithms written by Han Huang and published by Elsevier. This book was released on 2024-05-25 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the latest achievements of the computation time analysis theory and practical applications of intelligent algorithms are set out. There are five chapters: (1) new method of intelligent algorithm computation time analysis; (2)Application of intelligent algorithms in computer vision; (3)Application of intelligent algorithms in logistics scheduling; (4)Application of intelligent algorithms in software testing; and (5) application of intelligent algorithm in multi-objective optimization. The content of each chapter is supported by papers published in top journals. The authors introduce the work of each part, which mainly includes a brief introduction (mainly for readers to understand) and academic discussion (rigorous theoretical and experimental support), in a vivid and interesting way through excellent pictures and literary compositions. To help readers learn and make progress together, each part of this book provides relevant literature, code, experimental data, and so on. - Integrates the theoretical analysis results of intelligent algorithms, which is convenient for the majority of researchers to deeply understand the theoretical analysis results of intelligent algorithms and further supplement and improve the theoretical research of intelligent algorithms - Opens up readers' understanding of the theoretical level of intelligent algorithms and spreads the inherent charm of intelligent algorithms - Integrates the diverse knowledge of society and provides a more comprehensive and scientific knowledge of intelligent algorithm theory
Download or read book Artificial Intelligence and Symbolic Computation written by Gonzalo A. Aranda-Corral and published by Springer. This book was released on 2014-12-08 with total page 214 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
Download or read book Intelligent Computer Mathematics written by Jacques Carette and published by Springer Science & Business Media. This book was released on 2009-07-06 with total page 510 pages. Available in PDF, EPUB and Kindle. Book excerpt: As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.
