This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.

This superb exposition of a complex subject examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book is suitable for researchers and graduate students in mathematics, philosophy, and computer science with a special interest in logic and foundational issues. Most useful to graduate students are the survey papers on computable analysis and biological computing. Logicians and theoretical physicists will also benefit from this book.

Computers are playing a fundamental role in enhancing exploratory learning techniques in education. This volume in the NATO Special Programme on Advanced Educational Technology covers the state of the art in the design and use of computer systems for exploratory learning. Contributed chapters treat principles, theory, practice, and examples of some of the best contemporary computer-based learning environments: Logo, Boxer, Microworlds, Cabri-Géomètre, Star Logo, Table Top, Geomland, spreadsheets, Function Machines, and others. Emphasis is on mathematics and science education. Synthetic chapters provide an overview of the current scene in computers and exploratory learning, and analyses from the perspectives of epistemology, learning, and socio-cultural studies.

Offering a wide range of programming examples implemented in MATLAB, Computational Intelligence Paradigms: Theory and Applications Using MATLAB presents theoretical concepts and a general framework for computational intelligence (CI) approaches, including artificial neural networks, fuzzy systems, evolutionary computation, genetic algorithms and pr

This two-volume book focuses on both theory and applications in the broad areas of communication technology, computer science and information security. It brings together contributions from scientists, professors, scholars and students, and presents essential information on computing, networking, and informatics. It also discusses the practical challenges encountered and the solutions used to overcome them, the goal being to promote the “translation” of basic research into applied research, and of applied research into practice. The works presented here will also demonstrate the importance of basic scientific research in a range of fields.

This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.