Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Información General
- Autores: Plácido Lizancos (ed. lit.), David Leite Viana (ed. lit.), Franklim Morais (ed. lit.), Jorge Vieira
- Editores: Springer Nature Singapore
- Año de publicación: 2023
- País: Singapur
- Idioma: inglés
- ISBN: 978-981-99-2216-1
- Texto completo no disponible (Saber más ...)
Otros catálogos
Listado de artículos
-
-
Statements by the keynote speakers and the chairs of the 6FMA
The Formalization of Architecture as a Social Dialogical Tool: An Introduction to Innovative Theoretical Frames in Architectural Design
págs. 3-16
The Architectonics of Form: Intelligibility of Space and Form in Space-Time
págs. 17-26
Research, Diffusion and Transfer in Architecture: The European Context
págs. 27-34
Some Controversies Around Formalization in Architecture
Plácido Lizancos, Catarina Ruivo Pereira, David Leite Viana, Franklim Morais, Jorge Vieira, Vicente López-Chao
págs. 35-46
-
Developments in architectural design automation
págs. 49-62
VISSOP: A Tool for Visibility-Based Analysis
págs. 63-78
Restructuring Urban Form Through Restructuring Accessibility: An Integrated Urban Network Approach
págs. 79-92
Urban Design, Architecture and Space Syntax in the Conception of Public Spaces-: A Look at Luanda'S Revitalization
págs. 93-114
págs. 115-144
Space Syntax as a Distributed Artificial Intelligence System: A Framework for a Multi-Agent System Development
Ana Cocho Bermejo
págs. 145-174
Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach
Marine Luiza de Oliveira Mattos, Arthur Dornellas Oliveira, David Leite Viana
págs. 175-200
págs. 201-218
págs. 219-248
Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods
págs. 251-268
Experimental Form-Finding Method: Case Study: 'Weather Pavilion'
págs. 269-286
págs. 287-306
págs. 307-322
Behind Algorithmic Geometric Patterns: A Framework for Facade Design Exploration
págs. 323-342
págs. 343-355
-
Experiences in dissemination AND teaching of formal methods in the architectural domain
A data workflow approach for pedagogical sensitizacion to the BIM concept
Mohamed Anis Gallas, Gregorio Saura Lorente, Etienne Godimus
págs. 359-374
Massing and skin: a pedagogical experiment with physical and digital design media
Ioanna Symeonidou, Giorgos Kalaouzis, Alexandros Efstathiadis
págs. 375-388
págs. 389-406
págs. 407-418
págs. 419-432
-
Other formal methods
Encoding social values of local communities in algorithmic-driven design methods
Silvio Carta, Tommaso Turchi, Neil Spencer, Miguel Vidal Calvet
págs. 435-452
Actors@BIM: a hybrid formal model for cognitive buildings
P.Govind Raj, Subrat Kar
págs. 453-478
págs. 479-500
págs. 501-515
-
