Similaridade entre os valores da pressão arterial aferida pelo método auscultatório com aparelho de coluna de mercúrio e o método oscilométrico automático com aparelho digital

INTRODUÇÃO: Um dos maiores desafios no manejo da hipertensão arterial é o adequado controle pressórico. Para se alcançar esse objetivo tem se difundido a medida residencial da pressão arterial (MRPA) com aparelhos automáticos. Entretanto, parte da comunidade médico-científica ainda discute sua validade, acreditando que as medidas pressóricas domiciliares podem ser incorretas. OBJETIVO: Avaliar a correspondência entre as medidas simultâneas da pressão arterial (PA) pelo método auscultatório convencional e método digital automático, habitualmente utilizado na MRPA. MÉTODOS: Através de uma conexão em "Y" acoplamos um manguito a um aparelho digital automático validado (ONROM 705IT) e a um esfigmomanômetro de coluna de mercúrio, permitindo aferir simultaneamente a PA pelos dois métodos. Determinamos a PA em 423 indivíduos (normotensos e hipertensos), adequando o tamanho do manguito à circunferência braquial. RESULTADOS: Os valores representam média ± desvio padrão (DP) (valores mínimo-máximo): Idade 40,8 ± 16,3 anos (18-92), circunferência braquial 28,2 ± 3,7 cm (19-42), PA sistólica (PAS) auscultatório 127,6 ± 22,8 mmHg (69-223), PAS automático 129,5 ± 23,0 mmHg (56-226), PA diastólica (PAD) auscultatório 79,5 ± 12,6 mmHg (49-135), PAD automático 79,0 ± 12,6 mmHg (48-123). A diferença média da PAS entre os dois métodos foi de 1,9 mmHg (-15 a +19) e a diferença da PAD de 0,5 mmHg (-19 a +13). Os índices de correlação de Pearson entre os métodos são para a PAS (r = 0,97), e PAD (r = 0,91). A análise de Bland-Altman mostrou concordância clinicamente aceitável entre os métodos. CONCLUSÃO: A PA aferida pelo método digital automático apresenta boa concordância com o método auscultatório convencional, devendo ser usada no auxílio do diagnóstico e controle da hipertensão arterial (HA).

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Influencing Perceived Agency: A Study into User Experiences in Digital Interactive Storytelling

User experience is a crucial element in interactive storytelling, and as such it is important to recognize the different aspects of a positive user experience in an interactive story. Towards that goal, in the first half of this thesis, we will go through the different elements that make up the user experience, with a strong focus on agency. Agency can be understood as the user’s ability to affect the story or the world in which the story is told with interesting and satisfying choices. The freedoms granted by agency are not completely compatible with traditional storytelling, and as such we will also go through some of the issues of agency-centric design philosophies and explore alternate schools of thought. The core purpose of this thesis is to determine the most important aspects of agency with regards to a positive user experience and attempt to find ways for authors to improve the overall quality of user experience in interactive stories. The latter half of this thesis deals with the research conducted on this matter. This research was carried out by analyzing data from an online survey coupled with data gathered by the interactive storytelling system specifically made for this research (Regicide). The most important aspects of this research deal with influencing perceived agency and facilitating an illusion of agency in different ways, and comparing user experiences in these different test environments. The most important findings based on this research include the importance of context-controlled and focused agency and settings in which the agency takes place and the importance of ensuring user-competency within an interactive storytelling system. Another essential conclusion to this research boils down to communication between the user and the system; the goal of influencing perceived agency should primarily be to ensure that the user is aware of all the theoretical agency they possess.

Adopting the Vaadin Java framework to rebuild VTT’s Web Interfaces and Database Applications

With the growth in new technologies, using online tools have become an everyday lifestyle. It has a greater impact on researchers as the data obtained from various experiments needs to be analyzed and knowledge of programming has become mandatory even for pure biologists. Hence, VTT came up with a new tool, R Executables (REX) which is a web application designed to provide a graphical interface for biological data functions like Image analysis, Gene expression data analysis, plotting, disease and control studies etc., which employs R functions to provide results. REX provides a user interactive application for the biologists to directly enter the values and run the required analysis with a single click. The program processes the given data in the background and prints results rapidly. Due to growth of data and load on server, the interface has gained problems concerning time consumption, poor GUI, data storage issues, security, minimal user interactive experience and crashes with large amount of data. This thesis handles the methods by which these problems were resolved and made REX a better application for the future. The old REX was developed using Python Django and now, a new programming language, Vaadin has been implemented. Vaadin is a Java framework for developing web applications and the programming language is extremely similar to Java with new rich components. Vaadin provides better security, better speed, good and interactive interface. In this thesis, subset functionalities of REX was selected which includes IST bulk plotting and image segmentation and implemented those using Vaadin. A code of 662 lines was programmed by me which included Vaadin as the front-end handler while R language was used for back-end data retrieval, computing and plotting. The application is optimized to allow further functionalities to be migrated with ease from old REX. Future development is focused on including Hight throughput screening functions along with gene expression database handling