Desenvolvimento da fluência no cálculo mental através do uso de estratégias de cálculo: um estudo no 4.º e no 6.º ano de escolaridade

Relatório de estágio de mestrado em Ensino do 1º e 2º Ciclo do Ensino Básico

Pensar, testar, opinar e construir: a resolução de problemas no jardim de infância e primeiro ciclo

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico

Estudo da influência de nanotubos de carbono funcionalizados nas propriedades de revestimentos de poliuretano

Dissertação de mestrado em Propriedades e Tecnologias de Polímeros

Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Sistema de predição de avarias em máquinas de unidades fabris globalmente dispersas

Tese de Doutoramento Ramo Engenharia Industrial e de Sistemas

Search for massive supersymmetric particles decaying to many jets using the ATLAS detector in pp collisions at s√=8TeV

Results of a search for decays of massive particles to fully hadronic final states are presented. This search uses 20.3 fb−1 of data collected by the ATLAS detector in s√=8TeV proton--proton collisions at the LHC. Signatures based on high jet multiplicities without requirements on the missing transverse momentum are used to search for R-parity-violating supersymmetric gluino pair production with subsequent decays to quarks. The analysis is performed using a requirement on the number of jets, in combination with separate requirements on the number of b-tagged jets, as well as a topological observable formed from the scalar sum of the mass values of large-radius jets in the event. Results are interpreted in the context of all possible branching ratios of direct gluino decays to various quark flavors. No significant deviation is observed from the expected Standard Model backgrounds estimated using jet-counting as well as data-driven templates of the total-jet-mass spectra. Gluino pair decays to ten or more quarks via intermediate neutralinos are excluded for a gluino with mass mg~<1TeV for a neutralino mass mχ~01=500GeV. Direct gluino decays to six quarks are excluded for mg~<917GeV for light-flavor final states, and results for various flavor hypotheses are presented.

Momentos de inovação e mudança na terapia cognitivo comportamental para a bulimia nervosa

Dissertação de mestrado em Psicologia Aplicada

Otimização com restrições de complementaridade: algoritmos e aplicações

Tese de Doutoramento em Engenharia Industrial e de Sistemas (PDEIS)

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.

Mechanism of extracellular silver nanoparticles synthesis by Stereum hirsutum and Fusarium oxysporum

The increasing interest for greener and biological methods of synthesis has led to the development of non-toxic and comparatively more bioactive nanoparticles. Unlike physical and chemical methods of nanoparticle synthesis, microbial synthesis in general and mycosynthesis in particular is cost-effective and environment-friendly. However, different aspects, such as the rate of synthesis, monodispersity and downstream processing, need to be improved. Many fungal-based mechanisms have been proposed for the formation of silver nanoparticles (AgNPs), mainly those involving the presence of nitrate reductase, which has been detected in filtered fungus cell used for AgNPs production. There is a general acceptance that nitrate reductase is the main responsible for the reduction of Ag ions for the formation of AgNPs. However, this generally accepted mechanism for fungal AgNPs production is not totally understood. In order to elucidate the molecules participating in the mechanistic formation of metal nanoparticles, the current study is focused on the enzymes and other organic compounds involved in the biosynthesis of AgNPs. The use of each free fungal mycelium of both Stereum hirsutum and Fusarium oxysporum will be assessed. In order to identify defective mutants on the nitrate reductase structural gene niaD, fungal cultures of S.hirsutum and F.oxysporum will be selected by chlorate resistance. In addition, in order to verify if each compound identified as key-molecule influenced on the production of nanoparticles, an in vitro assay using different nitrogen sources will be developed. Lately, fungal extracellular enzymes will be measured and an in vitro assay will be done. Finally, The nanoparticle formation and its characterization will be evaluated by UV-visible spectroscopy, electron microscopy (TEM), X-ray diffraction analysis (XRD), Fourier transforms infrared spectroscopy (FTIR), and LC-MS/MS.

Design de superfície biomimética para aplicação em atividades desportivas

Tese de Doutoramento Engenharia Têxtil.

Measurement of the forward-backward asymmetry of electron and muon pair-production in pp collisions at s√ = 7 TeV with the ATLAS detector

This paper presents measurements from the ATLAS experiment of the forward-backward asymmetry in the reaction pp→Z/γ∗→l+l−, with l being electrons or muons, and the extraction of the effective weak mixing angle. The results are based on the full set of data collected in 2011 in pp collisions at the LHC at s√ = 7 TeV, corresponding to an integrated luminosity of 4.8 fb−1. The measured asymmetry values are found to be in agreement with the corresponding Standard Model predictions. The combination of the muon and electron channels yields a value of the effective weak mixing angle of 0.2308±0.0005(stat.)±0.0006(syst.)±0.0009(PDF), where the first uncertainty corresponds to data statistics, the second to systematic effects and the third to knowledge of the parton density functions. This result agrees with the current world average from the Particle Data Group fit.

Measurements of the W production cross sections in association with jets with the ATLAS detector

This paper presents cross sections for the production of a W boson in association with jets, measured in proton--proton collisions at s√=7 TeV with the ATLAS experiment at the Large Hadron Collider. With an integrated luminosity of 4.6fb−1, this data set allows for an exploration of a large kinematic range, including jet production up to a transverse momentum of 1 TeV and multiplicities up to seven associated jets. The production cross sections for W bosons are measured in both the electron and muon decay channels. Differential cross sections for many observables are also presented including measurements of the jet observables such as the rapidities and the transverse momenta as well as measurements of event observables such as the scalar sums of the transverse momenta of the jets. The measurements are compared to numerous QCD predictions including next-to-leading-order perturbative calculations, resummation calculations and Monte Carlo generators.

A high order model for piezoelectric rods: an asymptotic approach

Preprint submitted to International Journal of Solids and Structures. ISSN 0020-7683

Solving large 0–1 multidimensional knapsack problems by a new simplified binary artificial fish swarm algorithm

The artificial fish swarm algorithm has recently been emerged in continuous global optimization. It uses points of a population in space to identify the position of fish in the school. Many real-world optimization problems are described by 0-1 multidimensional knapsack problems that are NP-hard. In the last decades several exact as well as heuristic methods have been proposed for solving these problems. In this paper, a new simpli ed binary version of the artificial fish swarm algorithm is presented, where a point/ fish is represented by a binary string of 0/1 bits. Trial points are created by using crossover and mutation in the different fi sh behavior that are randomly selected by using two user de ned probability values. In order to make the points feasible the presented algorithm uses a random heuristic drop item procedure followed by an add item procedure aiming to increase the profit throughout the adding of more items in the knapsack. A cyclic reinitialization of 50% of the population, and a simple local search that allows the progress of a small percentage of points towards optimality and after that refines the best point in the population greatly improve the quality of the solutions. The presented method is tested on a set of benchmark instances and a comparison with other methods available in literature is shown. The comparison shows that the proposed method can be an alternative method for solving these problems.