A utilização da tecnologia na sala de aula como instrumento de visualização e algebrização dos objetos matemáticos

No presente relatório da Prática de Ensino Supervisionada são referidas opções de ensino, procedimentos e reações dos alunos ao processo de ensino. É dada uma grande ênfase ao ambiente de aprendizagem baseado na tecnologia e suportado por uma comunidade de aprendizagem, que tem lugar na própria sala de aula ou na sala de informática. A tecnologia é assumida como um recurso constante na maior parte das aulas através do recurso a tarefas escolhidas intencionalmente tendo em vista a possibilidade de introdução da tecnologia na sua resolução. Esta implementação assumiu várias formas, tais como a exploração de calculadoras, a manipulação do GeoGebra ou simplesmente através da apresentação de ficheiros acabados, o que constitui uma forma de obter uma boa visualização dos objetos matemáticos. A aplicação dos recursos tecnológicos foi progressivamente tornada mais intensiva, atingindo o seu culminar no Projeto de Estágio, designação atribuída a duas aulas concebidas explicitamente para a exploração da temática: “Estabelecimento de um Paralelismo entre a Geometria Tridimensional Dinâmica e as Funções”; Abstract: The Use of Technology in the Classroom as an Instrument of Visualization and Algebrization of the Mathematical Objects In this paper we refer to teaching options, procedures, and to students’ reactions to the teaching processes. We give a lot of reinforcement in the learning environment based on technology and supported by a community of learners, which take place in their own classroom or in the Informatics Class. Technology is assumed as a constant resource in most part of the classes through the intentional tasks’ choosing taking into account the possibility of technology introduction in their resolution. This implementation has assumed several forms, like calculators’ exploration, GeoGebra manipulation or simply by presenting finished files, which is a way of getting a great visualization of mathematical objects. The technological resources’ application turned itself progressively more intensive, presenting its center point on Practice Project, name who was gave to two classes conceived explicitly for the thematic exploration: “The establishment of a parallelism between Dynamic Tridimensional Geometry and the Functions”.

Easy PRAM-based High-performance Parallel Programming with ICE

A poster of this paper will be presented at the 25th International Conference on Parallel Architecture and Compilation Technology (PACT ’16), September 11-15, 2016, Haifa, Israel.

Densus et breuis: considerações sobre o estilo de Tucídides

O estilo de Tucídides foi estudado desde a Antiguidade, sendo a obra mais completa, apesar de não elogiosa, a de Dionísio de Halicarnasso. Este artigo foca alguns dos elementos mais característicos da escrita de Tucídides, estruturando-os em pequenas secções que abrangem a «variatio», os paralelismos, os «hapax legomena», as abstrações, as definições de conceitos, as generalizações e o uso de documentos «verbatim».

Improvements in Hardware Transactional Memory for GPU Architectures

In the multi-core CPU world, transactional memory (TM)has emerged as an alternative to lock-based programming for thread synchronization. Recent research proposes the use of TM in GPU architectures, where a high number of computing threads, organized in SIMT fashion, requires an effective synchronization method. In contrast to CPUs, GPUs offer two memory spaces: global memory and local memory. The local memory space serves as a shared scratch-pad for a subset of the computing threads, and it is used by programmers to speed-up their applications thanks to its low latency. Prior work from the authors proposed a lightweight hardware TM (HTM) support based in the local memory, modifying the SIMT execution model and adding a conflict detection mechanism. An efficient implementation of these features is key in order to provide an effective synchronization mechanism at the local memory level. After a quick description of the main features of our HTM design for GPU local memory, in this work we gather together a number of proposals designed with the aim of improving those mechanisms with high impact on performance. Firstly, the SIMT execution model is modified to increase the parallelism of the application when transactions must be serialized in order to make forward progress. Secondly, the conflict detection mechanism is optimized depending on application characteristics, such us the read/write sets, the probability of conflict between transactions and the existence of read-only transactions. As these features can be present in hardware simultaneously, it is a task of the compiler and runtime to determine which ones are more important for a given application. This work includes a discussion on the analysis to be done in order to choose the best configuration solution.

Hardware processors for pairing-based cryptography

Bilinear pairings can be used to construct cryptographic systems with very desirable properties. A pairing performs a mapping on members of groups on elliptic and genus 2 hyperelliptic curves to an extension of the finite field on which the curves are defined. The finite fields must, however, be large to ensure adequate security. The complicated group structure of the curves and the expensive field operations result in time consuming computations that are an impediment to the practicality of pairing-based systems. The Tate pairing can be computed efficiently using the ɳT method. Hardware architectures can be used to accelerate the required operations by exploiting the parallelism inherent to the algorithmic and finite field calculations. The Tate pairing can be performed on elliptic curves of characteristic 2 and 3 and on genus 2 hyperelliptic curves of characteristic 2. Curve selection is dependent on several factors including desired computational speed, the area constraints of the target device and the required security level. In this thesis, custom hardware processors for the acceleration of the Tate pairing are presented and implemented on an FPGA. The underlying hardware architectures are designed with care to exploit available parallelism while ensuring resource efficiency. The characteristic 2 elliptic curve processor contains novel units that return a pairing result in a very low number of clock cycles. Despite the more complicated computational algorithm, the speed of the genus 2 processor is comparable. Pairing computation on each of these curves can be appealing in applications with various attributes. A flexible processor that can perform pairing computation on elliptic curves of characteristic 2 and 3 has also been designed. An integrated hardware/software design and verification environment has been developed. This system automates the procedures required for robust processor creation and enables the rapid provision of solutions for a wide range of cryptographic applications.

