Export 1834 results:
Sort by: Author Title Type [ Year  (Desc)]
2015
Morgado, M. L., L. Ferrás, and M. Rebelo. "Comparison of different numerical methods for the solution of the time-fractional reaction-diffusion equation with variable diffusion coefficient." 15th International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE 2015). 2015.
Botelho, M., and H. Rocha A comunicação matemática na avaliação da resolução de problemas. Atas do ProfMat 2015. Évora, Portugal: APM, 2015. Abstractpaper.pdf

A aprendizagem dos nossos alunos é fortemente influenciada pelas caraterísticas das tarefas que lhes propomos e a resolução de problemas é frequentemente apontada como uma das tarefas com mais potencial para promover aprendizagens ricas. Mas aprender implica ser capaz de desenvolver raciocínios, de comunicar as nossas ideias e de compreender as dos outros num processo argumentativo e reflexivo. A avaliação das aprendizagens num contexto de resolução de problemas envolve assim, necessariamente como parte importante do processo, uma análise da comunicação que se estabelece entre todos os envolvidos.
Nesta comunicação iremos focar-nos precisamente na comunicação que se estabelece durante a resolução de problemas, abordando as dificuldades dos alunos e dando atenção à interpretação que fazem do enunciado, à compreensão que manifestam das figuras apresentadas, à relação que conseguem estabelecer entre a situação em causa e a informação disponibilizada através de um gráfico, à forma como conseguem explicitar o seu raciocínio e à linguagem matemática que utilizam no decurso do processo de argumentação. Para tal vamos basear-nos num conjunto de problemas propostos a alunos do 10.º ano de escolaridade no decorrer do estudo de funções.

Amado, Miguel P., A. Reaes Pinto, Ana M. Oliveira, and I. Ramalhete "Construção Sustentável - conceito e prática". Casal de Cambra, Lisboa: Editora Caleidoscópio_Edição e Artes Gráficas, SA, Casal de Cambra, ISBN: 978-989-658-324-8, 2015.
Moreira, C., S. Lopes, and H. Rocha Dos jogos à aprendizagem. Atas do ProfMat 2015. Évora, Portugal: APM, 2015. Abstractpaper.pdf

Neste texto apresentamos os jogos no ensino da matemática como uma forma de aprendizagem de conteúdos e não apenas como um recurso que cada professor pode usar nas suas aulas para tornar a aula diferente. Analisamos dois jogos desenvolvidos por nós e que utilizámos com alunos dos 7.º e 10.º anos de escolaridade, procurando não só apresentar os jogos, mas também aspetos da sua implementação em sala de aula, ponderando o contributo que trouxeram à aprendizagem dos alunos.
Aprender matemática depende de um grande número de variáveis, o que torna o ensino um processo complexo, pois é necessário que se desenvolva o raciocínio lógico, além de estimular o desenvolvimento das mais variadas capacidades transversais, tais como o pensamento autónomo, a criatividade, o sentido de estratégia e a capacidade de resolver problemas.
Duas das dificuldades frequentemente encontradas pelos professores passam pela falta de motivação para a aprendizagem e pelo desinteresse pela Matemática. A solução para estes problemas pode passar pela utilização de jogos para complementar o estudo, mas também para a aquisição de novos conteúdos. No entanto, apenas a implementação dos jogos não basta. O papel do professor é de extrema importância e a planificação e orientação da aula são fundamentais para que se alcancem os objetivos pretendidos.

