JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Service-oriented mobility of java code in web services-based architectures

Dissertação apresentada na Faculdade de Ciências e Tecnologias da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

JAVA Applets, um comboio em início de marcha

Java! Uma palavra nova e misteriosa que consegue conjugar imagens, movimento, internet, programação, café quente e o nome de uma das 10,000 ilhas dos nossos amigos da Indonésia. No entanto, é sobre os quatro primeiros conceitos que se trata este projecto de “JAVA Applets, um comboio em início de marcha”. Se o HTML vem ligar imagens à internet, o JAVA tenta dar uma certa interactividade utilizando programação mas, tentando também, que os utilizadores finais a possam utilizar sem grande esforço.

Avaliação dos mecanismos de concorrência na API do Java 8

As plataformas com múltiplos núcleos tornaram a programação paralela/concorrente num tópico de interesse geral. Diversos modelos de programação têm vindo a ser propostos, facilitando aos programadores a identificação de regiões de código potencialmente paralelizáveis, deixando ao sistema operativo a tarefa de as escalonar dinamicamente em tempo de execução, explorando o maior grau possível de paralelismo. O Java não foge a esta tendência, disponibilizando ao programador um número crescente de bibliotecas de mecanismos de sincronização e paralelização de código. Neste contexto, esta tese apresenta e discute um conjunto de resultados obtidos através de testes intensivos à eficiência de algoritmos de ordenação implementados com recurso aos mecanismos de concorrência da API do Java 8 (Threads, Threadpools, ExecutorService, CountdownLach, ExecutorCompletionService e ForkJoinPools) em sistemas com um número de núcleos variável. Para cada um dos mecanismos, são apresentadas conclusões sobre o seu funcionamento e discutidos os cenários em que o seu uso pode ser rentabilizado de modo a serem obtidos melhores tempos de execução.

Type-based protocol conformance and aliasing control in concurrent java programs

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

Data-centric concurrency control on the java programming language

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

Age effects on EEG correlates of the Wisconsin card sorting test

Body and brain undergo several changes with aging. One of the domains in which these changes are more remarkable relates with cognitive performance. In the present work, electroencephalogram (EEG) markers (power spectral density and spectral coherence) of age-related cognitive decline were sought whilst the subjects performed the Wisconsin Card Sorting Test (WCST). Considering the expected age-related cognitive deficits, WCST was applied to young, mid-age and elderly participants, and the theta and alpha frequency bands were analyzed. From the results herein presented, higher theta and alpha power were found to be associated with a good performance in the WCST of younger subjects. Additionally, higher theta and alpha coherence were also associated with good performance and were shown to decline with age and a decrease in alpha peak frequency seems to be associated with aging. Additionally, inter-hemispheric long-range coherences and parietal theta power were identified as age-independent EEG correlates of cognitive performance. In summary, these data reveals age-dependent as well as age-independent EEG correlates of cognitive performance that contribute to the understanding of brain aging and related cognitive deficits.

Contributos do postal ilustrado para a história do Free Card

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Publicidade e Relações Públicas)

Estudo da Mecânica Cardíaca pelo Speckle Tracking

Speckles, ou marcadores naturais do miocárdio, originam se da interferência construtiva e destrutiva do feixe de ultrassom que incide sobre os tecidos, podem fornecer um diagnóstico precoce das alterações miocárdicas e atuar na predição de certos eventos cardíacos. Devido à sua relativa estabilidade temporal, os speckles podem ser rastreados durante o ciclo cardíaco por software dedicados, promovendo a análise da função sistólica e diastólica. São identificados tanto pela escala de cinza da ecocardiografia 2D convencional quanto pela ecocardiografia 3D, sendo independentes do ângulo de incidência do ultrassom, permitindo assim a avaliação da mecânica cardíaca nos três planos espaciais: longitudinal, circunferencial e radial. O objetivo do presente artigo é discutir o papel e o significado da deformação cardíaca obtida por meio do speckle tracking durante a avaliação da fisiologia cardíaca, e discutir as aplicações clínicas desta tecnologia ecocardiográfica inovadora.

JAVADAPTOR : unrestricted dynamic updates of Java applications

In dieser Arbeit wird mit JAVADAPTOR ein Ansatz präsentiert, der die statisch getypte Programmiersprache Java um die Möglichkeit erweitert, Programme zur Laufzeit und ohne die genannten Einschränkungen zu aktualisieren. Das vorgestellte Konzept kombiniert das schemaverändernde Nachladen von Klassen mit Referenzaktualisierungen auf der Basis von Java HotSwap, Containern und Proxies. Zentrale Beiträge der Arbeit sind detaillierte Beschreibungen der Konzepte und deren Implementierung, sowie der Nachweis der Praxvistauglichkeit der Lösung anhand verschiedener Fallstudien. Weiterhin wird untersucht, ob die präsentierte Lösung Einschränkungen bezüglich Flexibilität, Performanz, Plattform, Programmarchitektur oder Änderungsgranularität unterliegt.