Formal Methods in Architecture - Advances in Science, Technology & Innovation
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 28)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030575083, 9783030575090

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_3 ◽

2021 ◽

pp. 29-35

Author(s):

Shota Tsikoliya ◽

Imro Vaško ◽

Petra Sochůrková ◽

Daniel Sviták

Keyword(s):

Architectural Design ◽

Differential Growth ◽

Additive Fabrication

Download Full-text

Self-learning Agents for Spatial Synthesis

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_24 ◽

2021 ◽

pp. 265-276

Author(s):

Pedro Veloso ◽

Ramesh Krishnamurti

Keyword(s):

Learning Agents ◽

Download Full-text

Design to Experiment—Experiment to Design: Tool- (User, Breaker, Designer)

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_2 ◽

2021 ◽

pp. 19-27

Author(s):

Ekin Ünlü ◽

Sema Alaçam

Keyword(s):

Download Full-text

Space, Adaptability and Use: Triangulating Research Criteria for Adaptability Retrieval

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_14 ◽

2021 ◽

pp. 147-156

Author(s):

Carolina Coelho

Keyword(s):

Research Criteria

Download Full-text

Agent-Based Semiology: Optimizing Office Occupation Patterns with Agent-Based Simulations

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_5 ◽

2021 ◽

pp. 49-59

Author(s):

Robert R. Neumayr

Keyword(s):

Agent Based ◽

Agent Based Simulations

Download Full-text

Public Space Use: An Approach to Livability in Urmia Bazaar, Iran

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_21 ◽

2021 ◽

pp. 231-240

Author(s):

Momen FoadMarashi ◽

Francisco Serdoura

Keyword(s):

Public Space ◽

Download Full-text

Building Circulation from a Syntactic Context in Relation to Indoor Thermal Environment

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_11 ◽

2021 ◽

pp. 115-121

Author(s):

Leen Hiasat ◽

Pedro Januário

Keyword(s):

Thermal Environment ◽

Indoor Thermal Environment ◽

Syntactic Context

Download Full-text

Spectral Clustering and Integration: The Inner Dynamics of Computational Geometry and Spatial Morphology

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_22 ◽

2021 ◽

pp. 243-250

Author(s):

Tasos Varoudis ◽

Alan Penn

Keyword(s):

Computational Geometry ◽

Spectral Clustering ◽

Spatial Morphology

Download Full-text

Multiscale Configurational Approach to the Design of Public Open Spaces After Urban Disasters

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_16 ◽

2021 ◽

pp. 171-183

Author(s):

Chiara Chioni ◽

Camilla Pezzica ◽

Valerio Cutini ◽

Clarice Bleil de Souza ◽

Simone Rusci

Keyword(s):

Open Spaces ◽

Configurational Approach ◽

Public Open Spaces

Download Full-text

Tools for the Co-designing of Housing Transformations: A Study on Interaction and Visualization Modes

Formal Methods in Architecture - Advances in Science, Technology & Innovation ◽

10.1007/978-3-030-57509-0_9 ◽

2021 ◽

pp. 91-100

Author(s):

Sara Eloy ◽

Micaela Raposo ◽

Fábio Costa ◽

Pieter E. Vermaas

Download Full-text