Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as provi...

This paper focuses on Intermodal Freight Transportation broadly defined as a chain made up of several transportation modes that are more or less coordinated and interact in intermodal terminals to ensure door-to-door service. The goal of the chapter is to present intermodal transportation from both the supplier and the carrier perspectives, and identify important issues and challenges in design...

In this paper we examine the requirements for scenario control programming languages and consider approaches for designing textual-based scenario specification languages. By scenario programs, we mean the code that determines what objects are in the simulation environment and how object behaviors are coordinated to produce predictable experiences for the driver in a ground vehicle simulator. Sc...

This paper describes a method for structuring a robot motor learning task. By designing a suitably parameterized policy, we show that a simple search algorithm, along with biologically motivated constraints, offers an effective means for motor skill acquisition. The framework makes use of the robot counterparts to several elements found in human motor learning: imitation, equilibrium-point cont...

1 Basic context 2 Depictions in Luke-Acts 2.1 Status of the Church 2.2 Scribes and chief priests 2.3 Jerusalem Temple 2.4 Imprisonment of Peter and John 2.5 Role of Sadducees 2.6 Martyrdom of Stephen 2.7 Persecution in Damascus 2.8 Execution of James 2.9 Violence against Paul 2.10 Crowds in Corinth 2.11 Threats against Paul's life 2.12 Paul before a Sanhedrin 3 Elsewhere in the New Testament 3....

External links Here are some links to external sites that are relevant to Access to Knowledge and related issues. Hover over each link for more information on where it leads.

This paper addresses the integration of agents with external resources and services in enterprise computing environments. We propose an approach for interfacing agents and existing message routing and mediation engines based on the endpoint concept from the enterprise integration patterns of Hohpe and Woolf.

In this study, simultaneous coordinated designing of power system stabilizer and static VAR compensator damping controller is investigated. The particle swarm optimization (PSO) is used to search for optimal controller parameters, by incorporating chaos. PSO with chaos is hybridized to form a chaotic PSO, which reasonably combines the population-based evolutionary searching ability of PSO and c...

A modified particle swarm optimization is proposed and used for coordinated designing of the power system stabilizer and unified power flow controller as a damping controller in the multi-machine power system. For evaluation of the effectiveness and robustness of the proposed controllers, their performances have been tested on a weakly connected power system subjected to different disturbances....

Satellite formation flying is an example of an autonomous distributed system that relies on complex coordinated mode transitions to accomplish its mission. While the technology promises significant economical and scientific benefits, it also poses a major verification challenge since testing the system on the ground is impossible. In this paper, we experiment with formal modelling and proof-bas...