A Rotating Black Hole Solution for Shape Dynamics

Shape dynamics is a classical theory of gravity which agrees with general relativity in many important aspects, but which possesses different gauge symmetries and can present some fundamental global differences with respect to Einstein spacetimes. Here, we present a general procedure for (locally) mapping stationary, axisymmetric general relativity solutions onto their shape dynamic counterparts. We focus in particular on the rotating black hole solution for shape dynamics and show that many of the properties of the spherically symmetric solution are preserved in the extension to the axisymmetric case: it is also free of physical singularities, it does not form a space-time at the horizon, and it possesses an inversion symmetry about the horizon which leads to us to interpret the solution as a wormhole.Comment: 13 page

Domain Specific Language Evaluation: OutSystems’ Business Process Technology

Domain Specific Languages (DSL) are created with the intent of making problem solving easier via abstractions and notations that are closer to the domain users’ way of thinking. However, in order to fulfil this intent the language must be considered usable by its target audience, which requires using a principled approach, contrary to an ad-hoc philosophy. Unfortunately, language engineers are not always concerned by usability. Usability techniques developed by Human Computer Interaction (HCI) experts are generally focused solely on application interfaces that were not designed to be directly applied to languages. However, previous studies have shown that languages are in essence interfaces between users and the computational system, so applying HCI techniques is not incorrect. However, to the best of our knowledge, there is no simple evaluation process that allows developers to validate their languages, both syntactically and semantically. The OutSystems Platform is a development environment composed of several domain specific languages. It is used to quickly build and validate web and mobile applications. The languages allow users to build interfaces and data models, define custom business logic and construct process models. Howbeit, the DSL for process modelling (Business Process Technology (BPT)), does not have the desired adoption rate and is often used for solving problems out of the intended domain it was originally designed for. This is problematic, given that the language has an associated maintenance cost. The purpose of this dissertation is twofold: create a succinct and easy process for evaluating visual programming languages, and apply the proposed process to BPT in order to identify any usability issues that may be present in the BPT language. The process we developed includes adapted HCI evaluation techniques (such as the Systems Usability Score, Task Load Index and others). After identifying the main problems with the BPT language, the language was updated with a new syntax. We performed a comparison analyses between the original and new syntaxes, which showed that the new version is more transparent and has a significantly higher usability rating.Domain Specific Languages (DSL) são criadas com a intenção de tornar mais fácil a resolução de problemas através de abstrações e notações que são mais próximas da maneira de pensar dos utilizadores do domínio. Isso, no entanto, só é verdade se a linguagem for considerada utilizável pelo seu público-alvo, que requer o uso de uma abordagem baseada em princípios, ao contrário de uma filosofia ad-hoc. Infelizmente, a usabilidade não é um dos aspetos técnicos com que os engenheiros de linguagens mais se preocupam. Técnicas de usabilidade desenvolvidas por especialistas em Human Computer Interaction (HCI) são geralmente focadas exclusivamente em interfaces de aplicações e não foram desenvolvidas para serem diretamente aplicadas a linguagens de programação. No entanto, estudos prévios mostraram que as linguagens de programação são, na sua essência, interfaces entre os utilizadores e o sistema computacional, assim sendo a aplicação de técnicas HCI não é considerada incorreta. No entanto, no decorrer da nossa pesquisa, não foi encontrado nenhum processo de avaliação simples que permita aos engenheiros validar as suas linguagens tanto sintatica como semanticamente. A OutSystems Platform é um ambiente de desenvolvimento composto por várias DSL. Este é usado para construir rapidamente aplicações web e móveis. As linguagens permitem aos utilizadores construir interfaces e modelos de dados, definir lógica de negócios personalizada, e construir modelos de processos. Todavia, a DSL para modelar processos (Business Process Technology (BPT)), não tem a taxa de adoção desejada e é utilizada em problemas fora do domínio pretendido. Isto é devido ao custo de manutenção associado. Esta tese tem dois objetivos: criar um processo sucinto e fácil para avaliar linguagens de programação, e usar esse mesmo processo para identificar quaisquer problemas que possam estar presentes na linguagem BPT. Para conseguir isto, foi desenvolvido um processo simples de acompanhar que inclui técnicas HCI. Uma vez identificados os principais problemas com o BPT, foram feitas alterações à linguagem. Finalmente, foi realizada uma comparação entre a sintaxe original e a nova. Estas mostraram que a nova versão é mais transparente e tem uma classificação de usabilidade significativamente maior

