Organización escolar y nuevas tecnologías.

Resumen basado en el de la publicación

Transformación del espacio cinemático Laban para la evaluación del movimiento

Este proyecto tiene como objetivo la implementación de un sistema capaz de analizar el movimiento corporal a partir de unos puntos cinemáticos. Estos puntos cinemáticos se obtienen con un programa previo y se captan con la cámara kinect. Para ello el primer paso es realizar un estudio sobre las técnicas y conocimientos existentes relacionados con el movimiento de las personas. Se sabe que Rudolph Laban fue uno de sus mayores exponentes y gracias a sus observaciones se establece una relación entre la personalidad, el estado anímico y la forma de moverse de un individuo. Laban acuñó el término esfuerzo, que hace referencia al modo en que se administra la energía que genera el movimiento y de qué manera se modula en las secuencias, es una manera de describir la intención de las expresiones internas. El esfuerzo se divide en 4 categorías: peso, espacio, tiempo y flujo, y cada una de estas categorías tiene una polaridad denominada elemento de esfuerzo. Con estos 8 elementos de esfuerzo un movimiento queda caracterizado. Para poder cuantificar los citados elementos de esfuerzo se buscan movimientos que representen a alguno de ellos. Los movimientos se graban con la cámara kinect y se guardan sus valores en un archivo csv. Para el procesado de estos datos se establece que el sistema más adecuado es una red neuronal debido a su flexibilidad y capacidad a la hora de procesar entradas no lineales. Para la implementación de la misma se requiere un amplio estudio que incluye: topologías, funciones de activación, tipos de aprendizaje, algoritmos de entrenamiento entre otros. Se decide que la red tenga dos capas ocultas, para mejor procesado de los datos, que sea estática, siga un proceso de cálculo hacia delante (Feedforward) y el algoritmo por el que se rija su aprendizaje sea el de retropropagación (Backpropagation) En una red estática las entradas han de ser valores fijos, es decir, no pueden variar en el tiempo por lo que habrá que implementar un programa intermedio que haga una media aritmética de los valores. Una segunda prueba con la misma red trata de comprobar si sería capaz de reconocer movimientos que estuvieran caracterizados por más de un elemento de esfuerzo. Para ello se vuelven a grabar los movimientos, esta vez en parejas de dos, y el resto del proceso es igual. ABSTRACT. The aim of this project is the implementation of a system able to analyze body movement from cinematic data. This cinematic data was obtained with a previous program. The first step is carrying out a study about the techniques and knowledge existing nowadays related to people movement. It is known that Rudolf Laban was one the greatest exponents of this field and thanks to his observations a relation between personality, mood and the way the person moves was made. Laban coined the term effort, that refers to the way energy generated from a movement is managed and how it is modulated in the sequence, this is a method of describing the inner intention of the person. The effort is divided into 4 categories: weight, space, time and flow, and each of these categories have 2 polarities named elements of effort. These 8 elements typify a movement. We look for movements that are made of these elements so we can quantify them. The movements are recorded with the kinect camera and saved in a csv file. In order to process this data a neural network is chosen owe to its flexibility and capability of processing non-linear inputs. For its implementation it is required a wide study regarding: topology, activation functions, different types of learning methods and training algorithms among others. The neural network for this project will have 2 hidden layers, it will be static and follow a feedforward process ruled by backpropagation. In a static net the inputs must be fixed, this means they cannot vary in time, so we will have to implement an intermediate program to calculate the average of our data. A second test for our net will be checking its ability to recognize more than one effort element in just one movement. In order to do this all the movements are recorded again but this time in pairs, the rest of the process remains the same.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

La legislación penal de España durante la dominación visigoda /

Mode of access: Internet.

Biblioteca de historia nacional.

Edited by Eduardo Posada and Pedro M. Ibáñez.

La pesadilla de un casero : disparate cómico en un acto /

"Representado con gran aceptación en el teatro de Variedades la noche del 2 de noviembre de 1853" -port.-

The Collusion of Feminist and Postmodernist Impulses in E.L. Doctorow’s "Ragtime"

Many critics of Doctorow have classified him as a postmodernist writer, acknowledging that a wide number of thematic and stylistic features of his early fiction emanate from the postmodern context in which he took his first steps as a writer. Yet, these novels have an eminently social and ethical scope that may be best perceived in their intellectual engagement and support of feminist concerns. This is certainly the case of Doctorow’s fourth and most successful novel, Ragtime. The purpose of this paper will be two-fold. I will explore Ragtime’s indebtedness to postmodern aesthetics and themes, but also its feminist elements. Thus, on the one hand, I will focus on issues of uncertainty, indeterminacy of meaning, plurality and decentering of subjectivity; on the other hand, I will examine the novel’s attitude towards gender oppression, violence and objectification, its denunciation of hegemonic gender configurations and its voicing of certain feminist demands. This analysis will lead to an examination of the problematic collusion of the mostly white, male, patriarchal aesthetics of postmodernism and feminist politics in the novel. I will attempt to establish how these two traditionally conflicting modes coexist and interact in Ragtime.

