The purpose of this contribution1 is to set up a language to evaluate the results of concerted action among interdependent agents against predetermined properties that we can recognise as desirable from a deontic point of view. Unlike the standard view of logics to reason about coalitionally rational action, the capacity of a set of agents to take a rational decision will be restricted to what ...

The increasing complexity of hybrid models requires a mathematically sound language semantics that allows reasoning about model behaviour and supports development of robust models. Model composition in hybrid languages is realised by connecting continuous variables of sub-models. It is important to define the precise semantics of connections. Improperly defined connection semantics can a) intro...

This paper aims to assess the environmental efficiency of refineries in the public sector with emphasis on generated effluents and water consumption in the production process. In order to conduct this research, the addressed method was quantitative with a qualitative approach to the environmental aspects of controllable and uncontrollable variables imp...

We present a scheme to automatically set the precision of floating point variables in an application. We design a framework that profiles applications to measure undesirable numerical behavior at the floating point operation level. We use this framework to perform mixed precision analysis to heuristically set the precision of all variables in an application based on their numerical profiles. We...