Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Los proverbios de animales en árabe clásico: análisis, estudio comparativo y equivalencias en español

This study entitled «Classical Arabic proverbs: analysis, comparative study and equivalence in Spanish», aims on one hand, to display the multiple problems we face when translating proverbs between Arabic and Spanish, and on the other hand, offers an updated check up of the proverbs uses as well as an analysis of the equivalence between proverbs. It was an arduous task looking for reference works which were of interest to our research both in Arabic and Spanish. We consulted many references but if we were to cite the most important ones, we would talk about works such as Magma alamtal by al-Maydani, which constituted the base we relied on in the analytical part of our work. Also of interest was Hayatu Al-Hayauani l-al-Kubra, from ad-Dummayri and his other work Mungid al-lugati w al-a'lam; as well as Ğamharat al-amtal by Abū Hilāl Al-‘Askarī and Ğamharat al-amtal al-baġdadiyya by‘Abd ar-Rahman Tikritī. As for the references in Spanish, we relied on Martinez Kleiseŕs Ideological General Spanish Proverbs; as well as 1001 Spanish sayings and their correspondence in eight languages from Julia Seville Muñoz and Ortiz de Urbina; also, Introduction to the study of fixed expressions by Julio Casares; Vocabulary of proverbs and proverbial phrases (1627-2000) by G. Correas; Dictionnary of sayings by Campos and Barella; the famous The Ingenious Gentleman Don Quixote of La Mancha by Miguel de Cervantes; the work of Sebastián Orozco de Covarrubias Treasure of Castilian Spanish; as well as Sayings and Proverbs in Romance from Hernán Núñez; or Over 21,000 Castilian Sayings not contained in the Large Collection of the Master Gonzalo Correas by Rodriguez Marín. Our work covered two main levels: a descriptive empirical area that included a historical approach with a definition of the different terms related to the proverbs used in our study. The other level is analytical which, besides holding our personal stamp, has been executed through a rigorous study of the three major aspects of our research: analysis, translation and equivalence of the proverb. We started by making a brief description of the empirical part we have divided into several sections, each devoted to the study of one particular aspect...

El campo vacío en la imagen en movimiento

La hipótesis de trabajo se centra en determinar si el concepto de campo vacío aplicado a la imagen en movimiento es un mero recurso de transición expresiva, motivada por la entrada y salida de personajes, o si a lo largo de la historia del cine-y también de la televisión y del vídeo- este tipo de plano es consolida y constituye un elemento significante y expresivo. Para analizar el campo vacío en la imagen en movimiento hemos partido de su primera aparición en el soporte cinematográfico, hemos constatado que autores como Sternberg, Lang, Renoir o Hitchcock, utilizan abiamente el campo vacío. Posteriormente hemos estudiado la inclusión del campo vacío en el soporte videográfico y televisivo. También hemos considerado conveniente establecer relaciones con otras disciplinas artísticas en las que existen equivalencias del campo vacío: pintura, música teatro .... Numerosos teóricos dese Arnheim, Eisenstein, Burch, Bazin, Aumont y Ometz, se han interesado en estudiar y analizar el campo vacío, pero no se ha encontrado ningún estudio sistematizado sobre el tema. Con esta investigación, a través del estudio de diferentes teorías y el análisis de campo realizado con películas, programas de televisión, auncios publicitarios .., hacemos un amplio inventario del uso del campo vacío en la imagen en movimiento, a sabiendas de que nunca será completo ni definitivo. Gracias a esta tesis hemos averiguado de que manera los campos vacíos alteran la transmisión directa del proceso de narración. El campo vacío representa un eslabón que une lo visto con lo no visto, lo visible con lo invisible de la imagen. Finalmente esta tesis ha sido fruto de una apasionada búsqueda en la que aún ahora en las salas oscuras de cine, las nuevas películas de estreno siguen escribiendo su historia.Se trata de una investigación abierta tanto a nuevas prácticas y usos artísticos, como a nuevas reflexiones teóricas.