A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

3D Object Recognition: Symmetry and Virtual Views

Many 3D objects in the world around us are strongly constrained. For instance, not only cultural artifacts but also many natural objects are bilaterally symmetric. Thoretical arguments suggest and psychophysical experiments confirm that humans may be better in the recognition of symmetric objects. The hypothesis of symmetry-induced virtual views together with a network model that successfully accounts for human recognition of generic 3D objects leads to predictions that we have verified with psychophysical experiments.

Assembly Guidance in Augmented Reality Environments Using a Virtual Interactive Tool

The application of augmented reality (AR) technology for assembly guidance is a novel approach in the traditional manufacturing domain. In this paper, we propose an AR approach for assembly guidance using a virtual interactive tool that is intuitive and easy to use. The virtual interactive tool, termed the Virtual Interaction Panel (VirIP), involves two tasks: the design of the VirIPs and the real-time tracking of an interaction pen using a Restricted Coulomb Energy (RCE) neural network. The VirIP includes virtual buttons, which have meaningful assembly information that can be activated by an interaction pen during the assembly process. A visual assembly tree structure (VATS) is used for information management and assembly instructions retrieval in this AR environment. VATS is a hierarchical tree structure that can be easily maintained via a visual interface. This paper describes a typical scenario for assembly guidance using VirIP and VATS. The main characteristic of the proposed AR system is the intuitive way in which an assembly operator can easily step through a pre-defined assembly plan/sequence without the need of any sensor schemes or markers attached on the assembly components.

Reforma educativa en Colombia : implicaciones socioculturales de la acción pedagógica.

Establecer las implicaciones socioculturales de la reforma educativa en Colombia y la racionalidad de los marcos normativos de la acción pedagógica preescrita en éstos. Las unidades de análisis son las decisiones que en materia de políticas intervienen en el sistema educativo colombiano y que se organizan en tres: las referidas en los aspectos ideológico-político, práctico-pedagógico y organizativo-administrativo. Análisis crítico-reflexivo e ideológico sobre los escenarios de emergencia de la educación colombiana. El rastreo de la naturaleza de estos cambios permite interpretar y comprender las implicaciones socioculturales que de la reforma educativa se derivan. Este estudio se enfoca hacia dos periodos que corresponden a dos planes de gobierno en los cuales se han producido las mayores transformaciones del sistema educativo colombiano. Sirviéndose de una metodología crítica-reflexiva se desvela la intencionalidad de la reforma educativa. Las fuentes de información escritas provienen de todo el marco jurídico que soporta la reforma educativa colombiana y las declaraciones mundiales que más han impactado sobre las políticas educativas. La acción pedagógica prescrita en la normativa colombiana es constitutiva de un potente dispositivo para la reproducción de formas de dominación, exclusión y control social. Pero también es una acción humana que puede modificarse si se generan espacios de reflexión y crítica entre quienes la realizan. Es importante superar la visión simplista de que el campo práctico-pedagógico es un espacio físico que se describe como cuatro paredes. El campo práctico-pedagógico es un contexto abierto, real/virtual, potencial y simbólico donde tiene lugar la acción pedagógica. Por lo tanto, es un escenario sociocultural o de interacciones donde los actores educativos pueden construir y reproducir el sentido. El campo práctico-pedagógico es un contexto de reproducción, de consumo, de circulación de discursos, prácticas y pautas comportamentales.

Organizaci??n del espacio y concepciones educativas de los maestros en Educaci??n Infantil

Guia per a l'adaptació a l'espai europeu d'educació superior: 1. Competències = Guía para la adaptación al espacio europeo de educación superior: 1. Competencias = Guide to adaptation to the european higher education area: 1. Competences

Aquest quadern és el primer lliurement de les Orientacions per a l’adaptació a l’espai europeu d’educació superior. Té l’origen en el debat de la Comissió de seguiment del Pla pilot d’adaptació a l’espai europeu d’educació superior de la UdG i del grup de treball que s’ha constituït l’hivern 2005-2006 expressament per tractar el tema de les competències

Guia per a l'adaptació a l'espai europeu d'educació superior: 2. Competències UdG = Guía para la adaptación al espacio europeo de educación superior: 2. Competencias UdG = Guide to Adaptation to the European Higher Education Area: 2. UdG competences

