CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such as behavioural concurrent specification and rewriting logic.
This book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.
The direct current flux parametron using Josephson junction and based on the principle of parametron seems to be the answer for the search of new technology for the future needs of computer power.
The contents of this book are self-sufficient in the sense that no preliminary knowledge other than elementary set theory is needed and there are no complicated mathematical theorems in the book.
In the past few decades, there has been a large amount of work on algorithms for linear network flow problems, special classes of network problems such as assignment problems (linear and quadratic), Steiner tree problem, topology network design and nonconvex cost network flow problems.
This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation.
After three decades since the first nearly complete edition of John von Neumann's papers, this book is a valuable selection of those papers and excerpts of his books that are most characteristic of his activity, and reveal that of his continuous influence.
Cellular automata provide one of the most interesting avenues into the study of complex systems in general, as well as having an intrinsic interest of their own.
The Monte Carlo method is inherently parallel and the extensive and rapid development in parallel computers, computational clusters and grids has resulted in renewed and increasing interest in this method.
Soft computing is a new, emerging discipline rooted in a group of technologies that aim to exploit the tolerance for imprecision and uncertainty in achieving solutions to complex problems.
This book describes the design of a complete, flexible system for perceptual organization in computer vision using graph theoretic techniques, voting methods, and an extension of the Bayesian networks called perceptual inference networks (PINs).
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience.
This book brings together current research direction in the mapping of dynamic programming recurrence equations for Knapsack Type problems, which include Unbounded Knapsack Problem, 0/1 Knapsack Problem, Subset Sum Problem, Change Making Problem, onto so-called regular parallel architectures.
This book provides a comprehensive account, from first principles, of the methods of numerical quantum mechanics, beginning with formulations and fundamental postulates.
This book is about perfect, amicable and sociable numbers, with an emphasis on amicable numbers, from both a mathematical and particularly a computational point of view.
Laue-grams are the easiest X-ray diffraction patterns that can be obtained and are very useful for orienting single crystals and finding out the symmetry of a projection.
Revolutionary and original, this treatise presents a new paradigm of EMERGENCE and COMPLEXITY, with applications drawn from numerous disciplines, including artificial life, biology, chemistry, computation, physics, image processing, information science, etc.
This book describes adaptive methods of statistical numerical analysis using evaluation of integrals, solution of integral equations, boundary value problems of the theory of elasticity and heat conduction as examples.
With better computing facilities now available, there is an ever-increasing need to ensure that elegant theoretical results on hardware reliability are computationally available.
