Hinterland FAR Frohn & Rojas, Colonia, 2011

Indexación: Web of Science; Scielo.¿Es posible llevar la interpretación de las regulaciones urbanas al ámbito del "hágalo Ud. mismo"? Este software acorta la distancia entre habitante, arquitecto y normativa, en un intento por acelerar y facilitar la renovación del tejido urbano del casco histórico de Colonia.Is it possible to interpret urban regulations under the "do it yourself" model? This software brings resident, architect and regulations closer together in an attempt to accelerate and facilitate the renewal of the urban fabric of Cologne's historic quarter.http://ref.scielo.org/kq823

Wall House. Lampa, Chile

Indexación: Web of Science; ScieloEl control climático y lumínico es tomado como generatriz de una vivienda ubicada en la zona central de Chile. A través de la creación de capas sucesivas desde el interior, se conforman los espacios privados y comunes, en un contexto velado por los mantos exteriores que controlan la luz y las vistas.This thesis project, built thanks to the participation of locals and the recycling of abandoned material, proposes a contemplation space of a landscape previously exploited. The generated volumes are placed and give gratuity to the space, allowing one to reflect over history.http://ref.scielo.org/w8xtw

Разработка алгоритма и программных средств для обнаружения образований в легких человека на снимках компьютерного томографа

Цель работы – разработка алгоритма и программных средств для обнаружения образований в легких человека на снимках КТ. В процессе исследования были проанализированы существующие алгоритмы обнаружения образований в легких человека на снимках КТ. В результате исследования был разработан алгоритм для обнаружения образований в легких на снимках КТ, инвариантный к типу образования в легких, а также программные средства, позволившие оценить качество предложенного метода. Область применения: диагностика заболеваний легких человека, сбор статистической информации о видах заболеваний легких. Значимость работы заключается в практической разработке универсального метода для обнаружения образований легких человека – алгоритм показал высокое качество классификации независимо от типа образования.Objective - development of algorithms and program application for lungs nodules detection on CT scans. In the study, common methods and approaches for lungs nodules detection on CT scans have been observed. The results of the study are the developed algorithm for the detection of lungs nodules on CT scans, which is invariant to the type of formations in the lungs, and the implemented software tools that allows evaluating the quality of the proposed method. Scope: diagnostics of human lung diseases, collection of statistical information about the kinds of lung diseases. The significance of the work is the practical development of a universal method for the detection of human lung formations that has shown a high quality of classification, regardless of formation type in the lungs

R+EVUE THE B-SIDE

Visible from only one perspective at a time, architecture suffers the fate of never revealing itself as a whole. An inherent duplicity arises between what can be seen and what remains hidden. The back side—which never shows a representative face nor welcomes us into the building and rarely gets printed in glossy architecture magazines—is the overlooked side of architecture. As a result, we studied the backs of a few famous buildings. What we found is the B-side of architecture. Liberated from the front’s representative obligations, the B-side is an ambiguous space of programmatic, representative, contextual or even ideological experimentation. We represent our discoveries through a series of analytical and experimental drawings

R+EVUE 20%

Organizational and administrative activities have shed their typological corset. Having cut spatial ties to the office, they are now at home almost anywhere. According to current studies, around 20% of office space in Germany will be obsolete in the medium term . This corresponds to a floor area of more than 75 million square meters. Calculated against the average per capita living space of 47,7 sqm , this represents enough space to house almost 2 million people. This equation is grossly simplified. It is problematic for, amongst other reasons, its exclusion of variables such as a building’s structural character, its urban location, and its proximity to technical and social infrastructures. The current demand for living space - especially in metropolitan areas - and the simultaneous necessity to establish more sustainable architectural practices, makes the conversion of existing buildings inevitable. This brings the above-mentioned issues to the fore, and will require the analysis of these buildings’ potentials and the architectural tools for exploiting them. R+EVUE 2 presents ten case studies, each making use of the same already-vacant office structure: an administrative building from the 1970s in Hamburg Wansbek. The object under investigation serves as a stand-in for the office buildings which pervade the peripheries of large German cities. Through consideration of this building’s specific structural and urban characteristics, various strategies for reappropriation are examined. The studies were produced systematically: the same office structure superimposed with ten residential projects, selected to form a broad typological spectrum. The frictions and conflicts which arise during this overlay process become catalysts for specific design solutions and raise more general questions about the reappropriation of existing structures. By adapting the characteristic typological features of the residential buildings to the structure of the office building, new and unexpected approaches are generated. The depth and extent of each study’s intervention is measurable against the existing structure. In the form of red-yellow plans and visualizations, both demolition measures and structural additions are clearly illustrated. The excerpt from the portfolio of office buildings is contrasted with a selection of residential building references. The ten residential building references cover a wide range of different circulation typologies, apartment types, construction principles and scales. The different housing references are all projected onto the structure of one vacant office building. Because its concrete skeleton is typical for an entire generation of commercial structures, the findings of the housing projections resonate beyond this specific case study

Automatically proving termination and memory safety for programs with pointer arithmetic

While automated verification of imperative programs has been studied intensively, proving termination of programs with explicit pointer arithmetic fully automatically was still an open problem. To close this gap, we introduce a novel abstract domain that can track allocated memory in detail. We use it to automatically construct a symbolic execution graph that over-approximates all possible runs of a program and that can be used to prove memory safety. This graph is then transformed into an integer transition system, whose termination can be proved by standard techniques. We implemented this approach in the automated termination prover AProVE and demonstrate its capability of analyzing C programs with pointer arithmetic that existing tools cannot handle

Analyzing program termination and complexity automatically with AProVE

In this system description, we present the tool AProVE for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and rewrite systems. In addition to classical term rewrite systems (TRSs), AProVE also supports rewrite systems containing built-in integers (int-TRSs). To analyze programs in high-level languages, AProVE automatically converts them to (int-)TRSs. Then, a wide range of techniques is employed to prove termination and to infer complexity bounds for the resulting rewrite systems. The generated proofs can be exported to check their correctness using automatic certifiers. To use AProVE in software construction, we present a corresponding plug-in for the popular Eclipse software development environment

Goethe Institut Temporal, Providencia, Chile FAR FROHN & ROJAS, 2010 - 2011

Indexación: Web of Science; ScieloPara la instalación transitoria de un instituto binacional en la planta libre de un edificio de oficinas, este proyecto de arquitectura despliega un repertorio material que incluye textiles, mosaicos, vidrio y carpinterías de madera: a través de la organización de estos elementos se consigue un espacio interior que, con ligereza, admite diversas reconfiguraciones, permanentemente atravesado por la luz natural que entra desde la fachada vidriada.A bi-national cultural institution move temporarily to a typical office floor plan; the project of architecture introduces a collection of textiles, mosaics, glass and woodwork to house it. The layout delivers a well-lit, flexible space that can be reconfigured at ease, ensuring the entrance of sunlight from the glazed façade

Economía global: FAR Frohn & Rojas

Materialmente irrelevante (apenas 23 kg de espejos, focos LED y motores minúsculos), el proyecto de esta galería de sombras plantea preguntas sobre el uso de diferentes recursos, su escasez y su abundancia.<br>Almost immaterial (mirrors, LED bulbs and tiny motors that were barely 23 kg), this shadow gallery poses questions about the use of different resources, its scarcity and its abundance