Prólogo: Confianza en la movilidad a través de más de una generación

Europa no necesita renunciar a su libertad de circulación sino desarrollar un régimen de movilidad con un mayor control. Así controlaría sus fronteras mucho mejor.

Análisis de la imagen proyectada a través de las webs de las 10 agencias españolas de publicidad más reconocidas

En una era en la que prima el uso de Internet debemos cuidar nuestra imagen minuciosamente, pues ahora las páginas corporativas son nuestra tarjeta de contacto y la primera impresión frente al usuario. En este estudio nos centraremos en analizar las páginas web corporativas de las agencias de publicidad de mayor renombre en España. Para ello, se ha tenido en cuenta el ranking de agencias de publicidad de la Universidad Internacional de la Rioja y las integrantes de la AEACP (La Asociación Española de Agencias de Comunicación Publicitaria). Además se ha seguido principalmente los criterios de análisis de la guía de evaluación heurística que proponen Hassan y Martín (2003). Los resultados muestran que la reputación no siempre va ligada a la mejor usabilidad. Se concluye con propuestas de mejora para cada una de ellas.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Notes : manuscript, [16---17--]

Notes on and excerpts of materials used by Harvard undergraduates in the 17th and early 18th cent.; including Prolegomena de arte in genere; William Brattle's A compendium of logick; Alexander Richardson's In dialecticam brevis commentatio; Grammatica hebraea; and other works.

Commonplace book : manuscript, [16--]

Notes concerning verses of the Bible, and moral and religious issues.

Sermons : manuscript, [16--]

Sermons concerning passages from Luke, Matthew, Ephesians, Isaiah, and other books.