↓ Skip to main content

Formal Methods in Architecture

Overview of attention for book
Cover of 'Formal Methods in Architecture'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Formalization of Architecture as a Social Dialogical Tool: An Introduction to Innovative Theoretical Frames in Architectural Design
  3. Altmetric Badge
    Chapter 2 The Architectonics of Form: Intelligibility of Space and Form in Space–Time
  4. Altmetric Badge
    Chapter 3 Research, Diffusion and Transfer in Architecture—The European Context
  5. Altmetric Badge
    Chapter 4 Some Controversies Around Formalization in Architecture
  6. Altmetric Badge
    Chapter 5 A Spatial Analysis Proposal for Activity Affordance in Exhibition Halls
  7. Altmetric Badge
    Chapter 6 VISSOP: A Tool for Visibility-Based Analysis
  8. Altmetric Badge
    Chapter 7 Restructuring Urban Form Through Restructuring Accessibility: An Integrated Urban Network Approach
  9. Altmetric Badge
    Chapter 8 Urban Design, Architecture and Space Syntax in the Conception of Public Spaces—A Look at Luanda’S Revitalization
  10. Altmetric Badge
    Chapter 9 Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space
  11. Altmetric Badge
    Chapter 10 Space Syntax as a Distributed Artificial Intelligence System: A Framework for a Multi-Agent System Development
  12. Altmetric Badge
    Chapter 11 Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach
  13. Altmetric Badge
    Chapter 12 Applying a Morphological Approach into Istanbul’s Urban Landscape
  14. Altmetric Badge
    Chapter 13 Evaluating Urbanity by Measuring Urban Morphology Attributes
  15. Altmetric Badge
    Chapter 14 Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods
  16. Altmetric Badge
    Chapter 15 Experimental Form-Finding Method. Case Study: ‘Weather Pavilion’
  17. Altmetric Badge
    Chapter 16 Modelling the Relationships Between Ground and Buildings Using 3D Architectural Topological Models Utilising Graph Machine Learning
  18. Altmetric Badge
    Chapter 17 Associative Synthesis with Deep Neural Networks for Architectural Design
  19. Altmetric Badge
    Chapter 18 Behind Algorithmic Geometric Patterns: A Framework for Facade Design Exploration
  20. Altmetric Badge
    Chapter 19 Formal Studies on the Parts and Wholes of Historical Bricklay Designs
  21. Altmetric Badge
    Chapter 20 A Data Workflow Approach for Pedagogical Sensitization to the BIM Concept
  22. Altmetric Badge
    Chapter 21 Massing and Skin: A Pedagogical Experiment with Physical and Digital Design Media
  23. Altmetric Badge
    Chapter 22 An Experience Around the Rationalization of Architectural Analysis
  24. Altmetric Badge
    Chapter 23 Changing Methods in Teaching for Strengthening the Relation Between Research and Practice
  25. Altmetric Badge
    Chapter 24 Proposal and Application of a Graphic Method for the Definition of New Qualitative Indicators of Architectural Education
  26. Altmetric Badge
    Chapter 25 Encoding Social Values of Local Communities in Algorithmic-Driven Design Methods
  27. Altmetric Badge
    Chapter 26 Actors@BIM: A Hybrid Formal Model for Cognitive Buildings
  28. Altmetric Badge
    Chapter 27 Generation of a Large Synthetic Database of Office Tower's Energy Demand Using Simulation and Machine Learning 
  29. Altmetric Badge
    Chapter 28 Strategies of Learning and Control of Robotic Manufacturing Methods in Architecture
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal Methods in Architecture
Published by
Springer Nature Singapore, July 2023
DOI 10.1007/978-981-99-2217-8
ISBNs
978-9-81-992216-1, 978-9-81-992217-8
Editors

Mora, Plácido Lizancos, Viana, David Leite, Morais, Franklim, Vieira Vaz, Jorge

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.