Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Handling mobility on a QoS-Aware servicebased framework for mobile systems

Mobile applications are becoming increasingly more complex and making heavier demands on local system resources. Moreover, mobile systems are nowadays more open, allowing users to add more and more applications, including third-party developed ones. In this perspective, it is increasingly expected that users will want to execute in their devices applications which supersede currently available resources. It is therefore important to provide frameworks which allow applications to benefit from resources available on other nodes, capable of migrating some or all of its services to other nodes, depending on the user needs. These requirements are even more stringent when users want to execute Quality of Service (QoS) aware applications, such as voice or video. The required resources to guarantee the QoS levels demanded by an application can vary with time, and consequently, applications should be able to reconfigure themselves. This paper proposes a QoS-aware service-based framework able to support distributed, migration-capable, QoS-enabled applications on top of the Android Operating system.

Handling shared resources and precedence constraints in open systems

There is an increasing demand for highly dynamic realtime systems where several independently developed applications with different timing requirements can coexist. This paper proposes a protocol to integrate shared resources and precedence constraints among tasks in such systems assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a capacity sharing and stealing mechanism to efficiently exchange bandwidth among needed tasks, minimising the cost of blocking.

Handling QoS dependencies in distributed cooperative real-time systems

Due to the growing complexity and adaptability requirements of real-time embedded systems, which often exhibit unrestricted inter-dependencies among supported services and user-imposed quality constraints, it is increasingly difficult to optimise the level of service of a dynamic task set within an useful and bounded time. This is even more difficult when intending to benefit from the full potential of an open distributed cooperating environment, where service characteristics are not known beforehand. This paper proposes an iterative refinement approach for a service’s QoS configuration taking into account services’ inter-dependencies and quality constraints, and trading off the achieved solution’s quality for the cost of computation. Extensive simulations demonstrate that the proposed anytime algorithm is able to quickly find a good initial solution and effectively optimises the rate at which the quality of the current solution improves as the algorithm is given more time to run. The added benefits of the proposed approach clearly surpass its reducedoverhead.

Handling random errors and biases in methods used for short-term dietary assessment

Epidemiological studies have shown the effect of diet on the incidence of chronic diseases; however, proper planning, designing, and statistical modeling are necessary to obtain precise and accurate food consumption data. Evaluation methods used for short-term assessment of food consumption of a population, such as tracking of food intake over 24h or food diaries, can be affected by random errors or biases inherent to the method. Statistical modeling is used to handle random errors, whereas proper designing and sampling are essential for controlling biases. The present study aimed to analyze potential biases and random errors and determine how they affect the results. We also aimed to identify ways to prevent them and/or to use statistical approaches in epidemiological studies involving dietary assessments.

Spatial operators for collaborative map handling

MSC Dissertation in Computer Engineering

Molecular characterization of Dengue viruses type 1 and 2 isolated from a concurrent human infection

In 2001, an autochthonous case of dual viremia, resulting from naturally acquired dengue virus DEN-1 and DEN-2 infections was detected during the dengue outbreak that occurred in Barretos, a city with about 105,000 inhabitants in the North region of São Paulo State. Serotype identification was based on virus isolation to C6/36 mosquito cells culture and immunofluorescence assays using type-specific monoclonal antibodies. The double infection was also confirmed by reverse transcriptase polymerase chain reaction (RT-PCR). Comparative analysis of the 240-nucleotide sequences of E/NS1 gene junction region between the genome of DEN-1 and DEN-2 isolates of the corresponding reference Nauru and PR 159S1 strains, respectively, showed some nucleotide differences, mainly silent mutations in the third codon position. Results of maximum likelihood phylogenetic analysis of E/NS1 gene sequences indicated that both genotypes of DEN-1 and DEN-2 viruses recovered from double infection in Barretos belonged to genotypes I and III, respectively.

Planning, operations and data handling of planetary science missions

Dissertação para obtenção do Grau de Mestre em Engenharia Física

Effects of tissue handling and processing steps on PCR for detection of Mycobacterium tuberculosis in formalin-fixed paraffin-embedded samples

Development and standardization of reliable methods for detection of Mycobacterium tuberculosis in clinical samples is an important goal in laboratories throughout the world. In this work, lung and spleen fragments from a patient who died with the diagnosis of miliary tuberculosis were used to evaluate the influence of the type of fixative as well as the fixation and paraffin inclusion protocols on PCR performance in paraffin embedded specimens. Tissue fragments were fixed for four h to 48 h, using either 10% non-buffered or 10% buffered formalin, and embedded in pure paraffin or paraffin mixed with bee wax. Specimens were submitted to PCR for amplification of the human beta-actin gene and separately for amplification of the insertion sequence IS6110, specific from the M. tuberculosis complex. Amplification of the beta-actin gene was positive in all samples. No amplicons were generated by PCR-IS6110 when lung tissue fragments were fixed using 10% non-buffered formalin and were embedded in paraffin containing bee wax. In conclusion, combined inhibitory factors interfere in the detection of M. tuberculosis in stored material. It is important to control these inhibitory factors in order to implement molecular diagnosis in pathology laboratories.

