Repositório RCAAP

Tracing of active particles

Matéria mole refere-se a sistemas onde os fenómenos interessantes ocorrem tipicamente à temperatura ambiente. Ao estudar o seu comportamento podemos inferir propriedades sobre materiais úteis a muitas aplicações tecnológicas. Compreender as trajetórias de partículas individuais em tais sistemas é sem dúvida uma das tarefas mais desafiantes do estudo da sua dinâmica coletiva. Recentemente, tem havido um esforço crescente para desenvolver técnicas de aprendizagem automática, por exemplo, redes neuronais, para identificar diferentes tipos de partículas bem como seguir as suas trajetórias. Aqui, estendemos as técnicas existentes para considerar partículas anisotrópicas. Treinamos uma rede neuronal para identificar a posição e orientação da partícula anisotrópica (x, y, θ) usando imagens experimentais. Usamos camadas de convolução devido ao seu poder de extrair informação. O nosso objetivo foi recolher dados posicionais usando vídeos, uma tarefa normalmente conhecida como rastreamento visual. Para tal, foi necessário decompor os vídeos em imagens e só depois fazer previsões para detetar as partículas alvo. Posteriormente, todas as previsões foram ligadas para completar o rastreio final das partículas. Treinámos o nosso modelo profundo para duas experiências diferentes. Na primeira experiência, juntámos grãos de arroz num plano bidimensional, detetámos as partículas e observamos o desempenho do método; na segunda experiência, consideramos robôs com forma alongada (aproximadamente elíptica) na presença de obstáculos cilíndricos, após completar o rastreamento das partículas, foi possível deduzir conhecimento sobre o sistemas de estudos. Em ambas as experiências obtivemos resultados promissores usando a implementação de aprendizagem profunda. Explorámos as limitações do nosso método, mas acima de tudo, apresentamos um argumento convincente em favor do uso desta técnica em estudos futuros envolvendo informações da orientação das partículas de sistemas de matéria mole.

Ano

2025-10-28T12:21:54Z

Creators

Duarte, David de Bettencourt

Edição e tratamento de imagens digitais - Projeto "Promover Alhandra"

O presente documento é resultado da intervenção concretizada no âmbito da disciplina de Iniciação à Prática Profissional IV do Mestrado em Ensino da Informática do Instituto de Educação da Universidade de Lisboa. A Intervenção Pedagógica foi realizada numa turma de 7ºano, na disciplina de Arte e Tecnologia Digital, na Escola Básica 2,3 Soeiro Pereira Gomes, do Agrupamento Escolas de Alhandra, Sobralinho e São João dos Montes, em Vila Franca de Xira. Incidiu nos conteúdos científicos de Imagem Digital e Design Gráfico, com a duração de doze tempos de noventa minutos de prática de ensino supervisionada. Em virtude da situação pandémica atual e dada a suspensão das aulas por ordens governamentais, cinco tempos letivos foram lecionados à distância, sendo cada um destes tempos dividido por um tempo assíncrono e um síncrono, na plataforma Classroom e Google Meet, respetivamente. Os restantes sete tempos letivos decorreram presencialmente. As aulas foram planificadas tendo por base a metodologia de Project Based Learning (PjBL) contribuindo, assim, para o desenvolvimento de diversas competências ao nível da autonomia, responsabilidade, gestão de tempo, comunicação, colaboração e organização. Esta metodologia possibilita a construção do próprio conhecimento e desenvolvimento das suas aprendizagens de uma forma significativa. O trabalho desenvolvido com base na metodologia (PjBL) teve como desígnio a promoção da região. Cada aluno realizou um cartaz promocional abrangendo a área geográfica da escola, a Vila de Alhandra. O conjunto de tarefas realizadas teve o propósito de responder diretamente aos objetivos e conteúdos programáticos presentes na planificação do projeto desenvolvido, promovendo, em simultâneo, um trabalho interdisciplinar e de articulação curricular. Privilegiando-se, assim, o trabalho prático com vista ao desenvolvimento de competências transversais descritas no Perfil dos Alunos à Saída da Escolaridade Obrigatória. Com o intuito de minimizar algumas dificuldades identificadas, foram utilizados métodos e estratégias na criação de atividades e na apresentação dos conteúdos científicos, nomeadamente método ativo, expositivo e/ou interrogativo e estratégias a realização de desafios semanais. Os mesmos tinham por base atividades com temas livres, para a prática das técnicas lecionadas em aula e a realização de brainstorming´s favorecendo a colaboração e o envolvimento entre alunos e a comunidade escolar. A intervenção baseou-se numa avaliação formativa/reguladora, onde se teve em consideração todas as atividades que os alunos realizaram, a partir das quais foram criadas grelhas de observação e avaliação. Os resultados foram transformados numa escala de dimensão investigativa, onde se analisou a metodologia PjBL com base na satisfação dos alunos na aprendizagem da criação de imagens digitais, sugerindo resultados positivos.

