Bridging The Gap Between School and Community: A project based high school for contemporary education

This thesis presents a design exploration into educational facility design, in particular to high schools, and the implications of educational pedagogy on high school design. The thesis poses the question, how can architectural design bridge the gap between schools and community, raising the value of education for students, parents, advisors, and community? A literature review and case study analyses examines both the existing paradigm of traditional school models and the alternative paradigm of the project based model. This thesis focuses on the project based learning model as it relates to design, significantly the three relationships: student to student, student to advisor, and school to community through their influence on design

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

The lambda-calculus with de Bruijn indices assembles each alpha-class of lambda-terms in a unique term, using indices instead of variable names. Intersection types provide finitary type polymorphism and can characterise normalisable lambda-terms through the property that a term is normalisable if and only if it is typeable. To be closer to computations and to simplify the formalisation of the atomic operations involved in beta-contractions, several calculi of explicit substitution were developed mostly with de Bruijn indices. Versions of explicit substitutions calculi without types and with simple type systems are well investigated in contrast to versions with more elaborate type systems such as intersection types. In previous work, we introduced a de Bruijn version of the lambda-calculus with an intersection type system and proved that it preserves subject reduction, a basic property of type systems. In this paper a version with de Bruijn indices of an intersection type system originally introduced to characterise principal typings for beta-normal forms is presented. We present the characterisation in this new system and the corresponding versions for the type inference and the reconstruction of normal forms from principal typings algorithms. We briefly discuss the failure of the subject reduction property and some possible solutions for it

The barracks of Civil Guard during the Second Spanish Republic and the Franco regime: the unknown work of a group of architects

Resumen [Resumen] Este artículo pretende sacar a la luz los nombres del primer grupo de arquitectos nombrados por la Guardia Civil que, desde la República y durante el Franquismo, procedieron a la consolidación tipológica de la casa-cuartel. Esta iniciativa estatal se basó en unos modelos tipo que, con el paso de los años, fueron personalizados por cada arquitecto, generando un interesante abanico de soluciones. La trascendencia de este colectivo así como de su producción ha sido nula, a pesar de constituir uno de los impulsos constructivos más signifi cativos en la historia del Cuerpo.| [Abstract] Th is article aims to bring to light the names of the fi rst group of architects of the Civil Guard that, since the Spanish Republic and during the Franco regime, consolidated the typological conformation of the barracks. Th is state initiative was based in several architectural models that, over the years, were customized by each architect, producing an interesting range of solutions. Th ere is a lack of historical importance around this group and its production, although they represent one of the greatest structural impulses in the history of the Corps

The DGRD’s barracks for the Civil Guard: A propaganda-adapted model

