Religiosas y laicas en el franquismo: entre la dictadura y la oposición

En este trabajo se ofrece un estado de la cuestión sobre la evolución de las religiosas y las seglares, de clase media y obreras, de Acción Católica en el franquismo, una dictadura que encontró en la Iglesia a uno de sus principales apoyos. En los años cuarenta y cincuenta participan del control político y moral de las españolas y su presencia pública es destacada. En las décadas siguientes experimentan un profundo cambio hacia un mayor compromiso, todo lo cual conduce a un escenario de tensiones con la dictadura y la jerarquía eclesiástica, y a una crisis que da lugar a la secularización de muchas religiosas y al abandono de Acción Católica de numerosas militantes; en esta etapa de mayor testimonio sin embargo su reconocimiento disminuye.

El plànol geomètric d'Elx del 1849

Este artículo estudia un extraordinario documento conservado en el Archivo Histórico Municipal de Elche: el plano geométrico de la ciudad a escala 1/1.250, y el borrador previo que sirvió para el delineado final. El plano está firmado y fechado el 05-10-1849. El origen del mismo fue la Real Orden de 25-07-1846 que fue cumplimentada por algunas ciudades españolas. A diferencia de los planos levantado con anterioridad, cuya finalidad era científica o militar, a partir de entonces, los planos se dibujaban con una específica finalidad urbanística, es decir como medio para controlar el espacio urbano y proyectar las expansiones futuras, aunque el de Elche no se llegó a aplicar nunca de forma significativa en lo que tenía de reforma de alineaciones, ya que no se trataba de un plano de ensanche. El autor fue Josep Gonzàlez, un maestro de obras académico, titular de la villa, que trabajó en Elche abundantemente en el ochocientos.

Síntesis de materiales moleculares: polímeros conductores

En este trabajo se ha realizado la síntesis y caracterización de polímeros conductores como la polianilina, el poli(o-aminofenol) y además un copolímero compuesto por los dos anteriores, poli(anilina-co-o-aminofenol). Éstos pueden ser sintetizados de diversas formas, entre las cuales se ha elegido la oxidación química, ya que proporciona una mayor cantidad de producto. Para llevar a cabo las síntesis, se usa (NH4)2S2O8 como agente oxidante en proporción estequiométrica con el reactivo principal para sintetizar cada uno de los polímeros. Se realiza una medida del potencial de la disolución y una vez finalizada la reacción, se filtran y lavan los productos obtenidos con ácido clorhídrico y agua. En el caso de la polianilina, la mitad del producto obtenido, es lavado además con amoníaco, para obtener la polianilina emeraldina base. Una vez sintetizados todos los polímeros, se procede a la caracterización de cada uno de ellos mediante diferentes técnicas. Mediante análisis elemental, se obtienen los porcentajes másicos y se relacionan con las estructuras teóricas de cada polímero sintetizado. Con los espectros de IR obtenidos con FTIR, se comprueban cuáles son las bandas más importantes de las estructuras químicas. A través de la técnica de XPS se observan las energías de ligadura de cada uno de los átomos presentes en los polímeros, pudiendo así determinar porcentajes atómicos y másicos y el grado de dopaje de cada una de las muestras. Mediante la solubilidad, se comprueba que los polímeros conductores presentan una baja solubilidad, pero que utilizando el disolvente adecuado y modificando la polianilina, se puede aumentar ese valor de solubilidad. Por último, al medir la conductividad eléctrica, se observa que la polianilina sintetizada presenta una adecuada conductividad, y que el copolímero también la presenta pero con varios órdenes de magnitud menor.

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”.

A cavalaria portuguesa no cerco de Sevilha de 1248

A Tese de Mestrado que aqui vos apresentamos pretende dar a conhecer o resultado de uma investigação sobre a migração da cavalaria portuguesa para Castela, no âmbito do cerco de Sevilha de 1248. Na introdução gizaremos todas as movimentações e desafios de ambos os exércitos, tanto por parte dos almóadas, que defendiam Sevilha, como dos castelhanos, que a tentavam tomar. Descreveremos a Sevilha medieval, explicando a razão de ser uma cidade tão cobiçada. Será feita uma breve análise sobre a condição do cavaleiro no panorama castelhano e português. No primeiro capítulo, referente à Conjuntura Peninsular, traçaremos o panorama político e social dos vários reinos da Península Ibérica, da primeira metade do século XIII, explicando os contornos e razões que levaram ao ataque castelhano no Al-Andaluz, em plena época de reconquista cristã. O segundo capítulo é referente aos vários participantes deste confronto, mencionando os aliados de Castela e dos almóadas, procurando explicar as motivações e ambições das duas frentes de batalha. No terceiro capítulo o foco será direccionado para os vários tipos de cavaleiros portugueses, que decidiram combater nesta contenda, salientando as suas razões. O quarto capítulo é o ponto-chave desta investigação, com a enumeração dos vários nobres que partiram para a conquista de Sevilha. Todos os cavaleiros são estudados, para se apurar a sua família e feitos, até ao ano em questão. Fazendo uma selecção dos que preferiram mudar-se definitivamente para Castela e Leão, e os que rumaram de novo para Portugal.

Método de ortografía española, fundado en las modernas reglas y usos de la Real academia española; contiene: reglas, observaciones linüísticas e historicas, grabados explicativos, modelos de letra manuscrita e impresa, más de 90 prácticas de escritura correcta, listas de barbarismos, galicismos y otros vicios de lenguaje, y un copioso vocabulario de palabras de escritura dudosa ...

"Texto para las escuelas públicas por real orden de 13 abril de 1883; y para las enseñanzas regimentales de infantería y caballería, por las de 8 de noviembre de 1881, y 25 de septiembre y 14 de octubre de 1882."

Les grands écuyers et la grande ecurie de France avant et depuis 1789 /

Mode of access: Internet.

Choronica del muy valiente y esforçado principe y cauallero de la ardiente espada Amadis de Grecia, hijo de Lisuarte de Grecia, Emperador de Constantinopla, y de Trapisonda y Rey de Rodas :que tracta de sus grandes hechos en armas y de los sus altos, y estraños amores.

Eisenberg, Marin-Pina

Cister militante en la campaña de la Iglesia contra la sarracena furia : Historia general de las... Cauallerias del Templo de Salomon, Calatrava, Alcantara, Avis, Montesa y Christo /

Las h. de grab. son grabados calcográficos de los escudos de las órdenes militares.

Expositio Regulae Fratrum Minorum ab ipso Seraphico Patre Nostro Francisco ejusdem legislatore verbis, factis, exemplis tradita /

Mode of access: Internet.

Observations historiques et critiques sur les commentaires de Folard et sur la cavalerie /

Mode of access: Internet.

Observations historiques et critiques sur les commentaires de Folard et sur la cavalerie /

Mode of access: Internet.

Ordonnance provisoire sur l'exercice et les manoeuvres de la cavalerie /

Mode of access: Internet.

Histoire de l'etablissement des moines mendiants : ou on traite de l'origine des moines, de leur premiere ferveur ...

Mode of access: Internet.