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 Inês Dutra

2010

Threads and or-parallelism unified

Autores
Costa, VS; Dutra, I; Rocha, R;

Publicação
THEORY AND PRACTICE OF LOGIC PROGRAMMING

Abstract
One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threaded implementation. Our new approach takes full advantage of the state-of-the-art fast and optimized YAP Prolog engine and shares the underlying execution environment, scheduler and most of the data structures used to support YapOr's model. Initial experiments with our new approach consistently achieve almost linear speedups for most of the applications, proving itself as a good alternative for exploiting implicit parallelism in the currently available low cost multi-core architectures.

2012

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines

Autores
Dutra, I; Rocha, R; Costa, VS; Silva, F; Santos, J;

Publicação
2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW)

Abstract
In this work we perform a detailed study of different or-scheduling strategies varying several parameters in two or-parallel systems, YapOr and ThOr, running on multi-core machines. Our results show that some kinds of applications are sensitive to the choice of scheduling strategy adopted. In particular, the choice of scheduling parameters mostly affect applications that have short execution times, which, despite having speedups, have their performance significantly affected. Our results also show that topmost dispatching can be more advantageous than bottommost dispatching, a finding that contradicts previous works in this area. One last finding is that YapOr and ThOr are affected differently by changes in scheduling with ThOr performing significantly better than YapOr in several applications.

2011

DigiScope - Unobtrusive Collection and Annotating of Auscultations in Real Hospital Environments

Autores
Pereira, D; Hedayioglu, F; Correia, R; Silva, T; Dutra, I; Almeida, F; Mattos, SS; Coimbra, M;

Publicação
2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)

Abstract
Digital stethoscopes are medical devices that can collect, store and sometimes transmit acoustic auscultation signals in a digital format. These can then be replayed, sent to a colleague for a second opinion, studied in detail after an auscultation, used for training or, as we envision it, can be used as a cheap powerful tool for screening cardiac pathologies. In this work, we present the design, development and deployment of a prototype for collecting and annotating auscultation signals within real hospital environments. Our main objective is not only pave the way for future unobtrusive systems for cardiac pathology screening, but more immediately we aim to create a repository of annotated auscultation signals for biomedical signal processing and machine learning research. The presented prototype revolves around a digital stethoscope that can stream the collected audio signal to a nearby tablet PC. Interaction with this system is based on two models: a data collection model adequate for the uncontrolled hospital environments of both emergency room and primary care, and a data annotation model for offline metadata input. A specific data model was created for the repository. The prototype has been deployed and is currently being tested in two Hospitals, one in Portugal and one in Brazil.

2011

Detecting Cardiac Pathologies from Annotated Auscultations

Autores
Ferreira, P; Pereira, D; Mourato, F; Mattos, S; Cruz Correia, R; Coimbra, M; Dutra, I;

Publicação
2012 25TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS)

Abstract
The DigiScope project aims at developing a digitally enhanced stethoscope capable of using state of the art technology in order to help physicians in their daily medical routine. One of the main tasks of DigiScope is to build a repository of auscultations (sound and medical related data). In this work, we present a preliminary analysis and study of the first auscultations performed on children of a Brazilian hospital. Results indicate that classifiers can be obtained that distinguish reasonably well patients with cardiac pathologies from those that do not have pathologies.

2023

An Online Anomaly Detection Approach for Fault Detection on Fire Alarm Systems

Autores
Tome, ES; Ribeiro, RP; Dutra, I; Rodrigues, A;

Publicação
SENSORS

Abstract
The early detection of fire is of utmost importance since it is related to devastating threats regarding human lives and economic losses. Unfortunately, fire alarm sensory systems are known to be prone to failures and frequent false alarms, putting people and buildings at risk. In this sense, it is essential to guarantee smoke detectors' correct functioning. Traditionally, these systems have been subject to periodic maintenance plans, which do not consider the state of the fire alarm sensors and are, therefore, sometimes carried out not when necessary but according to a predefined conservative schedule. Intending to contribute to designing a predictive maintenance plan, we propose an online data-driven anomaly detection of smoke sensors that model the behaviour of these systems over time and detect abnormal patterns that can indicate a potential failure. Our approach was applied to data collected from independent fire alarm sensory systems installed with four customers, from which about three years of data are available. For one of the customers, the obtained results were promising, with a precision score of 1 with no false positives for 3 out of 4 possible faults. Analysis of the remaining customers' results highlighted possible reasons and potential improvements to address this problem better. These findings can provide valuable insights for future research in this area.

2017

Preface

Autores
Barbosa, J; Camacho, R; Dutra, I; Marques, O;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

  • 16
  • 18