Theoretical Aspects of Computing - ICTAC 2006
This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيدUncertainty Theory
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
اقرأ المزيد
Uncertainty and Risk
We all feel that our world is fundamentally uncertain. But less unanimity emerges as to what we mean by "uncertainty" and ...
اقرأ المزيد
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Understanding Statistics and Experimental Design
This textbook provides the background needed to correctly use, interpret and understand statistics and statistical data in ...
اقرأ المزيد
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
اقرأ المزيد
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, ...
اقرأ المزيد
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. ...
اقرأ المزيد
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
