Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and artifical intelligence, such as engineering design, solid and geometric modelling, robotics and motion planning, and machine vision. This research has produced few applications within engineering and robotics because of the combinatorial cost of symbolic techniques. Therefore, it is essential to investigate approaches for systematic integration of symbolic with numerical techniques which are efficient for handling the huge amount of data that arises in practical applications, while at the same time maintain a logically consistent solution framework. Symbolic and Numerical Computation for Artificial Intelligence gives an overview of applications in machine vision, robotics and engineering design where there is a need for integrating symbolic and numerical methods. It also illustrates the case for an integrated symbolic and numerical environment to support the needs of these applications. This book will be essential reading for researchers in applied mathematics, symbolic and algebraic manipulation, and applied artificial intell

The purpose of this catalogue is to promote interaction between members of the AI' community. It will do this by announcing the existence of Ai techniques and portable software. and acting as a pOinter into the literature. Thus the AI community wili have access to a common. extensional definition of the field. which will: promote a common terminology. discourage the reinvention of wheels. and act as a clearing house for ideas and software. The cataiogue is a reference work providing a quick guide to the AI tools available for different jobs. It is not intended to be a textbook like the Artificial Intelligence Handbook. It. intentionally. only provides a brief description of each tool. with no extended discussion of the historical origin of the tool or how it has been used in particular AI programs, The focus is on techniques abstracted from their historical origins. The original version of the catalogue. was hastily built in 1983 as part of the UK SERC-Dol. IKBS. Architecture Study [lKBS Architecture Study 831. it has now been adopted by the SERC Specially Promoted Programme in IKBS and is kept as an on line document undergoing constant revision and refinement and published as a paperback by Springer Verlag.

Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a workshop every other year bringing together manufacturers, computer scientists, researchers and operational users to share their experiences and to learn about the latest developments. This volume provides an excellent overview of the latest achievements and plans for the use of new parallel techniques in the fields of meteorology, climatology and oceanography.

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.

Computational mechanics is a scientific discipline that marries physics, computers, and mathematics to emulate natural physical phenomena. It is a technology that allows scientists to study and predict the performance of various productsâ€"important for research and development in the industrialized world. This book describes current trends and future research directions in computational mechanics in areas where gaps exist in current knowledge and where major advances are crucial to continued technological developments in the United States.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.

Parallel Computing: Methods, Algorithms and Applications presents a collection of original papers presented at the international meeting on parallel processing, methods, algorithms, and applications at Verona, Italy in September 1989.