Ano

2025-10-28T12:29:54Z

Creators

Aleixo, Patrícia Alexandra Sardinha

Neuroticism, stress, and rumination in anxiety and depression of people with Vitiligo: An explanatory model

Psychological impacts of Vitiligo have been demonstrated, and associations of the skin disease with anxiety and depression disorders have already been shown. However, it is still unclear the role of individuals’ personality factors, such as neuroticism, stress, and rumination, as well as sociodemographic characteristics of people with Vitiligo in such disorders. We conducted a study in a community sample of individuals with Vitiligo (N = 324) aiming to test the hypothesis that neuroticism, stress, and rumination are subjacent to these individuals’ anxiety and depression symptomatology. We also explored whether individuals’ gender might favor the onset or wors- ening of the psychological consequences of such disorders. Results showed that the relationship between neuroticism, anxiety and depression was mediated by stress and rumination (brooding), being this effect moderated by the participants’ gender. Specifically, women’s reflection and stress seemed to be important mechanisms to predict their anxiety and depression symptoms, whereas brooding predicts such disorders’ symptomatology in men with Vitiligo. These findings may guide future research and clinical interventions for this population, for which it is necessary to consider the psychological consequences of the disease and not just its physiological aspects.

Ano

2025-10-28T12:10:34Z

Creators

Bú, Emerson Araújo Do Santos, Vitória Medeiros Dos Lima, Kaline Silva Pereira, Cicero Roberto Alexandre, Maria Edna Silva De Bezerra, Viviane Alves dos Santos

Ambientes educativos inovadores : um diferencial no ensino secundário para a inserção de jovens no mercado de trabalho

Esta dissertação de mestrado busca identificar os diferenciais dos Ambientes Educativos Inovadores (AEI) no contexto da educação de jovens oriundos do último ano do ensino secundário no Brasil, pertencentes a um Colégio Privado, localizado no Município de Guarulhos em São Paulo, desta forma caracterizar esses diferenciais como facilitadores na inserção desses jovens no mercado de trabalho nacional. A metodologia escolhida se baseia em dois pilares, sendo i) pesquisa através de revisão bibliográfica, buscando identificar os cenários desses ambientes educativos inovadores e relaciona-los as conjunturas do mercado de trabalho, desses jovens que estudam e trabalham; ii) recolha de dados empíricos realizados por meio de inquérito por questionário – na modalidade online, devido aos fatores decorrentes da Pandemia Global de Covid-19. Esse questionário foi respondido por 15 (Quinze) alunos, do último ano do ensino secundário, no Centro Educacional Augusto Freitas (Colégio CEAF) que atuam no mercado de trabalho e obtiveram destaque pelo aprendizado no formato que os AEI proporcionam. Os resultados indicaram que os alunos respondentes da pesquisa foram beneficiados desde a estrutura com o uso das tecnologias dos AEI, até a metodologia de ensino através das habilidades desenvolvidas na proposta de educação, apontando ser o diferencial para que eles já estivessem atuando no mercado de trabalho.

Ano

2025-10-28T12:25:26Z

Creators

Sousa, Wagner Rodrigues

Students' Family and Violence in Schools

The purpose of this study was to analyze the relation between the adolescents orientation towards violence in schools and variables of the familiar context - parents (un)employment, divorce, socio-cultural status, aprent authority, brothers friendship and familiar self-concept, as well as the variations of that relation according to the variable "perceived parental support".

