Linearizability and schedulability

Consider the problem of scheduling a set of tasks on a single processor such that deadlines are met. Assume that tasks may share data and that linearizability, the most common correctness condition for data sharing, must be satisfied. We find that linearizability can severely penalize schedulability. We identify, however, two special cases where linearizability causes no or not too large penalty on schedulability.

Automatic learning for the classification of chemical reactions and in statistical thermodynamics

This Thesis describes the application of automatic learning methods for a) the classification of organic and metabolic reactions, and b) the mapping of Potential Energy Surfaces(PES). The classification of reactions was approached with two distinct methodologies: a representation of chemical reactions based on NMR data, and a representation of chemical reactions from the reaction equation based on the physico-chemical and topological features of chemical bonds. NMR-based classification of photochemical and enzymatic reactions. Photochemical and metabolic reactions were classified by Kohonen Self-Organizing Maps (Kohonen SOMs) and Random Forests (RFs) taking as input the difference between the 1H NMR spectra of the products and the reactants. The development of such a representation can be applied in automatic analysis of changes in the 1H NMR spectrum of a mixture and their interpretation in terms of the chemical reactions taking place. Examples of possible applications are the monitoring of reaction processes, evaluation of the stability of chemicals, or even the interpretation of metabonomic data. A Kohonen SOM trained with a data set of metabolic reactions catalysed by transferases was able to correctly classify 75% of an independent test set in terms of the EC number subclass. Random Forests improved the correct predictions to 79%. With photochemical reactions classified into 7 groups, an independent test set was classified with 86-93% accuracy. The data set of photochemical reactions was also used to simulate mixtures with two reactions occurring simultaneously. Kohonen SOMs and Feed-Forward Neural Networks (FFNNs) were trained to classify the reactions occurring in a mixture based on the 1H NMR spectra of the products and reactants. Kohonen SOMs allowed the correct assignment of 53-63% of the mixtures (in a test set). Counter-Propagation Neural Networks (CPNNs) gave origin to similar results. The use of supervised learning techniques allowed an improvement in the results. They were improved to 77% of correct assignments when an ensemble of ten FFNNs were used and to 80% when Random Forests were used. This study was performed with NMR data simulated from the molecular structure by the SPINUS program. In the design of one test set, simulated data was combined with experimental data. The results support the proposal of linking databases of chemical reactions to experimental or simulated NMR data for automatic classification of reactions and mixtures of reactions. Genome-scale classification of enzymatic reactions from their reaction equation. The MOLMAP descriptor relies on a Kohonen SOM that defines types of bonds on the basis of their physico-chemical and topological properties. The MOLMAP descriptor of a molecule represents the types of bonds available in that molecule. The MOLMAP descriptor of a reaction is defined as the difference between the MOLMAPs of the products and the reactants, and numerically encodes the pattern of bonds that are broken, changed, and made during a chemical reaction. The automatic perception of chemical similarities between metabolic reactions is required for a variety of applications ranging from the computer validation of classification systems, genome-scale reconstruction (or comparison) of metabolic pathways, to the classification of enzymatic mechanisms. Catalytic functions of proteins are generally described by the EC numbers that are simultaneously employed as identifiers of reactions, enzymes, and enzyme genes, thus linking metabolic and genomic information. Different methods should be available to automatically compare metabolic reactions and for the automatic assignment of EC numbers to reactions still not officially classified. In this study, the genome-scale data set of enzymatic reactions available in the KEGG database was encoded by the MOLMAP descriptors, and was submitted to Kohonen SOMs to compare the resulting map with the official EC number classification, to explore the possibility of predicting EC numbers from the reaction equation, and to assess the internal consistency of the EC classification at the class level. A general agreement with the EC classification was observed, i.e. a relationship between the similarity of MOLMAPs and the similarity of EC numbers. At the same time, MOLMAPs were able to discriminate between EC sub-subclasses. EC numbers could be assigned at the class, subclass, and sub-subclass levels with accuracies up to 92%, 80%, and 70% for independent test sets. The correspondence between chemical similarity of metabolic reactions and their MOLMAP descriptors was applied to the identification of a number of reactions mapped into the same neuron but belonging to different EC classes, which demonstrated the ability of the MOLMAP/SOM approach to verify the internal consistency of classifications in databases of metabolic reactions. RFs were also used to assign the four levels of the EC hierarchy from the reaction equation. EC numbers were correctly assigned in 95%, 90%, 85% and 86% of the cases (for independent test sets) at the class, subclass, sub-subclass and full EC number level,respectively. Experiments for the classification of reactions from the main reactants and products were performed with RFs - EC numbers were assigned at the class, subclass and sub-subclass level with accuracies of 78%, 74% and 63%, respectively. In the course of the experiments with metabolic reactions we suggested that the MOLMAP / SOM concept could be extended to the representation of other levels of metabolic information such as metabolic pathways. Following the MOLMAP idea, the pattern of neurons activated by the reactions of a metabolic pathway is a representation of the reactions involved in that pathway - a descriptor of the metabolic pathway. This reasoning enabled the comparison of different pathways, the automatic classification of pathways, and a classification of organisms based on their biochemical machinery. The three levels of classification (from bonds to metabolic pathways) allowed to map and perceive chemical similarities between metabolic pathways even for pathways of different types of metabolism and pathways that do not share similarities in terms of EC numbers. Mapping of PES by neural networks (NNs). In a first series of experiments, ensembles of Feed-Forward NNs (EnsFFNNs) and Associative Neural Networks (ASNNs) were trained to reproduce PES represented by the Lennard-Jones (LJ) analytical potential function. The accuracy of the method was assessed by comparing the results of molecular dynamics simulations (thermal, structural, and dynamic properties) obtained from the NNs-PES and from the LJ function. The results indicated that for LJ-type potentials, NNs can be trained to generate accurate PES to be used in molecular simulations. EnsFFNNs and ASNNs gave better results than single FFNNs. A remarkable ability of the NNs models to interpolate between distant curves and accurately reproduce potentials to be used in molecular simulations is shown. The purpose of the first study was to systematically analyse the accuracy of different NNs. Our main motivation, however, is reflected in the next study: the mapping of multidimensional PES by NNs to simulate, by Molecular Dynamics or Monte Carlo, the adsorption and self-assembly of solvated organic molecules on noble-metal electrodes. Indeed, for such complex and heterogeneous systems the development of suitable analytical functions that fit quantum mechanical interaction energies is a non-trivial or even impossible task. The data consisted of energy values, from Density Functional Theory (DFT) calculations, at different distances, for several molecular orientations and three electrode adsorption sites. The results indicate that NNs require a data set large enough to cover well the diversity of possible interaction sites, distances, and orientations. NNs trained with such data sets can perform equally well or even better than analytical functions. Therefore, they can be used in molecular simulations, particularly for the ethanol/Au (111) interface which is the case studied in the present Thesis. Once properly trained, the networks are able to produce, as output, any required number of energy points for accurate interpolations.

