F. G. Teixeira e a comunidade matemática europeia nos séculos XIX-XX

Esta dissertação descreve o processo de integração dos matemáticos portugueses na comunidade matemática internacional no final do século XIX e início do século XX, focando-se na vida e obra do matemático Francisco Gomes Teixeira (1851-1933). Tenciona a ser mais um contributo para o reconhecimento nacional e internacional do matemático Gomes Teixeira analisando a sua obra como matemático e organizador científico em Portugal através de fontes, parcialmente ainda não conhecidas. Para esse efeito analisou-se a evolução histórica que ocorreu no mundo científico daquela época, em particular a formação da comunidade matemática através de iniciativas individuais ou coletivas, muitas vezes acompanhadas pela fundação de revistas e elaboração de manuais que contribuíram para a internacionalização e, de certa forma, para uma estandardização do estudo universitário básico. Em particular foi estudada a situação em Portugal, onde o papel de liderança foi assumido por Gomes Teixeira. Mostra-se como Gomes Teixeira, graças ao seu trabalho, ao seu talento como matemático e à sua atividade como organizador académico, conseguiu reduzir significativamente o isolamento científico de Portugal na área da matemática. Estudou-se em extensão a fundação de revistas científicas em diferentes países, acompanhando a sua evolução desde de revistas nacionais até revistas internacionais. Focando-nos no Jornal de Sciencias Matemáticas e Astronómicas, fundado em 1877 por Gomes Teixeira (mais tarde conhecido internacionalmente como Teixeira’s Journal), acompanhamos detalhadamente a sua transformação de uma revista nacional numa revista internacional, sendo esta transformação comum naquela época à maioria de revistas científicas importantes de outros países como, por exemplo, no caso do Jornal de Crelle, do Jornal de Liouville, ou outros. Estudou-se igualmente o reconhecimento a nível internacional, através de referências estrangeiras, da abordagem original de Gomes Teixeira à Análise Infinitesimal patente nos seus manuais. O interesse de Gomes Teixeira pela teoria das funções analíticas e pelos seus diferentes desenvolvimentos em série manifestou-se no grande número de artigos publicados sobre este tema e encontrou reconhecimento justo pela designação de um teorema que completa resultados de Lagrange e de Laurent como Teorema de Teixeira. Na sua análise do mérito científico de Gomes Teixeira esta dissertação restringiu-se conscientemente nesta área da Análise Matemática, uma vez que um estudo abrangente de toda a obra ultrapassasse o nosso objetivo. Foi também discutido o intenso intercâmbio científico levado a cabo por Gomes Teixeira através de correspondência e troca de publicações ou permuta de revistas com os matemáticos de diferentes países. Esta análise permitiu verificar um aumento da popularidade dos matemáticos portugueses através do incremento do número de artigos publicados no estrangeiro durante quase 30 anos. Uma fonte imprescindível nesta análise foi o Jahrbuch über die Fortschritte der Mathematik, cujas referências (em geral na língua alemã e por isso até agora quase nunca usadas na literatura Portuguesa) documentaram as publicações em quase todas as revistas matemáticas durante os anos da sua existência entre 1868 e 1942. Descreve-se a colaboração de Gomes Teixeira com diferentes organizações internacionais e documenta-se o apreço internacional por parte do mundo académico. Novos documentos traçam o processo de eleição como membro da Academia das Ciências Alemã Leopoldina, sob proposta de Georg Cantor e outros matemáticos alemães. Finalmente, incluí-se uma breve descrição das atividades levadas a cabo na Rússia, em Espanha e na Grécia em prol do processo de internacionalização da comunidade matemática europeia tendo em vista uma melhor contextualização do contributo de Gomes Teixeira para a integração de Portugal neste processo.

Estudo da variabilidade genética de marcadores moleculares ligados ao gene da MGP e sua aplicação para paternidades em Sparus aurata

Dissertação de Mestrado, Biologia Marinha, Especialização em Biotecnologia Marinha, Faculdade de Ciências do Mar e do Ambiente, Universidade do Algarve, 2008

Boundary value problems for analytic functions in the class of Cauchy-type integrals with density in

We study the Riemann boundary value problem , for analytic functions in the class of analytic functions represented by the Cauchy-type integrals with density in the spaces with variable exponent. We consider both the case when the coefficient is piecewise continuous and it may be of a more general nature, admitting its oscillation. The explicit formulas for solutions in the variable exponent setting are given. The related singular integral equations in the same setting are also investigated. As an application there is derived some extension of the Szegö-Helson theorem to the case of variable exponents.

