Variable elimination for building interpreters

In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (the language which is used to build the interpreter). In order to transform user-defined functions into host language functions we use combinatory logic : lambda-abstractions are transformed into a composition of combinators. We provide a mechanically checked proof that this step is correct for the call-by-value strategy with imperative features.Comment: 33 page

Roger Ginsburger - von der Architektur zur Revolution

Wissenschaftliches Kolloquium vom 5. bis 7. Juli 1983 in Weimar an der Hochschule für Architektur und Bauwesen zum Thema: 'Das Bauhauserbe und die gegenwärtige Entwicklung der Architektur : zum 100. Geburtstag von Walter Gropius

Introduction

L’atelier porte sur l’étude des historiens de l’architecture, alors qu’une vague de rencontres, de doctorats, de publications sur la fabrication de l’histoire et son enseignement, notamment dans les écoles d’architecture, peut être observée.Il évoque les paradigmes à l’œuvre dans les récits historiques, leurs modes de formation et leur transformation, ainsi que leurs rapports avec l’histoire dans ses différents développements, l’histoire de l’art et les sciences sociales. Les institutions au sein desquelles sont produites les histoires et qui sont loin de se limiter au milieu académique sont également considérées, de même que les rapports de commande établis entre architectes et historiens, et que les processus de dissémination de l’histoire.La posture psychologique qui est celle des historiens, révélée par les effets de transfert et de contre-transfert dans le choix de leurs thèmes de recherche et par la relation entretenue avec leur objet d’étude, est enfin un point sur lequel se centrent plusieurs des contributions

Architecture et forme urbaine

Enseignement Cours – L’architecture, vecteur du politique : le gouvernement de l’espace Les relations entre l’architecture et la politique ont trop souvent été réduites au lien direct entre les gouvernants, et notamment les dictateurs, pour ce qui est du xxe siècle, et les concepteurs. Pourtant, l’espace dans lequel l’architecture, définie à la fois comme culture et comme pratique professionnelle, interagit avec le politique n’est pas plus isotrope qu’il n’est homogène. Il serait plutôt, pour..

Cidade-Frotagem

Citation is a basic operation among all artistic and literary practices, as well as among any discursive forms of everyday life. It has also been a widespread practice within the architectural discourse since the Renaissance. What about quotations within non-verbal productions? Intertextuality works in several regions of architectural theory and practice. Taking it into account allows for the understanding of the ways by which different architects’ ideas and projects may ressonate in their contemporaries or successors. Intericonicity, intertectonicity and, above all, transurbanity are relevant categories to the understanding of local, national or universal circulation of images, material characters and urban forms in the making of the historical fabric of cities.A citação é uma operação fundamental de todas as práticas artísticas e literárias, assim como de todas as formas discursivas da vida cotidiana e tem sido uma prática amplamente difundida no discurso arquitetônico desde o Renascimento. O que dizer da citação em produções não verbais? A intertextualidade atua em várias áreas da teoria e da prática de arquitetura e sua consideração permite entender a reverberação de ideias e projetos de diferentes autores sobre os de seus contemporâneos ou sucessores. Intericonicidade, intertectonicidade e, especialmente, a transurbanidade são categorias relevantes para a compreensão da circulação local, nacional ou universal de imagens, caracteres materiais e formas urbanas na constituição do tecido histórico concreto das cidades

An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP

AbstractThe paper presents an incremental and efficient algorithm for testing the satisfiability of systems of linear equalities, inequalities (strict or unrestricted), and disequalities. In addition, it describes the incorporation of that algorithm into a metalevel interpreter capable of processing both tree constraints and the mentioned linear constraints in the domain of rationals. Important characteristics of the described algorithm are (1) detection of fixed variables within the context of Gaussian elimination, including the simplex method. (2) efficient dereferencing by considering subclasses of solved forms, and (3) efficient testing of inconsistencies between equality and disequality subclasses. The metalevel interpreter is written in Prolog. Examples of its usage are provided. Finally, the paper outlines how the approach may be generalized to consider the efficient and incremental testing of constraint satisfiability in various domains

Arquitetura, modernidade, modernização

En el marco de una reflexión que tiene lugar actualmente en diversas instituciones francesas a propósito de la consolidación de la arquitectura como objeto de investigación científica -en un proceso que cumple casi medio siglo-, el presente texto interroga la idea de modernidad en arquitectura, y analiza discursos que han explicado la modernización de la sociedad a través de la arquitectura. Inicialmente, se describe el contexto que propició a principios de la década de los setenta la creación del CORDA: un organismo de carácter público que fomentó la investigación "por y para" la arquitectura. Ror otro lado, como protagonista de dicho proceso, el autor del presente texto desarrolla (a partir de un conciso "autorretrato intelectual") la hipótesis acerca de la ruptura entre arquitectos e intelectuales que caracterizaba el panorama francés de la época -en evidente contraste con el caso italiano, por ejemplo-. Así, desde el análisis de episodios y casos puntuales que ilustran la diversidad de las relaciones que se han entretejido, por ejemplo, entre el arquitecto y el libro, los escritores y la arquitectura, o el edificio y la ciudad, se esclarecen algunos aspectos que en su conjunto (y privilegiando para ello una lectura transdisciplinar y transnacional) fortalecen la renovación de la historia de la arquitectura contemporánea como campo disciplinar