Ano

2025-10-28T12:18:14Z

Creators

Veiga, Feliciano Henriques

Bleeding Languages

This article explores the shared histories of blood groups, racial conceptions, and linguistics in the late twentieth-century Portuguese colonial science of anthropobiology in Oceania. It follows the work of making “indigenous languages” that went along with the work of making “blood groups” in a late form of colonial anthropology. It focuses on the case of the Timor Anthropological Mission (Missão Antropológica de Timor), a series of field expeditions to the then-Portuguese colony of East Timor sponsored by the Portuguese Overseas Research Board (Junta de Investigações do Ultramar) between 1953 and 1974. A striking aspect of these expeditions was their simultaneous attachment to blood collecting and language categories in theory, in the field, and, subsequently, in processes of analysis, classification, and mapping. The article examines why and how, through a sequence of ontological transactions, linguistics blended with laboratory practices, theories of racial ethnogeny, and the blood samples themselves. I also intend to reflect on this case study as one example of how “languages” could be used to make biologized “natures” in twentieth-century racial sciences.

Ano

2025-10-28T12:24:07Z

Creators

Roque, Ricardo

As imagens 'por vir' e a incredulidade

Estes ensaios pretendem contribuir para a reflexão sobre a força e o poder de transgressão de imagens existentes, mas pregnantes de ”por vir”, sendo a expressão escrita de algumas comunicações realizadas na FBAUL, em 2021, no âmbito do 3º ciclo de conferências dedicado às Imagens ‘por vir’ e incredulidade. Imagens para a dúvida, dúvidas sobre as imagens

Ano

2025-10-28T12:15:24Z

Creators

Quaresma Pedro, José Ferreira, Helena Figueiredo, Filipe Mendoza-Canales, Ricardo Castro, Isabel

“Things are not separate”: literary symbiotic metamorphoses in the fiction and critical work of A. S. Byatt

My critical project in this dissertation examines the way Byatt’s work productively moves across, and in and out of apparently conflicting theoretical debates, such as Leavis’s views on reading and writing in the light of poststructuralist and feminist theoretical approaches; or the establishment of a separate female literary tradition within the male literary canon; or the postmodernist resistance to/ rejection of realist representation, to name but a few of the debates examined in this dissertation. Hence, it is not my intention to superimpose a particular theoretical view on my analysis of Byatt’s work, but rather analyse their particular relevance in the light of Byatt’s own politics of writing. I propose the term “literary symbiotic metamorphosis” to investigate Byatt’s negotiation of apparently conflicting theoretical debates, in which she examines the validity of each individual theory vis-à-vis their symbiotic relationship, and then reshapes them into a unique poetics of writing which combines the understanding of a text’s symbiotically creative as well as theoretical relationships with the capacity to rearrange them into a practice of writing which is much more than the sum of the different parts which constitute it. My term is also informed by the Hegelian dialectic as the critical investigation of “a process of change in which a concept or its realization passes over into and is preserved and fulfilled by its opposite” (Merriam Webster) in which “some assertible proposition (thesis) is necessarily opposed by an equally assertible and apparently contradictory proposition (antithesis), the mutual contradiction being reconciled on a higher level of truth by a third proposition (synthesis)” (Thesaurus). It is in light of all these interconnected threads that I will investigate Byatt’s creative and critical work.

Ano

2025-10-28T12:27:41Z

Creators

Cheira, Alexandra Isabel Bugio Bonito Batista

“Mix of Races, Bad Uterus”: Obstetric Violence in the Experiences of Afro-Brazilian Migrants in Portugal

: In this article, I address the issues of obstetric violence and racism in the Portuguese setting of obstetric care. Based on data collected through interviews and participatory artistic creation, I analyze the perception of three Afro-Brazilian migrants about their perinatal experiences of obstetric care in the Portuguese public sector between 2013 and 2019. These women’s experiences have much in common with experiences of obstetric violence as narrated by Portuguese, non-racialized women. Despite this, certain aspects of their experience are related to their particular identification as Brazilian, migrant, and Black, such as xenophobic discrimination and their placement in systems of stratified reproduction, including a supposed tendency for birth by caesarean section, as well as self-policing behaviors because of the stereotype of Brazilian women as flirty. I consider a range of manifestations of obstetric violence and racism, from more overt forms to more covert ones, to analyze how, in a country where racism and obstetric violence are only slowly beginning to be recognized as the norm, multiple discriminations intersect and have an impact on the experiences of women of their bodies in pregnancy, birth, and postpartum, including breastfeeding.

