Paul Frankl, Rudol Wittkower, Colin Rowe. Tres enfoques histórico-formales para el estudio de la arquitectura

Los estudios de la arquitectura vinculados al enfoque formalista tienen tres libros entre sus referencias principales: Principios fundamentales de la Historia de la Arquitectura. El desarrollo de la arquitectura europea, 1420-1900, de Paul Frankl; Los fundamentos de la arquitectura en la edad del humanismo, de Rudolf Wittkower; y Manierismo y arquitectura moderna y otros ensayos, de Colin Rowe. Estas obras responden a planteamientos muy distintos, pero tienen en común el papel relevante que el método formal juega en ellas. La actividad intelectual de estos estudiosos ha de relacionarse con la de otros autores anteriores o coetáneos. En el caso de Frankl sus vinculaciones principales son con Wölffl in y Schmarsow, entre otros. El libro de Wittkower es deudor de los enfoques de Goldschmidt y de Panofsky y se distancia de los planteamientos de Scott y del propio Wölffl in. Colin Rowe se apoya en los escritos de Wittkower y reconoce la utilidad del método de Wölffl in, aunque señala sus limitaciones. Como se ve, la figura de Wölfflin está presente desde el principio hasta el final de esta historia.

Tratado de las Reglas del diseño, y del lavar para los planos, perfiles y elevaciones de la Arquitectura militar y civil [Manuscrito]

Incipit : "... Diseño es un termino general bajo del qual..."

Instruccion para los que han de tomar el Estado del santo matrimonio [Texto impreso] : leyes o Reglas que deven guardar los casados : con un pasmoso prodigio del Inclito protho-martir San Estevan

Según Palau, el autor es Francisco Mira

Reglas, y reflexiones cristianas [Texto impreso] : dirigidas a las Hermanas Hospitaleras, que en el año 1757 se congregaron en el Hospital General de la Ciudad de Valencia ...

Índice

Estructuras formales de las metáforas visuales en la publicidad gráfica: un análisis cognitivo

Las investigaciones que tratan de establecer cuáles son las estructuras formales de las metáforas visuales en publicidad gráfica distinguen básicamente tres tipos. Un primer tipo donde dos objetos se fusionan en una imagen híbrida, un segundo tipo donde aparece un objeto y el otro se sugiere de algún modo por el contexto y un tercer tipo donde aparecen, al menos, dos objetos alineados y simétricos. En este artículo, indagamos el origen cognitivo de estas estructuras aplicando la Teoría Integrada de la Metáfora Primaria.

Aspectos formales y visuales en los cuestionarios de salud y calidad de vida

Una falta de atención en el formato de los cuestionarios de salud y calidad de vida ocasiona que muchas preguntas no se contesten porque no se pueden leer bien. Se hace aquí una reflexión sobre tales aspectos visuales, analizando siete de los cuestionarios genéricos en lengua inglesa más utilizados en el mundo y comparándolos, a su vez, con sus traducciones al español. Los resultados que se obtienen subrayan la idea de la importancia que tiene la presentación del cuestionario para conseguir la máxima información.

¿Sigue la Agencia Europea del Medicamento sus propias reglas? Cuento con moraleja

Antecedentes/Objetivos: Los sesgos de género en los ensayos clínicos (EC) se demostraron ya en los 90. Objetivo: analizar el cumplimiento del Informe Público Europeo de Evaluación (EPAR) de anticonceptivos y fármacos para la disfunción eréctil (FDE) realizado por la Agencia Europea de Medicamentos (EMA) respecto a sus recomendaciones de elaboración. Métodos: Análisis del contenido sobre eficacia, seguridad, farmacocinética (FC) y farmacodinámica (FD) del EPAR de 3 anticonceptivos y 3 FDE, y de sus fichas técnicas. Fuente de información: Base de datos de EMA. Descriptores: “erectile dysfunction” y “contraception”. Criterios exclusión: fármacos no autorizados, genéricos, que presenten el mismo informe. Resultados: Los EPAR de FDE no aportan datos del nº de EC de seguridad de Viagra, ni de las fases de 3 de los 11 EC de Levitra. Faltan datos sobre fases de 2 de los 6 EC de eficacia de Viagra. Ni datos de absorción de Cialis y Levitra sobre biodisponibilidad absoluta y relativa (salvo en 2º EPAR de Levitra). No datos de interacción alimentaria de Cialis. El EPAR del anticonceptivo Zoely no aporta información de las fases de 4 de los 8 EC sobre seguridad. Eficacia bien descrita, excepto Zoely (no refleja datos de EC dosis-respuesta, respecto a evidencia preliminar de eficacia, y de plan y dosis recomendada). En FD: Faltan datos de Zoely y EllaOne sobre concentración plasmática y efecto, comparación placebo o medicamento de referencia, EC para tipos concretos de efectos adversos, e interacciones con medicamentos. En Zoely no coincide la dosis estudiada con la autorizada. No datos de las fases de los EC de FC de EVRA y EllaOne, ni de 1/6 EC de Zoely. Hay datos de interacciones alimentarias en todos los anticonceptivos, pero no de absorción, respecto biodisponibilidad absoluta ni relativa. La información de eliminación es reflejada, excepto en el aclaramiento y vida media de Zoely. El nº de EC de las interacciones con otros fármacos fue < en los anticonceptivos respeto a los FDE. Las reacciones adversas (RAM) en los EPAR son más frecuentes en anticonceptivos (Evra: 80%, EllaOne: 79%, Zoely: 75%) que en FDE (Viagra: 65%, Cialis: 66,7%, Levitra: 64,3%). Hay RAM en los EPAR que no aparecen en su ficha técnica (EVRA: 4, EllaOne: 10, Zoely: 3, 2º EPAR Cialis: 6, 2º EPAR Levitra: 1). Conclusiones: La EMA no sigue sus propias guías de elaboración del EPAR al recomendar la aprobación de la comercialización de FDE y anticonceptivos a la Comisión Europea con falta de datos relevantes sobre seguridad, FC y FD. Las diferencias observadas en los EPAR entre ambos tipos de fármacos, sugieren sesgos de género en la información sobre seguridad y FC.

