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, ...
اقرأ المزيد
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 ...
اقرأ المزيدSimulation-based Algorithms for Markov Decision Processes
Markov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, ...
اقرأ المزيد
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 ...
اقرأ المزيدSoft Computing in Industrial Applications
Soft Computing admits approximate reasoning, imprecision, uncertainty and partial truth in order to mimic aspects of the ...
اقرأ المزيد
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 ...
اقرأ المزيد
Soft Computing: Methodologies and Applications
This carefully edited book covers a wide range of application areas of soft computing like optimization, data analysis and ...
اقرأ المزيد
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيد
Supply Chain Optimization
Supply Chain Optimization captures the latest results in a segment of current research activity in supply chain management. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Unconventional Computation (vol. # 4135)
This book about The 5th International Conference on Unconventional Computation, UC 2006,organized under the auspices of the ...
اقرأ المزيد
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 ...
اقرأ المزيد
Valuing Agroforestry Systems
he primary objective of this book is to offer practical means for strengthening the economics and policy dimension of the ...
اقرأ المزيد
