1. Carlos González Lobo... Caminos hacia lo alternativo dentro del ámbito conceptual, proyectual y contextual de la arquitectura - González Ortiz, Humberto
RESUMEN El objetivo principal de esta Tesis Doctoral es el de ofrecer una lectura alternativa o paralela al quehacer arquitectónico actual en América Latina en general y analizar las propuestas del arquitecto mexicano Carlos González Lobo en particular. Me interesa destacar no la figura de un arquitecto como redentor arquitectónico, sino sentar el antecedente de cómo es posible desde la propuesta arquitectónica, ofrecer soluciones técnicas y estéticas definitivas a los pobladores pobres en el marco actual latinoamericano. La presente investigación esta dividida en 4 Partes. En la PARTE 1. ESTUDIO PRELIMINAR. REFERENCIAS CULTURALES Y ARQUITECTÓNICAS, se realiza la descripción de los referentes...
(application/pdf) - 18-jun-2004

2. Desarrollo de un modelo de simulación para evaluar el horizonte de contaminación con cobre de bosques esclerófilos - Ruz Frías, Ana María
En Chile Central, las emisiones de las fundiciones de cobre han sido fuente importante de contaminación en las áreas donde se instalaron. Uno de los contaminantes ha sido el cobre, el cual forma parte del material particulado que se deposita y se incorpora en los ciclos de los ecosistemas. La Refinería y Fundición de Ventanas comenzó a operar hace más de tres décadas, consecuencia de lo cual los ecosistemas han sido impactados por la depositación de cobre, entre otros metales pesados, y por lluvia ácida. Los metales pesados tienen la particularidad de no poder ser degradados, a diferencia de las...
(text/xml) - 16-jul-2004

3. Relative timing based verification of concurrent systems - Peña Basurto, Marco Antonio
RESUM La tesi presenta una nova teoria i una metodologia per a la verificació formal de propietats de seguretat en sistemes temporitzats. El correcte funcionament d'aquests sistemes no només depèn d'un conjunt de propietats funcionals, sinó també de certes suposicions sobre els retards dels components del sistema i els temps de resposta de l'entorn en el que opera el sistema. La verificació d'aquest tipus de sistemes típicament implica la resolució de varis problemes computacionalment molt complexes. En concret, la explosió combinatòria d'estats es fa especialment palesa en incloure la dimensió temporal en el problema. La teoria en que es fonamenta el mètode...
(application/pdf) - 18-jun-2004