Ano

2025-10-28T12:13:47Z

Creators

Barata, Catarina

Dark Matter, Gravitational Waves and Higgs invisible decays

O Modelo Padrão, apesar de ser uma das teorias mais bem verificadas experimentalmente no mundo da física, tem as sua limitações. Um grande problema que o Modelo Padrão enfrenta é o facto de não dar qualquer explicação para a existência de matéria escura, comprovada apenas por observações provenientes da astronomia e da cosmologia. Por estas razões, propomos uma extensão simples do Modelo Padrão: adicionar um campo complexo escalar que acopla apenas com o dubleto de Higgs. De seguida fazemos a renormalização do setor escalar, usando condições on-shell e process dependent, calculamos a correção a um loop do decaimento do Higgs para matéria escura e verificamos que a correção é estável. De seguida fazemos uma procura no espaço de parâmetros do modelo para verificar quais os parâmetros que verificam os mais relevantes constrangimentos teóricos e experimentais. A comparação com o valor medido experimentalmente no Large Hadron Collider dá-nos informação sobre o sector escuro do modelo. A adição do campo complexo tem outra vantagem, a de permitir a existência de uma transição electro-fraca de primeira ordem (algo que não é possível no Modelo Padrão). Esta transição poderá dar origem a ondas gravitacionais primordiais que poderão ser detetadas em experiências futuras, tal como LISA. Verificámos que é possível, por extensão do modelo, obter ondas gravitacionais fortes o suficientes para serem detetadas e que existe também uma dependência no valor dos parâmetros do Modelo Padrão, em particular na massa do Higgs do quark top. Verificámos também uma forte dependência nos parâmetros do setor escuro e, por fim, que a configuração do vácuo a temperatura zero afeta a força do sinal das ondas gravitacionais.

Ano

2025-10-28T12:27:13Z

Creators

Viana, João Francisco de Veloso e

The role of stereotypical information on medical judgements for black and white patients

The new generation of direct-acting antivirals has improved dramatically the rates of cure for chronic hepatitis C. Yet, evidence shows that racial groups are deemed more often ineligible for hepatitis C treatment, despite no clinical evidence supporting differential treatment for Black and White patients. One possible explanation has to do with providers’ racial biases. This investigation sought to explore medical students’ racial stereotypes (Study 1, N = 171) and the role of stereotypical cues on perceptions of medical adherence of Black and White patients (Study 2, N = 208). In Study 1, we first sought to identify health-related aspects that are consistently associated with Blacks as part of a stereotype. In Study 2, we experimentally manipulated racial stereotypes identified in Study 1 by asking participants to read a clinical vignette depicting a patient (Black vs. White) and their medical history (cause of exposure to hepatitis C: unprotected sex vs. non-injectable drugs use). The results show that the impact of stereotypicality on patient perceived compliance varies as a function of medical students’ racial prejudice. Implications for further applied health inequalities research and for medical training are discussed.

Ano

2025-10-28T12:12:26Z

Creators

Madeira, Filipa Costa-Lopes, Rui Bú, Emerson Araújo Do Marinho, Rui

Caraterização do recurso eólico com base em métodos estatísticos

