Shaping Formal Methods: Syntax, Typology and Computation.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 1, doi. 10.1007/s00004-025-00811-5
- By:
- Publication type:
- Article
Works matching IS 15905896 AND DT 2025 AND VI 27 AND IP 1
Results: 12
1
2
Multi Hyperbolic Paraboloid (Hypar) Bamboo Structures: Surface-Based Design Approach.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 73, doi. 10.1007/s00004-024-00808-6
- By:
- Publication type:
- Article
3
Non-trivial Self-organised Floor Plans: An Optimisation Strategy.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 161, doi. 10.1007/s00004-024-00807-7
- By:
- Publication type:
- Article
4
Computational Design and Parametric Analysis of a Fractal-Based Folded-Smooth (F-S) Hybrid Shell Structure.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 221, doi. 10.1007/s00004-024-00806-8
- By:
- Publication type:
- Article
5
Composing Conversational Architecture by Integrating Large Language Model: From Reactive to Suggestive Architecture through Exploring the Mathematical Nature of the Transformer Model.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 203, doi. 10.1007/s00004-024-00805-9
- By:
- Publication type:
- Article
6
Parametric Computational Simulation of the Expandability of Deployable Bamboo Structures: Parametric Computational Simulation: A. Maurina, V. Blouin.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 51, doi. 10.1007/s00004-024-00801-z
- By:
- Publication type:
- Article
7
Computing Typology: Generative Design for Creating Housing Solutions from Type Analysis in Bogota.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 139, doi. 10.1007/s00004-024-00796-7
- By:
- Publication type:
- Article
8
Hat Monotiles: Driving Innovation in Aperiodic Pattern Generation and Application.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 7, doi. 10.1007/s00004-024-00795-8
- By:
- Publication type:
- Article
9
3D Printing Plastic Molds for Repeatable Casting of Mortarless Topological Interlocking Assemblies.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 27, doi. 10.1007/s00004-024-00791-y
- By:
- Publication type:
- Article
10
Luigi Moretti's Formalised Methods and his Use of Mathematics in the Design Process of Architettura Parametrica's Swimming Stadiums.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 119, doi. 10.1007/s00004-024-00784-x
- By:
- Publication type:
- Article
11
Assessment of Grasshopper Plugins for Topology Optimization in Varied Architectural Design Domains: Assessment of Grasshopper Plugins for Topology Optimization in Varied Architectural Design Domains: M. Selmi and Z. Y. İlerisoy.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 187, doi. 10.1007/s00004-024-00782-z
- By:
- Publication type:
- Article
12
A Methodological Approach and Geometry-Based Typology of Late-Gothic Net Vaults' Rib Systems. Presented on Case Studies from Historic Hungary.
- Published in:
- Nexus Network Journal: Architecture & Mathematics, 2025, v. 27, n. 1, p. 95, doi. 10.1007/s00004-024-00780-1
- By:
- Publication type:
- Article