Catálogo de publicaciones

En esta tesis estudio los modos de inscripción de la abstracción en la Argentina y Brasil: las condiciones de emergencia, la constitución de las formaciones que la sostuvieron, sus producciones y los vínculos y negociaciones con las instituciones. Esto me permitirá trazar un recorrido transnacional que integre las inscripciones particulares del arte concreto en las metrópolis argentinas y brasileñas. Si bien en esta investigación se tiene en cuenta la importancia de los aportes de los artistas uruguayos y venezolanos en el desarrollo de la abstracción latinoamericana, el privilegio del enfoque Argentina- Brasil se basa en la profusión continua de los intercambios artístico-institucionales, en la coincidencia de los recortes estéticos vinculados al concretismo y en la consideración de esta tendencia como una fuerza activa en el proyecto de transformación sociocultural que desde distintos sectores se intentaba promover en ambos países. Esta tesis propone un enfoque bifronte: reconstruir las redes de contactos culturales entre las comunidades regionales e internacionales vinculadas al arte concreto y comparar las condiciones en las cuales estas propuestas emergieron e inscribieron sus proyectos en los panoramas artísticos de ambos países. Por un lado, me interesa rastrear los contactos culturales: indagar en los vínculos, viajes, diálogos, disputas e intercambios entre argentinos y brasileños en torno al arte concreto. Por otro lado, busco establecer un análisis comparativo que permita comprender los modos en que se planteó el surgimiento del concretismo, su circulación y la interrelación con propuestas europeas desde el estudio específico de cada proyecto. Pues, si bien la inserción y el desarrollo del arte concreto planteó en la Argentina y en Brasil circunstancias y problemáticas diferenciadas, este proceso delinea una trama común de imágenes y discursos, permitiendo identificar y abordar estos procesos desde una perspectiva regional.

Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables.

In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.

• Exploits the over-approximation methods to integrate AI tools in the methods of CP
• Exploits the relationships captured to solve continuous problems more effectively
• Learn from the developers of a solver capable of handling practically all abstract domains