Effects of rat anti-VEGF antibody in a rat model of corneal graft rejection by topical and subconjunctival routes

PURPOSE: To compare the effect of a rat anti-VEGF antibody, administered either by topical or subconjunctival (SC) routes, on a rat model of corneal transplant rejection.METHODS: Twenty-four rats underwent corneal transplantation and were randomized into four treatment groups (n=6 in each group). G1 and G2 received six SC injections (0.02 ml 10 µg/ml) of denatured (G1) or active (G2) anti-VEGF from Day 0 to Day 21 every third day. G3 and G4 were instilled three times a day with denatured (G3) or active (G4) anti-VEGF drops (10 µg/ml) from Day 0 to Day 21. Corneal mean clinical scores (MCSs) of edema (E), transparency (T), and neovessels (nv) were recorded at Days 3, 9, 15, and 21. Quantification of neovessels was performed after lectin staining of vessels on flat mounted corneas.RESULTS: Twenty-one days after surgery, MCSs differed significantly between G1 and G2, but not between G3 and G4, and the rejection rate was significantly reduced in rats receiving active antibodies regardless of the route of administration (G2=50%, G4=66.65% versus G1 and G3=100%; p<0.05). The mean surfaces of neovessels were significantly reduced in groups treated with active anti-VEGF (G2, G4). However, anti-VEGF therapy did not completely suppress corneal neovessels.CONCLUSIONS: Specific rat anti-VEGF antibodies significantly reduced neovascularization and subsequent corneal graft rejection. The SC administration of the anti-VEGF antibody was more effective than topical instillation

Synergie de modélisations physique et numérique pour le développement d’atténuateurs de vagues d’un convoi fluvial / Synergy between physical and numerical modeling used for the development of ship waves attenuator

Le batillage résulte du déferlement des vagues générées par le passage d’une embarcation. Les effets qui en résultent sur le milieu aquatique sont l’érosion des berges et la destruction des habitats. Sur le canton de Genève, une grande partie des déchets ménagers est conduite à l’usine d’incinération par transport fluvial sur le Rhône. Le dispositif navigable, composé d’un pousseur fonctionnant au biocarburant et d’une barge pouvant contenir jusqu’à 170 tonnes de charge utile, génère des vagues qui altèrent les berges du Rhône en certains endroits. C’est pourquoi, une étude visant à développer des atténuateurs de vagues a été conduite en s’appuyant sur des mesures et observations in situ, sur la modélisation numérique 3D et sur la modélisation physique en bassin de carène. Le comportement du convoi a été analysé dans les conditions actuelles puis différentes solutions ont été testées et optimisées. L’analyse comparative des résultats numériques et physiques a fait apparaître des écarts significatifs liés en particulier au fait que la modélisation numérique considère le convoi comme un objet rigide. Le modèle physique s’est révélé plus consistant sur le développement du champ de vagues et sur la force de traînée. La complémentarité des approches numérique et physique a cependant confirmé son utilité dans la problématique traitée. Elle a contribué à l’interprétation réciproque des résultats pour l’évaluation de variantes. La solution retenue permett d’envisager une réduction de l’amplitude de la vague maximale de l’ordre de 23 à 41%, en fonction de la vitesse de navigation. ------------------------------------------------------- The waves generated by the passage of a boat break on the shore. The resulting effects on the aquatic ecosystem are the bank erosion and the habitat destruction. In Geneva, an important part of the domestic wastes is conveyed to the waste incineration plant by shipping on the Rhone River. The convoy, constituted of a tugboat and a barge, capable to carry 170 tons of waste, generate waves which deteriorate the banks of the river. Therefore, a study aiming to develop wave attenuator was conducted based on measurements and observations on field, on 3D numerical simulations and on physical modelling in a basin. The convoy behaviour was analysed in the actual conditions, then different solutions were tested and optimized. The comparative analysis of the physical and numerical results showed significant differences related to the fact that the convoy is considered as a fix object in the numerical simulation. The physical model is more consistent on the wave development and on the drag force. The complementarity of both approaches confirms however their utility for the study. They allow reciprocal interpretation of the results in order to evaluate variants. The final solution leads to a reduction of the maximum wave amplitude of 23 to 41% depending on the navigation speed