Quantitative descriptors for a range of visual biologic and synthetic pigmentation patterns

Nature is exuberant in visual patterns: spots on mammals, veins on leaves, maze-like structures in fishes, and many others. Computer Graphics has achieved success in model- ing and rendering many of these patterns. Nevertheless, a fundamental problem remains: how to validate the results beyond visual comparison. Here we propose a set of quantitative descriptors tailored to describe visual biological patterns found in many species of mammals and fishes. We are interested in analyzing the most common pattern structures: spots, labyrinths, and stripes. First, we compute a set of metrics from a dataset of real patterns – curated from scratch from publicly available repositories – and synthetic images generated using reaction-diffusion simulations. We calculate our first four descriptors as ratios of “global” measures. The last eight descriptors are the standard deviation of the average measure of pattern region features, giving us twelve descriptors. We validate the descriptors through two machine learning tasks on an augmented dataset with real and synthetic patterns. First, the descriptors are used as features of a supervised classifier with an overall accuracy of 98.4%, a result better than that obtained with a general state- of-the-art convolutional classification network. Second, we tested the descriptors in an unsupervised clustering task, differentiating natural from artificial patterns and identify- ing species studied in the natural pattern set. Clustering was also used for unsupervised detection of regions of biologic patterns over larger images.A natureza é exuberante em padrões visuais: padrões de manchas em mamíferos, veias em folhas, estruturas labirínticas em peixes e muitos outros. A Computação Gráfica alcançou sucesso na modelagem e renderização de muitos desses padrões. No entanto, um problema fundamental permanece: como validar os resultados além da comparação visual. Neste trabalho, é proposto um conjunto de descritores quantitativos adaptados para descrever padrões biológicos visuais encontrados em várias espécies de mamíferos e peixes. Foram analisadas as estruturas de padrões mais comuns, como padrões de manchas, labirintos e listras. Primeiro, é calculado um conjunto de métricas para uma base de imagens de padrões reais – selecionadas de repositórios disponíveis publicamente – junto com imagens sintéticas, geradas usando simulações de reação-difusão (reaction-diffusion). Os quatro primeiros descritores são calculados a partir de razões entre medidas “globais”. Os oito descritores restantes são definidos como o desvio padrão da média das métricas obtidas a partir das características das regiões do padrão, totalizando doze descritores. Estes descritores são validados em duas tarefas de aprendizado de máquina em um conjunto de dados com padrões reais e sintéticos. Primeiro, os descritores são usados como entradas para um classificador supervisionado, obtendo uma precisão geral de 98,4%, um resultado melhor do que o obtido em rede de classi- ficação convolucional de propósito geral de última geração. Para a segunda validação, os descritores são testados em uma tarefa de agrupamento (clustering) não supervisi- onado, sendo capaz de diferenciar padrões naturais de artificiais e também identificar espécies estudadas no conjunto de padrões naturais. O agrupamento também foi usado para detecção não supervisionada de regiões de padrões biológicos em imagens maiores

Design of a small-scale pico-hydro system using pumps as turbines

