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

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.

2013

Session summary:Parallel and multicore systems

Autores
Pinho L.; Michell S.; Moore B.;

Publicação
Ada User Journal

Abstract
Experts provided information about parallel and multicore systems in papers submitted and discussed at a workshop. Discussion followed about the wisdom of giving any directive further than with parallel for the programmers to control the details of how parallelism was configured, executed, and potentially mapped in the runtime. The counter argument was raised that in real-time systems there was a need for the programmer to specify such control to directly specify the behavior, which was required for behavior analysis and timing behavior analysis. Questions were raised about the memory model of the proposal, and it was decided that the general model was that which supported a shared memory system, with cache coherency and uniform access to memory= within a single partition.

2013

Me4DCAP V0.1: A method for the development of Dublin core application profiles

Autores
Curado Malta, M; Baptista, AA;

Publicação
Mining the Digital Information Networks - Proceedings of the 17th International Conference on Electronic Publishing, ELPUB 2013

Abstract
Recent studies show that there is no method to develop a Dublin Core Application Profile (DCAP). A DCAP is a very important construct to implement interoperability, therefore it is essential to have a method to be able to develop such a construct, in order to give DCAP developers a common ground of work. This paper presents the first version of a method to develop Dublin Core Application Profiles (Me4DACP V0.1) that has been developed in a PhD project with a Design Science Research (DSR) approach. Me4DCAP was built having as starting point the Singapore Framework for DCAP and shows the way through the DCAP development. It encompasses a group of pre-defined interconnected activities, explicitly states when they should take place, what techniques could be used to execute them and what artifacts should result from their execution. © 2013 The authors and IOS Press.

2013

Language Constructs for Non-Well-Founded Computation

Autores
Jeannin, JB; Kozen, D; Silva, A;

Publicação
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Abstract

  • 3016
  • 4378