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

2022

Simulation, modelling and classification of wiki contributors: Spotting the good, the bad, and the ugly

Autores
Garcia-Mendez, S; Leal, F; Malheiro, B; Burguillo-Rial, JC; Veloso, B; Chis, AE; Gonzalez-Velez, H;

Publicação
SIMULATION MODELLING PRACTICE AND THEORY

Abstract

2022

Structural Rules and Algebraic Properties of Intersection Types

Autores
Alves, S; Florido, M;

Publicação
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Abstract
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2022

BCI: Technologies and Applications Review and Toolkit Proposal

Autores
Rocha, T; Carvalho, D; Letra, P; Reis, A; Barroso, J;

Publicação
Communications in Computer and Information Science

Abstract
A typical example of a Brain-Computer Interface (BCI) is a system that allows a person to move a ball displayed on a computer screen to the left or to the right, simply by imagining the movement of the left or right hand, respectively. Since the term Brain-Computer Interface was coined in 1973, the interest and efforts in this field have grown tremendously and there are now thought to be several hundred laboratories worldwide developing research in this topic. This paper aims at summarizing its resulting knowledge in a way that allows for a quick and clear consultation, highlighting the research lines, technologies and the most relevant cases of applications, so that policy makers, professionals and consumers can make effective use of the findings. With this in mind, a Brain-Computer Interface toolkit is proposed with a focus on different target audiences (e.g., children, seniors, people with intellectual disabilities) that can take advantage of this resource and promote an independent life routine. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2022

Experimentally Validated Extended Kalman Filter Approach for Geomagnetically Induced Currents Measurement

Autores
Behdani, B; Tajdinian, M; Allahbakhshi, M; Popov, M; Shafie khah, M; Catalao, JPS;

Publicação
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS

Abstract
Geomagnetically induced currents (GICs) are referred to the quasi-DC current flows in power networks, driven by complex space weather-related phenomena. Such currents are a potential threat to the power delivery capability of electrical grids. To mitigate the detrimental impacts of GICs on critical infrastructures, the GICs should be monitored in power systems. Being inherently DC from the power frequency point of view, the components of GICs are, however, challenging and costly to monitor in AC power grids. This paper puts forward a novel methodology for the real-time estimation of GICs in power transformers. Such aim is attained by means of an extended Kalman filter (EKF)-based approach, mounted on the nonlinear state-space model of the transformer, whose parameters can be derived from standard tests. The proposed EKF-based algorithm employs the available measurements for the transformer differential protection. The proposed approach, relying on the differential current, can properly deal with the external sources of interference like harmonic excitation and loading. The EKF-based estimator presented is validated by simulation and experimental data. The results verify the ability of the proposed approach to robustly estimate the GIC level during various operating conditions.

2022

Websites Usability Evaluation of the Terras De Tras-Os-Montes Hotels

Autores
Morais, EP; Cunha, CR; Santos, A;

Publicação
MARKETING AND SMART TECHNOLOGIES, VOL 1

Abstract
Website is a bridge between users and online information. It is extremely important in terms of marketing and must be designed according to the rules of usability, especially in hotel industry. Websites with high usability value will be accessed by more users. Therefore, building a useful website is important. This study aims to evaluate, from the point of view of usability, the websites of hotel establishments in Terras de Tras-os-Montes, a region located in the north of Portugal.

2022

The Game Pentade

Autores
Raposo, L; Guerra, H; Morais, C; Coelho, A;

Publicação
Advances in Game-Based Learning

Abstract
The use of digital games as support tools for education has proven to be effective. To explore their potential, it is crucial to design them carefully. This chapter considers the design of games for education, where players cultivate their knowledge and practice their skills by multiplying numerous hindrances during gaming. Educational elements are integrated into the gameplay, which players acquire while playing. The game's effectiveness depends on the players' ability to form a cheerful and encouraging environment to continue playing while increasing their interest in gameplay and improving academic performance. Following a design-first development approach, an innovative proposal for this design is presented, adding a new dimension to the game's tetrad: learning dynamics. Benefiting from years of professional practice, this game pentad design framework fulfills the learning and user experience requirements while overcoming the design limitations of more conventional approaches not based on an educational purpose.

  • 1
  • 2727