Proof in classroom social practice

How does the construction of proof relate to the social practice developed in the mathematics classroom? This report addresses the role of diagrams in order to focus the complementarity of participation and reification in the process of constructing a proof and negotiating its meaning. The discussion is based on the analysis of the mathematical practice developed by a group of four 9th grade students and is inspired by the social theory of learning

Reasoning and proof in classroom (9th grade)

This paper is research oriented and pretends to contribute toward giving empirical evidence about how students develop their reasoning and how they achieved to a proof construction in school context. Its main theme is epistemology. It describes the way in which four students in 9th Grade explored a task related with the discovery of symmetry axes in various geometric figures. The proof constructed by students had essentially an explaining function and it was related with the symmetry axes of regular polygons. The teacher’s role in meaning negotiation of the proof and its need is described through illustrative episodes. The paper presents part of a study which purpose is to analyse the nature of mathematical proof in classroom, its role and the nature of the relationship between the construction of a proof and the social interactions. Assuming a social perspective, attention is focussed on the social construction of knowledge and on the structuring resources that shape mathematical experience. The study’s methodology has an interpretative nature. One outcome of the study discussed here is that students develop first a practical understanding with no awareness of the reasons founding mathematical statements and after a theoretical one leading them to a proof elaboration.

Producing an explanatory proof in a 9th grade classroom

Este artigo apresenta parte de um estudo fundamentado na problemática da demonstração na matemática escolar. Descreve o modo como quatro alunos do 9.º ano exploraram uma tarefa relacionada com a descoberta de eixos de simetria em várias figuras geométricas. A demonstração, que os mesmos construíram, teve essencialmente uma função explicativa. O papel da professora na negociação do significado de demonstração e da sua necessidade é igualmente analisado. Os alunos desenvolvem primeiro uma compreensão prática sem consciência das razões que fundamentam as afirmações matemáticas e só depois uma compreensão teórica que os conduz à construção de uma demonstração.

Risco e incerteza no pensamento biomédico: notas teóricas sobre o advento da quantificação e da prova experimental na medicina moderna

A biomedicina é um domínio do saber no qual a proliferação do conceito de risco se tem evidenciado de forma expressiva, o que revela uma preocupação em proceder ao controlo sistemático dos problemas através de um modelo de racionalização instrumental. Tal procedimento é elucidativo do investimento que é feito na interpretação das incertezas como riscos. Consequentemente, a dimensão estatística que lhe está associada é cada vez mais um dos principais traços do seu perfil científico. Biomedicine is a field where the concept of risk has shown an impressive increase in its importance. This fact demonstrates a concern with a systematic problem control through an instrumental rationalizing model, expressing eloquently the investment being made in interpreting uncertainty as risk and the consequent statistical dimension as an ever-more quintessential feature of its scientific profile.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.

A Integração curricular da demonstração

Neste artigo, são discutidos os conceitos de demonstração e de esquema demonstrativo, bem como a relevância curricular da demonstração e os contextos favoráveis à sua aprendizagem. Alguns dos resultados do estudo, relativamente ao papel da demonstração no currículo, bem como ao modo como se desenvolveu o processo demonstrativo, são apresentados e discutidos. A metodologia adotada no estudo teve uma natureza interpretativa e os participantes no estudo foram uma turma de 9.º ano e a respetiva professora de Matemática. As conclusões do estudo apontam para o facto de os alunos tenderem a usar exemplos particulares para validar as suas afirmações matemáticas. Apontam ainda para as múltiplas funções da demonstração nas tarefas em que esta surgiu como um meio de descoberta da solução do problema. Sugerem também que a introdução e a negociação da importância da demonstração implicam uma intervenção curricular, na qual a professora detém um papel fundamental.

Academic social network in EHES

This paper presents the foundations of an Academic Social Network (ASN) focusing the Bologna Declaration and the Bologna Process (BP) mobility issues using ontological support. An ASN will permit students to share commons academic interests, preferences and mobility paths in the European Higher Education Space (EHES). The description of the conceptual support is ontology based allowing knowledge sharing and reuse. An approach is presented by merging Academic Ontology to Support the Bologna Mobility Process with Friend of a Friend ontology. The resulting ontology supports the student mobility profile in the ASN. The strategies to make available, in the network, knowledge about mobility issues, are presented including knowledge discovery and simulation approaches to cover student's mobility scenarios for BP.

Transvase : quando a ficção invade a realidade

