Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5fma), Lisbon 2020
Overview
The Ethics of our Work.- From Datascape to Formal Methods.- Variational Beauty of Space. Machine Intuition and Urban Networks.- Global and Disciplinary Frameworks for Formal Methods in Architecture.- Mathematically Developing Building Facades: an Algorithmic Framework.- Design to Experiment - Experiment to Design: Tool (User, Breaker, Designer).- Tectonics of Differential Growth. Folds in Additive Fabrication and Moulding for Architectural Design.- BIM Based Airport Design Project Standardization (IFC) for Use of Code Checking.- Agent-based Semiology: Optimizing Office Occupation Patterns with Agent-based Simulations.- Digital Doxiadis: Parametric Thinking for Human Settlements.- L'Objet Invalide.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783030575113
- ISBN-10: 303057511X
- Publisher: Springer
- Publish Date: January 2022
- Dimensions: 11 x 8.25 x 0.72 inches
- Shipping Weight: 1.73 pounds
- Page Count: 313
Related Categories
