Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2021

Dynamic Effects of Temperature on FBG Pressure Sensors Used in Combustion Engines

Authors
Rosolem, JB; Penze, RS; Floridia, C; Bassan, FR; Peres, R; Costa, EFd; de Araujo Silva, A; Coral, AD; Junior, JRN; Vasconcelos, D; Junior, MAR;

Publication
IEEE Sensors Journal

Abstract

2021

Supply chain flows and stocks as entry points for cyber-risks

Authors
Gomes, N; Rego, N; Claro, J;

Publication
INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020)

Abstract
As supply chains become more digital to reach new levels of global competitiveness, caveats from this decision arise. Cyber-risks are one of these potential setbacks, affecting supply chains directly and indirectly, and propagating via supply chain flows and stocks information, material, and financial. This study applied a systematic literature review to determine how the supply chain's flows and stocks serve as points of entry to cyber-risks. Cyber-risks arise from different sources (i.e., direct attacks, built-in problems, low-quality issues), impacting supply chains' flows and stocks (material and information). There is a relation between the type of supply chain and which flow, or stock facilitates access to the supply chain. Finally, we provide a distinction between two concepts related to Supply Chain Risk Management and cyber-risks. This research is useful to 1) enterprise decision-makers, as the description of potential cyber-risks' points of entry delivers hints on where to focus managerial efforts; 2) developers of Supply Chain Management (SCM) Information and Communication Technology (ICT) systems, since discussing potential points of entry build awareness about probable exploitation points, thus improving ICT systems' resiliency, and 3) scholars, as the depiction of the state-of-the-art may serve as a common departing point for future research. (C) 2021 The Authors. Published by Elsevier B.V.

2021

Time-Matters: Temporal Unfolding of Texts

Authors
Campos, R; Duque, J; Cândido, T; Mendes, J; Dias, G; Jorge, A; Nunes, C;

Publication
Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II

Abstract
Over the past few years, the amount of information generated, consumed and stored on the Web has grown exponentially, making it impossible for users to keep up to date. Temporal data representation can help in this process by giving documents a sense of organization. Timelines are a natural way to showcase this data, giving users the chance to get familiar with a topic in a shorter amount of time. Despite their importance, little is known about their use in the context of single documents. In this paper, we present Time-Matters, a novel system to automatically explore arbitrary texts through temporal narratives in an interactive fashion that allows users to get insights into the relevant temporal happenings of a story through multiple components, including temporal annotation, storylines or temporal clustering. In contrast to classical timeline multi-document summarization tasks, we focus on performing text summaries of single documents with a temporal lens. This approach may be of interest to a number of providers such as media outlets, for which automatically building a condensed overview of a text is an important issue. © 2021, Springer Nature Switzerland AG.

2021

Demonstrative educational haptic manipulator robot: A teaching aid in Mechatronics

Authors
Pereira, A; Pinto, V; Goncalves, J; Costa, P;

Publication
TEEM'21: NINTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY

Abstract
In this paper it is presented an educational experiment, that consists of a mechatronic system applied to demonstrate concepts such as prototyping, control, haptic feedback and the use of different sensors and actuators. The described mechatronic system is based on the use of two identical manipulators, being physical devices commonly used in the industry. The physical components of the manipulators were 3D printed, being the original model of each manipulator the EEZYBotArm MK2. This, already existent prototype was modified, with the necessary changes, to fulfill the requisites of the proposed system, being included load cells to provide measurement of the applied forces, and the robot gripper was also modified, being applied an electromagnetic actuator.

2021

MODELING SPATIAL-TEMPORAL WINE YIELD BASED ON LAND SURFACE TEMPERATURE, VEGETATION INDICES AND GIS - THE CASE OF THE DOURO WINE REGION

Authors
Moreira, P; Duarte, L; Cunha, M; Teodoro, AC;

Publication
2021 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM IGARSS

Abstract
This work aims to integrate Remote Sensing (RS) and cadastral data in QGIS software to perform the spatiotemporal mapping of Wine Yield (WY) cluster zones in the Douro region. Spatiotemporal modelling approach for prediction of wine yield was based on Normalized Difference Vegetation Index (NDVI), Land Surface Temperature (LST) and topographic data. The results showed that 74% (R2 = 0.744, n=128, p<0.000) WY interannual variability at administrative division could be explained by the developed model. This information allows establishing wine production region pattern which can improve the agronomic and economic efficiency of vineyard and winery operations.

2021

Formal Verification of Authenticated, Append-Only Skip Lists in Agda

Authors
Miraldo, VC; Carr, H; Moir, M; Silva, L; Steele, GL;

Publication
CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS

Abstract
Authenticated Append-Only Skiplists (AAOSLs) enable maintenance and querying of an authenticated log (such as a blockchain) without requiring any single party to store or verify the entire log, or to trust another party regarding its contents. AAOSLs can help to enable efficient dynamic participation (e.g., in consensus) and reduce storage overhead. I n this paper, we formalize an AAOSL originally described by Maniatis and Baker, and prove its key correctness properties. Our model and proofs are machine checked in Agda. Our proofs apply to a generalization of the original construction and provide confidence that instances of this generalization can be used in practice. Our formalization effort has also yielded some simplifications and optimizations.

  • 1010
  • 4212