[EN] The Civil Guard barracks, promoted by the Directorate-General of Devastated Regions [Dirección General de Regiones Devastadas, DGRD] (1939-1957), are an exception within the general marginality of this hybrid architecture in architectural historiography. However, such a prominence has led to a distorted and partial approach to the architecture of these barracks, ignoring the contemporary production of the Civil Guard’s technical services. This is the first study that deals with the post-war promotion of barracks, offering an analysis that sheds light on the interdependencies and contributions made by each organisation. The methodology is based on a bibliographical review, which includes the Reconstrucción journal, the consultation of the projects in the archives that hold the documentation of both organisations and the comparative analysis of their productions. This paper aims to show how the DGRD based the promotion of its barracks on the models created by the architects attached to the Civil Guard, taking them directly and adapting them to its propagandistic interests according to Franco’s ideology using strategic implantation, a commitment to specific typologies, excessive ornamentation and the emphasis on a collective way of life.[ES] Las casas cuartel de la Guardia Civil promovidas por la Dirección General de Regiones Devastadas, DGRD (1939-1957) son una excepción dentro de la marginalidad general en la que se encuentra este tipo de arquitectura híbrida en la historiografía arquitectónica. En cambio, ese protagonismo ha provocado un acercamiento distorsionado y parcial a la arquitectura de estos acuartelamientos, obviando la producción coetánea de los servicios técnicos de la Guardia Civil. Por esta razón, se aporta el primer estudio que aborda la promoción de casas cuartel en posguerra, ofreciendo un análisis que establece las interdependencias y aportaciones que efectuó cada organismo. La metodología se basa en la revisión bibliográfica, en la que destaca la revista Reconstrucción; la consulta de los proyectos en los archivos que custodian la documentación de ambos organismos y el análisis comparativo de sus producciones. Con este artículo se pretende mostrar cómo la DGRD fundamentó la promoción de sus casas cuartel en los modelos que llevaron a cabo los arquitectos adscritos a la Guardia Civil, tomándolos directamente para adaptarlos a sus intereses propagandísticos según el ideario franquista, mediante la implantación estratégica, la apuesta por unas determinadas tipologías, el excesivo ornamento y el énfasis de un modo de vida en colectividad.Pinzón-Ayala, D. (2021). Las casas cuartel de la DGRD para la Guardia Civil: un modelo adaptado para la propaganda. VLC arquitectura. Research Journal. 8(2):219-252. https://doi.org/10.4995/vlc.2021.14921OJS21925282Almansa Moreno, José Manuel. "Reconstrucción monumental de Posguerra. La obra de Ramón Pajares Pardo en la provincia de Jaén." Atrio, Revista de Historia del Arte, no. 26 (2020). https://doi.org/10.46661/atrio.4438Almarcha Núñez-Herrador, María Esther. Arquitectura y urbanismo rural durante el periodo de la Autarquía en Castilla-La Mancha. Dirección General de Regiones Devastadas y Reparaciones e Instituto Nacional de Colonización. Cuenca: Universidad de Castilla-La Mancha, 1997.Álvarez de Cienfuegos López, Luis. Proyecto de casa cuartel de la Guardia Civil en Guadix. Memoria. Granada: Dirección General de Regiones Devastadas, 1942.Blanco Lage, Manuel. "España Una." In Arquitectura en Regiones Devastadas. VV.AA., 17-42. Madrid: MOPU, 1987.Cámara Niño, Antonio. "Reconstrucción de Belchite." Reconstrucción, no. 1 (1940)."Casa-Cuartel y viviendas para la Guardia Civil, en Eibar." Reconstrucción, no. 126 (1954)."Casa Cuartel para la Guardia Civil en Gandesa y Mora de Ebro (Tarragona)." Reconstrucción, no. 133 (1956).Casar Pinazo, José Ignacio, and Julián Esteban Chapapría, coords. Bajo el signo de la victoria. La conservación del patrimonio durante el primer franquismo (1936-1958). Valencia: Pentagraf Editorial, 2008.Diéguez, Sofía. "Nueva política, nueva arquitectura." Arquitectura, no. 199 (1976).Dirección General de la Guardia Civil. "Instrucción General núm. 16, dada en Madrid el día 8 de julio de 1941." Boletín Oficial de la Guardia Civil, no. 8 (1941).Doménech Girbau, Luis. "Corrientes de la arquitectura española de la posguerra." In Arquitectura en Regiones Devastadas, VV.AA., 61-77. Madrid: MOPU, 1987.Fernández Rodríguez, Eduardo, and Julio Garrido Serrano. Proyecto de la casa cuartel de la Guardia Civil para el pueblo adoptado de Bielsa. Memoria. Jaca: Dirección General de Regiones Devastadas, 1944.Flores, Carlos. "La obra de Regiones Devastadas en el contexto de la arquitectura española contemporánea." In Arquitectura en Regiones Devastadas, VV.AA., 51-59. Madrid: MOPU, 1987.García Alcázar, Silvia. "La revista Reconstrucción: un instrumento de propaganda al servicio del régimen." In Restaurando la memoria. España e Italia ante la recuperación monumental de posguerra. María del Pilar García Cuetos, María Esther Almarcha Núñez-Herrador, and Ascensión Hernández Martínez, 195-210. Gijón: Ediciones Trea, 2010.García Cuetos, María Pilar, María Esther Almarcha Núñez-Herrador, and Ascensión Hernández Martínez, coords. Restaurando la memoria. España e Italia ante la recuperación monumental de posguerra. Gijón: Ediciones Trea, 2010.García Cuetos, María Pilar, María Esther Almarcha Núñez-Herrador, and Ascensión Hernández Martínez, coords. Historia, restauración y reconstrucción monumental en la posguerra española. Madrid: Abada Editores, 2012.García Rozas, Fernando. "Casa-Cuartel para la Guardia Civil en Las Rozas de Madrid." Reconstrucción, no. 30 (1943).Gortázar y Landecho, Ángel de. Proyecto de la casa cuartel de la Guardia Civil en Villarreal. Memoria. Bilbao: Dirección General de Regiones Devastadas, 1950.Hurtado de Saracho, Francisco. "Casa Cuartel para la Guardia Civil en Amorebieta." Reconstrucción, no. 92 (1949).Inspección General de la Guardia Civil. "Circular de 15 de junio de 1935 para regular y unificar las condiciones de higiene, emplazamiento y seguridad que han de reunir en lo sucesivo los edificios destinados para Casas-cuarteles del Instituto." Boletín Oficial de la Guardia Civil, no. 18 (1935)."Labor de la Dirección General de Regiones Devastadas, Iglesia parroquial y Cuartel para la Guardia Civil, en Aravaca (Madrid)." Reconstrucción, no. 116 (1953).López Gómez, José Manuel. "Las casas cuartel de la Dirección General de Regiones Devastadas en Aragón. Fortalezas del s. XX." Castillos de Aragón, no. 34 (2017).López Gómez, José Manuel. Un modelo de arquitectura y urbanismo franquista en Aragón: la Dirección General de Regiones Devastadas, 1939-1957. Zaragoza: Departamento de Educación y Cultura, Diputación General de Aragón, 1995.Ministerio de la Gobernación. "Decreto de 13 de junio de 1935, disponiendo que la Inspección general de la Guardia Civil tenga, desde ahora, a sus inmediatas órdenes, para el estudio y ejecución de los acuartelamientos, cinco Arquitectos, uno por cada una de las cinco Zonas en que se distribuyen los Tercios del Instituto." Gaceta de Madrid, no. 166 (15 June 1935): 2196-2197. https://www.boe.es/datos/pdfs/BOE//1935/166/A02196-02197.pdf. Accessed 21 July 2021.Ministerio de la Gobernación. "Decreto de 23 de junio de 1936, creando en este Ministerio una Junta Central de Acuartelamiento de la Guardia Civil." Gaceta de Madrid, no. 177 (25 June 1936): 2657-2658. https://www.boe.es/datos/pdfs/BOE//1936/177/B02657-02658.pdf. Accessed 21 July 2021.Ministerio de la Gobernación. "Decreto de 23 de septiembre de 1939 regulando la adopción por el Jefe del Estado de localidades dañadas por la guerra en determinadas condiciones." Boletín Oficial del Estado, no. 274 (1 October 1939): 5489-5490. https://www.boe.es/datos/pdfs/BOE//1939/274/A05489-05490.pdf. Accessed 21 July 2021."Organismos del Nuevo Estado. La Dirección General de Regiones Devastadas y Reparaciones." Reconstrucción, no. 1 (1940).Pajares Pardo, Ramón. "Tres nuevas Casas-Cuarteles de la Guardia Civil en Lopera, Santiago de Calatrava e Higuera de Calatrava." Reconstrucción, no. 45 (1944).Pajares Pardo, Ramón. "Casa Cuartel para la Guardia Civil, en Marmolejo (Jaén)." Reconstrucción, no. 131 (1956).Pérez Escolano, Víctor. "Guerra Civil y Regiones Devastadas." In Arquitectura en Regiones Devastadas. VV.AA. Madrid: MOPU, 1987.Pinzón-Ayala, Daniel. "Las casas-cuartel de la Guardia Civil durante la II República y el franquismo: la desconocida labor de un grupo de arquitectos." Boletín Académico, no. 4 (2014). https://doi.org/10.17979/bac.2014.4.0.1011Pinzón-Ayala, Daniel. "Una arquitectura para trabajar y vivir en colectividad: la casa cuartel de la Guarida Civil." PhD diss., Universidad de Sevilla, 2016.Pinzón-Ayala, Daniel. "La casa-cuartel de la Guardia Civil como ejemplo híbrido laboral-residencial y su presencia en los ámbitos industriales." In Actas VI Congreso Conservación del Patrimonio Industrial y de la Obra Pública en España. El Patrimonio Industrial en el Contexto Histórico del Franquismo, 1939-1975. Territorios, Arquitecturas, Obras Públicas, Empresas, Sindicatos y Vida Obrera. Gijón: TICCIH-España, 2016.Pinzón-Ayala, Daniel, and Mar Loren-Méndez. "La presencia de la Guardia Civil en los ámbitos industriales a través de sus casas cuartel: un nuevo factor en la relación entre patronal y obreros." Revista de Historia Industrial, no. 72 (2018).Pinzón-Ayala, Daniel. "Los equipamientos de seguridad pública en los pueblos de colonización: entre la aceptación y el rechazo." In X Congreso Docomomo Ibérico. Badajoz: Ministerio de Cultura y Deporte, and Fundación Docomomo Ibérico, 2020.Portales, Ana, and Maite Palomares. "La arquitectura como propaganda. Una mirada histórica de la arquitectura española." ARQ, no. 80 (2012). https://doi.org/10.4067/S0717-69962012000100011Prieto-Moreno Pardo, Francisco. Proyecto de cuartel para la Guardia Civil en la barriada de la Virgen de la Cabeza en Andújar. Memoria. Granada: Dirección General de Regiones Devastadas, 1945.Pulido Ortiz, José. Proyecto de casa cuartel para la Guardia Civil en Moclín. Memoria. Granada: Dirección General de Regiones Devastadas, 1949.Rebollo Dicenta, José, and Ángel Marchena Rodríguez. "Obras de reconstrucción en la provincia de Córdoba: Casas cuartel para la Guardia Civil en Castro del Río y Alcaracejos." Reconstrucción, no. 117 (1953).Riera Estrada, Esteban. "El Castillo de Maqueda." Reconstrucción, no. 82 (1948).Riera Estrada, Esteban. "Casa Cuartel para la Guardia Civil, construido por la Dirección General de Regiones Devastadas en el Castillo de Maqueda (Toledo)." Reconstrucción, no. 116 (1953).Sambricio, Carlos. "«… ¡Qué coman República!» Introducción a un estudio sobre la Reconstrucción en la España de la Postguerra." Cuadernos de arquitectura y urbanismo, no. 121 (1977).Sanguinetti Lobato, Santiago. "Casa Cuartel de la Guardia Civil, en Órgiva." Reconstrucción, no. 82 (1948).Sanguinetti Lobato, Santiago. "Tres cuarteles para la Guardia Civil y un grupo escolar." Reconstrucción, no. 108 (1951).Sanz Caballero, Isabel María, and Agustín Vivas Moreno. "Análisis archivístico de los proyectos de construcción de las casas cuartel durante el franquismo: el ejemplo de la provincia de Badajoz (1943-1971)." Brocar, no. 44 (2020). https://doi.org/10.18172/brocar.4570Secretaría de Guerra. "Cuartos de Banderas. Orden." Boletín Oficial del Estado, no. 86 (1937).Ureña, Gabriel. Arquitectura y urbanismo civil y militar en el período de la Autarquía (1936-1945). Madrid: Ediciones Istmo, 1979