Desarrollo Sostenible y Espacios Naturales Protegidos: el caso de la Reserva de la Biosfera de Urdaibai

En este Trabajo Fin de Grado se analiza el desarrollo y evolución de los Espacios Naturales Protegidos en el marco del concepto de Desarrollo Sostenible. Se ha tratado de mostrar la evolución en el tiempo y en los fines llevada a cabo por estos Espacios, tanto desde el ámbito internacional como europeo, nacional y local, deteniéndose, especialmente, en el estudio de la Reserva de la Biosfera de Urdaibai, al considerarse uno de los elementos más representativos de Euskadi. Con este trabajo, se confirma la hipótesis de que, aunque en la declaración y protección de Espacios Naturales se aprecia un esfuerzo realizado notable, aún queda un largo camino por recorrer.

Escalaciones con números índices mediante computadora [por] María Teresa Ledezma Elizondo

Tesis (Maestría en Administración de la Construcción) U.A.N.L.

Relación histórica y moral de la portentosa imágen de N. Sr. Jesucristo crucificado aparecido en una de las cuevas de S. Miguel de Chalma, hoy real convento y santuario de este nombre, de religiosos ermitaños de N.G.P. y doctor S. Agustin, en esta Nueva España, y en esta provincia del santísimo nombre de Jesús de México : con los compendios de las vidas de los dos venerables religiosos legos y primeros anacoretas de este santo desierto, F. Bartolomé de Jesús María, y F. Juande San Josef

UANL

Ejemplar de religiosas : Vida de la M. R. M. Sor María Josefa Lina de la Sma. Trinidad, fundadora del Convento de la Purísima Concepción en la Ciudad de San Miguel...

UANL

Manuel Mujica Láinez, Lucio V. López, Horacio Quiroga, Georges Clemenceau, Carlos Martínez Moreno, Roberto Arlt, Enrique González Tuñón, César Fernández Moreno, Juan José Sebreli, Bernardo Kordon, Miguel Brascó, José María Salaverría: Crónicas de Buenos Aires. Edic. Jorge Álvarez, 1965, 154 páginas.

Fil: Polimeni, Dante Osvaldo.

Dos narradores ante la Independencia : Mercedes Rosas de Rivera y Miguel Cané padre

María de Montiel (1861), de Mercedes Rosas de Rivera, y Una noche de boda (1854) de Miguel Cané padre, ofrecen perspectivas diversas y de interés convergente. La ponencia confronta ambas novelas y trata de iluminar aspectos de la sociedad argentina poscolonial, tales como rupturas, transformaciones, rechazos y continuidades. Aunque las dos novelas registran planteos similares en la temática, en la narración de Cané existe una mayor coherencia entre la búsqueda de libertad política, implícita en los combates del ejército, y el reclamo de libertad en la vida privada.

Dos narradores ante la Independencia : Mercedes Rosas de Rivera y Miguel Cané padre

María de Montiel (1861), de Mercedes Rosas de Rivera, y Una noche de boda (1854) de Miguel Cané padre, ofrecen perspectivas diversas y de interés convergente. La ponencia confronta ambas novelas y trata de iluminar aspectos de la sociedad argentina poscolonial, tales como rupturas, transformaciones, rechazos y continuidades. Aunque las dos novelas registran planteos similares en la temática, en la narración de Cané existe una mayor coherencia entre la búsqueda de libertad política, implícita en los combates del ejército, y el reclamo de libertad en la vida privada.

Dos narradores ante la Independencia : Mercedes Rosas de Rivera y Miguel Cané padre

María de Montiel (1861), de Mercedes Rosas de Rivera, y Una noche de boda (1854) de Miguel Cané padre, ofrecen perspectivas diversas y de interés convergente. La ponencia confronta ambas novelas y trata de iluminar aspectos de la sociedad argentina poscolonial, tales como rupturas, transformaciones, rechazos y continuidades. Aunque las dos novelas registran planteos similares en la temática, en la narración de Cané existe una mayor coherencia entre la búsqueda de libertad política, implícita en los combates del ejército, y el reclamo de libertad en la vida privada.