Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control
Semiconcavity is a natural generalization of concavity that retains most of the good properties known in convex analysis, ...
Lee mas
Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings
This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
Lee masSimulation-based Algorithms for Markov Decision Processes
Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, ...
Lee mas
Soft Computing for Knowledge Discovery and Data Mining
The first three parts of this book are devoted to the principal constituents of soft computing: neural networks, evolutionary ...
Lee masSoft Computing in Industrial Applications
Soft Computing admits approximate reasoning, imprecision, uncertainty and partial truth in order to mimic aspects of the ...
Lee mas
Soft Computing in Web Information Retrieval
This book presents some recent works on the application of Soft Computing techniques in information access on the World Wide ...
Lee mas
Soft Computing: Methodologies and Applications
This carefully edited book covers a wide range of application areas of soft computing like optimization, data analysis and ...
Lee mas
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Supply Chain Optimization
Supply Chain Optimization captures the latest results in a segment of current research activity in supply chain management. ...
Lee mas
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical ...
Lee mas
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lee mas
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lee mas
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee mas
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lee mas
UML Modeling Languages and Applications
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
Lee mas
Ultrascale Computing Systems
The needs of future digital data and computer systems are expected to be two to three orders of magnitude larger than for ...
Lee mas
Unconventional Computation (vol. # 4135)
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
Lee mas
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
Lee mas
