Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2017

Learning Entrepreneurship with Serious Games - A Classroom Approach

Autores
Almeida, FL;

Publicação
CoRR

Abstract

2017

Evaluation of the Simulated Annealing and the Discrete Artificial Bee Colony in the Weight Tardiness Problem with Taguchi Experiments Parameterization

Autores
Santos, AS; Madureira, AM; Varela, MR;

Publicação
INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS (ISDA 2016)

Abstract
Meta-Heuristics (MH) are the most used optimization techniques to approach Complex Combinatorial Problems (COPs). Their ability to move beyond the local optimums make them an especially attractive choice to solve complex computational problems, such as most scheduling problems. However, the knowledge of what Meta-Heuristics perform better in certain problems is based on experiments. Classic MH, as the Simulated Annealing (SA) has been deeply studied, but newer MH, as the Discrete Artificial Bee Colony (DABC) still need to be examined in more detail. In this paper DABC has been compared with SA in 30 academic benchmark instances of the weighted tardiness problem (1 parallel to Sigma w(j)T(j)). Both MH parameters were fine-tuned with Taguchi Experiments. In the computational study DABC performed better and the subsequent statistical study demonstrated that DABC is more prone to find near-optimum solutions. On the other hand SA appeared to be more efficient.

2017

Hybrid Particle Swarm Optimization of Electricity Market Participation Portfolio

Autores
Faia, R; Pinto, T; Vale, Z; Corchado, JM;

Publicação
2017 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (SSCI)

Abstract
This paper proposes a novel hybrid particle swarm optimization methodology to solve the problem of optimal participation in multiple electricity markets. The decision time is usually very important when planning the participation in electricity markets. This environment is characterized by the time available to take action, since different electricity markets have specific rules, which requires participants to be able to adapt and plan their decisions in a short time. Using metaheuristic optimization, participants' time problems can be resolved, because these methods enable problems to be solved in a short time and with good results. This paper proposes a hybrid resolution method, which is based on the particle swarm optimization metaheuristic. An exact mathematical method, which solves a simplified, linearized, version of the problem, is used to generate the initial solution for the metaheuristic approach, with the objective of improving the quality of results without representing a significant increase of the execution time.

2017

Reducing the complexity of dataflow graphs using slack-based merging

Autores
Ali H.I.; Stuijk S.; Akesson B.; Pinho L.M.;

Publicação
ACM Transactions on Design Automation of Electronic Systems

Abstract
There exist many dataflow applications with timing constraints that require real-time guarantees on safe execution without violating their deadlines. Extraction of timing parameters (offsets, deadlines, periods) from these applications enables the use of real-time scheduling and analysis techniques, and provides guarantees on satisfying timing constraints. However, existing extraction techniques require the transformation of the dataflow application from highly expressive dataflow computational models, for example, Synchronous Dataflow (SDF) and Cyclo-Static Dataflow (CSDF) to Homogeneous Synchronous Dataflow (HSDF). This transformation can lead to an exponential increase in the size of the application graph that significantly increases the runtime of the analysis. In this article, we address this problem by proposing an offline heuristic algorithm called slack-based merging. The algorithm is a novel graph reduction technique that helps in speeding up the process of timing parameter extraction and finding a feasible real-time schedule, thereby reducing the overall design time of the real-time system. It uses two main concepts: (a) the difference between the worst-case execution time of the SDF graph's firings and its timing constraints (slack) to merge firings together and generate a reducedsize HSDF graph, and (b) the novel concept of merging called safe merge, which is a merge operation that we formally prove cannot cause a live HSDF graph to deadlock. The results show that the reduced graph (1) respects the throughput and latency constraints of the original application graph and (2) typically speeds up the process of extracting timing parameters and finding a feasible real-time schedule for real-time dataflow applications. They also show that when the throughput constraint is relaxed with respect to the maximal throughput of the graph, the merging algorithm is able to achieve a larger reduction in graph size, which in turn results in a larger speedup of the real-time scheduling algorithms.

2017

UAV Cooperative Perception for Target Detection and Tracking in Maritime Environment

Autores
Amaral, G; Silva, H; Lopes, F; Ribeiro, JP; Freitas, S; Almeida, C; Martins, A; Almeida, J; Silva, E;

Publicação
OCEANS 2017 - ABERDEEN

Abstract
This paper addresses the topic of target detection and tracking using a team of UAVs for maritime border surveillance. We present a novel method on how to integrate the perception into the control loop using two distinct teams of UAVs that are cooperatively tracking the same target. We demonstrate and evaluate the effectiveness of our approach in a simulation environment.

2017

Metabolic constraints and quantitative design principles in gene expression during adaption of yeast to heat shock

Autores
Pereira, T; Vilaprinyo, E; Belli, G; Herrero, E; Salvado, B; Sorribas, A; Altés, G; Alves, R;

Publicação

Abstract
AbstractMicroorganisms evolved adaptive responses that enable them to survive stressful challenges in ever changing environments by adjusting metabolism through the modulation of gene expression, protein levels and activity, and flow of metabolites. More frequent challenges allow natural selection ampler opportunities to select from a larger number of phenotypes that are compatible with survival. Understanding the causal relationships between physiological and metabolic requirements that are needed for cellular stress adaptation and gene expression changes that are used by organisms to achieve those requirements may have a significant impact in our ability to interpret and/or guide evolution.Here, we study those causal relationships during heat shock adaptation in the yeastSaccharomyces cerevisiae. We do so by combining dozens of independent experiments measuring whole genome gene expression changes during stress response with a nonlinear simplified kinetic model of central metabolism.This combination is used to create a quantitative, multidimensional, genotype-to-phenotype mapping of the metabolic and physiological requirements that enable cell survival to the feasible changes in gene expression that modulate metabolism to achieve those requirements. Our results clearly show that the feasible changes in gene expression that enable survival to heat shock are specific for this stress. In addition, they suggest that genetic programs for adaptive responses to desiccation/rehydration and to pH shifts might be selected by physiological requirements that are qualitatively similar, but quantitatively different to those for heat shock adaptation. In contrast, adaptive responses to other types of stress do not appear to be constrained by the same qualitative physiological requirements. Our model also explains at the mechanistic level how evolution might find different sets of changes in gene expression that lead to metabolic adaptations that are equivalent in meeting physiological requirements for survival. Finally, our results also suggest that physiological requirements for heat shock adaptation might be similar between unicellular ascomycetes that live in similar environments. Our analysis is likely to be scalable to other adaptive response and might inform efforts in developing biotechnological applications to manipulate cells for medical, biotechnological, or synthetic biology purposes.

  • 1912
  • 4198