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

2008

Computational complexity with experiments as oracles

Autores
Beggs, E; Costa, JF; Loff, B; Tucker, JV;

Publicação
PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

Abstract
We discuss combining physical experiments with machine computations and introduce a form of analogue digital (AD) Turing machine. We examine in detail a case study where an experimental procedure based on Newtonian kinematics is combined with a class of Turing machines. Three forms of AD machine are studied, in which physical parameters can be set exactly and approximately. Using non-uniform complexity theory, and some probability, we prove theorems that show that these machines can compute more than classical Turing machines.

2008

Cluster-based novel concept detection in data streams applied to intrusion detection in computer networks

Autores
Spinosa, EJ; de Carvalho, APDF; Gama, J;

Publicação
APPLIED COMPUTING 2008, VOLS 1-3

Abstract
In this paper, a cluster-based novelty detection technique capable of dealing with a large amount of data is presented and evaluated in the context of intrusion detection. Starting with examples of a single class that describe the normal profile, the proposed technique detects novel concepts initially as cohesive clusters of examples and later as sets of clusters in an unsupervised incremental learning fashion. Experimental results with the KDD Cup 1999 data set show that the technique is capable of dealing with data streams, successfully learning novel concepts that are pure in terms of the real class structure.

2008

A practical approach to lighting design course in an electrical engineering programme

Autores
Travassos Valdez, MM; Faustino Agreira, CI; Machado Ferreira, C; Maciel Barbosa, FP;

Publicação
International Journal of Emerging Technologies in Learning

Abstract
Technology has allowed new insights and creativity into the learning and teaching process and also enables to try out in a much more flexible, dynamic way other learning experiences. This constitutes in itself a more engaging role for teachers as well as students helping them to explore and create new areas, opening up, at the same time, new perspectives into the process and maximizing the availability and use of the current tools which the same technology provides. The facilitation in the investigation work development of projects renders the learning and teaching activities really appealing, allowing at the same time levels of effectiveness in this extremely modern and global era. This study integrates technology in the learning process and evaluation of its various outcomes. This case study describes the experience of two teachers with their class along a semester using computer aided technology for instruction and assessment. The task involved the lighting design of monuments with the purpose of attracting the on lookers' attention, enhancing the beauty and attributes of the façade of monuments or buildings considered relevant or of public interest. An approach of reinforcement learning applied to the historical monuments light configurations will be described.

2008

Challenges in Health Smart Homes

Autores
Bartolomeu, P; Fonseca, J; Vasques, F;

Publicação
2008 2ND INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING TECHNOLOGIES FOR HEALTHCARE

Abstract
This paper presents an overview of the challenges in developing Health Smart Homes targeting, in particular, elderly and impaired people. As such, it identifies the current endeavors as well as the main areas of research.

2008

IMPROVING THE IMPLEMENTATION OF ACCESS CONTROL IN EMR

Autores
Ferreira, A; Cruz Correia, R; Chadwick, D; Antunes, L;

Publicação
42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS

Abstract
The Electronic Medical Record (EMR) allows for the distributed collection and searching of healthcare information. However, it usually does not integrate easily into healthcare professionals' daily workflows. Barriers to its acceptance include costs such as time and effort, but also relational and educational issues. Access controls are likely to increase the barrier to acceptance, since their design and implementation are very complex and thus costly. Three literature reviews were performed in order to gain insight to this problem. The two reviews regarding access control implementation (A and B) showed that the definition of an access control policy was ACP(A)=29% and ACP(B)=58%, and the participation of end users in its development within Information Systems (IS) was UPD(A)=0% and UPD(B)=0%. The review regarding evaluation methods (Review C) showed that most chosen methods were not appropriate for the evaluation that needed to be performed (CMI(C)=44%) and that the ISs were difficult to use (SDU(C)=22%) and did not simplify the workflow environment for which they were implemented (CWD(C)=19%). The goal of this paper is to propose that future access control systems for EMR should monitor healthcare professionals' attitudes, opinions and experiences through the use of comprehensive evaluation methods to improve the acceptance of EMR.

2008

Guest editorial: Special section on communication in automation - Part II

Autores
Cena, G; Vasques, F;

Publicação
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

Abstract

  • 3982
  • 4519