EMBT haciendo (casi) nada en Mercaders = EMBT doing (almost) nothing in Mercaders

Cualquier indagación sobre proyectos representativos en la historia contemporánea de la vivienda, nos lleva inevitablemente a darnos cuenta como predomina en gran parte de ellos una actitud que tiene que ver con producir indiscriminadamente nuevos productos arquitectónicos. EMBT construyen su propia casa en la calle Mercaders de Barcelona, e inciden en entender la arquitectura no como la creación de nuevos productos sino como una capa más dentro de un sustrato ya informado(materia no prima), una característica puramente postproductiva. Como ellos apuntan su nueva capa de información se ‘instala’, añade sólo información precisa de su tiempo, pero no intenta volver hacia atrás ni rehabilitar o restaurar el edificio existente. Esta comunicación persigue poner de manifiesto la existencia velada de esta otra actitud dentro del campo de la vivienda, una actitud no opuesta y si complementaria, que opera desde una voluntad de no ser, de hacer con (casi) nada. ABSTRACT: Any inquiry about representative projects in the contemporary history of housing, lead us to inevitably understand how in lots of them dominates an attitude related to the indiscriminate production of new architectural products. EMBT build their own house on Mercaders street of Barcelona, and promote the understanding of architecture not as the creation of new products but as a new layer within a substrate already full of information (not a raw material), a feature purely postproductive. As they point, the new information layer is ‘installed’, adds only precise information of its time, but does not try to get back or restore the existing building. This paper aims to demonstrate the veiled existence of this different attitude within the housing field, an attitude not opposed but complementary, that works from a desire of not to do, a desire to do with (almost) nothing

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas

Inferring determinacy and mutual exclusion in logic programs using mode and type analysis.

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms, for which we give a complete satisfiability testing algorithm, w.r.t. available type information. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient

Dos modelos por ensayo y error: Villa Stonborough y Villa Moller = Two trial and error processes: Villa Stonborough and Villa Moller.

Uno de los procesos de desarrollo más comunes para llevar a cabo un proyecto arquitectónico es el ensayo y error. Un proceso de selección de pruebas que se suele abordar de dos maneras, o bien se efectúa con el fin de ir depurando una posición más óptima, o bien sirve para explorar nuevas vías de investigación. Con el fin de profundizar en esto, el artículo presenta el análisis de dos diferentes procesos de proyecto de viviendas desarrolladas por ensayo y error, obras referenciales en la historia de la arquitectura, la Villa Stonborough de Wittgenstein y la Villa Moller de Adolf Loos. Ambas aunque pertenecientes al mismo periodo histórico, están desarrolladas de maneras muy opuestas, casi enfrentadas. De su estudio se pretende localizar los conceptos que han impulsado sus diferentes vías de producción, para poder extrapolados a otros casos similares. ABSTRACT: One of the most common processes to develop an architectonic project is the trial and error method. The process of selection of tests is usually done on two different ways. Or it is done with the goal to find out the most optimized position, or it is used to explore new ways of research. In order to investigate this item, the article shows the analysis of two different processes of housing projects that have been done by trial and error. Constructions, that are references in the history of architecture, the Villa Stonborough by Wittgenstein and the Villa Moller by Adolf Loos. Although both of them belong to the same historical period, they are developed by different ways, almost confronted. Thanks to this analysis we will attempt to localize the concepts that drove into their different way of production and then we will try to extrapolate these properties to other similar cases

Effect of pH and nanoclay content on the morphology and physicochemicalproperties of soy protein/montmorillonite nanocomposite obtained byextrusion