El aplacado de piedra trasventilado. Comportamiento mecánico, condicionantes constructivos y formales, su durabilidad y lesiones

La evolución en el uso de los materiales pétreos y sistemas constructivos de fachada ventilada influye y condiciona el concepto del diseño de los cerramientos de fachada de los edificios y del proyecto arquitectónico. El objetivo de esta comunicación es identificar, analizar y valorar de forma sintética los principales condicionantes técnicos que deben considerarse en los aspectos constructivos que influyen en el proyecto de fachadas ventiladas de aplacado pétreo, interpretando sus prestaciones y su comportamiento mecánico. Para garantizar su calidad y durabilidad, se propone la aplicación práctica de métodos de cálculo y control de calidad tanto de los materiales pétreos como del sistema constructivo. La metodología empleada se basa tanto en ensayos en laboratorio de la piedra empleada como ensayos in situ del sistema constructivo ya ejecutado en obra, analizando las características físicas y comportamiento mecánico del aplacado en relación con las acciones a las que se ve sometido en un edificio. Los resultados obtenidos permiten verificar las elevadas tensiones y solicitaciones a las que se ven sometidos los aplacados pétreos trasventilados, y la importancia del adecuado proyecto y ejecución del cerramiento, mediante un correcto dimensionado y control de calidad de la obra. En conclusión, la fachada trasventilada pétrea supone la transformación del tradicional carácter masivo del uso de la piedra natural en arquitectura en una delgada piel expuesta a sus máximas prestaciones dentro de un conjunto de capas especializadas funcionalmente. Por ello, entender mejor y de forma sintética el específico comportamiento mecánico del aplacado pétreo y sus sistemas de anclaje en las fachadas ventiladas, sus principales causas de lesión, las características constructivas más destacables y las metodologías de cálculo y ensayo para garantizar su durabilidad, contribuirá a mejorar la calidad constructiva de las fachadas ventiladas, manteniendo y potenciando el uso de la piedra natural en la arquitectura moderna.

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

Representações sobre a doença mental por parte dos cuidadores formais, em instituições de apoio e acolhimento a pessoas idosas: a realidade transfronteiriça entre Portugal e Espanha

Segundo (Lage; 2005) o cuidador informal sempre existiu ao longo da história da humanidade, ao séc. XX a família tinha um papel muito importante, após o sec. XX a família e o cuidar informal foi substituído pela medicina e pelo cuidador formal. O aumento do envelhecimento populacional, o aumento da esperança média de vida e a desertificação trouxeram um conjunto de preocupações e responsabilidades, às famílias e às entidades sociais e da saúde, devido aos cuidados que são necessários prestar às pessoas idosas dependentes e com doença mental, devido à crise dos sistemas sociais, de saúde e financeiro das entidades governamentais, a maioria dos casos de doença mental e idosos foram como que obrigados a recorrer aos cuidos informais para fazer face as despesas. Com o presente estudo, de caráter qualitativo, procuramos conhecer os estigmas que existem face a doença mental em dois países transfronteiriços, Portugal e Espanha. A amostra da população selecionada é constituída por quarenta cuidadores formais em instituição de acolhimento e apoio a pessoas idosas, em que quarto instituições distintas, duas em Portugal e duas em Espanha. Os cuidadores inquiridos referiram que há pouca procura por parte dos doentes mentais a estas instituições, uma vez que requerem mais cuidados presenciais e equipas direcionadas aos problemas específicos, embora todos tenham uma formação abrangente, mas é mais difícil cuidar deste tipo de clientes.

Reglas para la lectura de prosa i verso; ortolojía y ortografía.

Mode of access: Internet.

Urbanidad (estudio delas reglas de conducta)

Mode of access: Internet.

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

De los medios de mejorar en España la suerte de los enagenados : memoria ajustada a las reglas establecidas por los maniógrafos ... para la situación, construcción y distribución de los asilos ... /

Mode of access: Internet.