Aquest quadern forma part de la Guia per a l'adaptació a l'espai europeu d'educació superior

Guia per a l'adaptació a l'espai europeu d'educació superior: 3. El vostre paper, estudiants = Guía para la adaptación al espacio europeo de educación superior: 3. Vuestro papel, estudiantes = Guide to adaptation to the European Higher Education Area: 3. Your role as a student

Aquest quadern forma part de la Guia per a l'adaptació a l'espai europeu d'educació superior

Guia per a l'adaptació a l'espai europeu d'educació superior: 4. Activitats d'aprenentatge = Guía para la adaptación al espacio europeo de educación superior: 4. Actividades de aprendizaje = Guide to Adaptation to the European Higher Education Area: 4. Learning Activities

Aquest quadern és el quart lliurement de la Guia per a l'adaptació a l'espai europeo superior. Té l'origen en el debat de la Comissió de Seguiment del Pla Pilot d'adaptació a l'Espai Europeu d'Educació Superior de la UdG i del grup de treball que s'ha constituït l'estiu del 2006 expressament per tractar el tema de les activitats d'aprenentatge

Guia per a l'adaptació a l'espai europeu d'educació superior: 5. Avaluació de l'aprenentatge = Guía para la adaptación al espacio europeo de educación superior = Guide to Adaptation to the European Higher Education Area

Aquest quadern és el cinquè lliurement de la Guia per a l'adaptació a l'espai europeu d'educació superior. Té l'origen en el debat de la Comissió de Seguiment del Pla pilot d'Adaptació a l'Espai Europeu d'Educació Superior de la UdG i del grup de treball que s'ha constituït expressament per tractar el tema de l'avaluació dels aprenentatges

Guia per a l'adaptació a l'espai europeu d'educació superior: 6. Continguts = Guía para la adaptación al espacio europeo de educación superior: 6. Contenidos = Guide to Adaptation to the European Higher Education Area: 6. Contents

Aquest quadern és el sisè lliurament de la Guia per a l'adaptació a l'espai europeu d'educació superior. Té l'origen en el debat de la Comissió de Seguiment del Pla Pilot d'Adaptació a l'Espai Europeu d'Educació Superior de la UdG i del grup de treball que s'ha constituït expressament per tractar el tema de l'avaluació dels aprenentatges

El Proceso de enseñanza-aprendizaje centrado en el alumno: experiencias de la adaptación de los estudios de economía de la Universidad de Valencia al nuevo marco del EEES

El Proyecto de Innovación Educativa (PIE) de la licenciatura de Economía en la Universidad de Valencia tiene como objetivo principal potenciar el desarrollo académico y personal de los estudiantes. En este PIE el estudiante es el centro y eje de su propio aprendizaje y se fomenta el trabajo autónomo y autogestionado por él, tutorización personalizada y el uso de metodologías docentes comunicativas y activas. Los cambios a acometer en el marco del Espacio Europeo de Educación Superior (EEES) requieren una mayor participación e interacción entre todos aquellos que participan en el proceso enseñanza-aprendizaje, esto es, alumnos, profesores, coordinadores, agentes sociales, etc., con el consiguiente cambio de rol que ello conlleva. Por esta razón, en el PIE de Economía se ha tratado de potenciar la formación y coordinación de los profesores implicados en el proyecto; la implantación de metodologías activas que promuevan el proceso de enseñanza-aprendizaje del estudiante de forma autónoma y colaborativa –antes que la mera transmisión de contenidos-; el diseño de sistemas de evaluación que se ajusten a los objetivos a alcanzar por los estudiantes, expresados no sólo en términos de conocimientos (como se venía haciendo de forma tradicional) sino que también deben considerar el aprendizaje en función de las competencias que los estudiantes deben adquirir; y la utilización de las nuevas tecnologías de la información y la comunicación (“Aula Virtual”). En este trabajo mostramos cómo se ha desarrollado el primer curso de implantación del PIE en la Licenciatura de Economía. Para ello, abordamos los puntos fuertes detectados en el proceso e identificamos las principales áreas sobre las que creemos es necesario actuar para promover la mejora en la coordinación y en los procesos de enseñanza-aprendizaje. Palabras clave: Áreas de mejora; Espacio Europeo de Educación Superior; Licenciatura en Economía; Proyecto de Innovación Educativa; Puntos fuertes, Aprendizaje autónomo

