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

Advanced voltage control for smart microgrids using distributed energy resources

Autores
Olival, PC; Madureira, AG; Matos, M;

Publicação
ELECTRIC POWER SYSTEMS RESEARCH

Abstract
Large scale integration of distributed generation (DG), particularly based on variable renewable energy sources (RES), in low voltage (LV) distribution networks brings significant challenges to operation. This paper presents a new methodology for mitigating voltage problems in LV networks, in a future scenario with high integration of distributed energy resources (DER), taking advantage of these resources based on a smart grid type architecture. These resources include dispersed energy storage systems, controllable loads of residential clients under demand side management (DSM) actions and microgeneration units. The algorithm developed was tested in a real Portuguese LV network and showed good performance in controlling voltage profiles while being able to integrate all energy from renewable sources and minimizing the energy not supplied.

2017

Large-Scale Uniform Analysis of Cancer Whole Genomes in Multiple Computing Environments

Autores
Yung, CK; O’Connor, BD; Yakneen, S; Zhang, J; Ellrott, K; Kleinheinz, K; Miyoshi, N; Raine, KM; Royo, R; Saksena, GB; Schlesner, M; Shorser, SI; Vazquez, M; Weischenfeldt, J; Yuen, D; Butler, AP; Davis-Dusenbery, BN; Eils, R; Ferretti, V; Grossman, RL; Harismendy, O; Kim, Y; Nakagawa, H; Newhouse, SJ; Torrents, D; Stein, LD; Rodriguez, JB; Boroevich, KA; Boyce, R; Brooks, AN; Buchanan, A; Buchhalter, I; Byrne, NJ; Cafferkey, A; Campbell, PJ; Chen, Z; Cho, S; Choi, W; Clapham, P; De La Vega, FM; Demeulemeester, J; Dow, MT; Dursi, LJ; Eils, J; Farcas, C; Favero, F; Fayzullaev, N; Flicek, P; Fonseca, NA; Gelpi, JL; Getz, G; Gibson, B; Heinold, MC; Hess, JM; Hofmann, O; Hong, JH; Hudson, TJ; Huebschmann, D; Hutter, B; Hutter, CM; Imoto, S; Ivkovic, S; Jeon, S; Jiao, W; Jung, J; Kabbe, R; Kahles, A; Kerssemakers, J; Kim, H; Kim, H; Kim, J; Korbel, JO; Koscher, M; Koures, A; Kovacevic, M; Lawerenz, C; Leshchiner, I; Livitz, DG; Mihaiescu, GL; Mijalkovic, S; Lazic, AM; Miyano, S; Nahal, HK; Nastic, M; Nicholson, J; Ocana, D; Ohi, K; Ohno-Machado, L; Omberg, L; Francis Ouellette, B; Paramasivam, N; Perry, MD; Pihl, TD; Prinz, M; Puiggròs, M; Radovic, P; Rheinbay, E; Rosenberg, MW; Short, C; Sofia, HJ; Spring, J; Struck, AJ; Tiao, G; Tijanic, N; Loo, PV; Vicente, D; Wala, JA; Wang, Z; Werner, J; Williams, A; Woo, Y; Wright, AJ; Xiang, Q;

Publicação

Abstract
AbstractThe International Cancer Genome Consortium (ICGC)’s Pan-Cancer Analysis of Whole Genomes (PCAWG) project aimed to categorize somatic and germline variations in both coding and non-coding regions in over 2,800 cancer patients. To provide this dataset to the research working groups for downstream analysis, the PCAWG Technical Working Group marshalled ~800TB of sequencing data from distributed geographical locations; developed portable software for uniform alignment, variant calling, artifact filtering and variant merging; performed the analysis in a geographically and technologically disparate collection of compute environments; and disseminated high-quality validated consensus variants to the working groups. The PCAWG dataset has been mirrored to multiple repositories and can be located using the ICGC Data Portal. The PCAWG workflows are also available as Docker images through Dockstore enabling researchers to replicate our analysis on their own data.

2017

Typed connector families and their semantics

Autores
Proença, J; Clarke, D;

Publicação
Sci. Comput. Program.

Abstract
Typed models of connector/component composition specify interfaces describing ports of components and connectors. Typing ensures that these ports are plugged together appropriately, so that data can flow out of each output port and into an input port. These interfaces typically consider the direction of data flow and the type of values flowing. Components, connectors, and systems are often parameterised in such a way that the parameters affect the interfaces. Typing such connector families is challenging. This paper takes a first step towards addressing this problem by presenting a calculus of connector families with integer and boolean parameters. The calculus is based on monoidal categories, with a dependent type system that describes the parameterised interfaces of these connectors. We use families of Reo connectors as running examples, and show how this calculus can be applied to Petri Nets and to BIP systems. The paper focuses on the structure of connectors—well-connectedness—and less on their behaviour, making it easily applicable to a wide range of coordination and component-based models. A type-checking algorithm based on constraints is used to analyse connector families, supported by a proof-of-concept implementation. © 2017 Elsevier B.V.

2017

JPC: A library for categorising and applying inter-language conversions between Java and Prolog

Autores
Castro, S; Mens, K; Moura, P;

Publicação
SCIENCE OF COMPUTER PROGRAMMING

Abstract
The number of approaches existing to enable a smooth interaction between Java and Prolog programs testifies the growing interest in solutions that combine the strengths of both languages. Most of these approaches provide limited support to allow programmers to customise how Prolog artefacts should be reified in the Java world, or how to reason about Java objects on the Prolog side. This is an error-prone task since often a considerable amount of mappings must be developed and organised. Furthermore, appropriate mappings may depend on the particular context in which a conversion is accomplished. Although some libraries alleviate this problem by providing higher-level abstractions to deal with the complexity of custom conversions between artefacts of the two languages, such libraries are difficult to implement and evolve, because of a lack of appropriate underlying building blocks for encapsulating, categorising and applying Java-Prolog conversion routines. We therefore introduce a new library, JPC, serving as a development tool for both programmers willing to categorise context-dependent conversion constructs in their Java-Prolog systems, and for architects implementing frameworks providing higher-level abstractions for better interoperability between these two languages.

2017

Collaborative networks in the portuguese footwear sector and the cluster of felgueiras

Autores
Ribeiro, SP; Santos, VR; Pereira, CS;

Publicação
IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management

Abstract
Globalization and the rapid market changes increased the perception in the Portuguese footwear industry that success in the value chain is closely tied to information sharing, the creation and development of collaborative networks, and the management of the knowledge of the various partners. Business to Business (B2B) and e- Commerce (eC) are a key opportunity, and at the same time, a challenge for contemporary companies. We believe that the insights provided in this paper allow theory and practice to better understand the reasons for the success of the Portuguese footwear industry and of its key cluster of Felgueiras. Based on the research conducted, we argue that there is a lack of B2B-eC initiatives in the footwear industry and the existing ones are still incipient. Furthermore, the existence of only one platform that to some extent addresses B2B-eC, also indicates that there is a need for greater research and development of approaches/technology allowing companies to explore opportunities to collaborate and negotiate among themselves.

2017

Adversarial Synthesis of Retinal Images from Vessel Trees

Autores
Costa, P; Galdran, A; Meyer, MI; Mendonça, AM; Campilho, A;

Publicação
IMAGE ANALYSIS AND RECOGNITION, ICIAR 2017

Abstract
Synthesizing images of the eye fundus is a challenging task that has been previously approached by formulating complex models of the anatomy of the eye. New images can then be generated by sampling a suitable parameter space. Here we propose a method that learns to synthesize eye fundus images directly from data. For that, we pair true eye fundus images with their respective vessel trees, by means of a vessel segmentation technique. These pairs are then used to learn a mapping from a binary vessel tree to a new retinal image. For this purpose, we use a recent image-to-image translation technique, based on the idea of adversarial learning. Experimental results show that the original and the generated images are visually different in terms of their global appearance, in spite of sharing the same vessel tree. Additionally, a quantitative quality analysis of the synthetic retinal images confirms that the produced images retain a high proportion of the true image set quality. © Springer International Publishing AG 2017.

  • 2222
  • 4352