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

Integração modular em visualizadores médicos e aposição da marcação CE do Dispositivo Médico

Neste documento ´e feita a descrição detalhada da integração modular de um script no software OsiriX. O objectivo deste script ´e determinar o diâmetro central da artéria aorta a partir de uma Tomografia Computorizada. Para tal são abordados conceitos relacionados com a temática do processamento de imagem digital, tecnologias associadas, e.g., a norma DICOM e desenvolvimento de software. Como estudo preliminar, são analisados diversos visualizadores de imagens médica, utilizados para investigação ou mesmo comercializados. Foram realizadas duas implementações distintas do plugin. A primeira versão do plugin faz a invocação do script de processamento usando o ficheiro de estudo armazenado em disco; a segunda versão faz a passagem de dados através de um bloco de memória partilhada e utiliza o framework Java Native Interface. Por fim, é demonstrado todo o processo de aposição da Marcação CE de um dispositivo médico de classe IIa e obtenção da declaração de conformidade por parte de um Organismo Notificado. Utilizaram-se os Sistemas Operativos Mac OS X e Linux e as linguagens de programação Java, Objective-C e Python.

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

Vegetational changes during the last millennium inferred from a palynological record from the Bananal Island, Tocantins, Brazil

The Bananal Island is regarded the largest fluvial island in the world, bounded by Araguaia and Javaés rivers, being located in southwest of Tocantins. The objectives of this work were to provide information about the vegetational changes that occurred at the Bananal Island, in order to contribute to the understanding the dynamics of past and current savanna and areas of ecotones with forests. Thus, a sedimentary core collected from a small lake at the Bananal Island plain was submitted to pollen and radiocarbon dating analyses. The results showed that the last millennium was dominated by forest reflecting a wet climate. At the beginning of the record (920-770 yr cal BP) the wet climate and high rainfall produced flooding during long rainy seasons that maintained the Javaés River connected to the studied lake, and hence, this environment was marked by the presence of a homogenous forest rich in Moraceae/Urticaceae, due to flooded soils occurrence. During the following period (770-304 yr cal BP) the reduced rainfall and shortening of the rainy seasons isolated the lake from the Javaés River for long periods, which caused a diversification of the forest and gave rise to the appearance of the components of floodplain forest and marsh vegetation adapted to waterlogged soils. Since 304 years cal BP to the present day this environment remained dominated by this diverse forest and the lacustrine conditions were also similar to previous phase, with a slight increase of moisture in the last 84 years that caused the increase of Piranhea.

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.

Morfologia do Mycobacterium leprae hominis e do M. leprae muris: estudo baseado na microscopia electrônica e de contraste de fases

Hansen's Bacillus: By electron microscopy this bacillus shows membrane and halo, this being more visible when sorrounding the globi or bundles of bacilli; shows, also, free granules of various sizes which were before considered as dust of the dyes; shows external granules bound with the membrane and some times branching. By phases contrast microscopy examining leproma suspensions and subcataneous lymph at 400 x we saw many free granules with intense rotatory movement; granulated bacilli with screw, skip or stroke motion, producing slow progressive motion. All such elementes are surrounded by a halo, corresponding to the classical gloea. By a patient and delayed examination we were able to see that the internal granules are motile and help the progression of the bacilli, giving the impression that the cytoplasm is liquid. By a lasting observation we could see the larger granules form prolapse, like a pseudopode and abandon the bacilli and going in very rapid rotatory movement. There are branched bacilli; there are pedunculated fred granules like comets. The addition of a drop of formol at the preparation stops all movements. Stefansky's Bacillus: Repeated examination by RCA electron microscope, type EMU-25 of fresh suspensions of rat lepromas, led us to confirm the close relationship between human and murine leprosy agents. We examined also material from carabo (Lepra bubalorum) from Java, but due to fixation, the material was unsuitable for comparative studies. The Stefansky's bacilli showed also emmbranes and halos, internal or external granules (smaller than those of Hansen's bacillus). The bacilli shaded by chromium look thicker and shorter than those of Hansen. Due to electron bombardment both, Hansen's and Stefansky's baccilli suffer considerable alterations in their structure, showing black barrs of chromatin condensation at their extremities as also in their centers. By phase microscopy the Stefansky's bacilli showed elements with 1, 2 (bipolar), 3 or more internal small granules, developing identical movements as those of Hansen. The globi seem to be non-motile but the free bacilli appearing around the globi show intense movement. At 1000 x the examination is less satisfactory than at 400 x. The addition of formol solution in the preparation suppresses all movements, even the brownian, but the material becomes more suitable for the study of static morphology of the bacilli. CONCLUSION - The electron and phases contrast microscopy of leprous material from different types and phases of the disease may explain some of the unknown aspects of the biology and morphology of the bacilli.

Morphometric Analysis of McCoy Cells Inoculated with Cerebrospinal Fluid from Patients with Rabies

To demonstrate the potential of McCoy cells for the isolation of rabies virus from the cerebrospinal (CSF) fluid of a patient with a diagnosis of rabies, McCoy cells were inoculated with CSF from a patient with a clinical diagnosis of rabies and investigated in terms of morphometric aspect using the JAVA analysis system for the quantification of the increased size of infected cells compared to noninfected cells. The cells were also examined in terms of specific staining for the diagnosis of rabies by the method of Sellers for the observation of intracytoplasmic inclusions and by specific immunofluorescence staining for rabies virus. Infected cells showed changes in cell permeability and morphologic modifications which differed significantly compared to normal cells (P<0.001) when analyzed by the Mann-Whitney and Kruskal-Wallis tests. Intense activity of the endoplasmic reticulum was also observed, as indicated by the presence of intracytoplasmic inclusions visualized by specific staining. The present study demonstrated the isolation of rabies virus from the CSF of a patient with rabies, showing that McCoy cells can be used for the laboratory diagnosis of patients suspected to have rabies.