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

2013

Generalizing determinization from automata to coalgebras

Authors
Silva, Alexandra; Bonchi, Filippo; Bonsangue, MarcelloM.; Rutten, JanJ.M.M.;

Publication
Logical Methods in Computer Science

Abstract

2013

Exploring the Stationary Wavelet Transform Detail Coefficients for Detection and Identification of the S1 and S2 Heart Sounds

Authors
Marques, N; Almeida, R; Rocha, AP; Coimbra, M;

Publication
2013 COMPUTING IN CARDIOLOGY CONFERENCE (CINC)

Abstract
Most work done in Heart Sound Segmentation approaches use a threshold-based approach to correctly identify S1 and S2 segments in a given signal. We propose a new method that uses the Stationary Wavelet Transform to segment the signal and hierarchical clustering to distinguish the S1 and S2 heart sound from noise. This approach was tested in the Classifying Heart Sounds PASCAL Challenge datasets and achieved better results than the winning approach of this contest, with a total error redcution of 21% and 43% for Digiscope and iStethoscope in test sets, respectively.

2013

A Collaborative Planning Approach for Non-hierarchical Production Networks

Authors
Almeida, R; Toscano, C; Azevedo, AL; Carneiro, LM;

Publication
Intelligent Non-hierarchical Manufacturing Networks

Abstract
This chapter presents an innovative collaborative planning (CP) approach for non-hierarchical production networks that enhances collaboration between partners in two different lifecycle phases of the virtual organizations (VOs). The first phase concerns the first planning iteration for the customer, and it basically defines the operations plan and a quotation for the customer, supported by a negotiation process between partners. The second phase concerns a detailed specification of the manufacturing operation and its planning. The chapter first presents a summary of the main trends and previous work concerning collaborative network (CN), governance models and approaches for CP. Next, it provides the requirements for the CP. The chapter ends with the methodology proposed for CP, considering two planning schemes and the evaluation of the quality of the solutions. © 2013 by John Wiley & Sons, Inc.

2013

Querying Model-Driven Spreadsheets

Authors
Cunha, J; Fernandes, JP; Mendes, J; Pereira, R; Saraiva, J;

Publication
2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013)

Abstract
Spreadsheets are being used with many different purposes that range from toy applications to complete information systems. In any of these cases, they are often used as data repositories that can grow significantly. As the amount of data grows, it also becomes more difficult to extract concrete information out of them. This paper focuses on the problem of spreadsheet querying. In particular, we propose an expressive and composable technique where intuitive queries can be defined. Our approach builds on a model-driven spreadsheet development environment, and queries are expressed referencing entities in the model of a spreadsheet instead of in its actual data. Finally, the system that we have implemented relies on Google's query function for spreadsheets.

2013

Padrões de comportamento alimentar e IMC em estudantes do ensino superior

Authors
Poínhos, Rui; Oliveira, Bruno; Correia, Flora;

Publication

Abstract
[Abstract]

2013

Kaizen

Authors
Delgado, C; Castelo, BM;

Publication
Encyclopedia of Corporate Social Responsibility

Abstract
[No abstract available]

  • 3006
  • 4378