Handbook of Theoretical Computer Science

Handbook of Theoretical Computer Science
Author: Jan van Leeuwen
Publisher: Mit Press
Total Pages: 1006
Release: 1994
Genre: Computers
ISBN: 9780262720144

"Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the SIGACT community, in support both of teaching and research.... The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise." -- Rocky Ross, "SIGACT News" "This is a reference which has a place in every computer science library." -- Raymond Lauzzana, "Languages of Design" The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing. The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Algorithms and Complexity

Algorithms and Complexity
Author: Bozzano G Luisa
Publisher: Elsevier
Total Pages: 1014
Release: 1990-09-12
Genre: Computers
ISBN: 9780444880710

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Formal Models and Semantics

Formal Models and Semantics
Author: Bozzano G Luisa
Publisher: Elsevier
Total Pages: 1288
Release: 2014-06-28
Genre: Mathematics
ISBN: 0080933920

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Handbook of Weighted Automata

Handbook of Weighted Automata
Author: Manfred Droste
Publisher: Springer Science & Business Media
Total Pages: 614
Release: 2009-09-18
Genre: Computers
ISBN: 3642014925

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount of resources or time needed for this,or the probability or reliability of its successful execution. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the following scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i. e. , for the successful paths realizing the given word. In this example, we could also replace the “resources” by “profit” and then be interested in the maximal profit realized, correspondingly, by a given word.

Handbook of Computational Group Theory

Handbook of Computational Group Theory
Author: Derek F. Holt
Publisher: CRC Press
Total Pages: 532
Release: 2005-01-13
Genre: Mathematics
ISBN: 1420035215

The origins of computation group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the past 30 to 40 years, and today it remains a lively and active branch of mathematics. The Handbook of Computational Group Theory offers the first complete treatment of all the fundame

Brain–Computer Interfaces Handbook

Brain–Computer Interfaces Handbook
Author: Chang S. Nam
Publisher: CRC Press
Total Pages: 1176
Release: 2018-01-09
Genre: Computers
ISBN: 1351231936

Brain–Computer Interfaces Handbook: Technological and Theoretical Advances provides a tutorial and an overview of the rich and multi-faceted world of Brain–Computer Interfaces (BCIs). The authors supply readers with a contemporary presentation of fundamentals, theories, and diverse applications of BCI, creating a valuable resource for anyone involved with the improvement of people’s lives by replacing, restoring, improving, supplementing or enhancing natural output from the central nervous system. It is a useful guide for readers interested in understanding how neural bases for cognitive and sensory functions, such as seeing, hearing, and remembering, relate to real-world technologies. More precisely, this handbook details clinical, therapeutic and human-computer interfaces applications of BCI and various aspects of human cognition and behavior such as perception, affect, and action. It overviews the different methods and techniques used in acquiring and pre-processing brain signals, extracting features, and classifying users’ mental states and intentions. Various theories, models, and empirical findings regarding the ways in which the human brain interfaces with external systems and environments using BCI are also explored. The handbook concludes by engaging ethical considerations, open questions, and challenges that continue to face brain–computer interface research. Features an in-depth look at the different methods and techniques used in acquiring and pre-processing brain signals, extracting features, and classifying the user's intention Covers various theories, models, and empirical findings regarding ways in which the human brain can interface with the systems or external environments Presents applications of BCI technology to understand various aspects of human cognition and behavior such as perception, affect, action, and more Includes clinical trials and individual case studies of the experimental therapeutic applications of BCI Provides human factors and human-computer interface concerns in the design, development, and evaluation of BCIs Overall, this handbook provides a synopsis of key technological and theoretical advances that are directly applicable to brain–computer interfacing technologies and can be readily understood and applied by individuals with no formal training in BCI research and development.

Handbook of Computational Social Choice

Handbook of Computational Social Choice
Author: Felix Brandt
Publisher: Cambridge University Press
Total Pages: 553
Release: 2016-04-25
Genre: Computers
ISBN: 1316489752

The rapidly growing field of computational social choice, at the intersection of computer science and economics, deals with the computational aspects of collective decision making. This handbook, written by thirty-six prominent members of the computational social choice community, covers the field comprehensively. Chapters devoted to each of the field's major themes offer detailed introductions. Topics include voting theory (such as the computational complexity of winner determination and manipulation in elections), fair allocation (such as algorithms for dividing divisible and indivisible goods), coalition formation (such as matching and hedonic games), and many more. Graduate students, researchers, and professionals in computer science, economics, mathematics, political science, and philosophy will benefit from this accessible and self-contained book.

Handbook of Theoretical Computer Science

Handbook of Theoretical Computer Science
Author: Jan van Leeuwen
Publisher: Mit Press
Total Pages: 2269
Release: 1990
Genre: Computers
ISBN: 9780262720205

"Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the SIGACT community, in support both of teaching and research.... The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise." -- Rocky Ross, "SIGACT News" "This is a reference which has a place in every computer science library." -- Raymond Lauzzana, "Languages of Design" The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing. The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.

Handbook of Research on Computational Science and Engineering: Theory and Practice

Handbook of Research on Computational Science and Engineering: Theory and Practice
Author: Leng, J.
Publisher: IGI Global
Total Pages: 701
Release: 2011-10-31
Genre: Technology & Engineering
ISBN: 161350117X

By using computer simulations in research and development, computational science and engineering (CSE) allows empirical inquiry where traditional experimentation and methods of inquiry are difficult, inefficient, or prohibitively expensive. The Handbook of Research on Computational Science and Engineering: Theory and Practice is a reference for interested researchers and decision-makers who want a timely introduction to the possibilities in CSE to advance their ongoing research and applications or to discover new resources and cutting edge developments. Rather than reporting results obtained using CSE models, this comprehensive survey captures the architecture of the cross-disciplinary field, explores the long term implications of technology choices, alerts readers to the hurdles facing CSE, and identifies trends in future development.