Eine kurze Einführung zu Bedienungssystemen

Diese kurze Einführung zu Bedienungssystemen konzentriert sich auf grundlegende Gesetzmäßigkeiten für Bedienungssysteme im stationären Zustand (Flusserhaltung, Little-Theorem), die wesentlichen Kenngrößen (Angebot, Belastung, Restverkehr, Wartebelastung, Wartewahrscheinlichkeit, mittlere Bediendauer, mittlere Wartedauer, mittlere Durchlaufdauer) eines Bedienungssystems werden anschaulich eingeführt. Die Erlang-Formel und die Khintchine-Pollaczek-Formel werden diskutiert. Die Einführung ergänzt das Buch "Digitale Kommunikationssysteme 2 - Grundlagen der Vermittlungstechnik" des Verfassers, ist aber völlig eigenständig lesbar.

Aprendizagem dos números reais : um estudo com alunos do 9.º ano

Relatório da Prática de Ensino Supervisionada, Ensino de Matemática, Universidade de Lisboa, 2013

Genetic characterization of the South Portugal population with GlobalFilerTM Express kit - internal validation and forensic applications

Tese de mestrado. Biologia (Biologia Humana e Ambiente). Universidade de Lisboa, Faculdade de Ciências, 2014

Ocean bottom seismic noise : applications for the crust knowledge, interaction ocean-atmosphere and instrumental behaviour

Tese de doutoramento, Ciências Geofísicas e da Geoinformação (Geofisíca), Universidade de Lisboa, Faculdade de Ciências, 2014

Enhancing Student Learning Experiences in Sport Psychology Modules Using Practical Activities

The University of Worcester states in its most recent strategic plan (2013 – 2018) a set of enduring values that guide and direct the activities of the institution. The first listed, and perhaps the most important value is the striving to be “an outstanding university at which to be a student”. This is further supplemented by values such as “to inspire our students to reach their full potential through excellent, innovative teaching, scholarship and research” (University of Worcester 2013: p.4). One of the many ways in which the institution strives to provide this outstanding educational experience is through regular engagement, both formal and informal, with students at a number of points in each semester. Regular experiences of collating formal and informal feedback has led to the identification of a common theme amongst Higher National Diploma (HND) students in the Institute of Sport and Exercise Sciences (ISES), where they consistently request ‘more practicals’. The ISES modules however are designed to incorporate a high degree of interaction, practical activities and tasks. This is especially important for those studying at HND level as research suggests differences in learning preferences exist when compared to undergraduate students, the former preferring a more tactile style of learning (Peters et al. 2008). Using an introductory Sport Psychology HND module as an example, practical activities and tasks are fully embedded in the taught sessions to enable contextual links to be made between the learning outcomes and their subsequent use. Examples of these include: a. interviewing athletes to produce a performance profile (Butler & Hardy 1992); b. completing psychometric instruments such as the Competitive State Anxiety Inventory-2 (CSAI-2) to measure competitive anxiety in sport (Martens et al. 1990) and demonstrate data collection and construct measurement; c. performing relaxation interventions on the students to demonstrate how specific techniques (in this instance, decreasing somatic anxiety) might work in practice; d. demonstrating how observational learning facilitates skill acquisition by creating experimental conditions that the students participate in, in teaching a new skill. Nevertheless owing to the students' previously stated on-going requests for more practical activities, it became evident that assumptions about what students consider an effective means of experiential or active learning in the context of sport-related disciplines of study needed to be investigated. This is where the opportunity to undertake an action research project arose, this being a practical method commonly employed in pedagogical enquiry to aid reflection on teaching and assessment practice for the purposes of working towards continuous improvement.

Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Successful termination in timed CSP

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Optimização do posicionamento de câmaras de vídeo-vigilância

Dissertação de Mestrado em Engenharia de Redes de Comunicação e Multimédia

Oligocene CO2 decline promoted C4 photosynthesis in grasses.

C4 photosynthesis is an adaptation derived from the more common C3 photosynthetic pathway that confers a higher productivity under warm temperature and low atmospheric CO2 concentration [1, 2]. C4 evolution has been seen as a consequence of past atmospheric CO2 decline, such as the abrupt CO2 fall 32-25 million years ago (Mya) [3-6]. This relationship has never been tested rigorously, mainly because of a lack of accurate estimates of divergence times for the different C4 lineages [3]. In this study, we inferred a large phylogenetic tree for the grass family and estimated, through Bayesian molecular dating, the ages of the 17 to 18 independent grass C4 lineages. The first transition from C3 to C4 photosynthesis occurred in the Chloridoideae subfamily, 32.0-25.0 Mya. The link between CO2 decrease and transition to C4 photosynthesis was tested by a novel maximum likelihood approach. We showed that the model incorporating the atmospheric CO2 levels was significantly better than the null model, supporting the importance of CO2 decline on C4 photosynthesis evolvability. This finding is relevant for understanding the origin of C4 photosynthesis in grasses, which is one of the most successful ecological and evolutionary innovations in plant history.