O measure-correlated-predicted (MCP) é uma metodologia estatística fundamental para a caraterização do recurso eólico e, por sua vez, uma também importante ferramenta no auxílio na tomada de decisões em projetos de energia eólica. O MCP baseia-se na associação de duas fontes de dados – uma fonte de dados experimentais e uma fonte de dados de referência. Os dados de referência usados pelo MCP apresentam normalmente um período mais extenso e dados mais fidedignos, dado serem originados de múltiplas fontes meteorológicas, corrigidas através de modelos matemáticos. Através da associação entre as duas fontes é possível obter estimativas para um período de longo termo experimental, simulando observações passadas e reconstruindo os dados experimentais observados localmente. O produto final consiste numa fonte de dados mais apropriada à avaliação do potencial eólico. A principal atividade deste trabalho consistiu na aplicação de três métodos MCP (fator de correção, regressão linear e nearest neighbour) para extensão e correção de velocidades e direções do vento em dois casos de estudo distintos – aplicação a dados experimentais anemométricos e, com principal foco, aplicação a dados experimentais medidos por sensores LiDAR. O objetivo foi avaliar a eficácia dos métodos propostos na reconstrução e extensão de dados experimentais, medidos através de sensores LiDAR, em comparação com um caso convencional. Relativamente às estimativas de velocidades, os resultados obtidos permitiram comprovar uma boa performance (com base em parâmetros estatísticos de validação) por parte do método de regressão linear, em especial para casos onde se verificaram períodos de dados experimentais mais curtos. Já relativamente à estimativa de direções concluiu-se que o método nearest neighbour foi o que apresentou melhor capacidade na obtenção de valores direcionais. Na generalidade, os métodos aplicados neste estudo conduziram a uma melhoria significativa em indicadores de validação comparativamente às correlações observadas inicialmente.

Ano

2025-10-28T12:22:34Z

Creators

Grosso, José Francisco Guimarães

Entre percurso de vida e desigualdades sociais: propostas de articulação e resultados de pesquisa

Este artigo reconstitui um percurso conceptual que articulou a perspetiva do percurso de vida com a sociologia das desigualdades e das classes sociais. Apresenta-se a perspetiva do percurso de vida, refletindo-se sobre a centralidade que confere aos processos de regulação institucional. Partindo de uma crítica às explicações de cariz atomista, bem como aos determinismos de cariz estruturalista, advoga-se uma leitura diacrónica dos efeitos das desigualdades sociais sobre as trajetórias, mobilizando conceitos propostos por Bourdieu. Demonstra-se a potencialidade de tal abordagem para a discussão em torno das trajetórias de vida na modernidade tardia, convocando resultados de pesquisas sobre a sociedade portuguesa

Ano

2025-10-28T12:18:28Z

Creators

Ramos, Vasco

Solução para a extinção da pegada digital de um utilizador

O termo “pegada digital” pode ser definido como um rasto tecnológico de algo ou alguém. Este poderá ter um impacto tanto positivo como negativo na imagem do utilizador ou organização. Embora cada qual seja responsável pela gestão da sua imagem na internet, manter um registo do rasto online é uma tarefa tediosa e inviável. Face esta problemática, foi criada uma solução que visa gerir a pegada digital através da procura automatizada de contas do utilizador em diversas plataformas web. Esta solução permite ao utilizador descobrir onde se encontra registado o seu endereço de e-mail e, caso assim opte, cancelar ou remover o seu registo da plataforma pretendida. O processo de remoção da conta de utilizador tem por base instruções de remoção fornecidas ao utilizador, podendo as mesmas ser executadas através da interface gráfica do website ou aplicação o que resulta num processo que pode ser tão simples como o clique num botão. Em alternativa, o utilizador pode optar pelo envio de um e-mail formal de pedido de remoção de registo da conta apelando às políticas de privacidade do país onde são processados os dados da mesma. A solução proposta e implementada neste trabalho, Untrace, caracteriza-se pelo facto de juntar os processos de pesquisa e remoção numa única solução, utilizando o e-mail do utilizador. Os resultados da avaliação de desempenho revelam que a solução Untrace apresenta vantagens em comparação com uma solução concorrente, solução Mine, através da utilização de um processo de pesquisa não-intrusiva e disponibilização de métodos de remoção de conta via interface ou e-mail com opções de customização.

Ano

2025-10-28T12:09:22Z

Creators

Martins, José António Teixeira

O cumprimento dos programas eleitorais em Portugal: Tendências, reformas políticas e o papel dos veto players (1995-2019)

