Theory of Semi-Feasible Algorithms

Theory of Semi-Feasible Algorithms

Author: Lane A. Hemaspaandra

Publisher: Springer Science & Business Media

Published: 2013-04-17

Total Pages: 156

ISBN-13: 3662050803

DOWNLOAD EBOOK

The primary goal of this book is unifying and making more widely accessible the vibrant stream of research - spanning more than two decades - on the theory of semi-feasible algorithms. In doing so it demonstrates the richness inherent in central notions of complexity: running time, nonuniform complexity, lowness, and NP-hardness. The book requires neither great mathematical maturity nor an extensive background in computational complexity theory or in computer science. Another aim of this book is to lay out a path along which the reader can quickly reach the frontiers of current research, and meet and engage the many exciting open problems in this area.


Universal Artificial Intelligence

Universal Artificial Intelligence

Author: Marcus Hutter

Publisher: Springer Science & Business Media

Published: 2005-12-29

Total Pages: 294

ISBN-13: 3540268774

DOWNLOAD EBOOK

Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. What makes this challenge so interesting? A solution would have enormous implications on our society, and there are reasons to believe that the AI problem can be solved in my expected lifetime. So, it's worth sticking to it for a lifetime, even if it takes 30 years or so to reap the benefits. The AI problem. The science of artificial intelligence (AI) may be defined as the construction of intelligent systems and their analysis. A natural definition of a system is anything that has an input and an output stream. Intelligence is more complicated. It can have many faces like creativity, solving prob lems, pattern recognition, classification, learning, induction, deduction, build ing analogies, optimization, surviving in an environment, language processing, and knowledge. A formal definition incorporating every aspect of intelligence, however, seems difficult. Most, if not all known facets of intelligence can be formulated as goal driven or, more precisely, as maximizing some utility func tion. It is, therefore, sufficient to study goal-driven AI; e. g. the (biological) goal of animals and humans is to survive and spread. The goal of AI systems should be to be useful to humans.


Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Author: Yves Bertot

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 492

ISBN-13: 366207964X

DOWNLOAD EBOOK

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.


The Parametric Lambda Calculus

The Parametric Lambda Calculus

Author: Simona Ronchi Della Rocca

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 254

ISBN-13: 366210394X

DOWNLOAD EBOOK

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.


Modelling Distributed Systems

Modelling Distributed Systems

Author: Wan Fokkink

Publisher: Springer Science & Business Media

Published: 2007-09-05

Total Pages: 158

ISBN-13: 3540739386

DOWNLOAD EBOOK

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs μCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.


DNA Computing

DNA Computing

Author: Gheorghe Paun

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 404

ISBN-13: 3662035634

DOWNLOAD EBOOK

This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory. It then brings the reader to the most advanced theories develop thus far in this emerging research area.


Encyclopedia of Optimization

Encyclopedia of Optimization

Author: Christodoulos A. Floudas

Publisher: Springer Science & Business Media

Published: 2008-09-04

Total Pages: 4646

ISBN-13: 0387747583

DOWNLOAD EBOOK

The goal of the Encyclopedia of Optimization is to introduce the reader to a complete set of topics that show the spectrum of research, the richness of ideas, and the breadth of applications that has come from this field. The second edition builds on the success of the former edition with more than 150 completely new entries, designed to ensure that the reference addresses recent areas where optimization theories and techniques have advanced. Particularly heavy attention resulted in health science and transportation, with entries such as "Algorithms for Genomics", "Optimization and Radiotherapy Treatment Design", and "Crew Scheduling".


SOFSEM 2006: Theory and Practice of Computer Science

SOFSEM 2006: Theory and Practice of Computer Science

Author: Jirí Wiedermann

Publisher: Springer Science & Business Media

Published: 2006-01-05

Total Pages: 591

ISBN-13: 354031198X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2006, held in Merin, Czech Republic in January 2006. The 45 revised full papers, including the best Student Research Forum paper, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies.


Automata, Languages and Programming

Automata, Languages and Programming

Author: Susanne Albers

Publisher: Springer Science & Business Media

Published: 2009-07-06

Total Pages: 597

ISBN-13: 3642029302

DOWNLOAD EBOOK

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6–10, 2009. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games) and track B (focusing on logic, automata, semantics and theory of programming), and of the recently introduced track C (in 2009 focusing on foundations of networked computation). In response to the call for papers, the Program Committee received 370 s- missions: 223 for track A, 84 for track B and 63 for track C. Out of these, 108 papers were selected for inclusion in the scienti?c program: 62 papers for track A, 24 for track B and 22 for track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many dese- ing papers could not be selected. ICALP 2009 consisted of ?ve invited lectures and the contributed papers.