The present work attempts to clarify the influence of montmorillonite nanoclay content and pH on the me-chanical properties of extruded soy protein nanocomposites. The mechanical behaviour is dominated by theformation of positive synergies between protein and nanoclay above a nanoclay concentration threshold.Moreover, the presence of nanoclay can improve water uptake. The pH also exerts a strong influence on me-chanical and water absorption properties, although montmorillonite tend to reduce this effect.Eventually, this study put forward the feasibility of using a combination of soy protein and montmorillonite toobtain potentially attractive biodegradable nanocomposite materials, processed by means of a simple and easilyscalable twin-screw extruder.Junta de Andalucía (project TEP-6134)Ministerio de Economía y Competitividad (CTQ2015-71164-P

Numerical simulation of density-driven flow and heat transport processes in porous media using the network method

Density-driven flow and heat transport processes in 2-D porous media scenarios are governed by coupled, non-linear, partial differential equations that normally have to be solved numerically. In the present work, a model based on the network method simulation is designed and applied to simulate these processes, providing steady state patterns that demonstrate its computational power and reliability. The design is relatively simple and needs very few rules. Two applications in which heat is transported by natural convection in confined and saturated media are studied: slender boxes heated from below (a kind of Bénard problem) and partially heated horizontal plates in rectangular domains (the Elder problem). The streamfunction and temperature patterns show that the results are coherent with those of other authors: steady state patterns and heat transfer depend both on the Rayleigh number and on the characteristic Darcy velocity derived from the values of the hydrological, thermal and geometrical parameters of the problems.The first author acknowledges the support of the Universidad Politécnica de Cartagena through a pre-doctoral scholarship and the economic support of the Universidad Católica del Norte to cover the costs to publish in open access

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system

Evolutionary Algorithms for Community Detection in Continental-Scale High-Voltage Transmission Grids

Symmetry is a key concept in the study of power systems, not only because the admittance and Jacobian matrices used in power flow analysis are symmetrical, but because some previous studies have shown that in some real-world power grids there are complex symmetries. In order to investigate the topological characteristics of power grids, this paper proposes the use of evolutionary algorithms for community detection using modularity density measures on networks representing supergrids in order to discover densely connected structures. Two evolutionary approaches (generational genetic algorithm, GGA+, and modularity and improved genetic algorithm, MIGA) were applied. The results obtained in two large networks representing supergrids (European grid and North American grid) provide insights on both the structure of the supergrid and the topological differences between different regions. Numerical and graphical results show how these evolutionary approaches clearly outperform to the well-known Louvain modularity method. In particular, the average value of modularity obtained by GGA+ in the European grid was 0.815, while an average of 0.827 was reached in the North American grid. These results outperform those obtained by MIGA and Louvain methods (0.801 and 0.766 in the European grid and 0.813 and 0.798 in the North American grid, respectively)

Postproducción. Metodología UD 23 Proyectos Federico Soriano

Se presenta aquí la experiencia docente llevada a cabo en la Unidad de Proyectos 23 dirigida por el profesor Federico Soriano en la Escuela Técnica Superior de Arquitectura de la Universidad Politécnica de Madrid. Esta metodología, que viene siendo implementada y desarrollada desde el curso 2007-2008, opera desde la postproducción, es decir, la manipulación de un material preexistente, para actuar sobre él y terminar con- cretándolo en representación arquitectónica. El trabajo se realiza en equipos de tres personas, desconocidas entre sí, una por cada universidad implicada en el progreso de cada cuatrimestre. La entrega final consiste en un documento gráfico, una planta, en for- mato doble DIN-A0, una escala que permite una definición constructiva y material intensa, y una maqueta, tamaño DIN-A1, para aportar condiciones espaciales y experimentales que el soporte papel limita. La metodología del curso procura que el estudiante se enfrente ya en este punto de su formación a una situación similar a la que encontrará tras su paso por la universidad: el trabajo con materiales ajenos y cola- boradores extraños. Se sostiene que la producción y el pensamiento se dan a través de las herramientas gráficas utilizadas, establecidas por los utensilios que estén a la disposición del estudiante. Se considera que hoy en día las herramientas gráficas, tanto de referencia visual como de dibujo se encuentran en el mismo plano técnico. Por lo tanto el resultado del trabajo realizado no serán meros dibujos, sino instrumentos técnicos que permitan controlar, manipular y describir el espacio arquitectónico con todos sus datos técnic- os, materiales o programáticos

La utilización del concepto de pH en la publicidad y su relación con las ideas que manejan los alumnos : aplicaciones en el aula

The broadcast on TV of some commercials where the value of the pH in the advertised products was presented as beneficial, prompted us to study them to analyse the ideas related with the acids and bases that they have. Here, we also seek possible coincidences with the ideas that students sustain. We also present a sequence of classroom activities to use commercials to work the concepts of pH and neutralization therein involved