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

2013

Entropy Diversity in Multi-Objective Particle Swarm Optimization

Autores
Pires, EJS; Machado, JAT; Oliveira, PBD;

Publicação
ENTROPY

Abstract
Multi-objective particle swarm optimization (MOPSO) is a search algorithm based on social behavior. Most of the existing multi-objective particle swarm optimization schemes are based on Pareto optimality and aim to obtain a representative non-dominated Pareto front for a given problem. Several approaches have been proposed to study the convergence and performance of the algorithm, particularly by accessing the final results. In the present paper, a different approach is proposed, by using Shannon entropy to analyze the MOPSO dynamics along the algorithm execution. The results indicate that Shannon entropy can be used as an indicator of diversity and convergence for MOPSO problems.

2013

Executable modelling of dynamic software product lines in the ABS language

Autores
Muschevici, R; Clarke, D; Proença, J;

Publicação
FOSD

Abstract
Dynamic software product lines (DSPLs) combine the advantages of traditional SPLs, such as an explicit variability model connected to an integrated repository of reusable code artefacts, with the ability to exploit a system's variability at runtime. When a system needs to adapt, for example to changes in operational environment or functional requirements, DSPL systems are capable of adapting their behaviour dynamically, thus avoiding the need to halt, recompile and redeploy. The field of DSPL engineering is still in formation and general-purpose DSPL development languages and tools are rare. In this paper we introduce a language and execution environment for developing and running dynamic SPLs. Our work builds on ABS, a language and integrated development environment with dedicated support for implementing static software product lines. Our ABS extension advances the scope of ABS to dynamic SPL engineering. Systems developed using ABS are compiled to Java, and are thus executable on a wide range of platforms. Copyright 2013 ACM.

2013

Computational models for new fiber optic tweezers

Autores
Rodrigues Ribeiro, RS; Jorge, PAS; Guerreiro, A;

Publicação
Photonic Sensors

Abstract
This paper discusses the calculation of the trapping forces in optical tweezers using a combination of the finite differences time domain (FDTD) method and the Lorentz force on electric dipoles. The results of 2D simulations of the trapping of a circular particle by a waveguide with a circular tip are presented and discussed. © 2012 The Author(s).

2013

MapIt: A model based pattern recovery tool

Autores
Couto, R; Nestor Ribeiro, A; Creissac Campos, J;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Design patterns provide a means to reuse proven solutions during development, but also to identify good practices during analysis. These are particularly relevant in complex and critical software, such as is the case of ubiquitous and pervasive systems. Model Driven Engineering (MDE) presents a solution for this problem, with the usage of high level models. As part of an effort to develop approaches to the migration of applications to mobile contexts, this paper reports on a tool that identifies design patterns in source code. Code is transformed into both platform specific and independent models, and from these design patterns are inferred. MapIt, the tool which implements these functionalities is described. © 2013 Springer-Verlag.

2013

Optimization Models for EV Aggregator Participation in a Manual Reserve Market

Autores
Bessa, RJ; Matos, MA;

Publicação
IEEE TRANSACTIONS ON POWER SYSTEMS

Abstract
The charging flexibility of electric vehicles (EV) when aggregated by a market agent creates an opportunity for selling manual reserve in the electricity market. This paper describes a new optimization algorithm for optimizing manual reserve bids. Furthermore, two operational management algorithms covering alternative gate closures (i.e., day-ahead and hour-ahead) are also described. These operational algorithms coordinate EV charging for mitigating forecast errors. A case-study with data from the Iberian electricity market and synthetic EV time series is used for evaluating the algorithms.

2013

Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species

Autores
Bradnam, KR; Fass, JN; Alexandrov, A; Baranay, P; Bechner, M; Birol, I; Boisvert, S; Chapman, JA; Chapuis, G; Chikhi, R; Chitsaz, H; Chou, WC; Corbeil, J; Del Fabbro, C; Docking, TR; Durbin, R; Earl, D; Emrich, S; Fedotov, P; Fonseca, NA; Ganapathy, G; Gibbs, RA; Gnerre, S; Godzaridis, E; Goldstein, S; Haimel, M; Hall, G; Haussler, D; Hiatt, JB; Ho, IY; Howard, J; Hunt, M; Jackman, SD; Jaffe, DB; Jarvis, ED; Jiang, H; Kazakov, S; Kersey, PJ; Kitzman, JO; Knight, JR; Koren, S; Lam, TW; Lavenier, D; Laviolette, F; Li, YR; Li, ZY; Liu, BH; Liu, Y; Luo, R; MacCallum, I; MacManes, MD; Maillet, N; Melnikov, S; Naquin, D; Ning, Z; Otto, TD; Paten, B; Paulo, OS; Phillippy, AM; Pina Martins, F; Place, M; Przybylski, D; Qin, X; Qu, C; Ribeiro, FJ; Richards, S; Rokhsar, DS; Ruby, JG; Scalabrin, S; Schatz, MC; Schwartz, DC; Sergushichev, A; Sharpe, T; Shaw, TI; Shendure, J; Shi, YJ; Simpson, JT; Song, H; Tsarev, F; Vezzi, F; Vicedomini, R; Vieira, BM; Wang, J; Worley, KC; Yin, SY; Yiu, SM; Yuan, JY; Zhang, GJ; Zhang, H; Zhou, S; Korf, IF;

Publicação
GIGASCIENCE

Abstract
Background: The process of generating raw genome sequence data continues to become cheaper, faster, and more accurate. However, assembly of such data into high-quality, finished genome sequences remains challenging. Many genome assembly tools are available, but they differ greatly in terms of their performance (speed, scalability, hardware requirements, acceptance of newer read technologies) and in their final output (composition of assembled sequence). More importantly, it remains largely unclear how to best assess the quality of assembled genome sequences. The Assemblathon competitions are intended to assess current state-of-the-art methods in genome assembly. Results: In Assemblathon 2, we provided a variety of sequence data to be assembled for three vertebrate species (a bird, a fish, and snake). This resulted in a total of 43 submitted assemblies from 21 participating teams. We evaluated these assemblies using a combination of optical map data, Fosmid sequences, and several statistical methods. From over 100 different metrics, we chose ten key measures by which to assess the overall quality of the assemblies. Conclusions: Many current genome assemblers produced useful assemblies, containing a significant representation of their genes and overall genome structure. However, the high degree of variability between the entries suggests that there is still much room for improvement in the field of genome assembly and that approaches which work well in assembling the genome of one species may not necessarily work well for another.

  • 3175
  • 4542