ONTIC: A Knowledge Representation System for Mathematics

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.

Scoring Methods for Ordinal Multidimensional Forced-Choice Items

In most psychological tests and questionnaires, a test score is obtained by taking the sum of the item scores. In virtually all cases where the test or questionnaire contains multidimensional forced-choice items, this traditional scoring method is also applied. We argue that the summation of scores obtained with multidimensional forced-choice items produces uninterpretable test scores. Therefore, we propose three alternative scoring methods: a weak and a strict rank preserving scoring method, which both allow an ordinal interpretation of test scores; and a ratio preserving scoring method, which allows a proportional interpretation of test scores. Each proposed scoring method yields an index for each respondent indicating the degree to which the response pattern is inconsistent. Analysis of real data showed that with respect to rank preservation, the weak and strict rank preserving method resulted in lower inconsistency indices than the traditional scoring method; with respect to ratio preservation, the ratio preserving scoring method resulted in lower inconsistency indices than the traditional scoring method

ROC parameters in item and context recognition. 'Par??metros ROC en el reconocimiento de items y contextos'

Resumen tomado de la publicaci??n. Resumen tambi??n en ingl??s

Funcionamiento diferencial de los items en una situaci??n de contacto de lenguas

Resumen tomado de la publicaci??n

Supuestos y consideraciones en los estudios emp??ricos sobre el funcionamiento diferencial de los items

Resumen tomado de la publicaci??n

Inputs for the incorporation of the UNESCO guidelines on ICT competency standards for teachers : the training of teachers of mathematics in Central America

Resumen tomado de la publicaci??n

Introduction to Network Mathematics

Introduction to Network Mathematics provides college students with basic graph theory to better understand the Internet

School of Mathematics Computing Guide

Guide for computing in the School of Mathematics. Intended for new staff and PG students. Originally written by Anton Prowse from a number of earlier documents.

La influencia de factores educativos y familiares sobre el aprendizaje de una segunda lengua, y los efectos sobre la inteligencia y cognición

Actualmente, la investigación científica acerca de la influencia de los factores educativos y familiares en el aprendizaje de una segunda lengua (L2) es limitada. En comparación, los efectos que tiene la L2 en la inteligencia y cognición han sido más estudiados. Por esta razón, el artículo presenta una revisión de la literatura empírica existente que relaciona lo mencionado anteriormente, ampliando así la temática del bilingüismo. Se buscaron artículos en cuatro bases de datos (PSICODOC, ISI Web of knowledge y SCOPUS), usando palabras claves específicas, en el periodo de 1990 hasta el 2012. De 79 artículos encontrados, 34 cumplieron con los criterios de inclusión para la revisión. Asimismo, se tuvieron en cuenta dos libros, de los cuales se revisó un capítulo por cada uno según los mismos criterios. En conjunto, los resultados arrojaron importantes datos teóricos y de investigación que relacionan el éxito en el aprendizaje de una L2 con la inteligencia y cognición, según la influencia de los factores educativos y familiares. En conclusión, se identificaron más factores educativos que familiares; lo cual a concepto de la autora evidencia la limitada investigación que se ha hecho sobre los factores familiares en el bilingüismo actualmente.

WAIS seminar:Mathematics for Web Science Part3-1

ABSTRACT In the first two seminars we looked at the evolution of Ontologies from the current OWL level towards more powerful/expressive models and the corresponding hierarchy of Logics that underpin every stage of this evolution. We examined this in the more general context of the general evolution of the Web as a mathematical (directed and weighed) graph and the archetypical “living network” In the third seminar we will analyze further some of the startling properties that the Web has as a graph/network and which it shares with an array of “real-life” networks as well as some key elements of the mathematics (probability, statistics and graph theory) that underpin all this. No mathematical prerequisites are assumed or required. We will outline some directions that current (2005-now) research is taking and conclude with some illustrations/examples from ongoing research and applications that show great promise.

WAIS seminar:Mathematics for Web Science Part 3-2

ABSTRACT In the first two seminars we looked at the evolution of Ontologies from the current OWL level towards more powerful/expressive models and the corresponding hierarchy of Logics that underpin every stage of this evolution. We examined this in the more general context of the general evolution of the Web as a mathematical (directed and weighed) graph and the archetypical “living network” In the third seminar we will analyze further some of the startling properties that the Web has as a graph/network and which it shares with an array of “real-life” networks as well as some key elements of the mathematics (probability, statistics and graph theory) that underpin all this. No mathematical prerequisites are assumed or required. We will outline some directions that current (2005-now) research is taking and conclude with some illustrations/examples from ongoing research and applications that show great promise.

WAIS seminar: Mathematics for Web Science: Part 3-3

ABSTRACT In the first two seminars we looked at the evolution of Ontologies from the current OWL level towards more powerful/expressive models and the corresponding hierarchy of Logics that underpin every stage of this evolution. We examined this in the more general context of the general evolution of the Web as a mathematical (directed and weighed) graph and the archetypical “living network” In the third seminar we will analyze further some of the startling properties that the Web has as a graph/network and which it shares with an array of “real-life” networks as well as some key elements of the mathematics (probability, statistics and graph theory) that underpin all this. No mathematical prerequisites are assumed or required. We will outline some directions that current (2005-now) research is taking and conclude with some illustrations/examples from ongoing research and applications that show great promise.

Impact on the quality of learning as a result of the use of computers in schools

The educational software and computer assisted learning has been used in schools to promote the interest of students in new ways of thinking and learning so it can be useful in the reading learning process. Experimental studies performed in preschool and school age population have shown a better yield and a positive effect in reading, mathematics and cognitive skills in children who use educative software for fi fteen to twenty minutes a day periods. The goal of this study was to evaluate the progression in verbal, visual-motor integration and reading skills in children who were using educational software to compare them with a group in traditional pedagogic methodology. Results: All children were evaluated before using any kind of pedagogic approach. Initial evaluation revealed a lower–age score in all applied test. 11% of them were at high risk for learning disorders. There was a second evaluation that showed a significant positive change compared with the fi rst one. Nevertheless, despite some items, there were no general differences comparing the groups according if they were using or not a computer. In conclusion, policies on using educational software and computers must be revaluated due to the fact that children in our public schools come from a deprived environment with a lack of opportunities to use technologies.