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

A Survey on Computer Programming Learning Environments

Autores
Queirós, RAPd;

Publicação
Advances in Computer and Electrical Engineering - Code Generation, Analysis Tools, and Testing for Quality

Abstract
We are assisting the rise of online coding environments as a strategy to promote youth tech employment. With the growing importance of the technology sector, these type of technical training programs give learners emergent tech skills with a big impact and relevance to the current professional market needs. In this realm, MOOCs (massive open online courses) and online coding bootcamps are two increasingly popular options for learners to improve their code development skills and find work within a relatively short amount of time. Among all the features available on these environments, one stands out, which is the code generation. This chapter aims to detail and compare the most popular solutions for both learning contexts based on several criteria such as impact and maturity, user groups, and tools and features. In the features field, the authors highlight the code generation feature as an efficient way to enhance exercise resolution.

2019

Idealize - A Notion of Idea Strength

Autores
Sarmento, RP;

Publicação
CoRR

Abstract

2019

VR4Neuropain: Interactive rehabilitation system

Autores
Fonseca, M; Cardoso, H; Ferreira, N; Loureiro, T; Gomes, I; Quaresma, C;

Publicação
BIODEVICES 2019 - 12th International Conference on Biomedical Electronics and Devices, Proceedings; Part of 12th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2019

Abstract
Virtual Reality (VR) has finally found its way to be used in the healthcare industry, covering many different areas such as medical training, marketing, patient education, psychotherapy and physiotherapy, and many others. The need to develop increasingly personalized technology to be used during the rehabilitation process is extremely important. Therefore, the VR4NeuroPain solution aims to cover the unique influence that it obtains from the VR applied to the rehabilitation area, creating unique and virtual spaces where patients with neuropathic pain can be submitted to their therapy sessions, not only in hospitals and clinics, but also at home. The VR4NeuroPain system monitors electrophysiological data in real time, and consists of the following components: Virtual Reality Interface, Plataform and a Glove-“GNeuroPathy”. The main objective of this paper is to describe all the components of VR4NeuroPain solution. The system can be used by physicians, occupational therapists and physiotherapists. VR4Neuropain allows the use of innovative and interactive intervention methodologies. © 2019 by SCITEPRESS - Science and Technology Publications, Lda.

2019

Scalable eventually consistent counters over unreliable networks

Autores
Almeida, PS; Baquero, C;

Publicação
DISTRIBUTED COMPUTING

Abstract
Counters are an important abstraction in distributed computing, and play a central role in large scale geo-replicated systems, counting events such as web page impressions or social network likes. Classic distributed counters, strongly consistent via linearisability or sequential consistency, cannot be made both available and partition-tolerant, due to the CAP Theorem, being unsuitable to large scale scenarios. This paper defines Eventually Consistent Distributed Counters (ECDCs) and presents an implementation of the concept, Handoff Counters, that is scalable and works over unreliable networks. By giving up the total operation ordering in classic distributed counters, ECDC implementations can be made AP in the CAP design space, while retaining the essence of counting. Handoff Counters are the first Conflict-free Replicated Data Type (CRDT) based mechanism that overcomes the identity explosion problem in naive CRDTs, such as G-Counters (where state size is linear in the number of independent actors that ever incremented the counter), by managing identities towards avoiding global propagation and garbage collecting temporary entries. The approach used in Handoff Counters is not restricted to counters, being more generally applicable to other data types with associative and commutative operations.

2019

Stochastic network-constrained co-optimization of energy and reserve products in renewable energy integrated power and gas networks with energy storage system

Autores
Mirzaei, MA; Yazdankhah, AS; Mohammadi Ivatloo, B; Marzband, M; Shafie khah, M; Catalao, JPS;

Publicação
JOURNAL OF CLEANER PRODUCTION

Abstract
Increasing penetration of variable nature wind energy sources (WES) due to environmental issues, impose several technical challenges to power system operation as it is difficult to predict its output power because of wind intermittency. Power generation based on gas turbine with fast starting fitness and high ramping could better deal with inherent uncertainties comparing to other power generation sources. Considering natural gas network constraints impacts flexibility and participation of gas-fueled generation units on reserve and energy markets. Hence, the use of flexible energy storage system can reduce renewable sources alternation and the gas network limitation effects on power system operation cost. This paper proposes a two-stage stochastic network-constrained unit commitment based market clearing model for energy and reserve products in coordinated power and gas networks with the integration of compressed air energy storage (CAES) and WES. A six-bus electric system with a six-node gas system and IEEE reliability test system (RTS) 24-bus electric system with a ten-node gas network are considered to perform numerical tests and demonstrate the performance of the proposed model. The effect of including the constraints of the gas system on the power system operation cost in day-ahead co-optimization of energy and reserve products is evaluated using numerical studies. Also, including CAES reduces the power system operation cost, load shedding and wind spillage. Crown Copyright

2019

Fabry-Perot cavity for curvature measurement in a medical needle

Autores
Novais, S; Silva, SO; Frazao, O;

Publicação
SEVENTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS (EWOFS 2019)

Abstract
A reflective fiber optic sensor based on a Fabry-Perot cavity made by splicing two sections of multimode fiber is demonstrated to measure the needle curvature. The sensing structure was incorporated into a medical needle and characterized for curvature and temperature measurements. The maximum sensitivity of -0.152dB/m(-1) was obtained to the curvature measurements, with a resolution of 0.089m(-1). When subjected to temperature, the sensing head presented a low temperature sensitivity, which resulted in a small cross-sensitivity.

  • 1589
  • 4183