Abstract
It is known that Cournot game theory has been one of the theoretical approaches used more often to model electricity market behavior. Nevertheless, this approach is highly influenced by the residual demand curves of the market agents, which are usually not precisely known. This imperfect information has normally been studied with probability theory, but possibility theory might sometimes be more helpful in modeling not only uncertainty but also imprecision and vagueness. In this paper, two dual approaches are proposed to compute a robust Cournot equilibrium, when the residual demand uncertainty is modeled with possibility distributions. Additionally, it is shown that these two approaches can be combined into a bicriteria programming model, which can be solved with an iterative algorithm. Some interesting results for a real-size electricity system show the robustness of the proposed methodology. © 2005 Cambridge University Press.

Abstract
This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a discussion on the interplay between behavioural and classical data refinement. The approach builds on coalgebra theory as a suitable tool to capture observational semantics and to base an abstract characterisation of possible behaviour models for components (from partiality to different degrees of non-determinism).

Abstract
This paper describes the design of a processor specific for testing cores embedded in system-on-chip. This processor which can be implemented within a system's reconfigurable area, shall be responsible for scheduling and control test operations and perform preliminary data processing, as well as to provide the interface with an external tester Building these test operations on-chip allows for simplifying external tester interface and to reduce testing time. The testing procedure and the infrastructure required to test an AID converter is described as an example.

Abstract
Although increasingly popular, software component techniques still lack suitable formal foundations on top of which rigorous methodologies for the description and analysis of software architectures could be built. This paper aims to contribute in this direction: building on previous work by the authors on coalgebraic semantics, it discusses component refinement at three different but interrelated levels: behavioural, syntactic, i.e., relative to component interfaces, and architectural. Software architectures are defined through component aggregation. On the other hand, such aggregations, no matter how large and complex they are, can also be dealt with as components themselves, which paves the way to a discipline of hierarchical design. In this context, a major contribution of this paper is the introduction of a set of rules for architectural refinement.

Abstract
This document introduces ECOLANG, a communication language used for simulations of complex ecological systems. The language was developed with the main purpose of interchanging information between a simulation application of aquatic ecosystems (EcoDynamo) and several external agents. These agents have some goals about the simulation results or the simulated system. Examples of the former may be a calibration agent, with the goal of optimising the fit between observed and simulated results, whereas an example of the latter may be an aquaculture/farming agent, looking for production optimisation. This document focus on messages exchanged between EcoDynamo and the two mentioned agents providing examples of the communication protocol. This work is part of a larger project, where ECOLANG will be used as a tool for "goal-oriented intelligent simulations", towards sustainable management of coastal ecosystems.

Abstract