"e;Algorithmic information theory (AIT) is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously"e;, says G.
As the role of the modern engineer is markedly different from that of even a decade ago, the theme of engineering mathematics educa- tion (EME) is an important one.
With the advent of powerful computing tools and numerous advances in math- ematics, computer science and cryptography, algorithmic number theory has become an important subject in its own right.
When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps.
The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.
Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik.
John Vince explains a comprehensive range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, special effects, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded seventh edition.
Das Anliegen dieses Werkes unterscheidet sich von vielen anderen dadurch, daß die Informationstechnik nicht aus der Sicht der materiell-energetischen Realisierung, also nicht unter dem Aspekt der zur Verfügung stehenden physikalischen Effekte und der dabei auftretenden technischen Probleme behandelt wird.
An der Realisierung integrierter Informationssysteme sind verschiedene Partner aus Fachabteilungen und aus der Informatik sowie externe Berater und Hersteller beteiligt.
Since the achievement of a fonnal definition of the concept of "e;algorithm"e;, the Mathematical Theory of Computation has developed into a broad and rich discipline.
The Fourth International "e;Nursing Informatics '91"e; Preconference sessions held in Melbourne Australia on the 12th and 13th April 1991 hosted by the Nursing Computer Group, Victoria Inc.
This volume contains the full text of twenty ofthe twenty-one papers given at the Montreux 1990 International Chemical Information Conference in Mon- treux, Switzerland between 24 and 26 September 1990.
These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell Uni- versity for many years.
Data fusion, the ability to combine data derived fromseveral sources to provide a coherent, informative, anduseful characterization of a situation,is a challengingtask.
This book reports research conducted in the ESPRIT project PECOS, which investigated the requirements for effective CSCW (Computer Supported Cooperative Work) with special reference to cooperation among organisations in large projects.
These proceedings contain the texts of 37 contributions presented at the International Conference on Engineering Optimization in an Industrial Environment, which took place on 3 - 4 September 1990 at the Karlsruhe Nuclear Hesearch Center, I~H Germany.
the outcome of a NATO Advanced Research Workshop (ARW) This book is held in Neuss (near Dusseldorf), Federal Republic of Germany from 28 September to 2 October, 1987.
In the past, applied artificial intelligence systems were built with particular emphasis on general reasoning methods intended to function efficiently, even when only relatively little domain-specific knowledge was available.