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

2025

Blockchain governance: reducing trusted third parties with Decred project

Autores
Martins, M; Campos, P; Mota, I;

Publicação
International Journal of Information Technology and Management

Abstract
Decred is a cryptocurrency with its own blockchain and has several similarities with bitcoin but implements a governance model that resembles a company with thousands of investors. These stakeholders invest their coins, receive the right to direct the project as they see fit and are rewarded for doing so. Everyone else not invested may use the coin as means of exchange, trading it for goods or services or consuming other services provided by the blockchain as the digital notary. This paper investigates how Decred project created its own version of money and implemented security measures to improve governance and remove trusted third parties from money issuance and e-voting. This topic is particularly relevant to understand how blockchain technologies improve governance and avoid the tyranny of the majority. In order to reach our goal, we use multi-agent simulation and statistical modelling to verify to what extent Decred is capable of providing a predictable, scarce, trustworthy digital asset. We show that Decred increased blockchain security with its hybrid proof-of-work+proof-of-stake (PoW + PoS) security mechanism, making an attack more expensive. © 2025 Inderscience Enterprises Ltd.

2025

A Systematic Literature Review on Multi-label Data Stream Classification

Autores
Oliveira, HF; de Faria, ER; Gama, J; Khan, L; Cerri, R;

Publicação
CoRR

Abstract

2025

Data Science: Foundations and Applications - 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI

Autores
Wu, X; Spiliopoulou, M; Wang, C; Kumar, V; Cao, L; Zhou, X; Pang, G; Gama, J;

Publicação
PAKDD (6)

Abstract

2025

High-Birefringence and Quarter-Wave Plates at 1550 nm Using Azopolymers

Autores
Soares, B; Silva, S; Ribeiro, P; Frazao, O;

Publicação
IEEE PHOTONICS TECHNOLOGY LETTERS

Abstract
Azobenzenes are a class of compounds which allow the writing and erasure of linear birefringence along any desired direction, through their ability to photoisomerize. This property enables applications requiring polarization control, which, despite extensive exploration in the visible spectrum, have yet to be fully capitalized in the infrared region. This study aims to systematically characterize the creation and relaxation of induced linear birefringence dynamics in azopolymers thin films for the 1550 nm region. Maximum birefringence values as high as 6.02 x 10(-2) were attained during the recording phase with a 445 nm pump laser, that stabilized at 5.40 x 10(-2) during the relaxation phase, achieved for a 2.4 mu m sample. In addition, a maximum phase shift of Delta Phi = 0.54 pi stabilizing at Delta Phi = 0.50 pi, was observed for a 9.7 mu m sample with a 532 nm writing laser. Accordingly, this shows the promising potential of azopolymers for many applications.

2025

An Over-Actuated Hexacopter Tilt-Rotor UAV Prototype for Agriculture of Precision: Modeling and Control

Autores
Pimentel, GO; dos Santos, MF; Lima, J; Mercorelli, P; Fernandes, FM;

Publicação
SENSORS

Abstract
This paper focuses on the modeling, control, and simulation of an over-actuated hexacopter tilt-rotor (HTR). This configuration implies that two of the six actuators are independently tilted using servomotors, which provide high maneuverability and reliability. This approach is predicted to maintain zero pitch throughout the trajectory and is expected to improve the aircraft's steering accuracy. This arrangement is particularly beneficial for precision agriculture (PA) applications where accurate monitoring and management of crops are critical. The enhanced maneuverability allows for precise navigation in complex vineyard environments, enabling the unmanned aerial vehicle (UAV) to perform tasks such as aerial imaging and crop health monitoring. The employed control architecture consists of cascaded proportional (P)-proportional, integral and derivative (PID) controllers using the successive loop closure (SLC) method on the five controlled degrees of freedom (DoFs). Simulated results using Gazebo demonstrate that the HTR achieves stability and maneuverability throughout the flight path, significantly improving precision agriculture practices. Furthermore, a comparison of the HTR with a traditional hexacopter validates the proposed approach.

2025

Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs

Autores
Almeida, JB; Barbosa, M; Barthe, G; Blatter, L; Marinho Alves, GXD; Duarte, JD; Grégoire, B; Oliveira, T; Quaresma, M; Strub, PY; Tsai, MH; Wang, BY; Yang, BY;

Publicação
CCS

Abstract

  • 35
  • 4399