1,979 research outputs found

    Live Graph Databases Using DCR Graphs

    Get PDF
    Nowadays, it is of uttermost importance for companies that want to be relevant on the market to produce more while making fewer mistakes. Good management practices recommend the replication of critical business operations, like hiring a new employee and the set up he has to go through to have the company tools available, or the steps and decisions required when producing some daily report. The possibility of creating and refining these processes through business process systems to better suit the daily activity of an enterprise has a direct impact on the overall productivity, organization, and cost-reduction. The commonly used process systems make use of notations that are like state machines, having a somewhat imperative style depicting a narrow path where every decision in a process is sequential – providing the user no chance to offer input on how the process carries out – and struggle to take data into account. The proposal of several declarative languages and notations meant to solve this problem, easily incorporating data alongside the specified workflow, and providing actual control to the end-user on how the processes are accomplished by stating what can/needs to be done rather than how to do it in a step-by-step fashion. With this dissertation we present ReDa, a novel declarative, dynamic, and reactive data-centric process language, and the mapping from its specification to a running system (the operational semantics) implemented using the mechanisms of a graph-database, namely neo4j. We also present and evaluate a prototype of a business process system able to emulate the process via a reactive application, addressing the challenges of having a system that interacts with a dynamic process, and the solutions adopted.Atualmente, para que uma empresa possa ser relevante no mercado é bastante importante que a sua produção aumente e que a sua taxa de erros diminua. Regras de boa prática no que toca ao controlo de processos de uma empresa recomendam que as suas tarefas mais críticas sejam efetuadas da mesma forma independentemente de quem as executa, tal como a contratação de um novo empregado e todos os passos que ele precisa de executar para que reúna as condições necessárias para trabalhar, ou quais os pontos-chave obrigatórios a seguir quando se submetem relatórios. A possibilidade de criar e ajustar estes processos ao dia a dia de uma empresa tem um impacto direto na sua produtividade, organização e redução de custos. Os sistemas de processos mais utilizados adotam notações semelhantes a máquinas de estado, onde definem as suas atividades de uma forma sequencial e têm dificuldade em incorporar dados no processo. A proposta de várias linguagens de processos declarativas tem como objetivo solucionar este problema, permitindo a definição do processo e dos seus dados de forma simultânea e flexível, pois ao invés de se definir uma sequência de execução é possível estabelecer o que pode/tem de ser feito. Com esta dissertação apresentamos a ReDa, uma nova linguagem declarativa, dinâmica e reativa centrada em dados, e um mapeamento desta especificação para um sistema de execução que utiliza os mecanismos de uma base de dados de grafos, nomeadamente o neo4j. Apresentamos e avaliamos também um protótipo de sistema de gestão de processos capaz de emular processos ReDa através de uma aplicação reativa, abordando os desafios de desenvolver um sistema que interaja com um processo dinâmico e as soluções adotadas

    Extensive Characterization of Seismic Laws in Acoustic Emissions of Crumpled Plastic Sheets

    Full text link
    Statistical similarities between earthquakes and other systems that emit cracking noises have been explored in diverse contexts, ranging from materials science to financial and social systems. Such analogies give promise of a unified and universal theory for describing the complex responses of those systems. There are, however, very few attempts to simultaneously characterize the most fundamental seismic laws in such systems. Here we present a complete description of the Gutenberg-Richter law, the recurrence times, Omori's law, the productivity law, and Bath's law for the acoustic emissions that happen in the relaxation process of uncrumpling thin plastic sheets. Our results show that these laws also appear in this phenomenon, but (for most cases) with different parameters from those reported for earthquakes and fracture experiments. This study thus contributes to elucidate the parallel between seismic laws and cracking noises in uncrumpling processes, revealing striking qualitative similarities but also showing that these processes display unique features.Comment: Accepted for publication in EP

    Assessing and comparing applications of molecular clocks to phylogenetic datasets

    Get PDF
    Tese de mestrado em Bioinformática e Biologia Computacional, Universidade de Lisboa, Faculdade de Ciências, 2021A implementação de relógios moleculares na inferência filogenética foi uma das maiores descobertas no estudo da área, permitindo à comunidade científica obter resultados mais robustos e com uma menor margem de erro significativa, suportados pelo uso de registos fósseis e geológicos. Nesta tese foram comparados os métodos de inferência filogenética molecular implementados no programa BEAST2 e StarBEAST2, para que se tenha uma ideia de em que cenário um é mais vantajoso aplicar um ou o outro assim como a comparação entre as suas versões mais recentes e antigas. Assim sendo, foram realizadas inferências moleculares independentes a espécies de escaravelhos tigre (Coleoptera: Cicindelini) e a espécies de escaravelhos subterrâneos (Trechus fulvus). As análises tiveram por base a aplicação de um workflow que permite a realização de inferências filogenéticas moleculares inter e intraespecíficas, com base nos recursos disponibilizados pelo pacote do programa BEAST2. Os resultados obtidos com o template standard de BEAST2 demonstram que é fundamental o uso de um outgroup adequado na calibração da árvore filogenética, que garanta suporte de confiança à inferência realizada. Relógios inapropriados ou calibrações incorretas (resultando em valores mínimos de ESS) conduzem a resultados ilusórios de escalas de tempo. Contudo com o programa StarBEAST2 não é necessário o uso de um outgroup, assim como demonstra obter resultados com melhor resolução, intervalos de divergência menores e um tempo de processamento significamente mais rápido comparativamente ao programa BEAST2 (dependendo dos specs do PC usado) ao mesmo tempo usando um método de coalescência multi-espécies o qual habilita ao programa de modelar as árvores de genes dentro da árvore de espécies resultando em geral em resultados de tempos de divergência mais precisos. Porém deve-se ter sempre em atenção o contexto biológico ao averiguar os resultados obtidos na inferência, pois mesmo que sejam bem suportados pela análise dos valores de confiança, nunca deverão ser interpretados isoladamente.The implementation of molecular clocks in phylogenetic inference was one of the largest breakthroughs in the field of genetics and phylogeny, allowing to the scientific community a way to obtain more robust results and with a significantly smaller margin of error, supported by the use of fossil and geological records. In this thesis were compared the methods of molecular phylogenetic inference in the programa BEAST2 and *BEAST2 (or starBEAST2), so as to identify in which scenario is better to use one or the other as well as comparing their most recent versions to their previous iterations so as to ascertain how much better they’ve gotten if at all. And so, were realized phylogenetic inferences on species of tiger beetles (Coleoptera: Cicindelini) and on species of ground beetles (Trechus fulvus). The subsequent analyses had as their core the usage of a workflow designed to standardize the whole procedure permitting the realization of interspecific and intraspecific molecular phylogenetic inferences based on the available resources in BEAST2’s packages. The results obtained through the standard template of BEAST2 show that the usage of an adequate outgroup tailored to the calibration of the phylogenetic tree is fundamental to the credibility of the inference in question. Inaccurate clocks or incorrect calibrations (resulting in low ESS values) inevitably lead to illusory results. However, with the usage of StarBEAST2 an outgroup isn’t required to the phylogenetic inference, as well as it showing (normally) results with better resolution, smaller divergence times and a much faster processing time when compared to BEAST2 (depending on the PC specs) all the while using a multi species Coalescent methods that allows the program to model the analyzed gene trees within the species tree thereby improving the overall accuracy and precision of the divergence times. Although one should always take the biological context into account when analyzing the results as they never should be treated immediately as fact even if well supported by its confidence values

    Judicialization of the Right to Health and Institutional Changes in Brazil

    Get PDF
    The judicialization of the right to health in Brazil may be generating institutional innovations in the system. This judicialization has had unexpected effects, such as disrupting budgetary allocations of public healthcare resources. To deal with such effects, many public authorities directly or indirectly involved with the Brazilian Public Health Care System have created a series of institutional innovations. These innovations aim at i) minimizing the budgetary effects of judicialization and/or ii) decreasing litigation involving the public healthcare system. This chapter highlights two demonstrative cases: the healthcare settlement chambers [Câmaras de Conciliação de Litígios de Saúde] and the centers for technical advisement of judges (Núcleo de AssistênciaTécnica - NAT). This article provides a description of the centers for technical advisement of judges and show the still preliminary attempts to institutionalize extrajudicial forms of settling healthcare litigation

    Speed of information processing on intelligence definition and assessment

    Get PDF
    A relação entre os tempos de reação em tarefas simples e complexas, ou os tempos de inspeção, e os resultados em testes de inteligência tem sido analisada ao longo dos tempos. Neste artigo descrevem-se os procedimentos usados na avaliação dos tempos de reação e tempos de inspeção, apresentam-se os coefi cientes de correlação que tais tarefas mantêm com os testes de inteligência, assim como algumas das explicações avançadas pelos autores para os dados obtidos. Mesmo que os índices de correlação oscilem em função da natureza das tarefas, e sobretudo do grau de homogeneidade ou heterogeneidade das amostras avaliadas, os estudos apontam, de uma forma sistemática, para correlações negativas e estatisticamente signifi cativas. No entanto, o grande desafi o para esta linha de investigação continua a ser a construção e testagem de uma teoria psicológica explicativa dos coefi cientes obtidos.The relationship between the reaction time in simple or complex tasks, or the inspection time, and the results in intelligence tests has been analysed over time. In this article, the procedures used in the assessment of both reaction and inspection time are described. Correlation coeffi cients that such tasks hold with intelligence tests are also presented, as well as some explanations given by the authors. Even though the correlation indexes vary according to the nature of the tasks, and namely with the degree of subjects homogeneity or heterogeneity in the samples, studies systematically point to negative and statistically signifi cant correlations. Nevertheless, the most important challenge in this research fi eld is to develop and to test a psychological theory that explains the correlations found

    IFCINE: reflexões sobre cinema e extensão

    Get PDF
    Anais do 35º Seminário de Extensão Universitária da Região Sul - Área temática: CulturaEste trabalho tem como objetivo apresentar o projeto de extensão “IFCine” que vem sendo desenvolvido no Instituto Federal Catarinense, campus São Bento do Sul e que teve início no primeiro semestre de 2017. O projeto tem como objetivo fundamental criar um espaço para que os moradores da cidade de São Bento do Sul tenham acesso a obras do cinema nacional e estrangeiro, possibilitando-lhes uma opção de lazer e também de reflexão. Para isso, a equipe que compõe o projeto tem selecionado filmes que, para além de divertir, permitem a reflexão sobre temas que se fazem presentes em nosso cotidiano e que nos inquietam todos os dias, sensibilizando-nos e pautando os valores que construímos ao longo de nossas vidas. A exibição dos filmes é gratuita, aberta à comunidade em geral, com prévia divulgação da sinopse do filme escolhido. Após a projeção do filme, é realizado debate com a presença de convidados que, para além de apresentar suas reflexões sobre o filme/tema projetado, têm a função de estimular a reflexão entre os participantes da sessão. A intenção é incentivar a formação crítica e apreciativa dos participantes, especialmente trabalhando produções brasileiras e alternativas. Importa dizer também que o projeto foi aprovado pela Pró-reitoria de extensão do Instituto Federal Catarinense e foi contemplado com duas bolsas para os estagiários que compõem a equipe. Por ser um projeto ainda em andamento não dispomos de resultados finais, todavia, a frequência dos participantes nas sessões indica que este está sendo bem recebido pela comunidade loca

    Influence of experimental conditions on sound pleasantness evaluations

    Get PDF
    ICA 2016, 22nd International Congress on Acoustics, BUENOS AIRES, ARGENTINE, 05-/09/2016 - 09/09/2016Being able to characterize and estimate the urban sound perception is a key point to improve the city dwellers environmental quality. In the past decade, various studies have focused on collecting perceived global sound pleasantness at specific locations. Some of them were carried out on field in order to evaluate the soundscape perception of the participants directly in their context. Other studies were realized in laboratory to better control the stimuli and to increase the number of participants who were subjected to the same sound environment. Most of the laboratory experiments are done in large or semi-anechoic chamber with calibrated and highly realistic audio reproduction in order to respect the ecological validity of the experiment. On one hand, even with a high immersive level, the laboratory context is not as rich as the field context and the two types of experiment could lead to different results. On the other hand, few studies exist showing the influence of decreasing ecological validity for the same experience. This work presents a short statistical analysis of perceptive evaluations of ten urban locations under 4 different test conditions. First, evaluations are carried out directly in-situ in the city of Paris. Then audio-visual recordings of these locations are evaluated in three different experimental conditions: (i) in a well-controlled acoustic laboratory in Paris region with French people, (ii) in an acoustic laboratory in Buenos Aires with Argentinean participants and lowest immersive conditions, (iii) in a habitational room with Argentinean participants and subjective calibration. The study reveals that both the 'country' factor and the experimental conditions in laboratory do not show any significant impact on the perceived sound pleasantness and perceived loudness assessments

    Metacognitive awareness inventory (MAI): adaptação e validação da versão portuguesa

    Get PDF
    O Metacognitive Awareness Inventory (MAI) de Schraw e Dennison (1994) avalia duas dimensões metacognitivas de natureza geral nos adolescentes e adultos: o conhecimento da cognição, que inclui três subprocessos, e a regulação da cognição, que compreende cinco subprocessos. Neste estudo apresenta-se o processo de tradução e de adaptação do MAI à população portuguesa. A consistência interna nas dimensões conhecimento e regulação da cognição foi 0,82 e 0,90, respetivamente. Os resultados da Análise Fatorial Confirmatória sugerem um fator de segunda ordem com base na correlação dos resultados nas duas dimensões. A subescala conhecimento declarativo apresentou melhor validade relativa ao critério comparativamente com as demais subescalas. O MAI constitui-se um instrumento adaptado à realidade portuguesa, tanto para a avaliação da metacognição no global, como nas suas dimensões principais, permitindo apoiar a investigação relativa ao rendimento em processos de aprendizagem e formação na população adulta e de adolescentes

    Alcoolismo na Atenção Primária: o papel do médico na prevenção, diagnóstico e continuidade do tratamento

    Get PDF
    O alcoolismo é uma doença de difícil controle que se dissemina ao longo dos anos, apesar de medidas governamentais de intervenção, soma-se ainda o preconceito e a dificuldade de se criar uma rede de apoio familiar ao usuário. O trabalho vigente, tenta abordar de forma facilitada, onde o médico inserido no programa de saúde da família pode atuar, para que medidas simples de intervenção e seguimento possam se tornar efetivas no controle desta moléstia que nos assombra desde a antiguidade
    corecore