Determination of the maximum steady state of lactate (MLSS) in saliva: An alternative to blood lactate determination

Based on previous research which shows parallelism between the saliva and blood lactate response during incremental exercise, we hypothesized that a "maximum salivary lactate steady state" (saliva-MLSS) might exist. Thus, the aim of the present investigation was to establish 1) which lower limit for the increase in salivary lactate concentration during a constant workload (i.e., from the 10th to the 20th min) test could be used to determine the saliva-MLSS and 2) if the exercise intensity corresponding to the saliva-MLSS is identical to that evoking the (blood) MLSS. Twelve male amateur athletes of mean (+/-SD) age 24+/-5 year were selected for the study. Based on the results of a previous maximal cycle ergometer test for lactate threshold (LT) determination, each subject performed consecutive constant workload tests of 20-min duration on separate days for MLSS determination, Blood and saliva (25 mu l) samples were collected at 0, 10, and 20 min during the tests for lactate determination. A Student's t-test for paired data demonstrated that a salivary lactate increase of 0.8 mM corresponded to the saliva-MLSS. At this value, indeed, no significant differences were observed between the mean (V) over dot O-2, and W values corresponding to the MLSS and the saliva-MLSS. In conclusion, the present findings indicate that 0.8 mM is the lower limit for the increase in saliva lactate concentration during a constant load test and thus is that which might be used as a reference to determine saliva-MLSS. Furthermore, saliva-MLSS might be used as an alternative to MLSS determination in blood samples.

“Biomarkers in a One Health perspective: current knowledge of their ability to merge human and animal health

Biomarkers are nowadays essential tools to be one step ahead for fighting disease, enabling an enhanced focus on disease prevention and on the probability of its occurrence. Research in a multidisciplinary approach has been an important step towards the repeated discovery of new biomarkers. Biomarkers are defined as biochemical measurable indicators of the presence of disease or as indicators for monitoring disease progression. Currently, biomarkers have been used in several domains such as oncology, neurology, cardiovascular, inflammatory and respiratory disease, and several endocrinopathies. Bridging biomarkers in a One Health perspective has been proven useful in almost all of these domains. In oncology, humans and animals are found to be subject to the same environmental and genetic predisposing factors: examples include the existence of mutations in BR-CA1 gene predisposing to breast cancer, both in human and dogs, with increased prevalence in certain dog breeds and human ethnic groups. Also, breast feeding frequency and duration has been related to a decreased risk of breast cancer in women and bitches. When it comes to infectious diseases, this parallelism is prone to be even more important, for as much as 75% of all emerging diseases are believed to be zoonotic. Examples of successful use of biomarkers have been found in several zoonotic diseases such as Ebola, dengue, leptospirosis or West Nile virus infections. Acute Phase Proteins (APPs) have been used for quite some time as biomarkers of inflammatory conditions. These have been used in human health but also in the veterinary field such as in mastitis evaluation and PRRS (porcine respiratory and reproductive syndrome) diagnosis. Advantages rely on the fact that these biomarkers can be much easier to assess than other conventional disease diagnostic approaches (example: measured in easy to collect saliva samples). Another domain in which biomarkers have been essential is food safety: the possibility to measure exposure to chemical contaminants or other biohazards present in the food chain, which are sometimes analytical challenges due to their low bioavailability in body fluids, is nowadays a major breakthrough. Finally, biomarkers are considered the key to provide more personalized therapies, with more efficient outcomes and fewer side effects. This approach is expected to be the correct path to follow also in veterinary medicine, in the near future.

Load balancing for constraint solving with GPUs

Solving a complex Constraint Satisfaction Problem (CSP) is a computationally hard task which may require a considerable amount of time. Parallelism has been applied successfully to the job and there are already many applications capable of harnessing the parallel power of modern CPUs to speed up the solving process. Current Graphics Processing Units (GPUs), containing from a few hundred to a few thousand cores, possess a level of parallelism that surpasses that of CPUs and there are much less applications capable of solving CSPs on GPUs, leaving space for further improvement. This paper describes work in progress in the solving of CSPs on GPUs, CPUs and other devices, such as Intel Many Integrated Cores (MICs), in parallel. It presents the gains obtained when applying more devices to solve some problems and the main challenges that must be faced when using devices with as different architectures as CPUs and GPUs, with a greater focus on how to effectively achieve good load balancing between such heterogeneous devices.

Towards a Multi-device Constraints Solver

To reduce the amount of time needed to solve the most complex Constraint Satisfaction Problems (CSPs) usually multi-core CPUs are used. There are already many applications capable of harnessing the parallel power of these devices to speed up the CSPs solving process. Nowadays, the Graphics Processing Units (GPUs) possess a level of parallelism that surpass the CPUs, containing from a few hundred to a few thousand cores and there are much less applications capable of solving CSPs on GPUs, leaving space for possible improvements. This article describes the work in progress for solving CSPs on GPUs and CPUs and compares results with some state-of-the-art solvers, presenting already some good results on GPUs.