Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP

The Closest Vector Problem (CVP) and the Shortest Vector Problem (SVP) are prime problems in lattice-based cryptanalysis, since they underpin the security of many lattice-based cryptosystems. Despite the importance of these problems, there are only a few CVP-solvers publicly available, and their scalability was never studied. This paper presents a scalable implementation of an enumeration-based CVP-solver for multi-cores, which can be easily adapted to solve the SVP. In particular, it achieves super-linear speedups in some instances on up to 8 cores and almost linear speedups on 16 cores when solving the CVP on a 50-dimensional lattice. Our results show that enumeration-based CVP-solvers can be parallelized as effectively as enumeration-based solvers for the SVP, based on a comparison with a state of the art SVP-solver. In addition, we show that we can optimize the SVP variant of our solver in such a way that it becomes 35%-60% faster than the fastest enumeration-based SVP-solver to date.

Lithium ion rechargeable batteries: State of the art and future needs of microscopic theoretical models and simulations

This review deals with the recent developments and present status of the theoretical models for the simulation of the performance of lithium ion batteries. Preceded by a description of the main materials used for each of the components of a battery -anode, cathode and separator- and how material characteristics affect battery performance, a description of the main theoretical models describing the operation and performance of a battery are presented. The influence of the most relevant parameters of the models, such as boundary conditions, geometry and material characteristics are discussed. Finally, suggestions for future work are proposed.

Extreme value Birnbaum-Saunders regression models applied to environmental data

Extreme value models are widely used in different areas. The Birnbaum–Saunders distribution is receiving considerable attention due to its physical arguments and its good properties. We propose a methodology based on extreme value Birnbaum–Saunders regression models, which includes model formulation, estimation, inference and checking. We further conduct a simulation study for evaluating its performance. A statistical analysis with real-world extreme value environmental data using the methodology is provided as illustration.

Exploring female mice interstrain differences relevant for models of depression

Depression is an extremely heterogeneous disorder. Diverse molecular mechanisms have been suggested to underlie its etiology. To understand the molecular mechanisms responsible for this complex disorder, researchers have been using animal models extensively, namely mice from various genetic backgrounds and harboring distinct genetic modifications. The use of numerous mouse models has contributed to enrich our knowledge on depression. However, accumulating data also revealed that the intrinsic characteristics of each mouse strain might influence the experimental outcomes, which may justify some conflicting evidence reported in the literature. To further understand the impact of the genetic background, we performed a multimodal comparative study encompassing the most relevant parameters commonly addressed in depression, in three of the most widely used mouse strains: Balb/c, C57BL/6, and CD-1. Moreover, female mice were selected for this study taken into account the higher prevalence of depression in women and the fewer animal studies using this gender. Our results show that Balb/c mice have a more pronounced anxious-like behavior than CD-1 and C57BL/6 mice, whereas C57BL/6 animals present the strongest depressive-like trait. Furthermore, C57BL/6 mice display the highest rate of proliferating cells and brain-derived neurotrophic factor (Bdnf) expression levels in the hippocampus, while hippocampal dentate granular neurons of Balb/c mice show smaller dendritic lengths and fewer ramifications. Of notice, the expression levels of inducible nitric oxide synthase (iNos) predict 39.5% of the depressive-like behavior index, which suggests a key role of hippocampal iNOS in depression. Overall, this study reveals important interstrain differences in several behavioral dimensions and molecular and cellular parameters that should be considered when preparing and analyzing experiments addressing depression using mouse models. It further contributes to the literature by revealing the predictive value of hippocampal iNos expression levels in depressive-like behavior, irrespectively of the mouse strain.

Organização e gestão da manutencão de ferramentas numa empresa de produção de peças metálicas

Dissertação de mestrado Engenharia e Gestão da Qualidade

Cylindrically symmetric models of gravitational collapse to black holes: a short review

We survey results about exact cylindrically symmetric models of gravitational collapse in General Relativity. We focus on models which result from the matching of two spacetimes having collapsing interiors which develop trapped surfaces and vacuum exteriors containing gravitational waves. We collect some theorems from the literature which help to decide a priori about eventual spacetime matchings. We revise, in more detail, some toy models which include some of the main mathematical and physical issues that arise in this context, and compute the gravitational energy flux through the matching boundary of a particular collapsing region. Along the way, we point out several interesting open problems.

Development of a thermoelectric generator for the exhaust of a vehicle

Dissertação de mestrado integrado em Engenharia Mecânica

Numerical simulation of the reflow soldering process

Dissertação de mestrado integrado em Mechanical Engineering

Specification and testing of multiplicative time-varying GARCH models with applications

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.

Exploring the role of O-Mannosylation in the modulation of E-Cadherin function in Gastric Cancer cell line models

Dissertação de mestrado em Bioquímica Aplicada – Biomedicina

Evaluating biomaterial-and microfluidic-based 3D tumor models

Cancer is a major cause of morbidity and mortality worldwide, with a disease burden estimated to increase in the coming decades. Disease heterogeneity and limited information on cancer biology and disease mechanisms are aspects that 2D cell cultures fail to address. We review the current "state-of-the-art" in 3D Tissue Engineering (TE) models developed for and used in cancer research. Scaffold-based TE models and microfluidics, are assessed for their potential to fill the gap between 2D models and clinical application. Recent advances in combining the principles of 3D TE models and microfluidics are discussed, with a special focus on biomaterials and the most promising chip-based 3D models.

Pervasive data mining engine

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

A integração de técnicas BIM (Building Information Modeling) no projeto e na construção de estruturas de madeira

Dissertação de mestrado integrado em Engenharia Civil

Metabolic engineering with multi-objective optimization of kinetic models

Kinetic models have a great potential for metabolic engineering applications. They can be used for testing which genetic and regulatory modifications can increase the production of metabolites of interest, while simultaneously monitoring other key functions of the host organism. This work presents a methodology for increasing productivity in biotechnological processes exploiting dynamic models. It uses multi-objective dynamic optimization to identify the combination of targets (enzymatic modifications) and the degree of up- or down-regulation that must be performed in order to optimize a set of pre-defined performance metrics subject to process constraints. The capabilities of the approach are demonstrated on a realistic and computationally challenging application: a large-scale metabolic model of Chinese Hamster Ovary cells (CHO), which are used for antibody production in a fed-batch process. The proposed methodology manages to provide a sustained and robust growth in CHO cells, increasing productivity while simultaneously increasing biomass production, product titer, and keeping the concentrations of lactate and ammonia at low values. The approach presented here can be used for optimizing metabolic models by finding the best combination of targets and their optimal level of up/down-regulation. Furthermore, it can accommodate additional trade-offs and constraints with great flexibility.

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.