A trader portfolio optimization of bilateral contracts in electricity retail markets

Electricity markets are systems for effecting the purchase and sale of electricity using supply and demand to set energy prices. Two major market models are often distinguished: pools and bilateral contracts. Pool prices tend to change quickly and variations are usually highly unpredictable. In this way, market participants often enter into bilateral contracts to hedge against pool price volatility. This article addresses the challenge of optimizing the portfolio of clients managed by trader agents. Typically, traders buy energy in day-ahead markets and sell it to a set of target clients, by negotiating bilateral contracts involving three-rate tariffs. Traders sell energy by considering the prices of a reference week and five different types of clients. They analyze several tariffs and determine the best share of customers, i.e., the share that maximizes profit. © 2014 IEEE.

Investment focused strategies in electricity markets using the ITEM-game simulator

This paper presents a methodology to establish investment and trading strategies of a power generation company. These strategies are integrated in the ITEM-Game simulator in order to test their results when played against defined strategies used by other players. The developed strategies are focused on investment decisions, although trading strategies are also implemented to obtain base case results. Two cases are studied considering three players with the same trading strategy. In case 1, all players also have the same investment strategy driven by a market target share. In case 2, player 1 has an improved investment strategy with a target share twice of the target of players 2 and 3. Results put in evidence the influence of the CO2 and fuel prices in the company investment decision. It is also observed the influence of the budget constraint which might prevent the player to take the desired investment decision.

