6 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs
em Universidade do Minho
Resumo:
Relatório de estágio de mestrado em Ensino de Informática
Resumo:
Relatório de estágio de mestrado em Ensino de Informática
Resumo:
This paper presents a new approach of pre-defined profiles, based in different voltage and current values, to control the charging and discharging processes of batteries in order to assess their performance. This new approach was implemented in a prototype that was specially developed for such purpose. This prototype is a smart power electronics platform that allows to perform batteries analysis and to control the charging and discharging processes through a web application using pre-defined profiles. This platform was developed aiming to test different batteries technologies. Considering the relevance of the energy storage area based in batteries, especially for the batteries applied to electric mobility systems, this platform allows to perform controlled tests to the batteries, in order to analyze the batteries performance under different scenarios of operation. Besides the results obtained with the batteries, this work also intends to produce results that can contribute to an involvement in the strengthening of the Internet-of-Things.
Resumo:
Doctoral Program in Computer Science
Resumo:
In this article, we develop a specification technique for building multiplicative time-varying GARCH models of Amado and Teräsvirta (2008, 2013). The variance is decomposed into an unconditional and a conditional component such that the unconditional variance component is allowed to evolve smoothly over time. This nonstationary component is defined as a linear combination of logistic transition functions with time as the transition variable. The appropriate number of transition functions is determined by a sequence of specification tests. For that purpose, a coherent modelling strategy based on statistical inference is presented. It is heavily dependent on Lagrange multiplier type misspecification tests. The tests are easily implemented as they are entirely based on auxiliary regressions. Finite-sample properties of the strategy and tests are examined by simulation. The modelling strategy is illustrated in practice with two real examples: an empirical application to daily exchange rate returns and another one to daily coffee futures returns.
Resumo:
Surgical site infections (SSI) often occur after invasive surgery, which is as a serious health problem, making it important to develop new biomaterials to prevent infections. Spider silk is a natural biomaterial with excellent biocompatibility, low immunogenicity and controllable biodegradability. Through recombinant DNA technology, spider silk-based materials can be bioengineered and functionalized with antimicrobial (AM) peptides 1. The aim of this study is to develop new materials by combining spider silk chimeric proteins with AM properties and silk fibroin extracted from Bombyx mori cocoons to prevent microbial infection. Here, spider silk domains derived from the dragline sequence of the spider Nephila clavipes (6 mer and 15 mer) were fused with the AM peptides Hepcidin and Human Neutrophil peptide 1 (HNP1). The spider silk domain maintained its self-assembly features allowing the formation of beta-sheets to lock in structures without any chemical cross-linking. The AM properties of the developed chimeric proteins showed that 6 mer + HNP1 protein had a broad microbicidal activity against pathogens. The 6 mer + HNP-1 protein was then assembled with different percentages of silk fibroin into multifunctional films. In vitro cell studies with a human fibroblasts cell line (MRC5) showed nontoxic and cytocompatible behavior of the films. The positive cellular response, together with structural properties, suggests that this new fusion protein plus silk fibroin may be good candidates as multifunctional materials to prevent SSI.