Conhece o microsoft mathematics? Não?! Então este workshop é para si!

A vertiginosa difusão das TIC e o crescente desenvolvimento de diverso software científico estão a produzir mudanças relevantes nos processos formativos em matemática, estando estas a favorecer a criação de novos e melhores recursos didáticos e de autoaprendizagem, assim como uma nova forma de gerar e difundir conhecimento ou experiências cognitivas (Atencio, 2013). No entanto para tirar partido, a nível pessoal ou profissional, da variedade de recursos que estão ao nosso alcance para aprender/ensinar matemática, como os programas Geogebra, Surfer, GeCla, Microsoft Mathematics etc., é importante conhecê-los e saber trabalhar com eles. Tendo em vista este objetivo, neste Workshop pretende-se “apresentar” o software Microsoft Mathematics, explorá-lo como recurso na resolução de algumas tarefas de matemática, assim como discutir as suas potencialidades e limitações. O software Microsoft Mathematics, inicialmente com a designação Microsoft Math, foi lançado pela Microsoft Corporation em 2006, e surgiu para tentar resolver o problema de muitos alunos brasileiros que tinham dificuldades nas disciplinas que envolviam cálculo. No início estava apenas disponível para uso de uma comunidade estudantil que, com o apoio de empresas e universidades, visava formar alunos na área de tecnologias de informação para o mercado de trabalho. Depois de algumas melhorias, o programa passou a ser disponibilizado para o público em geral e a ser comercializado (Sousa e Araújo (s.d.)). Atualmente a versão 4.0 é a mais recente, é gratuita e está disponível para download na internet no site https://www.microsoft.com/ptpt/ download/details.aspx?id=15702. Do ponto de vista da matemática, o Microsoft Mathematics abrange domínios como a aritmética, o cálculo, a álgebra e a estatística. Por exemplo, permite executar uma diversidade de cálculos: resolver equações, inequações e sistemas de equações, converter unidades de medida, calcular estatísticas básicas (como média e desvio-padrão), efetuar operações com números complexos, calcular derivadas e integrais, realizar operações com matrizes, entre outros, e, em alguns casos, possibilita a consulta da resolução passo a passo. Tem também uma vertente gráfica, podendo representar-se gráficos a duas ou a três dimensões. Esta funcionalidade possibilita, ainda, representar graficamente equações com parâmetros, o que permite visualizar as mudanças em função da variação do valor do parâmetro, que pode ser de grande utilidade, por exemplo, na discussão de sistemas de equações lineares. Em termos de usabilidade, o Microsoft Mathematics tem uma interface simples e facilmente compreensível para o utilizador e a sintaxe para comunicar com o software é quase sempre a que se utiliza em matemática. Torna-se igualmente uma mais-valia quando se pretende produzir documentos em Word com simbologia matemática, pois permite exportar para este aplicativo o trabalho realizado. Conclui-se, assim, que o Microsoft Mathematics é um software educativo que fornece um conjunto de ferramentas que podem constituir um apoio para os estudantes do 3.º ciclo do ensino básico, do ensino secundário e ensino superior, na resolução de tarefas que exigem conhecimentos matemáticos. Pode, ainda, tornar-se um recurso útil para os professores tanto na preparação de aulas como no contexto de sala de aula, na medida em que, para além de facilitar a execução de cálculos, permite explorar alguns conteúdos de uma forma interativa e com maior profundidade.

Google Translate e Microsoft Translator - Valutazione di due applicazioni per la traduzione automatica del parlato e analisi di una tecnologia in evoluzione.

This work focuses on Machine Translation (MT) and Speech-to-Speech Translation, two emerging technologies that allow users to automatically translate written and spoken texts. The first part of this work provides a theoretical framework for the evaluation of Google Translate and Microsoft Translator, which is at the core of this study. Chapter one focuses on Machine Translation, providing a definition of this technology and glimpses of its history. In this chapter we will also learn how MT works, who uses it, for what purpose, what its pros and cons are, and how machine translation quality can be defined and assessed. Chapter two deals with Speech-to-Speech Translation by focusing on its history, characteristics and operation, potential uses and limits deriving from the intrinsic difficulty of translating spoken language. After describing the future prospects for SST, the final part of this chapter focuses on the quality assessment of Speech-to-Speech Translation applications. The last part of this dissertation describes the evaluation test carried out on Google Translate and Microsoft Translator, two mobile translation apps also providing a Speech-to-Speech Translation service. Chapter three illustrates the objectives, the research questions, the participants, the methodology and the elaboration of the questionnaires used to collect data. The collected data and the results of the evaluation of the automatic speech recognition subsystem and the language translation subsystem are presented in chapter four and finally analysed and compared in chapter five, which provides a general description of the performance of the evaluated apps and possible explanations for each set of results. In the final part of this work suggestions are made for future research and reflections on the usability and usefulness of the evaluated translation apps are provided.

Transformation of Nine-Accelerometer-Package (NAP) data for replicating headpart kinematics and dynamic loading. Final report.

National Highway Traffic Safety Administration, Washington, D.C.