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

2010

Automated Epileptic Seizure Type Classification through Quantitative Movement Analysis

Autores
Silva Cunha, JPS; Vollmar, C; Fernandes, JM; Noachtar, S;

Publicação
WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 4: IMAGE PROCESSING, BIOSIGNAL PROCESSING, MODELLING AND SIMULATION, BIOMECHANICS

Abstract
In this paper we present the evolution of a quantitative movement analysis methodology for epileptic seizures. With this improved method we analyzed 20 seizure video sequences, 10 classified as automotor and 10 as hypermotor, from 17 different patients. The results obtained show we could classify all (100%) of the hypermotor seizures solely based on a quantified movement parameter - called movement extent extracted with our method. Other quantitative parameters were also studied. This striking result paves the way to the contribution of quantitative movement methods in automated epileptic seizure detection systems.

2010

Investigation of long term stability of arc-induced gratings heat treated at high temperatures

Autores
Rego, G; Caldas, P; Ivanov, O; Santos, JL;

Publicação
FOURTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS

Abstract
A long-period grating written in the SMF-28 fiber was heat treated at 1000 degrees C for 15 days. The spectrum of the grating shifted to longer wavelengths and the amplitude of the cladding mode resonances decreased as a result of structural relaxation. The background loss increased considerably for time longer than 200 h, and this loss is caused by devitrification of the fiber.

2010

Association Analysis of Biosignals Using Self Organizing Maps

Autores
Al Rawi, MS; Fernandes, JM; Tafula, S; Cunha, JPS;

Publicação
WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 4: IMAGE PROCESSING, BIOSIGNAL PROCESSING, MODELLING AND SIMULATION, BIOMECHANICS

Abstract
This work assesses the ability of Self Organizing Maps (SOMs) to find nonlinear association and/or connectivity among biosignals. The proposed method can find numerous applications where nonlinear biosignals are measured in spatiotemporal manner. Experiments are performed on tens of thousands of biosignals that are obtained from real biosignals by implementing a nonlinear transform, delays, additive and multiplicative random noise. Results showed that resolving association among biosignals under strong nonlinear transformation, noise, and delay is effective using SOMs.

2010

Model-Checking Temporal Properties of Real-Time HTL Programs

Autores
Carvalho, A; Carvalho, J; Pinto, JS; de Sousa, SM;

Publicação
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II

Abstract
This paper describes a tool-supported method for the formal verification of timed properties of HTL programs, supported by the automated translation tool HTL2XTA, which extracts from a HTL, program (i) an Uppaal model and (ii) a set of properties that state the compliance of the model with certain automatically inferred temporal constraints. These can be manually extended with other temporal properties provided by the user. The paper introduces the details of the proposed mechanisms as well as the results of our experimental validation.

2010

Contextualized Ubiquity: A new opportunity for rendering business information and services

Autores
Cunha, CR; Peres, E; Morais, R; Bessa, M; Reis, MC;

Publicação
J. Theor. Appl. Electron. Commer. Res.

Abstract
Stating that information and services are ubiquitous, means that they are available anywhere, anytime. The development of mobile-devices with wireless network-access capabilities, together with the decrease in network-traffic costs and the proliferation of free wireless hotspots, makes the use of mobile-devices, as Internet access tools, increasingly common and attractive. With novel forms of presenting information and to provide new ways to interact with consumers, new business strategies can be boosted, in Customer Relationship Management (CRM) and m-commerce. This paper describes a different approach to the relationship between customers and business-providers, based on contextualization mechanisms located in commercial products, which in turn acts as a gateway to static tag-embedded information as well as web-based information and services. A wine integrated management system, called SIGPV, is presented as a proof-of-concept, enumerating some of possible major business and CRM benefits. © 2010 Universidad de Talca - Chile.

2010

An integer programming model for two- and three-stage two-dimensional cutting stock problems

Autores
Silva, E; Alvelos, F; Valerio de Carvalho, JMV;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
In this paper, an integer programming model for two-dimensional cutting stock problems is proposed. In the problems addressed, it is intended to cut a set of small rectangular items of given sizes from a set of larger rectangular plates in such a way that the total number of used plates is minimized. The two-stage and three-stage, exact and non-exact, problems are considered. Other issues are also addressed, as the rotation of items, the length of the cuts and the value of the remaining plates. The new integer programming model can be seen as an extension of the "one-cut model" proposed by Dyckhoff for the one-dimensional cutting stock problem. In the proposed model, each decision variable is associated with cutting one item from a plate or from a part of a plate resulting from previous cuts (residual plates). Comparative computational results of the proposed model and of models from the literature are presented and discussed.

  • 3678
  • 4496