Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing is primarily a theoretically oriented treatment of jumping automata and grammars, covering all essential theoretical topics concerning them, including their power, properties, and transformations. From a practical viewpoint, it describes various concepts, methods, algorithms, techniques, case studies and applications based upon these automata and grammars. In today’s computerized world, the scientific development and study of computation, referred to as the theory of computation, plays a crucial role. One important branch, language theory, investigates how to define and study languages and their models, which formalize algorithms according to which their computation is executed. These language-defining models are classified into two basic categories: automata, which define languages by recognizing their words, and grammars, which generate them. Introduced many decades ago, these rules reflect classical sequential computation. However, today’s computational methods frequently process information in a fundamentally different way, frequently “jumping” over large portions of the information as a whole. This book adapts classical models to formalize and study this kind of computation properly. Simply put, during their language-defining process, these adapted versions, called jumping automata and grammars, jump across the words they work on. The book selects important models and summarizes key results about them in a compact and uniform way. It relates each model to a particular form of modern computation, such as sequential, semi-parallel and totally parallel computation, and explains how the model in question properly reflects and formalizes the corresponding form of computation, thus allowing us to obtain a systematized body of mathematically precise knowledge concerning the jumping computation. The book pays a special attention to power, closure properties, and transformations, and also describes many algorithms that modify jumping grammars and automata so they satisfy some prescribed properties without changing the defined language. The book will be of great interest to anyone researching the theory of computation across the fields of computer science, mathematics, engineering, logic and linguistics.

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 136 submissions. The papers address the three main themes of the conference which were computability, complexity, and algorithms and are organized in topical sections on general algorithms, approximation, graph algorithms, complexity, optimization, circuit complexity, data structures, logic and formal language theory, games and learning theory, and cryptography and communication complexity.

The ability of parallel computing to process large data sets and handle time-consuming operations has resulted in unprecedented advances in biological and scientific computing, modeling, and simulations. Exploring these recent developments, the Handbook of Parallel Computing: Models, Algorithms, and Applications provides comprehensive coverage on a

This volume contains a collection of papers dealing with applications of orthogonal polynomials and methods for their computation, of interest to a wide audience of numerical analysts, engineers, and scientists. The applications address problems in applied mathematics as well as problems in engineering and the sciences.

This Festschrift is dedicated to Professor Dr.-Ing. habil. Peter Wriggers on the occasion of his 70th birthday. Thanks to his high dedication to research, over the years Peter Wriggers has built an international network with renowned experts in the field of computational mechanics. This is proven by the large number of contributions from friends and collaborators as well as former PhD students from all over the world. The diversity of Peter Wriggers network is mirrored by the range of topics that are covered by this book. To name only a few, these include contact mechanics, finite & virtual element technologies, micromechanics, multiscale approaches, fracture mechanics, isogeometric analysis, stochastic methods, meshfree and particle methods. Applications of numerical simulation to specific problems, e.g. Biomechanics and Additive Manufacturing is also covered. The volume intends to present an overview of the state of the art and current trends in computational mechanics for academia and industry.

This three volume series represents a selected and refereed collection of papers contributed by the participants of the First World Congress on Computational Medicine, Public Health, and Biotechnology, held in 1994 at Austin, Texas. Over 500 individuals, from 30 countries attended this meeting. In addition, this collection contains a number of papers from the Australian CSIRO High Performance Computing Meeting held that same year.