ABSTRACT: Adopting the concept of metalepsis, as explained by Gérard Genette, I intend to tackle the miscegenation of ontological worlds as practiced in metacinematic films dealing either with the creator or the spectator and made famous with Woody Allen’s film The Purple Rose of Cairo (1985, EUA). Assuming the existence of two adjoining fictional universes, one of them intrafilmically projected onto a screen and the other positioned in front of it so as to create or observe the other, one realizes that, in fact, they both communicate in a more intense way. That is, they both can cross the barrier that separates them and function, literally, as communicating vessels thrusting themselves onto the other side of fiction. The use of this screen passage technique – which I call ‘spilling narrative’ – although it takes place inside the film, at an intradiegetic level, cannot be considered a simple comic effect. In actuality, it is a very serious affair, denoting the authorial intervention as a reflexive practice of écriture by means of a mise en abyme, according to Lucien Dällenbach. Therefore, the fictional spilling over of worlds which totally blends together both sides of the twice artificial universe of the fabula, represents the emotional and intellectual involvement of the creator with his/her creation and of the spectator with the world watched. Both illustrate the desire of fusion inherent in the acts of creation and reception. My approach will be based on Gabriele Salvatores’ Happy Family (2010) and Wojciech Marczewski’s Escape from the ‘Liberty’ Cinema (1990).

Ansiedade na performance: causas e possíveis curas

I - Este relatório pretende descrever o estágio especializado em ensino de música realizado no âmbito do mestrado em Ensino de Música na Escola Superior de Música de Lisboa. Este estágio decorreu no Instituto Gregoriano de Lisboa e no Conservatório de Música, de Dança e de Arte Dramática de Lisboa, duas escolas de ensino oficial especializado. Sendo a primeira pública e a segunda privada, estas escolas apresentam realidades muito diferentes do ponto de vista organizacional e de gestão, que resultam em situações heterogéneas e dependentes de vários factores que serão mencionados ao longo deste relatório. A análise SWOT efectuada para cada uma destas organizações descreve mais objectivamente os factores e variáveis que permitiram construir este relatório. Foram caracterizados três alunos, um de cada curso: preparatório, básico e secundário. A Maria M. é a aluna do 2º ano do curso preparatório, o Pedro R. é aluno de 3º grau do curso básico de instrumento e o Diego M. é aluno de 7º grau. Foram aprofundadas as práticas pedagógicas desenvolvidas com cada um dos alunos e os avanços e metas atingidas por cada um destes alunos. Este estágio resulta numa reflexão sobre a prática pedagógica aplicada e as suas motivações.

Probabilistic models for mechanical properties of prestressing strands

This study focus on the probabilistic modelling of mechanical properties of prestressing strands based on data collected from tensile tests carried out in Laboratório Nacional de Engenharia Civil (LNEC), Portugal, for certification purposes, and covers a period of about 9 years of production. The strands studied were produced by six manufacturers from four countries, namely Portugal, Spain, Italy and Thailand. Variability of the most important mechanical properties is examined and the results are compared with the recommendations of the Probabilistic Model Code, as well as the Eurocodes and earlier studies. The obtained results show a very low variability which, of course, benefits structural safety. Based on those results, probabilistic models for the most important mechanical properties of prestressing strands are proposed.

Linux based mobile: operating systems

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Relações públicas versus marketing no setor da cultura em Portugal EGEAC: um estudo de caso

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.

RFID-based wireless passive sensors utilizing cork materials

This paper presents the design of low-cost, conformal UHF antennas and RFID tags on two types of cork substrates: 1) natural cork and 2) agglomerate cork. Such RFID tags find an application in wine bottle and barrel identification, and in addition, they are suitable for numerous antenna-based sensing applications. This paper includes the high-frequency characterization of the selected cork substrates considering the anisotropic behavior of such materials. In addition, the variation of their permittivity values as a function of the humidity is also verified. As a proof-of-concept demonstration, three conformal RFID tags have been implemented on cork, and their performance has been evaluated using both a commercial Alien ALR8800 reader and an in-house measurement setup. The reading of all tags has been checked, and a satisfactory performance has been verified, with reading ranges spanning from 0.3 to 6 m. In addition, this paper discusses how inkjet printing can be applied to cork surfaces, and an RFID tag printed on cork is used as a humidity sensor. Its performance is tested under different humidity conditions, and a good range in excess of 3 m has been achieved, allied to a good sensitivity obtained with a shift of >5 dB in threshold power of the tag for different humid conditions.

Deficiência, autonomia e teatro: trabalho de projecto

Trabalho de Projeto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Teatro e Comunidade.

Retificador trifásico controlado com fator de potência quase unitário

Dissertação de Mestrado para obtenção do grau de Mestre em Engenharia Eletrotécnica Ramo Automação e Eletrónica Industrial