Mestrado de dupla diplomação com a UTFPR - Universidade Tecnológica Federal do ParanáNew approaches to renewable energy sources and the growing interest in clean energy technologies nowadays are related to the context of the war in Europe, rising electricity prices, depletion of fossil fuel reserves, and environmental issues. Still, many European countries can develop and exploit the untapped potential of hydropower generation and take advantage of new solutions for emerging small-scale distributed generation. Regarding small-scale pico-hydro systems, many researchers have been studying to apply reversed-flow centrifugal pumps instead of conventional turbines, as they are easy to install, low cost, less complex to operate, mass-produced, and available for a wide range of head and flow rates. Notwithstanding, selecting a pump as a turbine (PAT) is not that simple since pump manufacturers do not provide performance curves for reverse operation. Therefore, based on several authors, this work designed a small-scale pico-hydro system to be implemented at the Bragança Ciência Viva Centre using two PATs, whose selection and performance prediction were carried out through an easy and reliable procedure. A solution is proposed considering three power generation levels in order to obtain high self-consumption quotas, forecasting an energy generation of 57% of the total yearly consumption. Additionally, preliminary tests were carried out in the lab, although not sufficiently conclusive, for an innovative grid connection solution using a PAT emulation system, a VFD in regenerative braking mode, protection circuits, and a PV inverter.Novas abordagens em fontes renováveis e o crescente interesse pelas tecnologias de energia limpa atualmente se remetem ao contexto da guerra na Europa, ao aumento dos preços da eletricidade, ao esgotamento das reservas de combustíveis fósseis, e a questões ambientais. Outrossim, muitos países europeus podem desenvolver e se beneficiar de um potencial hidroelétrico ainda inexplorado, aproveitando novas e emergentes soluções para a geração distribuída em pequena escala. Quanto a sistemas pico-hídricos de pequena escala, muitos investigadores têm estudado a aplicação de bombas centrífugas a funcionar como turbinas (BFT), uma vez que são fáceis de instalar, de baixo custo, menos complexas de operar, produzidas em massa, e disponíveis para uma vasta gama de cota e de caudal. Contudo, selecionar uma BFT não é tão simples, posto que os fabricantes de bombas não fornecem curvas de desempenho para o funcionamento inverso. Portanto, com base em vários autores, concebeu-se um sistema pico-hídrico de pequena escala para ser implementado no Centro Ciência Viva de Bragança utilizando duas BFTs, cuja seleção e previsão de desempenho foram realizadas através de um procedimento fácil e confiável. Propõe-se uma solução considerando três escalões de geração de energia para elevadas quotas de autoconsumo, prevendo uma geração de energia de 57% do consumo total anual. Ademais, foram realizados testes preliminares no laboratório, ainda que não suficientemente conclusivos, de uma solução inovadora de ligação à rede a partir de um conversor de frequência em modo de travagem regenerativa, circuitos de proteção, e um inversor fotovoltaico

Asma

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas MonizA asma é um conjunto de condições heterogéneas que resulta na obstrução reversível dos brônquios, e é caracterizada por hiper-reatividade e inflamação das vias aéreas. Existem vários fatores que podem levar ao aparecimento da doença, como predisposições genéticas, interações com o ambiente e fatores socioeconómicos. A compreensão dos mecanismos imunológicos e patogénicos da doença foi bastante aprofundada na última década e sabe-se agora que a inflamação que está na base da doença é o resultado do envolvimento uma grande variedade de células e mediadores inflamatórios. Os corticosteroides inalados formam a primeira linha do controlo da asma e têm demonstrado a sua eficácia e segurança. Os casos mais graves de asma continuam, no entanto, a ser um desafio em que, muitas vezes, não se consegue atingir o controlo desejado mesmo utilizando as combinações de fármacos recomendadas. Novas terapias biológicas estão a surgir para contrariar esta problemática, como é o caso do anticorpo monoclonal Anti-IgE, Omalizumab, ou os anticorpos monoclonais Anti-IL5, Anti-IL4 e Anti-IL13, ainda em ensaios clínicos

Uma aplicação para o monitoramento da disseminação do mosquito aedes aegypti