New perspectives in the use of ink evidence in forensic science: Part I. Development of a quality assurance process for forensic ink analysis by HPTLC

The level of information provided by ink evidence to the criminal and civil justice system is limited. The limitations arise from the weakness of the interpretative framework currently used, as proposed in the ASTM 1422-05 and 1789-04 on ink analysis. It is proposed to use the likelihood ratio from the Bayes theorem to interpret ink evidence. Unfortunately, when considering the analytical practices, as defined in the ASTM standards on ink analysis, it appears that current ink analytical practices do not allow for the level of reproducibility and accuracy required by a probabilistic framework. Such framework relies on the evaluation of the statistics of the ink characteristics using an ink reference database and the objective measurement of similarities between ink samples. A complete research programme was designed to (a) develop a standard methodology for analysing ink samples in a more reproducible way, (b) comparing automatically and objectively ink samples and (c) evaluate the proposed methodology in a forensic context. This report focuses on the first of the three stages. A calibration process, based on a standard dye ladder, is proposed to improve the reproducibility of ink analysis by HPTLC, when these inks are analysed at different times and/or by different examiners. The impact of this process on the variability between the repetitive analyses of ink samples in various conditions is studied. The results show significant improvements in the reproducibility of ink analysis compared to traditional calibration methods.

Genetic variants in novel pathways influence blood pressure and cardiovascular disease risk.

Blood pressure is a heritable trait influenced by several biological pathways and responsive to environmental stimuli. Over one billion people worldwide have hypertension (≥140 mm Hg systolic blood pressure or  ≥90 mm Hg diastolic blood pressure). Even small increments in blood pressure are associated with an increased risk of cardiovascular events. This genome-wide association study of systolic and diastolic blood pressure, which used a multi-stage design in 200,000 individuals of European descent, identified sixteen novel loci: six of these loci contain genes previously known or suspected to regulate blood pressure (GUCY1A3-GUCY1B3, NPR3-C5orf23, ADM, FURIN-FES, GOSR2, GNAS-EDN3); the other ten provide new clues to blood pressure physiology. A genetic risk score based on 29 genome-wide significant variants was associated with hypertension, left ventricular wall thickness, stroke and coronary artery disease, but not kidney disease or kidney function. We also observed associations with blood pressure in East Asian, South Asian and African ancestry individuals. Our findings provide new insights into the genetics and biology of blood pressure, and suggest potential novel therapeutic pathways for cardiovascular disease prevention.

Blood pressure loci identified with a gene-centric array.

Raised blood pressure (BP) is a major risk factor for cardiovascular disease. Previous studies have identified 47 distinct genetic variants robustly associated with BP, but collectively these explain only a few percent of the heritability for BP phenotypes. To find additional BP loci, we used a bespoke gene-centric array to genotype an independent discovery sample of 25,118 individuals that combined hypertensive case-control and general population samples. We followed up four SNPs associated with BP at our p < 8.56 × 10(-7) study-specific significance threshold and six suggestively associated SNPs in a further 59,349 individuals. We identified and replicated a SNP at LSP1/TNNT3, a SNP at MTHFR-NPPB independent (r(2) = 0.33) of previous reports, and replicated SNPs at AGT and ATP2B1 reported previously. An analysis of combined discovery and follow-up data identified SNPs significantly associated with BP at p < 8.56 × 10(-7) at four further loci (NPR3, HFE, NOS3, and SOX6). The high number of discoveries made with modest genotyping effort can be attributed to using a large-scale yet targeted genotyping array and to the development of a weighting scheme that maximized power when meta-analyzing results from samples ascertained with extreme phenotypes, in combination with results from nonascertained or population samples. Chromatin immunoprecipitation and transcript expression data highlight potential gene regulatory mechanisms at the MTHFR and NOS3 loci. These results provide candidates for further study to help dissect mechanisms affecting BP and highlight the utility of studying SNPs and samples that are independent of those studied previously even when the sample size is smaller than that in previous studies.