OntoMathPROOntoMath^{PRO} Ontology: A Linked Data Hub for Mathematics

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.Comment: 15 pages, 6 images, 1 table, Knowledge Engineering and the Semantic Web - 5th International Conferenc

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

The area of geometry with its very strong and appealing visual contents and its also strong and appealing connection between the visual content and its formal specification, is an area where computational tools can enhance, in a significant way, the learning environments. The dynamic geometry software systems (DGSs) can be used to explore the visual contents of geometry. This already mature tools allows an easy construction of geometric figures build from free objects and elementary constructions. The geometric automated theorem provers (GATPs) allows formal deductive reasoning about geometric constructions, extending the reasoning via concrete instances in a given model to formal deductive reasoning in a geometric theory. An adaptative and collaborative blended-learning environment where the DGS and GATP features could be fully explored would be, in our opinion a very rich and challenging learning environment for teachers and students. In this text we will describe the Web Geometry Laboratory a Web environment incorporating a DGS and a repository of geometric problems, that can be used in a synchronous and asynchronous fashion and with some adaptative and collaborative features. As future work we want to enhance the adaptative and collaborative aspects of the environment and also to incorporate a GATP, constructing a dynamic and individualised learning environment for geometry.Comment: In Proceedings THedu'11, arXiv:1202.453

Information technologies and the development of professional knowledge and identity in teacher education

This paper addresses the preparation in ICT of preservice mathematics teachers. We describe the aims, assumptions, and work carried out in a course offered at the University of Lisbon and briefly discuss the processes involved in the development of professional knowledge and the formation of professional identities. Using a qualitative methodology, based on the administration of free-response questionnaires to the student teachers enrolled in the course in 1999-2000, we analyze their general perspectives about ICT, the implications of the use of ICT in their view of teaching methodologies, and their development of a professional identity. This work provides suggestions for teacher education practice and for further research

Development of pre-service mathematics teachers’ professional knowledge and identity in working with information and communication technology

This paper describes the work undertaken in a course in communication and information technology in a pre-service program for secondary school mathematics teachers. This course aimed to help pre-service teachers develop a positive attitude regarding ICT and use it confidently. It focused on the exploration of educational software and of the Internet’s potential as a means of research and production of web sites. We discuss how the pre-service mathematics teachers evaluate their work concerning their commitment, difficulties they found, learning they identified, and personal relationship. We also analyse the effects of the course on the development of their professional knowledge and identity

Moodle for Italian Astronomy Olympiad

Italian Astronomy Olympiads are organized by Societ\`a Italiana di Astronomia in collaboration with Istituto Nazionale di Astrofisica (INAF) and they are included in the MIUR's upgrading program for educational excellence. The Presidency of the National Olympic Committee based at Osservatorio Astronomico di Brera (INAF). Olympiads are aimed to italian high school students: the winners of the national stage participate to International Astronomy Olympiad (IAO). IAO officially born in 1996 at the initiative of Euro-Asian Astronomical Society. They are held every year in autumn, in a different country, and they see the regular participation of over twenty national teams of the European and Asian area, including Italy. Today the didactical support is limited to the little material provided by Italian Committee on the italian official site. In order to supply this lack, we projected a didatcical platform, developed with Moodle, that it could propose astronomical learning pages like glossary's voices and a lot of exercises about every subject

Engaging Undergraduate Students in Transportation Studies through Simulating Transportation for Realistic Engineering Education and Training (STREET)

The practice of transportation engineering and planning has evolved substantially over the past several decades. A new paradigm for transportation engineering education is required to better engage students and deliver knowledge. Simulation tools have been used by transportation professionals to evaluate and analyze the potential impact of design or control strategy changes. Conveying complex transportation concepts can be effectively achieved by exploring them through simulation. Simulation is particularly valuable in transportation education because most transportation policies and strategies in the real world take years to implement with a prohibitively high cost. Transportation simulation allows learners to apply different control strategies in a risk-free environment and to expose themselves to transportation engineering methodologies that are currently in practice. Despite the advantages, simulation, however, has not been widely adopted in the education of transportation engineering. Using simulation in undergraduate transportation courses is sporadic and reported efforts have been focused on the upper-level technical elective courses. A suite of web-based simulation modules was developed and incorporated in the undergraduate transportation courses at University of Minnesota. The STREET (Simulating Transportation for Realistic Engineering Education and Training) research project was recently awarded by NSF (National Science Foundation) to develop web-based simulation modules to improve instruction in transportation engineering courses and evaluate their effectiveness. Our ultimate goal is to become the epicenter for developing simulation-based teaching materials, an active textbook, which offers an interactive learning environment to undergraduate students. With the hand-on nature of simulation, we hope to improve student understanding of critical concepts in transportation engineering and student motivation toward transportation engineering, and improve student retention in the field. We also would like to disseminate the results and teaching materials to other colleges to integrate the simulation modules in their curricula.Transportation Education and Training, Transportation Simulation, Roadway Geometry Design