Optimizing the renewable generation mix in the portuguese power system based on temporal and spatial diversity

Renewable energy sources (RES) have unique characteristics that grant them preference in energy and environmental policies. However, considering that the renewable resources are barely controllable and sometimes unpredictable, some challenges are faced when integrating high shares of renewable sources in power systems. In order to mitigate this problem, this paper presents a decision-making methodology regarding renewable investments. The model computes the optimal renewable generation mix from different available technologies (hydro, wind and photovoltaic) that integrates a given share of renewable sources, minimizing residual demand variability, therefore stabilizing the thermal power generation. The model also includes a spatial optimization of wind farms in order to identify the best distribution of wind capacity. This methodology is applied to the Portuguese power system.

Power producers trading electricity in both pool and forward markets

The electricity industry throughout the world, which has long been dominated by vertically integrated utilities, has experienced major changes. Deregulation, unbundling, wholesale and retail wheeling, and real-time pricing were abstract concepts a few years ago. Today market forces drive the price of electricity and reduce the net cost through increased competition. As power markets continue to evolve, there is a growing need for advanced modeling approaches. This article addresses the challenge of maximizing the profit (or return) of power producers through the optimization of their share of customers. Power producers have fixed production marginal costs and decide the quantity of energy to sell in both day-ahead markets and a set of target clients, by negotiating bilateral contracts involving a three-rate tariff. Producers sell energy by considering the prices of a reference week and five different types of clients with specific load profiles. They analyze several tariffs and determine the best share of customers, i.e., the share that maximizes profit. © 2014 IEEE.

Spinning reserve and emission unit commitment through stochastic optimization

This paper proposes a stochastic mixed-integer linear approach to deal with a short-term unit commitment problem with uncertainty on a deregulated electricity market that includes day-ahead bidding and bilateral contracts. The proposed approach considers the typically operation constraints on the thermal units and a spinning reserve. The uncertainty is due to the electricity prices, which are modeled by a scenario set, allowing an acceptable computation. Moreover, emission allowances are considered in a manner to allow for the consideration of environmental constraints. A case study to illustrate the usefulness of the proposed approach is presented and an assessment of the cost for the spinning reserve is obtained by a comparison between the situation with and without spinning reserve.

Mobile and web tools for participative learning

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, para a obtenção do grau de Mestre em Engenharia Informática

Fractional analysis of traffic dynamics

This article presents a dynamical analysis of several traffic phenomena, applying a new modelling formalism based on the embedding of statistics and Laplace transform. The new dynamic description integrates the concepts of fractional calculus leading to a more natural treatment of the continuum of the Transfer Function parameters intrinsic in this system. The results using system theory tools point out that it is possible to study traffic systems, taking advantage of the knowledge gathered with automatic control algorithms. Dynamics, Games and Science I Dynamics, Games and Science I Look Inside Other actions Export citation About this Book Reprints and Permissions Add to Papers Share Share this content on Facebook Share this content on Twitter Share this content on LinkedIn

Burden of physical inactivity and hospitalization costs due to chronic diseases