Key-CRDT stores

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

Antemortem diagnosis of human rabies in a veterinarian infected when handling a herbivore in Minas Gerais, Brazil

The Ministry of Health's National Human Rabies Control Program advocates pre-exposure prophylaxis (PEP) for professionals involved with animals that are at risk of contracting rabies. We report an antemortem and postmortem diagnosis of rabies in a veterinarian who became infected when handling herbivores with rabies. The antemortem diagnosis was carried out with a saliva sample and a biopsy of hair follicles using molecular biology techniques, while the postmortem diagnosis used a brain sample and conventional techniques. The veterinarian had collected samples to diagnose rabies in suspect herbivores (bovines and caprines) that were subsequently confirmed to be positive in laboratory tests. After onset of classic rabies symptoms, saliva and hair follicles were collected and used for antemortem diagnostic tests and found to be positive by RT-PCR. Genetic sequencing showed that the infection was caused by variant 3 (Desmodus rotundus), a finding confirmed by tests on the brain sample. It is essential that professionals who are at risk of infection by the rabies virus undergo pre-exposure prophylaxis. This study also confirms that molecular biology techniques were used successfully for antemortem diagnosis and therefore not only allow therapeutic methods to be developed, but also enable the source of infection in human rabies cases to be identified accurately and quickly.

Successful Handling of Disseminated BCG Disease in a Child with Severe Combined Immunodeficiency

In high-burden countries, Mycobacterium bovis Bacillus Calmette-Guérin (BCG) vaccine is administered in newborn to prevent severe Mycobacterium tuberculosis infection. Because life-threatening disseminated BCG disease may occur in children with primary immunodeficiency, vaccination strategy against tuberculosis should be redefined in non-high-burden countries. We report the case of a patient with X-linked severe combined immunodeficiency (SCID) who developed disseminated BCG disease, highlighting the specific strategies adopted.

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

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

Contributo para o desenvolvimento de uma metodologia que avalia a posição da omoplata: fidedignidade intra e interobservador e validade concorrente