Em que medida os partidos portugueses cumprem as promessas eleitorais? E este cumprimento corresponde a reformas de curto ou de longo prazo? Ainda: em que medida os veto players condicionam o cumprimento do mandato pelos governos? Este artigo centra-se nestas questões, analisando sete legislaturas, entre 1995 e 2019, e um total de 6367 promessas. Os resultados revelam que o nível de cumprimento é consistentemente elevado, que as promessas de curto prazo, apesar de maioritárias, têm um nível de cumprimento igual às de longo prazo, e que os veto players podem condicionar significativamente a capacidade de concretização do mandato pelo executivo.

Ano

2025-10-28T12:08:41Z

Creators

Belchior, Ana Maria Moury, Catherine Hanenberg, Lúcio Nunes, Pedro

Processos de raciocínio matemático e representações de alunos do 8º ano no tópico das funções

Este relatório resulta da intervenção letiva realizada com uma turma do 8.º ano do ensino básico, ocorrida durante a subunidade didática – Gráficos de Funções Afins, no final do 2.º Período do ano letivo 2019/2020. O objetivo deste trabalho reside em compreender os processos de raciocínio matemático e as representações usadas por alunos do 8.˚ ano na resolução de tarefas sobre funções. Para dar resposta a esta problemática formulei três questões orientadoras que se prendem com as características dos processos de raciocínio e as dificuldades sentidas na resolução das tarefas, com as representações privilegiadas pelos alunos e com a noção que revelam de função e ainda com a relação entre os processos de raciocínio e as representações usadas. A lecionação da unidade de ensino seguiu uma abordagem maioritariamente exploratória, tendo como objetivo a aprendizagem dos alunos. Foram utilizadas tarefas diversificadas com características predominantemente exploratórias e privilegiado o trabalho autónomo a pares, bem como os momentos de discussão e a síntese de conteúdos. Os alunos foram avaliados recorrendo à observação e questionamento, à análise das produções escritas dentro e fora da sala de aula e através de uma Questão de Aula. A metodologia de investigação seguiu um paradigma interpretativo e uma abordagem qualitativa, onde fui simultaneamente professora e investigadora. Os principais métodos de recolha de dados foram a observação, com registo áudio e vídeo e as produções escritas dos alunos. A análise de dados focou-se nos processos de raciocínio dos alunos, nas representações utilizadas e nas principais dificuldades observadas. Os resultados evidenciaram a intuição dos alunos na interpretação da relação funcional envolvida na representação gráfica de uma função. No entanto, verificam-se dificuldades na transição do concreto para o abstrato e na atribuição de significado à simbologia utilizada. Estas dificuldades são evidentes sobretudo na capacidade de generalização e na conversão para a representação algébrica de uma função. Ainda assim, apesar das dificuldades identificadas, verificou-se que as tarefas exploratórias focadas em correspondências quantitativas contextualizadas foram facilitadoras do processo de generalização, promovendo a compreensão de conceitos abstratos. As dificuldades observadas na justificação residem essencialmente na capacidade de os alunos comunicarem matematicamente, evidenciando a necessidade de continuar a trabalhar estas capacidades transversais.

Ano

2025-10-28T12:13:33Z

Creators

Vicente, Susana Filipa de Sousa Ferreira Alves

Moving across page, stage, canvas: theatrical dance as a form of intermedial translation

This thesis examines two works of contemporary dance, Marie Chouinard’s Jérôme Bosch: Le Jardin des Délices (2016) and Mathieu Geffré’s choreography for the ESD company Froth on the Daydream (2018), as examples of intermedial translations into dance. In doing so, it proposes a conceptualization of translation through the lens of theatrical dance. In the last decade, the concepts of multimodality and intermediality have prompted a revision of inherited notions of text, language, and translation. This has led translation scholars to stretch their definition of translation so as to include text produced in and through other media, including dance. A number of articles and book chapters from the fields of Dance, Literary, Intermedial and Translation Studies have been published that make the case for the usefulness of the concept of translation for interpreting dance performances. Building on these works, this thesis reverses the question and asks how theatrical dance can help us understand intermedial translation. It does so by mapping the “implicative complex” (Tyulenev, 2010: 241-242) of dance, such as creativity, ephemerality, and the dramaturgy of bodies, onto the realm of translation. The theoretical framework is tested on two very different case studies: Chouinard’s choreography is based on Hieronymus Bosch’s painting The Garden of Earthly Delights, while Geffré’s on Boris Vian’s novel L’Écume de Jours. The methodology combines live attendance at the performances with footage analysis and ethnographic methods such as semi-structured interviews and participant observations. The first case-study focuses on issues of agency in translation, while the second looks at the way in which intermedial translations constitute “performative acts of memory” (Plate and Smelik, 2013: 2), comparing Geffré’s choreography with previous intermedial translations of Vian’s novel into film, opera, and graphic novel. Translation emerges as a creative and corporeal (and therefore political) practice deeply intertwined with issues of memory and struggles for representation. The analysis of the case-studies, together with the theoretical work that precedes it, contributes towards a redefinition of translation within the field of Translation Studies.

