Opening book details…
Can I read Automated Modeling of Physical Systems (Lecture Notes in Computer Science, 1003) on EtoBox?
Automated Modeling of Physical Systems (Lecture Notes in Computer Science, 1003) by P. Pandurang Nayak (auth.) is a nonfiction available to read on EtoBox.
What is Automated Modeling of Physical Systems (Lecture Notes in Computer Science, 1003) about?
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described.
Who reads Automated Modeling of Physical Systems (Lecture Notes in Computer Science, 1003)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- P. Pandurang Nayak (auth.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1995
- Language
- EN
- ISBN
- 9780387606415
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Engineering
More by P. Pandurang Nayak (auth.)
Browse all works by P. Pandurang Nayak (auth.)
Similar books
- Randomness and Completeness in Computational Complexity (Lecture Notes in Computer Science, 1950) — Dieter van Melkebeek (2000)
- Disconnected Operation in a Distributed File System (Lecture Notes in Computer Science, 1002) — James Jay Kistler (1996)
- Lecture Notes in Computer Science 2979 Stateless Core:A Scalable Approach for Quality of Service in the Internet — Ion Stoica (2004)
- Automated Deduction - Cade-20: 20th International Conference On Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (lecture Notes In Computer Science) — Gilles Dowek (auth.), Robert Nieuwenhuis (2005)
- Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems (Lecture Notes in Computer Science, 1001) — Madhu Sudan (1995)
- Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition (Lecture Notes in Computer Science, 4440) — Ben Liblit; Association for Computing Machinery (2007)