You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This two-volume set (CCIS 1005 and CCIS 1006) constitutes the refereed proceedings of the 4th International Conference on Cognitive Systems and Signal Processing, ICCSIP2018, held in Beijing, China, in November and December 2018. The 96 revised full papers presented were carefully reviewed and selected from 169 submissions. The papers are organized in topical sections on vision and image; algorithms; robotics; human-computer interaction; deep learning; information processing and automatic driving.
Now in its third edition, this highly successful textbook is widely regarded as the 'bible of computer algebra'.
Neural Networks have been the theater of a dramatic increase of activities in the last five years. The interest of mixing results from fields as different as neurobiology, physics (spin glass theory), mathematics (linear algebra, statistics ... ), computer science (software engineering, hardware architectures ... ) or psychology has attracted a large number of researchers to the field. The perspective of dramatic improvements in many applications has lead important companies to launch new neural network programs and start-ups have mushroomed to address this new market. Throughout the world large programs are being set-up: in Japan the government has committed more than $18 million per year t...
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.
The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems.This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms.The proceedings have been selected for coverage in: • Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)
This is an open access book. Management science and engineering is a systematic discipline that combines modern information technology and digital technology, and then uses some related discipline methods, such as systems science, mathematical science, economics and behavioral science, and engineering methods. After analyzing and researching some problems arising from social economy, engineering, education, finance, etc., and making corresponding countermeasures. The main purpose is to achieve control and planning, decision-making and adjustment in social, economic, education, engineering and other aspects, and then make improvements, and finally organize and coordinate. The relevant departm...
J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J.UCS is a prototype for modern electronic publishing. Distributed via the Internet, it supports all the search and navigation tools of advanced online systems. This first annual print and CD-ROM archive edition contains all articles published online in J.UCS during 1995. It allows easy and durable access without logging onto the Internet. Uniform citation of papers is guaranteed by identical page numbering and layout of all versions. J.UCS is based on HyperWave (formerly Hyper-G), a networked hypermedia information system compatible with other systems.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.
The LNAI series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comperhensive computer science research forum avaiable. The scope of LNAI spans the whole range of artificial intelligence and intelligent Information processing incliding interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.