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 HumanISE

2005

Agressividade em jogadores de futebol: estudo com atletas de equipes portuguesas

Autores
Bidutte, LdC; Azzi, RG; Raposo, JJBV; Almeida, LS;

Publicação
Psico-USF (Impresso) - Psico-USF (Impr.)

Abstract

2005

WAVE: Sound and music in an immersive environment

Autores
Valbom, L; Marcos, A;

Publicação
COMPUTERS & GRAPHICS-UK

Abstract
This paper presents WAVE-a Virtual Audio Environment, which embraces the implementation of an immersive musical instrument model that uses three-dimensional (3D) sound techniques combined with visualisation and virtual reality technologies. This prototype environment aims to extend the idea of a musical instrument into a new musical/ audio system, incorporating traditional musical concepts side by side with actual music concepts, in order to progress one step further in the music/sound composing and performing approaches. The architecture of the system is based on low-cost hardware and open source software with affordable professional audio equipment to maintain an adequate sound quality. Also several applications of this virtual environment are discussed in the paper, including the way to satisfy at the same time composers, performers, music/audio students or even simple occasional users.

2005

Architectural prototyping: From CCS to. Net

Autores
Rodrigues, NF; Barbosa, LS;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components gbecame a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft. Net framework, in the form of executable C# and C? code. The prototyping process is fully supported by a specific tool developed in Haskell.

2005

Slicing Functional Programs by Calculation

Autores
Rodrigues, NF; Barbosa, LS;

Publicação
Beyond Program Slicing, 06.11. - 11.11.2005

Abstract

2004

Proceeding - Brazialian Symposium on Computer Graphics and Image Processing: Preface

Autores
De Albuquerque, A; Comba, J; De Sousa, AA; Navazo, I;

Publicação
Brazilian Symposium of Computer Graphic and Image Processing

Abstract

2004

Towards Temporal Reasoning in Constraint Contextual Logic Programming

Autores
Nogueira, VB; Abreu, S; David, G;

Publicação
Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004

Abstract

  • 622
  • 641