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.

Estudo acústico de /a/ acentuado na fala bracarense: potenciais aplicações

Dissertação de mestrado em Ciências da Linguagem

Risk of multiple myeloma is associated with polymorphisms within telomerase genes and telomere length

Compelling biological and epidemiological evidences point to a key role of genetic variants of the TERT and TERC genes in cancer development. We analyzed the genetic variability of these two gene regions using samples of 2,267 multiple myeloma (MM) cases and 2,796 healthy controls. We found that a TERT variant, rs2242652, is associated with reduced MM susceptibility (OR?=?0.81; 95% CI: 0.72-0.92; p?=?0.001). In addition we measured the leukocyte telomere length (LTL) in a subgroup of 140 cases who were chemotherapy-free at the time of blood donation and 468 controls, and found that MM patients had longer telomeres compared to controls (OR?=?1.19; 95% CI: 0.63-2.24; ptrend ?=?0.01 comparing the quartile with the longest LTL versus the shortest LTL). Our data suggest the hypothesis of decreased disease risk by genetic variants that reduce the efficiency of the telomerase complex. This reduced efficiency leads to shorter telomere ends, which in turn may also be a marker of decreased MM risk.

Poker learner: modelação de jogadores através de data mining

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

Fine time scaling of purifying selection on human nonsynonymous mtDNA mutations based on the worldwide population tree and mother-child pairs

A high-resolution mtDNA phylogenetic tree allowed us to look backward in time to investigate purifying selection. Purifying selection was very strong in the last 2,500 years, continuously eliminating pathogenic mutations back until the end of the Younger Dryas (∼11,000 years ago), when a large population expansion likely relaxed selection pressure. This was preceded by a phase of stable selection until another relaxation occurred in the out-of-Africa migration. Demography and selection are closely related: expansions led to relaxation of selection and higher pathogenicity mutations significantly decreased the growth of descendants. The only detectible positive selection was the recurrence of highly pathogenic nonsynonymous mutations (m.3394T>C-m.3397A>G-m.3398T>C) at interior branches of the tree, preventing the formation of a dinucleotide STR (TATATA) in the MT-ND1 gene. At the most recent time scale in 124 mother-children transmissions, purifying selection was detectable through the loss of mtDNA variants with high predicted pathogenicity. A few haplogroup-defining sites were also heteroplasmic, agreeing with a significant propensity in 349 positions in the phylogenetic tree to revert back to the ancestral variant. This nonrandom mutation property explains the observation of heteroplasmic mutations at some haplogroup-defining sites in sequencing datasets, which may not indicate poor quality as has been claimed.

Neurocognitive profile and cognitive intervention in Alzheimer's disease

Tese de Doutoramento em Psicologia (Especialidade de Psicologia Clínica)

Estudo numérico sobre o reforço de pilares de betão armado com cantoneiras e presilhas metálicas: análise paramétrica e modelo de cálculo

Dissertação de mestrado integrado em Engenharia Civil

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

The role of macroH2A1 in prostate carcinogenesis

Dissertação de mestrado em Genética Molecular

Late Clinical Outcomes of the Fontan Operation in Patients with Tricuspid Atresia

OBJECTIVE: Evaluation of the long-term clinical results of the Fontan operation in patients with tricuspid atresia. METHODS: A retrospective analysis was made at the Instituto de Cardiologia do Rio Grande do Sul (Institute of Cardiology of Rio Grande do Sul), from August 1980 through January 2000, of 25 patients with a long-term follow-up, out of a series of 36 patients who underwent the Fontan operation or one of its variants due to tricuspid atresia. Their mean age at surgery was 5.4±3.1 years, and their mean weight was 15.8±6.1 kg, the majority of them (63.9%) being males. Four patients underwent the classical Fontan operation, 12 the Kreutzer variant, 6 the Björk variant, 9 total cavopulmonary shunt with a fenestrated tube, and 5 total cavopulmonary shunt with a nonfenestrated tube. RESULTS: The patients were followed-up on an outpatient basis, with a mean long-term survival time of 5.5±4.2 years (50 days to 17.8 years) and a late mortality rate of 8%. Arterial saturation increased from 77.2±18.8% in the preoperative period to 91±6.7% upon the last outpatient visit (p>0.05). At the final check, most (67%) patients were asymptomatic and 87% could tolerate exercise. Ten (40%) patients experienced some kind of complication during the long-term follow-up, such as cardiac arrhythmia, cyanosis, protein-losing enteropathy, neurological events, right heart failure, intolerance to exercise and reoperation. CONCLUSION: The results indicate that, once the immediate postoperative period is over, during which the adaptations to the new circulatory physiology occur, the evolution of patients with tricuspid atresia who underwent the Fontan operation is satisfactory, in spite of a low, yet significant, morbidity.

Synthetic biology approaches to shape bacteriophages towards Pseudomonas aeruginosa biofilm control

Dissertation for Ph.D. degree in Biomedical Engineering.

Insights into bacterial colony morphology evolution and diversification during infection development in cystic fibrosis

Tese de Doutoramento em Engenharia Biomédica.

Dos ciclos e sistemas aos interstícios de Creixomil: entre o seu conhecimento e transformação potencial

Dissertação de mestrado integrado em Arquitectura (área de especialização em Território)

Модифицированный метод t0

სტატიაში განხილულია ცნობილი მეთოდის t0-ის მოდიფიცირებული ვარიანტი. ნაჩვენებია, რომ თუ გვაქვს ერთი სრული ჰოდოგრაფი, ხოლო მისი შემხვედრი ჰოდოგრაფი არასრულია, მაგრამ მისი საშუალებით შესაძლებელია მოჩვენებითი სიჩქარის გამოთვლა, მაშინ გვეძლევა საშუალება საკმაო სიზუსტით დავადგინოთ გარდამტეხი ზედაპირის ჩაწოლის სიღრმე და განვსაზღვროთ მისი პარამეტრები.