UJI Navigation Network, Development of a pedestrian spatial network within the University Jaume I of Castellón (Spain)

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

A systems biology framework for pathway level culture media engineering: pplication to Pichia pastoris cultures

Dissertação para obtenção do Grau de Doutor em Engenharia Química e Bioquímica

On the cloud deployment of a session abstraction for service/data aggregation

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Lean production in the precast concrete components’ industry

Proceedings IGLC-19, July 2011, Lima, Perú

Building information modeling como ferramenta de visualização de realidade aumentada em obras de reabilitação – um caso de estudo

Congresso Construção 2012 - 4º Congresso Nacional/17, 18 e 19 Dezembro

Produção Lean com visualização do fluxo de trabalho em 3D

Magazine Digital eUAU - Março 2011

Data queries over heterogeneous sources

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

BIM-lean synergies in the management on MEP works in public facilities of intensive use – a case study

21st Annual Conference of the International Group for Lean Construction – IGLC 21 – Fortaleza, Brazil

Adapter module for self-learning production systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica, Sistemas e Computadores

A multiagent based shop floor transportation system simulator

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Multi-GPU support on the marrow algorithmic skeleton framework

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

O biofeedback cinemático na realização de exercícios escápulo-torácicos

RESUMO: O Biofeedback cinemático na realização de exercícios escápulo-torácicos Patrícia Ribeiro; Ricardo Matias Desenho do estudo: Estudo quantitativo, experimental, prospetivo de fator único. Objetivos: Determinar a efetividade do biofeedback cinemático tridimensional (3D) em tempo real, como informação de retorno extrínseca, no reconhecimento da zona neutra da omoplata, em indivíduos saudáveis; medir o desempenho temporal, através do tempo que os sujeitos demoram a atingir a posição pretendida, e o desempenho no percurso, através da diferença entre o percurso efetuado e aquele que seria o percurso mais curto, sem Informação de Retorno Extrínseca (IRE), com Informação de Retorno Extrínseca clinica verbal e palpatória (IRE-VP) e com informação de retorno extrínseca visual cinemática (IRE-VC). Enquadramento: Reconhecer aquela que deve ser a posição adequada da omoplata e tomar consciência da importância dessa posição para a estabilidade e correto funcionamento da articulação gleno-umeral é uma tarefa difícil, pois a grande maioria do indivíduos não têm os conhecimentos necessários. É reconhecido o contributo que a IRE tem na reaprendizagem motora, em especial na primeira fase da aprendizagem motora – a consciencialização. Vários estudos se têm debruçado em avaliar a influencia da IRE na reabilitação de indivíduos com disfunção do ombro, tendo-se limitado ao formato electromiográfico. No sentido de encontrar novas estratégias para facilitar o processo de reaprendizagem motora nestes indivíduos, foi escolhido biofeedback cinemático tridimensional. Métodos: Participaram no estudo 60 sujeitos, sem queixas de dor no ombro, com idades compreendidas entre os 18 e os 54 anos, com um valor médio de 21,66 anos (±5.89), divididos aleatoriamente em três grupos com uma tarefa comum: o reconhecimento da zona neutra da omoplata. Um grupo não recebeu qualquer tipo de IRE - Grupo Controlo (GC), outro grupo recebeu IRE-VP e outro recebeu IRE-VC. Para efeitos de análise da performance foram consideradas duas variáveis: tempo e qualidade da execução. A abordagem estatística destas variáveis consistiu numa análise de variância simples e num teste de comparações múltiplas. Resultados: Observámos que o grupo controlo e o grupo IRE-VC efetuaram a tarefa pedida em menos tempo que o grupo IRE-VP (p<0.01) e que o grupo IRE-VC obteve melhores resultados no que respeita à qualidade da execução da tarefa do que o GC e o grupo IRE-VP (p<0.01). Conclusão: Pelos resultados obtidos, na tarefa de reconhecimento da zona neutra da omoplata, podemos concluir que o biofeedback cinemático é mais efetivo na facilitação da obtenção de melhor qualidade de execução da tarefa do que o feedback clinico ou a inexistência de feedback e igualmente efetivo à inexistência de IRE no que respeita ao tempo demorado a reconhecer essa posição. -------------- ABSTRACT:Study Design: Single factor experimental design. Objectives: To determine the effectiveness of real time cinematic biofeedback as extrinsic information in the recognition of the neutral zone of the scapula in healthy subjects; to measure the temporal performance and quality of the execution without extrinsic feedback, with clinical feedback and with cinematic feedback. Background: To recognize the proper scapula position and to be aware of the importance of this position to the stability and correct function of the gleno-umeral joint is a difficult task, because most people don’t have the necessary knowledge. It is known that extrinsic feedback is effective in motor learning, specially in the early stages. There are several studies that evaluated the influence of extrinsic feedback in rehabilitation of shoulder dysfunctions, but only in the electromyography format. Material and Methods: Sixty healthy subjects were randomly divided into 3 groups that received no feedback (group 1 – control group), verbal and palpatory feedback (group 2) and real time cinematic feedback (group 3). The performance variables considered – time and quality of execution - were statistically analyzed with ANOVA one-way and multiple comparisons test. Results: Control group and group 3 executed the task in less time that group 2 (p<0.01) and group 3 executed the task with better quality than control group and group 2 (p<0.01). Conclusions: From the results of this study we conclude that in the studied task, the cinematic feedback is more effective to facilitate a better quality of execution than no feedback or clinical feedback and, regarding to time taken to attain the requested position, equally effective to no feedback.

Lightweight monitoring of transactional memory programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.