Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lee mas
Theory and Applications of Satisfiability Testing (vol. # 3542)
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lee mas
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Lee mas
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lee mas
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lee mas
Theory of Probability and Random Processes
A one-year course in probability theory and the theory of random processes, taught at Princeton University to undergraduate ...
Lee mas
Theory of Random Sets
Theory of Random Sets presents a state of the art treatment of the modern theory, but it does not neglect to recall and build ...
Lee mas
Transactions on Computational Systems Biology X
The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Lee mas
Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lee masUncertainty Theory
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
Lee mas
Uncertainty and Risk
We all feel that our world is fundamentally uncertain. But less unanimity emerges as to what we mean by "uncertainty" and ...
Lee mas
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lee mas
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Lee mas
Understanding Statistics and Experimental Design
This textbook provides the background needed to correctly use, interpret and understand statistics and statistical data in ...
Lee mas
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Lee mas
Validation of Risk Management Models for Financial Institutions : Theory and Practice / David Lynch, Iftekhar Hasan, Akhtar Siddique
Covers all of the major risk areas that a financial institution is exposed to and uses models for, including market risk, ...
Lee mas
Value-Distribution of L-Functions
This book presents recent results in the value-distribution theory of L-functions with emphasis on the phenomenon of universality. ...
Lee mas
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
Lee mas
Wave Propagation and Time Reversal in Randomly Layered Media
Wave propagation in random media is an interdisciplinary field that has emerged from the need in physics and engineering ...
Lee mas
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lee mas
