You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand in December 2004. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 47 submissions. The main subjects are formal languages, automata, conventional and unconventional computation theory, and applications of automata theory. Among the topics addressed are grammars and acceptors for strings, graphs, and arrays; efficient text algorithms, combinatorial and algebraic properties of languages; decision problems; relations to complexity theory and logic; picture description and analysis; cryptography; concurrency; DNA computing; and quantum computing.
The World Wide Web is truly astounding. It has changed the way we interact, learn and innovate. It is the largest sociotechnical system humankind has created and is advancing at a pace that leaves most in awe. It is an unavoidable fact that the future of the world is now inextricably linked to the future of the Web. Almost every day it appears to change, to get better and increase its hold on us. For all this we are starting to see underlying stability emerge. The way that Web sites rank in terms of popularity, for example, appears to follow laws with which we are familiar. What is fascinating is that these laws were first discovered, not in fields like computer science or information techno...
In this unique volume, the expressive capacity of the various types of restarting automata is studied, and the resulting classes of languages are compared to each other and to the classes of an extended Chomsky hierarchy. A restarting automaton consists of a finite-state control, a flexible tape with end-of-tape markers that initially contains the input, and a read-write window of a fixed finite size. The objective here is to collect the many results that have been obtained on the various types of restarting automata in one place and to present them in a uniform and systematic way. Among the book’s topics and features: * Delivers a comprehensive survey of the numerous types of restarting a...
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.
In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Unconventional Computation, UC 2012, held in Orléans, France, during September 3-7, 2012. The 28 revised full papers presented were carefully selected from numerous submissions. Conference papers are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical systems based computing, granular, fuzzy and rough computing, mechanical computing, cellular, evolutionary, molecular, neural, and quantum computing, membrane computing, amorphous computing, swarm intelligence; artificial immune systems, physics of computation, chemical computation, evolving hardware, the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes
The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on representable events, of Myhill and Nerode on finite coset congruence relations on strings, of Rabin and Scott on power set automata. In the 1960s, there was the work of Btichi on automata on infinite strings and the second order theory of one successor, then Rabin's 1968 result on automata on infinite trees and the second order theory of two succ...
Students and researchers from all fields of mathematics are invited to read and treasure this special Proceedings. A conference was held 25 –29 September 2017 at Noah’s On the Beach, Newcastle, Australia, to commemorate the life and work of Jonathan M. Borwein, a mathematician extraordinaire whose untimely passing in August 2016 was a sorry loss to mathematics and to so many members of its community, a loss that continues to be keenly felt. A polymath, Jonathan Borwein ranks among the most wide ranging and influential mathematicians of the last 50 years, making significant contributions to an exceptional diversity of areas and substantially expanding the use of the computer as a tool of the research mathematician. The contributions in this commemorative volume probe Dr. Borwein's ongoing legacy in areas where he did some of his most outstanding work: Applied Analysis, Optimization and Convex Functions; Mathematics Education; Financial Mathematics; plus Number Theory, Special Functions and Pi, all tinged by the double prisms of Experimental Mathematics and Visualization, methodologies he championed.
This book is open access under a CC BY 4.0 license. This book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a (pre-)determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of the questions that arise are the following: are these limitations reflected by our models? Under what circumstances does chance kick in? Is chance in physics merely epistemic? In other words, do we simply not know enough, or use too crude levels of description for our predictions? Or are certain ev...