Ano

2025-10-28T12:11:44Z

Creators

Montesi, Vanessa

Scalable low latency consensus for blockchains

State machine replication (SMR) is a classical technique to implement consistent and fault­tolerant replicated services. This type of system is usually built on top of consensus protocols that have high throughput but have problems scaling to settings with a large number of participants or wide­area sce narios due to the required number of messages exchanged to reach a consensus. We propose ProBFT (Probabilistic Byzantine Fault Tolerance), a consensus protocol specifically de signed to tackle the scalability problem of BFT protocols. ProBFT is a consensus protocol with optimal latency (three communication steps, as in PBFT) but with a reduced number of messages exchanged in each phase (O(n √ n) instead of PBFT’s O(n 2 )). ProBFT is a probabilistic protocol built on top of well­known primitives, such as probabilistic Byzantine quorums and verifiable random functions, which provides high probabilities of safety and liveness when the overwhelming majority of replicas is correct. We also propose a state machine replication protocol called PROBER (PRObabilistic ByzantinE Replication) that builds on top of two consensus protocols, ProBFT and PBFT. PROBER makes use of ProBFT to provide fast and probabilistic replies to the clients and uses PBFT to eventually determinis tically commit the history of operations guaranteeing that the system will not roll back the requests after such commit. This periodic deterministic commit allows the clients to enjoy the low latency provided by ProBFT while still having the guarantees provided by a deterministic protocol. We provide a detailed description of both protocols and analyse the probabilities for safety and live ness depending on the current number of Byzantine replicas.

Ano

2025-10-28T12:24:33Z

Creators

Avelãs, Diogo Miguel do Carmo

T4H (Train for Health) - Simulation Software

Chronic diseases account for a large part of mortality and premature mortality in European countries, having a significant impact on both households and healthcare services. Most of these diseases can be avoided or at least not aggravated, by a change in lifestyle and it’s, therefore, essential to encourage people to change their behaviour. It is in this context that this work project is based on. The present work is part of the Train4Health research project whose objective is to design and develop pedagogical tools that allow future health professionals to acquire knowledge and skills. One of the pedagogical tools is a simulation software, SimSoft 2.0, which allows students to learn and train with concrete cases and virtual patients. This document describes the design and development of the SimSoft 2.0. The SimSoft 2.0 is a Web application which aims to improve the capacities of students from various health areas in supporting behavioral change in the self-care of chronic diseases to their future patients. To achieve this, this application is based on a simulation of a conversation between a health professional (user) and his patient (virtual characters), and makes use of behavioral change techniques, feedback, debriefing and gamification. To prove the adaptability to other contexts of the solution, another Web application was developed with a role reversal, the virtual character plays the role of an assistant, and the user is a person with a chronic disease, diabetes. This application fits into another FCT-funded research project, VASelfCare. The Train4Health project (2019-1-PT01-KA203-061389) is funded by the European Erasmus+ Agency and has an international multidisciplinary team involving seven institutions (Faculdade de Ciências e Faculdade de Farmácia da Universidade de Lisboa, Instituto Politécnico de Santarém, Inholland University of Applied Sciences, Royal College of Surgeons in Ireland, European Students Union e University of Maribor).

Ano

2025-10-28T12:17:59Z

Creators

Taranta, Duarte Alexandre da Silva