RESUMO: Introdução: A relação cinemática entre as articulações do CAO apresenta grande importância na função do MS, e é por isso cada vez mais investigada e descrita. O posicionamento da omoplata ganha um importante papel para compreender as DCAO. É indiscutível o importante papel da omoplata na dinâmica do MS, bem como o posicionamento escapular como parâmetro clínico de disfunção do CAO. Todos estes factores criam a necessidade de desenvolver instrumentos de avaliação da posição da articulação ET. A grande maioria dos testes de avaliação, restringem a sua avaliação às disfunções da articulação GU, não integrando uma avaliação mais dinâmica e interactiva que respeite os pressupostos teóricos inerentes ao REU. È importante também que os métodos de avaliação sejam de fácil aplicabilidade clínica e que avaliem fidedignamente e com validade os outcomes. Objectivos: Contribuir para o desenvolvimento de uma metodologia de avaliação da omoplata em diferentes amplitudes do MS, através do estudo da validade concorrente, da fidedignidade intra e inter-observador. Metodologia: A amostra foi constituída por 20 elementos seleccionados por conveniência, entre o corpo de discentes da ESS-IPS, sem história de disfunção do CAO. Foi realizada uma análise cinemática ao MS de cada sujeito, usando um aparelho de análise por varrimento electromagnético, o FOB. Em cada sujeito foram ainda medidas, as distâncias escapulares em estudo, usando a fita métrica. Cada método de medição foi constituído por dois momento (teste e reteste), em cada momento, as medidas eram recolhidas por dois investigadores distintos. Resultados e Discussão: Foram considerados como positivos os resultados que se apresentassem acima do limiar de 0,5, que classifica uma correlação como moderada a excelente. Os resultados da validade mostram que para o investigador 1 nas medidas M1e M2 apenas houve correlação com valores excelentes a moderados até aos 30º de elevação do MS. Já para M3 apenas aos 30º no plano da omoplata essa mesma correlação não tem valores próximos do cutpoint. Em M4 nenhum valor tem correlação significativa com os valores do FOB, chegando mesmo a haver correlação negativa para os 120º no plano da omoplata. Em M5 apenas os 0º mostram valores correlacionais excelentes a moderados. Para o investigador 2, em M1 e M2 á semelhança do investigador 1, só existem valores de correlação significativos até aos 30º de elevação do MS. Já para M3 todos os valores mostram excelente a moderada correlação á excepção dos 120º no plano frontal. Em M4 este investigador apresenta maus resultados. Já em M5 os valores de correlação são moderados aos 0º e aos 90º. No que diz respeitos aos resultados dos CCI intra-observador,podemos afirmar que foi em M5 que estes valores mais se aproximaram do cut point. M1 e M2 são as medidas onde se encontram resultados menos satisfatórios. É aos 60º que existem valores mais satisfatórios, seguidos pelos 0º e 30º, quando nos aproximamos de graus mais elevados, como 90º e 120º, estes valores tendem a baixar. Quanto á fidedignidade inter-observador para M1 apenas aos 90º e aos 120º houve valores de correlação abaixo do cutpoint. Em M2, só os 60º do plano sagital não teve valores acima do cutpoint, em M3 apenas os 30º plano sagital não obtiveram valores acima do cut-point, o mesmo acontece para M3 aos 30º plano da omoplata e em M5 aos 30º e 120º no plano frontal. Conclusão: Os resultados deste estudo indicam que a metodologia em causa apresenta elevado grau de fidedignidade inter-observador, já no que toca é fidedignidade intra-observador o grau de semelhança não é tão elevado. Também o erro associado á medida não ultrapassou 1,5cm, sendo considerado baixo. Na validade concorrente concluímos que é aos 0º que a metodologia se torna uma opção válida na aferição das distâncias medidas com uma boa a excelente concordância com o FOB. As medidas consideradas como opções válidas, nas diferentes amplitudes, podem funcionar como parâmetros clínicos de caracterização do posicionamento da omoplata, podendo vir a contribuir ainda para a caracterização da orientação da mesma.-------------------- ABSTRACT:Introduction: The kinematic relationship between the joints of the CAO has great importance in the function of MS, which is why more and more investigated and described. The positioning of the blade gets an important role in understanding the DCAO. There is no doubt the important role of the scapula in the dynamics of MS as well as the positioning of scapular dysfunction as a clinical parameter of the CAO. All these factors create the need to develop tools for evaluating the place of articulation ET. Most assessment tests, restrict its assessment to GU joint disorders, not incorporating a more dynamic and interactive way that respects the theoretical assumptions inherent in the REU. It is also important that the methods are easy to apply clinical and reliably to assess the validity and outcomes. Objectives: To contribute to the development of a methodology for evaluating the scapula in different ranges of MS, through the study of concurrent validity, reliability of intra-and inter-observer. Methodology: The sample consisted of 20 selected elements for convenience, between the body of students of IPS-ESS with no history of dysfunction of the CAO. We performed a kinematic analysis of each subject to MS, using a scanning device for electromagnetic analysis, the FOB. In each subject were also measured, the scapular distances under study, using tape measure. Each method of measuring the time consisted of two (test and retest), in each moment, the measures were collected by two different investigators. Results and Discussion: We considered as positive results that were above the threshold of 0.5, which ranks as a moderate to excellent correlation. The results show that the validity for the researcher in an action M1e M2 was only correlated with moderate to excellent values up to 30º of elevation of the MS. As for M3 only to 30º in the plane of the scapula has the same correlation values near the cutpoint. M4 has no value in correlation with the values of the FOB, and even negative correlation to 120 ° in the plane of the scapula. In M5 show only the values 0 ° correlational excellent to moderate. For investigator 2 in M1 and M2 will be like an investigator, there are only significant correlation values up to 30º of elevation of the MS. As for M3 all the values show excellent correlation to moderate with the exception of 120 ° in the frontal plane. In this researcher M4 has bad results. M5 already in the correlation values are moderate to 0º and 90 º. Regarding the results of ICC intra-observer, we can say that M5 was that these values come closest to the cut point. M1 and M2 are measures which are less than satisfactory results. At 60 ° there are more satisfactory values, followed by 0º and 30º, when we approached the highest levels, such as 90 ° and 120 °, these values tend to decrease. The inter-observer reliability for M1 only to 90 º and 120 ºcorrelation values were below the cutpoint. In M2, only 60 of the sagital plane did not have values above the cutpoint in M3 only 30º sagital plane did not obtain values above the cut-point, the same goes for M3 at 30 ° plane of the scapula and M5 at 30 º and 120 º in frontal plane. Conclusion: The results of this study indicate that the methodology in question has a high degree of inter-observer reliability, as far as intra-observer reliability is the degree of similarity is not as high. Also the error of measure did not exceed 1.5 cm, and is considered low. In concurrent validity conclude that it is at 0 ° the methodology becomes a valid option for the measurement of distances measured with a good to excellent agreement with the FOB. The measures considered as valid options in different amplitudes, can function as clinical parameters to characterize the positioning of the shoulder blade and could further contribute to the characterization of the orientation of the same.

Materials handling in hospitals: An analysis of how the storage and materials handling system can be improved, using the example of Hospital Santa Maria

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics