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

2019

Using biomass gasification for small scale power generation systems: Specifications of the conceptual framework

Autores
Resende F.O.; Silva V.F.; Mendonca M.L.; Barbosa A.C.; Brito P.; Azevedo J.C.; Almeida A.; Gomes H.T.;

Publicação
8th International Conference on Renewable Energy Research and Applications, ICRERA 2019

Abstract
The development of small-scale power generation units based on biomass gasification is an effective mean to meet the growth interest of deployment of local power generation exploiting endogenous renewable energy sources. However, significant research and development activities are required towards the deployment of cost-effective solutions suitable to be used in several applications and with different biomass feedstock. For this purpose, a flexible experimental setup is required to be developed. This paper proposes a critical review of the current state of the art of the available technologies suitable for small-scale power generation using biomass gasification. The main guidelines to develop cost-effective solutions are identified and the conceptual framework of the experimental setup is proposed. Also, the operational specifications are presented.

2019

Using Causal Inference to Measure Residential Consumers Demand Response Elasticity

Autores
Ganesan, K; Saraiva, JT; Bessa, RJ;

Publicação
2019 IEEE MILAN POWERTECH

Abstract
Engaging the residential consumers and providing the best tariffs for their randomized behavior is one of the major barriers to demand response (DR) implementation. Additionally, DR offers submitted by aggregators or retailers are not consumer-specific, which turns it even more difficult for the engagement of consumers in these programs. In order to address this issue, this paper describes a methodology based on causal inference between dynamic DR tariffs and observed residential electricity consumption (resolution of 30 minutes) to estimate consumers' consumption elasticity. Ultimately, the aim of this approach is to aid aggregators and retailers to better tune DR offers to consumer needs and so to enlarge the response rate to their DR programs.

2019

Optical Fiber Probe Viscometer Based on Hollow Capillary Tube

Autores
Gomes, AD; Kobelke, J; Bierlich, J; Schuster, K; Bartelt, H; Frazao, O;

Publicação
JOURNAL OF LIGHTWAVE TECHNOLOGY

Abstract
Viscosity measurements of a solution are crucial for many processes involving fluid flows. The current optical fiber viscometers are complex and, in some cases, provide indirect measurements of viscosity through other non-optical effects. We developed a miniaturized optical fiber probe capable of providing an optical interferometric measurement of the viscosity of small volumes of a liquid viscous medium (less than 50 pL). The probe consists of an air cavity with a small access hole for fluids, which resulted from a simple post-processing of a hollow capillary tube. The structure behaves as a two-wave interferometer, where the intensity of the signal is sensible to the position of the air-fluid interface inside the cavity. The fluid displacement over time is obtained by monitoring the signal intensity variations, at 1550 nm, during the process of removing the sensing head from a fluid solution. Multiple sucrose solutions with viscosities ranging from 2.01 to 16.1 mPa.s were used for calibration. The viscosity of the solution is measured through the fluid evacuation velocity in the first 300 ms of resolved oscillations during the evacuation process. Reproducibility measurements, the influence of temperature, and the access hole dimensions are also addressed. The application to biological fluids is important to be considered in future studies.

2019

Preserving story choreographies across multiple platforms: An approach to platform-independent reuse of characters' behaviors for games, simulations, animations and interactive videos

Autores
Lacet, D; Penicheiro, F; Morgado, L; Coelho, A;

Publicação
ARTECH 2019: 9th International Conference on Digital and Interactive Arts, Braga, Portugal, October 23-25, 2019

Abstract
The main goal of the conference is to promote the interest in the current digital culture and its intersection with art and technology as an important research field, and also to create a common space for discussion and exchange of new experiences. It seeks to foster greater understanding about digital arts and culture across a wide spectrum of cultural, disciplinary, and professional practices. To this end, many scholars, teachers, researchers, artists, comput-er professionals, and others who are working within the broadly defined areas of digital arts, culture and education across the world, submitted their innovative work to the conference. © 2019 ACM.

2019

On interval dynamic logic: Introducing quasi-action lattices

Autores
Santiago, R; Bedregal, B; Madeira, A; Martins, MA;

Publicação
SCIENCE OF COMPUTER PROGRAMMING

Abstract
In this paper we discuss the incompatibility between the notions of validity and impreciseness in the context of Dynamic Logics. To achieve that we consider the Lukasiewicz action lattice and its interval counterpart, we show how some validities fail in the context of intervals. In order to capture the properties of action lattices that remain valid for intervals we propose a new structure called Quasi-action Lattices which generalizes action lattices and is able to model both: The Lukasiewicz action lattice, L, and its interval counterpart, (sic). The notion of graded satisfaction relation is extended to quasi-action lattices. We demonstrate that, in the case of intervals, the relation of graded satisfaction is correct (cf. Theorem 3) with respect to the graded satisfaction relation on the Lukasiewicz action lattice. Although this theorem guarantees that satisfiability is preserved on intervals, we show that validity is not. We propose, then, to weaken the notion of validity on action lattices to designated validity on quasi-action lattices. In this context, Theorem 4 guarantees that the dynamic formula which are valid with respect to L will be designated valid with respect to (sic).

2019

ENHANCING AWARENESS FOR ACCESSIBILITY ON WEB CONTENT DEVELOPMENT THROUGH A MASSIVE OPEN ONLINE COURSE (MOOC)

Autores
Martins, P; Rocha, T; Martins, M; Vaz, C; Maia, A; Borges, J;

Publicação
13TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2019)

Abstract
Taking into consideration a current legal Portuguese framework about accessibility requirements for websites and mobile applications of the public sector, we present an e-Learning project aiming to enhance awareness about the need of the development of accessible Web contents, thus promoting digital inclusion. In this context, in this paper we present a description of a Massive Open Online Courses (MOOC) on Web accessibility entitled: "Inclusive Web - How to develop inclusive web contents?" In this paper, we described the creation of this MOOC, not only the program contents, learning methodologies and evaluation descriptions but also present satisfaction and learning results of this project. This first edition counted on 174 students, among them, 2 with special needs, from 4 different countries, mostly professionals who develop web content, such as: students, professionals and enthusiasts in the areas of Informatics, Multimedia, Information and Communication Technologies (ICT), Digital Media, Web Design, Teaching and Special Education. The feedback results showed that despite there were a few features that must be improved, overall the applicants enjoyed and stated that the course was a good learning resource to start in the Web Accessibility topic.

  • 1465
  • 4202