A dengue é uma doença que utiliza o mosquito Aedes aegypti como vetor de transmissão. Apesar de ter um padrão conhecido de condições que favorecem a multiplicação e disseminação do seu transmissor, ela continua fazendo milhares de vítimas a cada ano no mundo. Segundo o boletim epidemiológico Vol. 52 de Janeiro de 2021 publicado pela Secretaria de Vigilância em Saúde, foram registrados, em 2020, 987.173 possíveis casos da doença no território brasileiro até a semana epidemiológica 53. A utilização de ferramentas para a prevenção e identificação de possíveis surtos pode ser útil para entidades responsáveis tomarem decisões sobre campanhas de prevenção. Além disso, a centralização dos dados de identificações do mosquito pode estimular a população a tomar medidas preventivas de eliminação dos pontos focais em suas residências. Este trabalho de conclusão de curso propõe uma plataforma para agregar os dados de identificações do mosquito Aedes aegypti feitas a partir de dispositivos móveis e dados meteorológicos para gerar visualizações e insights com potencial de ajudar na prevenção e controle da proliferação dos mosquitos e, consequentemente, de doenças como a dengue. Será apre sentada a modelagem de um sistema que tornará possível a integração de aplicativos que fazem a identificação do mosquito Aedes aegypti através de aprendizado de máquina. Por proporcionar uma integração em tempo real com os dados das identificações e pelas vi sualizações implementadas, o sistema desenvolvido neste trabalho mostra um potencial para ser utilizado como ferramenta principal no planejamento de ações de controle do mosquito. Também, foi validada a possibilidade de integração de um modelo preditivo para prever infestações do A. aegypti com base em identificações históricas e dados climáticos.Dengue fever is a disease that uses Aedes Aegypti mosquito as its transmission vector. Although it has a known set of conditions that favor the multiplication and spread of its transmitter, it continues making millions of victims every year around the world. Ac cording to the epidemiological bulletin Vol. 52 of January 2021 published by "Secretaria de Vigilância em Saúde", in 2020, 987.173 possible cases of dengue were registered in Brazilian’s territory by the epidemiological week number 53. The use of tools for preven tion and identification of possible outbreaks can be useful for entities that are responsible for making decisions about prevention and combat campaigns. In addition to that, central izing mosquito identification can encourage the population to take preventive measures to eliminate focal points in their homes and neighborhood. This work proposes a system to aggregate data from A. aegypti mosquito identifications made by mobile devices and meteorological data to generate visualizations that can lead to insights with the potential to help in the prevention and control of dengue. The modeling of the system that will make it possible to integrate with devices that make the identifications will be presented. We also validated the integration of a predictive model to predict outbreaks of A. aegypti based on previous identifications and weather data

Study of soils from two trenches opened in a slope of the Serra do Mar for the sliding analysis

The landslides are mass gravitational movements induced by gravitational force and by the action of water. This event is the most recurrent and the largest producer of damages in Brazil. The objective of this research was to characterize soils from two trenches opened in a slope ot the Serra do Mar susceptible to landslides. Soil samples were collected and submitted to the geotechnical and physicoqchemical tests, which followed the Brazilian standards. A micro aggregation of the soil from both trenches was found on the basis of the granulometry analysis performed with and without deflocculant26XXVI Congresso de Iniciação Científica Unicam

Plano de negócio: análise da viabilidade de implementação do serviço de assistência técnica autorizada Intelbras à empresa GT Telecomunicações

Trabalho de Conclusão de Curso (Graduação)Este trabalho apresenta um Plano de Negócio para testar a viabilidade da implementação da prestação de serviços de assistência técnica autorizada Intelbras ao portfólio da empresa GT Telecomunicações de Patos de Minas. Ao longo deste trabalho, veremos que, por meio de um plano de negócios bem elaborado, o empreendedor pode avaliar o novo empreendimento de diversos pontos de vistas - financeiro, mercadológico, jurídico, técnico, competitivo, dentre outros - antes mesmo de sua implementação, o que torna o Plano de Negócios uma ferramenta de suma importância para o empreendedor. Primeiramente, para melhor compreensão do conceito e implementação do Plano, foi realizada uma vasta pesquisa bibliográfica. A partir de consultas em livros, revistas e artigos publicados foi possível conceituar e entender a fundo como funciona o processo empreendedor no geral, tendo como uma das suas principais ferramentas o Plano de Negócios. Com esse conhecimento em mãos, foi realizado o estudo de caso acerca da implementação do serviço de assistência técnica autorizada à empresa GT Telecomunicações. Por meio de técnicas de análises financeiras, foi testada e comprovada a viabilidade do novo empreendimento