Description
Springer Iterative Approximation Of Fixed Points by Vasile Berinde
This monograph gives an introductory treatment of the most important iterative methods for constructing fixed points of nonlinear contractive type mappings. For each iterative method considered, it summarizes the most significant contributions in the area by presenting some of the most relevant convergence theorems. It also presents applications to the solution of nonlinear operator equations as well as the appropriate error analysis of the main iterative methods. Invited Papers.- A Self-healing Approach to Designing and Deploying Complex, Distributed and Concurrent Software Systems.- Using Peer-to-Peer Protocols to Enable Implicit Communication in a BDI Agent Architecture.- I.- Asimovian Multiagents: Applying Laws of Robotics to Teams of Humans and Agents.- Persistent Architecture for Context Aware Lightweight Multi-agent System.- Architectural Design of Component-Based Agents: A Behavior-Based Approach.- II.- Comparing Apples with Oranges: Evaluating Twelve Paradigms of Agency.- Augmenting BDI Agents with Deliberative Planning Techniques.- ALBA: A Generic Library for Programming Mobile Agents with Prolog.- Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects.- Adding Knowledge Updates to 3APL.- III.- Validation of BDI Agents.- A Tool Architecture to Verify Properties of Multiagent System at Runtime.- On the Application of Clustering Techniques to Support Debugging Large-Scale Multi-Agent Systems.- Debugging Agents in Agent Factory.