OBJECTIVE To evaluate the physical inactivity-related inpatient costs of chronic non-communicable diseases. METHODS This study used data from 2013, from Brazilian Unified Health System, regarding inpatient numbers and costs due to malignant colon and breast neoplasms, cerebrovascular diseases, ischemic heart diseases, hypertension, diabetes, and osteoporosis. In order to calculate the share physical inactivity represents in that, the physical inactivity-related risks, which apply to each disease, were considered, and physical inactivity prevalence during leisure activities was obtained from Pesquisa Nacional por Amostra de Domicílio (Brazil's National Household Sample Survey). The analysis was stratified by genders and residing country regions of subjects who were 40 years or older. The physical inactivity-related hospitalization cost regarding each cause was multiplied by the respective share it regarded to. RESULTS In 2013, 974,641 patients were admitted due to seven different causes in Brazil, which represented a high cost. South region was found to have the highest patient admission rate in most studied causes. The highest prevalences for physical inactivity were observed in North and Northeast regions. The highest inactivity-related share in men was found for osteoporosis in all regions (≈ 35.0%), whereas diabetes was found to have a higher share regarding inactivity in women (33.0% to 37.0% variation in the regions). Ischemic heart diseases accounted for the highest total costs that could be linked to physical inactivity in all regions and for both genders, being followed by cerebrovascular diseases. Approximately 15.0% of inpatient costs from Brazilian Unified Health System were connected to physical inactivity. CONCLUSIONS Physical inactivity significantly impacts the number of patient admissions due to the evaluated causes and through their resulting costs, with different genders and country regions representing different shares.

Strategies for price reduction of HIV medicines under a monopoly situation in Brazil

ABSTRACT OBJECTIVE To analyze Government strategies for reducing prices of antiretroviral medicines for HIV in Brazil. METHODS Analysis of Ministry of Health purchases of antiretroviral medicines, from 2005 to 2013. Expenditures and costs of the treatment per year were analyzed and compared to international prices of atazanavir. Price reductions were estimated based on the terms of a voluntary license of patent rights and technology transfer in the Partnership for Productive Development Agreement for atazanavir. RESULTS Atazanavir, a patented medicine, represented a significant share of the expenditures on antiretrovirals purchased from the private sector. Prices in Brazil were higher than international references, and no evidence was found of a relationship between purchase volume and price paid by the Ministry of Health. Concerning the latest strategy to reduce prices, involving local production of the 200 mg capsule, the price reduction was greater than the estimated reduction. As for the 300 mg capsule, the amounts paid in the first two years after the Partnership for Productive Development Agreement were close to the estimated values. Prices in nominal values for both dosage forms remained virtually constant between 2011 (the signature of the Partnership for Productive Development Agreement), 2012 and 2013 (after the establishment of the Partnership). CONCLUSIONS Price reduction of medicines is complex in limited-competition environments. The use of a Partnership for Productive Development Agreement as a strategy to increase the capacity of local production and to reduce prices raises issues regarding its effectiveness in reducing prices and to overcome patent barriers. Investments in research and development that can stimulate technological accumulation should be considered by the Government to strengthen its bargaining power to negotiate medicines prices under a monopoly situation.

Human-robot teamwork: a knowledge-based solution

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Extensible metadata repository for information systems

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

A Web-Based geographical information system prototype on Portuguese traditional food products

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

TRAILER – e-Portfolio for collecting and recognizing informal learning process and outcomes

Informal learning is becoming more and more important: Nowadays people learn more this way, through the Internet, than in schools or normal trainings. But they don’t get any certificateswhich attest this fact. So they can't show the employer or teacher etc. that they have learned something. TRAILER project aim is to solve this problem by developing a special tool for managing of all competences and skills acquired through informal learning experiences. Both from the perspective of the user and the perspective of an institution or a company. We’ll present the IT tool to show how people can make their informal learning outcomes visible. TRAILER helps users to gather all information about process and outcomes of their informal learning. Users can share this with friends, colleagues or their employees, teachers and so on. They can create an interactive e-portfolio which can be attached to their CV, cover letter or Knowledge Management system etc. After the presentation of the tool we will discuss possible areas and fields to use this tool. Also we would like to discuss all possible use of the tool by the participants and another needs in this area. Moreover we want to discuss other problems in informal learning process, ways to solve the problems and discuss other ideas of different IT tools which could help in informal learning process. During the discussion we’ll use an interactive respond system which can be used on mobile devices: it makes possible for participants to share their opinions individually before knowing another persons' opinion.