La Enseñanza virtual cómo método para que el estudiante asimile conceptos de matemáticas empresariales

La implantación del Sistema Europeo de Transferencia de Créditos (ECTS) no se reduce a un mero cambio en la forma de computar la dedicación del estudiante a cada asignatura, sino que debe llevar aparejada una renovación de la metodología docente. Los métodos más tradicionales deben sustituirse por otros que conviertan al alumno en el verdadero protagonista del proceso de enseñanza-aprendizaje y cuyos sistemas de evaluación tengan en cuenta no sólo la adquisición de conocimientos, sino también la de destrezas genéricas así como de otras específicas de la titulación cursada e incluso de la asignatura. En ese sentido, la aplicación de las nuevas tecnologías a los procesos de enseñanza-aprendizaje puede ser un método docente innovador que resulte de gran utilidad para conseguir algunos de los objetivos que se plantean en la adaptación al ECTS; en concreto, facilitar al estudiante la adquisición de unos conocimientos mínimos y de habilidades, capacidades, aptitudes y destrezas para que sea capaz de enfrentarse a nuevos problemas y adquirir nuevos conocimientos. En la asignatura Matemáticas, que se imparte en primer curso de la Licenciatura en Administración y Dirección de Empresas y también en primer curso de las Licenciaturas conjuntas en Derecho y en Administración y Dirección de Empresas de la Universidad Pablo de Olavide, se han combinado, durante el curso 2007/2008, las clases presenciales con la docencia virtual. Se ha intentado con ello que el estudiante adquiera una mayor motivación e interés por la asignatura, así como que asimile con mayor facilidad los conceptos básicos. En este trabajo, exponemos las principales características de nuestra experiencia, mostrando el diseño del curso y analizando la aceptación que ha tenido entre nuestros estudiantes

Experiencias docentes en Derecho realizadas con aplicaciones tecnológicas

El presente trabajo muestra la experiencia del uso de aplicaciones tecnológicas para la autogestión del aprendizaje en el ámbito del Derecho, fundamentalmente en el ámbito del Derecho internacional privado. El autor participa en este momento, en el curso académico 2007/08 en un proyecto de innovación docente de Derecho y TICs financiado por la Junta de Castilla y León y la Universidad de Valladolid. Si el modelo del Espacio Europeo de Enseñanza Superior busca centrar la estructura educativa sobre el aprendizaje del estudiante, resultará un instrumento adecuado la utilización de plataformas y aplicaciones electrónicas que le faciliten materiales o posibilidades para que a partir de ellos desarrollen los propios estudiantes su particular método y medios de aprendizaje. La primera de las experiencias hace referencia al trabajo con la plataforma Moodle en el “Master en Bibliotecas Digitales” (MBIDI) del Dpto. de Informática de la Universidad de Valladolid (http://mbidi.uva.es/), donde el autor ha impartido “on line” el módulo “Aspectos legales de las bibliotecas digitales”. Lo relevante de la experiencia está en cómo trasladar determinadas metodologías docentes al ámbito “on line”, metodologías como el “Método del caso”, el método de análisis y debate textual, aplicado por el Centro Internacional de Formación de la Organización Internacional del Trabajo de Turín (ICTILO, http://www.itcilo.org/es), u otros, para que el alumno los desarrolle en cooperación con el profesor. La segunda experiencia se refiere a la utilización de una aplicación informática creada y diseñada “ad hoc” con profesores de la ETS de Ingeniería Informática de la Universidad de Valladolid para el manejo de los textos sobre conflicto de jurisdicciones en el ámbito europeo, en el marco de la disciplina de Derecho internacional privado de 5º curso de la titulación en Derecho de la Facultad de Derecho de la Universidad de Valladolid. Las prácticas realizadas con esa aplicación tienen la finalidad de promover y facilitar el manejo de los textos jurídicos por los alumnos y de buscar que los estudiantes comprendan las relaciones entre esos textos. La experiencia está permitiendo mejorar la aplicación y profundizar en sus prestaciones

Glosario : tecnologías de la información, internet y comunicación virtual : arquitectura física y lógica de las TIC en la educación.

Resumen basado en el de la publicación