On Verifying Information Extractors

Ministerio de Economía y Competitividad TIN2013-40848-

An empirical study of power consumption of Web-based communications in mobile phones

Currently, mobile devices are the most popular pervasive computing device, and they are becoming the primer way for Web access. Energy is a critical resource in such pervasive computing devices, being network communication one of the primary energy consuming operations in mobile apps. Indeed, web-based communication is the most used, but also energy demanding. So, mobile web developers should be aware of how much energy consumes the different web-based communication alternatives. The goal of this paper is to measure and compare the energy consumption of three asynchronous Web-based methods in mobile devices. Our experiments consider three different Web applications models that allow a web server to push data to a browser: Polling, Long Polling and WebSockets. The obtained results are analyzed to get more accurate understanding of the impact in energy consumption of a mobile browser for each of these three methods. The utility of these experiments is to show developers what are the factors that influence the energy consumption when different web-based asynchronous communication is used. With this information mobile web developers could reduce the power consumption of web applications on mobile devices, by selecting the most appropriate method for asynchronous server communication.MUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A Grammar Compression Algorithm based on Induced Suffix Sorting

We introduce GCIS, a grammar compression algorithm based on the induced suffix sorting algorithm SAIS, introduced by Nong et al. in 2009. Our solution builds on the factorization performed by SAIS during suffix sorting. We construct a context-free grammar on the input string which can be further reduced into a shorter string by substituting each substring by its correspondent factor. The resulting grammar is encoded by exploring some redundancies, such as common prefixes between suffix rules, which are sorted according to SAIS framework. When compared to well-known compression tools such as Re-Pair and 7-zip, our algorithm is competitive and very effective at handling repetitive string regarding compression ratio, compression and decompression running time