Fiedor, Jan, Zdenek Letko, João M. Lourenço, and Tomas Vojnar. "Dynamic Validation of Contracts in Concurrent Code." Proceedings of the Fifteenth International Conference on Computer Aided Systems Theory (EUROCAST'15). Eds. Alexis Quesada-Arencibia, José Carlos Rodríguez, Roberto Moreno-Díaz jr., and Roberto Moreno-Díaz. Las Palmas de Gran Canaria, Spain: Universidad de Las Palmas de Gran Canaria, 2015. Abstracteurocast15.pdf

Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such parallel programs often contain code blocks that a thread must execute atomically, i.e., with no interference from the other threads of the program. Failing to execute these code blocks atomically leads to errors known as atomicity violations. However, frequently it not obvious to tell when a piece of code should be executed atomically, especially when that piece of code contains calls to some third-party library functions, about which the programmer has little or no knowledge at all. One solution to this problem is to associate a contract with such a library, telling the programmer how the library functions should be used, and then check whether the contract is indeed respected. For contract validation, static approaches have been proposed, with known limitations on precision and scalability. In this paper, we propose a dynamic method for contract validation, which is more precise and scalable than static approaches.

Rybarczyk, Y. "Educative games: the case study of an App to teach handwriting." 5º Evento Internacional Gestión de Proyectos de Educación Virtual. Quito, Ecuador 2015. copy.pdf
Lemos, A., A. Abraão, B. Cruz, M. L. Morgado, M. Rebelo, and F. M. Nunes. "Effect of granular characteristics on the viscoelastic and mechanical properties of native chestnut starch (Castanea sativa Mill)." Food Hydrocolloids. 51 (2015): 305-317.
André Almeida, Micael Inácio, Válter Lúcio, and António Ramos. "Flat Slab Punching Behaviour under Cyclic Horizontal Loading." fib symposium Copenhagen 2015, Concrete – Innovation and Design. Copenhagen 2015. Abstract

n/a

Ferrás, L., N. Ford, J. Nóbrega, M. L. Morgado, and M. Rebelo. "Fractional Pennes’ Bioheat Equation: Theoretical and Numerical Studies." Fractional Calculus and Applied Analysis . 18.4 (2015): 1080-10106.
Dias, Ricardo J., Tiago M. Vale, and João M. Lourenço. "Framework Support for the Efficient Implementation of Multi-version Algorithms." Transactional Memory. Foundations, Algorithms, Tools, and Applications. Eds. Rachid Guerraoui, and Paolo Romano. Vol. 8913. Lecture Notes in Computer Science, 8913. Springer International Publishing, 2015. 166-191. Abstracttransactional_memory-dias_vale_lourenco.pdf

Software Transactional Memory algorithms associate metadata with the memory locations accessed during a transactions lifetime. This metadata may be stored in an external table and accessed by way of a function that maps the address of each memory location with the table entry that keeps its metadata (this is the out-place or external scheme); or alternatively may be stored adjacent to the associated memory cell by wrapping them together (the in-place scheme). In transactional memory multi-version algorithms, several versions of the same memory location may exist. The efficient implementation of these algorithms requires a one-to-one correspondence between each memory location and its list of past versions, which is stored as metadata. In this chapter we address the matter of the efficient implementation of multi-version algorithms in Java by proposing and evaluating a novel in-place metadata scheme for the Deuce framework. This new scheme is based in Java Bytecode transformation techniques and its use requires no changes to the application code. Experimentation indicates that multi-versioning STM algorithms implemented using our new in-place scheme are in average 6 × faster than when implemented with the out-place scheme.

Campos, S., F. Viseu, H. Rocha, and J. A. Fernandes The graphing calculator in the promotion of mathematical writing. Proceedings of 12th International Conference onTechnology in Mathematics Teaching. Faro, Portugal: Universidade do Algarve, 2015. Abstract

Through writing, students express many of their processes and ways of thinking. Since at high school level some of the activities are carried out with the graphing calculator, we intend to investigate the contribution of this resource to promote the mathematical writing in the learning of continuous nonlinear models at 11th grade. Adopting a qualitative methodology, we collected and analyzed the students’ writing productions. What they write when using the calculator gives evidence about the information valued (when they sketch graphics without any justification); about the strategies used (when they define the viewing window and relate different menus on the graphing calculator); and about the reasoning developed (when they justify the information given by the calculator and the formulation of generalizations and conjectures validation).

Marzola, M., J. Russo, and O. Mateus. "Identification and comparison of modern and fossil crocodilian eggs and eggshell structures." Historical Biology. 27.1 (2015): 115-133. Abstractmarzola_et_al_2015_identification_and_comparison_of_modern_and_fossil_crocodilian_eggs_and_eggshell_structures.pdfWebsite

Eggshells from the three extant crocodilian species Crocodylus mindorensis (Philippine Crocodile), Paleosuchus palpebrosus (Cuvier's Smooth-fronted Caiman or Musky Caiman) and Alligator mississippiensis (American Alligator or Common Alligator) were prepared for thin section and scanning electron microscope analyses and are described in order to improve the knowledge on crocodilian eggs anatomy and microstructure, and to find new apomorphies that can be used for identification. Both extant and fossil crocodilian eggs present an ornamentation that vary as anastomo-, ramo- or the here newly described rugosocavate type. The angusticaniculate pore system is a shared character for Crocodylomorpha eggshells and some dinosaurian and avian groups. Previously reported signs of incubated crocodilian eggs were found also on our only fertilised and hatched egg. Paleosuchus palpebrosus presents unique organization and morphology of the three eggshell layers, with a relatively thin middle layer characterised by dense and compact tabular microstructure.

Rocha, H. The impact of technologies on the teacher's use of different representations. Proceedings of 12th International Conference onTechnology in Mathematics Teaching. Faro: Universidade do Algarve, 2015. Abstract

This study intends to characterize how the teacher uses and integrates the different representations provided by the graphing calculator on the process of teaching and learning functions at the secondary level. Specifically, it intends to understand the balance established between the use of the different representations, and the way these representations are articulated. The conclusions reached point to an active use of the graphic and algebraic representations and to a scarce use of the tabular representation. The conclusions also point to a flexible articulation between the two representations usual used, assuming different forms and frequently an interactive approach, repeatedly switching between representations.

Rocha, H. The impact of the cultural context on the professional practice of the teacher. Proceedings of 8th Annual International Conference of Education, Research and Innovation. Seville, Spain: ICERI, 2015. Abstract

THE IMPACT OF THE CULTURAL CONTEXT ON THE PROFESSIONAL PRACTICE OF THE TEACHER

H. Rocha

Universidade NOVA de Lisboa, Faculdade de Ciências e Tecnologia (PORTUGAL)

The professional knowledge is a key element of the teacher’s practice. This knowledge is naturally influenced by the teacher’s beliefs and conceptions and by his training, but the context where he develops his practice is perhaps the most decisive influence. At this level, the school where the teacher works and his colleagues are a powerful influence, but the characteristics of his students are even a stronger influence. The cultural diversity of the students and specifically the linguistic diversity are highly relevant elements. A classroom where different languages converge is always a complex context which requires a deeper professional knowledge with inevitable repercussions over the teacher’s practice.

This study focuses on a teacher working with a mathematics’ class of foreign students with heavy linguistic limitations on the language of instruction and it intends to analyze the impact of this context on the teacher’s practice. In particular, it intends to analyze how this context interferes with the characteristics of the tasks proposed by the teacher and with the way how mathematical concepts are presented to the students.

The study adopts a qualitative and interpretative methodological approach, undertaking one teacher case study. Data were collected during one school year by semi-structured interviews, class observation, and documental data gathering. All interviews and classes observed were audio taped and transcribed. Data analysis was conducted in an interpretative way.

The conclusions reached point to an increase on the appreciation of mechanization, to a large reduction in the use of problematic situations and to a presentation of Mathematics as calculation, disconnected from any application, and where reasoning appears as a marginal element or is even missing. The use of several examples becomes a key element of the practice of this teacher. The main finding of this study suggests that language limitations caused a strong impact on the practice of a teacher who considers the understanding and the development of reasoning from the discussion around mathematical ideas as central to the teaching of this subject. It was also possible to identify that the need to find a way to communicate reinforced the formalism of the mathematical language, placing it in the center of the learning process.

Keywords: cultural context, teacher’s practice, mathematics.

Ford, N., M. L. Morgado, and M. Rebelo. "An implicit finite difference approximation for the solution of the diffusion equation with distributed order in time." Electronic transactions on numerical analysis ETNA . 44 (2015): 289-305.
Rybarczyk, Y. "Interacción Persona-Maquina: aplicaciones en robótica y juegos digitales." Event in the Universidad Tecnológica Indoamérica. Ambato, Ecuador 2015. copy.pdf
Rocha, H. Knowledge for teaching mathematics with technology and the search for a suitable viewing window to represent functions. Proceedings of Cerme 9. Prague, Czech Republic: ERME, 2015. Abstract

The usual difficulties of students regarding the choice of an appropriate window when using the graphing calculator in the study of functions and the importance of the teachers’ knowledge to overcoming them, led to this study. The main goal was to characterize the way teachers address the viewing window in the classroom, trying to infer aspects of the Knowledge for Teaching Mathematics with Technology that can justify that practice. The conclusions reached point to the importance of a set of specific knowledge where I highlight the knowledge of the students’ difficulties, the knowledge of mathematical content necessary to understand the impact of the viewing window on the graphic, and the knowledge of teaching strategies that address both the students’ difficulties and the relevant mathematical knowledge.

Pereira, Bruno Claro, Michael J. Benton, Marcello Ruta, and Octávio Mateus. "Mesozoic echinoid diversity in Portugal: Investigating fossil record quality and environmental constraints on a regional scale." Palaeogeography, Palaeoclimatology, Palaeoecology. 424 (2015): 132-146. Abstractpereira_e_al_2015_mesozoic_echinoids_portugal.pdfWebsite

Abstract Several analyses of diversity through geological time use global, synoptic databases, and this practice often makes it difficult to distinguish true signals in changing diversity from regional-scale sampling and/or geological artefacts. Here we investigate how echinoid diversity changed through the Mesozoic of the Lusitanian basin in Portugal based on a comprehensive, revised database, and seek to distinguish biological signal from geological or environmental constraints. The observed diversity pattern is far from having a defined trend, showing many fluctuations that appear to be linked with gaps in the geological record. This study revealed that, independently of the method used, whether correlation tests or model fitting, the diversity signal is not completely explained by the studied sampling proxies. Among the different proxies, marine facies variation in combination with outcrop area best explains the palaeodiversity curve.

Rocha, H. Múltiplas abordagens, múltiplas representações: um contributo para incrementar a relevância da representação algébrica [Multiple approaches, multiple representations: a contribute to increase the relevance of algebraic representation]. Atas do Encontro de Investigação em Educação Matemática. Bragança, Portugal: SPIEM, 2015. Abstract

A tecnologia e o impacto que esta pode ter sobre as diferentes representações utilizadas e, em particular, sobre a representação algébrica são o foco deste artigo. Procura-se assim compreender como é que o professor enquadra a representação algébrica no trabalho em sala de aula e como a procura tornar relevante para os alunos num contexto de utilização da tecnologia. As conclusões alcançadas apontam para a opção por uma estreita articulação entre as representações algébrica e gráfica e para uma criteriosa escolha de tarefas, envolvendo múltiplas abordagens, onde a representação algébrica vem disponibilizar informação fundamental e tendencialmente inacessível a partir de outras representações.

Morgado, M. L., and M. Rebelo. "Numerical approximation of distributed order reaction–diffusion equations." Journal of Computational and Applied Mathematics. 275 (2015): 216-227.
Rocha, H. O formal da matemática e o intuitivo da tecnologia: que articulação?. Atas do ProfMat 2015. Évora, Portugal: APM, 2015. Abstractpaper.pdf

A tecnologia é cada vez mais indispensável no dia-a-dia, rodeando-nos constantemente. Para os nossos alunos é uma realidade que conhecem desde sempre e que tendem a encarar com uma naturalidade descontraída e intuitiva. A facilidade de acesso à tecnologia e o modo como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstração matemática são o foco deste artigo. Partindo da análise de uma proposta de trabalho onde alunos de 10.º ano começam por uma abordagem intuitiva apoiada na calculadora gráfica e terminam a realizar uma demonstração da conjectura que formularam, procuro discutir a problemática. As conclusões alcançadas sugerem que é possível colocar aos alunos situações onde estes se podem aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia é uma realidade em sala de aula. Sugere ainda que a realização de demonstrações pode, entre outros aspectos já identificados na literatura, dar um contributo importante para a compreensão de aspectos basilares da Matemática.

Rocha, H. O formalismo matemático num contexto de utilização da tecnologia [Mathematical proof in a context of technology integration]. Atas do XXVI SIEM. Évora: APM, 2015. Abstract

The technology and how it tends to emphasize the intuitive and overshadow calculus and mathematical proof are the focus of this paper. The conclusions reached suggest that tasks where students might realize the usefulness of calculus as well as of more intuitive approaches are possible even when the technology is a reality in the classroom. They also suggest that proof may, among other things already identified in the literature, make an important contribution to the students’ understanding of fundamental aspects of mathematics.

A tecnologia e a forma como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstração matemática são o foco deste artigo. As conclusões alcançadas sugerem que é possível colocar aos alunos situações onde estes se possam aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia é uma realidade em sala de aula. Sugere ainda que a realização de demonstrações pode, entre outros aspectos já identificados na literatura, dar um contributo importante para a compreensão de aspectos basilares da Matemática.

Ramos, Luís, João Lita da Silva, and João Tiago Mexia. "On the Strong Consistency of Ridge Estimates." Communications in Statistics -­ Theory and Methods (2015).
Amado, Miguel, and Inês Ramalhete. "Parametric Elements to Modular Social Housing." Architecture_MPS: A JOURNAL OF ARCHITECTURE_MEDIA_POLITICS_SOCIETY. rchitecturemps.com/wp-content/uploads/2015/10/.25/10 (2015): 1-16.
Passos, Fabio, Mouna Kotti, R. Gonzalez-Echevarria, M. H. Fino, E. Roca, R. Castro-Lopez, and F. V. Fernandez Physical vs. Surrogate Models of Passive RF Devices. 2015 IEEE International Symposium on Circuits and Systems. Lisbon: IEEE, 2015.