We propose a projected gradient dynamical system as a model for a bargaining scheme for an asset for which the two interested agents have personal valuations that do not initially coincide. The personal valuations are formed using subjective beliefs concerning the future states of the world, and the reservation prices are calculated using expected utility theory. The agents are not rigid concerning their subjec...
We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and dataflows responsible for a failure, as well as a reordering of those elements that avoids the failure. To build a DSP, Symbiosis first generates a full, failing, multithreaded schedule via thread path profiling and symbolic constraint solving. Symbi...
Transposable Elements (TE) are sequences of DNA that move and transpose within a genome. TEs, as mutation agents, are quite important for their role in both genome alteration diseases and on species evolution. Several tools have been developed to discover and annotate TEs but no single one achieves good results on all different types of TEs. In this paper we evaluate the performance of several TEs detection and...
This paper reports a study on the importance of the training criteria for wind power forecasting (WPF) and calls into question the generally assumed neutrality of the 'goodness' of particular forecasts. The study, focused on the Spanish Electricity Market as a representative example, combines different training criteria and different users of the forecasts to compare them in terms of the benefits obtained. In a...
A sensing system in the near infrared region has been developed for ammonia sensing based on the wavelength modulation spectroscopy (WMS) principle. The WMS is a rather sensitive technique for detecting atomic/molecular species, presenting the advantage that it can be used in the near-infrared region by using the optical telecommunications technology. In this technique, the laser wavelength and intensity were m...
In this paper, a new mechanism is proposed to apportion expected reserve costs between electricity market agents in the power system. The uncertainties of generation units, transmission lines, wind power generation and electrical loads are considered in this model. Hence, a Stochastic Unit Commitment (SUC) is used to apply the uncertainty of stochastic variables in the simultaneous energy and reserve market cle...
This study considers a production lot sizing and scheduling problem in the brewery industry. The underlying manufacturing process can be basically divided into two main production stages: preparing the liquids including fermentation and maturation inside the fermentation tanks; and bottling the liquids on the filling lines, making products of different liquids and sizes. This problem differs from other problems...
The Robot@Factory competition was recently included in Robotica, the main Portuguese Robotics Competition. This robot competition takes place in an emulated factory plant, where automatic guided vehicles (AGVs) must cooperate to perform tasks. To accomplish their goals, the AGVs must deal with localization, navigation, scheduling, and cooperation problems that must be solved autonomously. This robot competition...