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

Publicações por CSE

2021

A semantics and a logic for Fuzzy Arden Syntax

Autores
Gomes, L; Madeira, A; Barbosa, LS;

Publicação
SOFT COMPUTING

Abstract
Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a Boolean outcome nor by a probability distribution. This paper introduces a semantics for FAS, focusing on the weighted parallel interpretation of its conditional statement. The proposed construction is based on the notion of a fuzzy multirelation which associates with each state in a program a fuzzy set of weighted possible evolutions. The latter is parametric on a residuated lattice which models the underlying semantic 'truth space'. Finally, a family of dynamic logics, equally parametric on the residuated lattice, is introduced to reason about FAS programs.

2021

Low-cost 3D LIDAR-based scanning system for small objects

Autores
Neto, JAB; Lima, JL; Pereira, AI; Costa, P;

Publicação
2021 22ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)

Abstract
Three-dimensional scanning is a task that is highly important for our modern society and this is translated by a wide area of knowledge that contains numerous approaches to this task. As this process is non-trivial, most of the technologies are expensive, with even the low-cost ones being a great investment for the regular user. Therefore, this work presents a low-cost LIDAR-based 3D scanning system that can perform 3D scans of small objects and reconstruct their digital STL models. The system consists of one rotating platform and a scanning arc-shaped structure, which both are actuated by stepper motors.

2021

Hypergraph-of-Entity: A General Model for Entity-Oriented Search

Autores
Devezas, JL; Nunes, S;

Publicação
CoRR

Abstract

2021

Data Analysis of Workplace Accidents - A Case Study

Autores
Sena I.P.; Braun J.; Pereira A.I.;

Publicação
Communications in Computer and Information Science

Abstract
The welfare and safety of the employees of an enterprise is a great concern and priority in a responsible and successful organization. The identification of patterns of work-related accidents is important to reduce and prevent further mishaps and injuries. To improve the safety of the work environment, accidents related data must be analyzed to identify the possible risk factors and their effects on the type of accident and its level of severity. Thus, data related to workplace accidents in fishmonger stores were collected from a Portuguese retail company where it was analyzed with statistical, clustering, and classification techniques to identify potential underlying correlation and patterns between the data, and in this way, collecting important information to prevent future accident or lesions.

2021

Fatigued PageRank

Autores
Devezas, JL; Nunes, S;

Publicação
CoRR

Abstract

2021

Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance

Autores
Devezas, JL; Nunes, S;

Publicação
CoRR

Abstract

  • 66
  • 217