Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 / / edited by Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz
| Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 / / edited by Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz |
| Autore | Marques Bruno |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (790 pages) |
| Disciplina | 352.56 |
| Altri autori (Persone) |
RuivoCatarina
Leite VianaDavid Vieira VazJorge |
| Collana | Digital Innovations in Architecture, Engineering and Construction |
| Soggetto topico |
Facility management
Building information modeling Computer-aided engineering Urban economics Virtual reality Augmented reality Facility Management Building Information Modeling Computer-Aided Engineering (CAD, CAE) and Design Urban Economics Virtual and Augmented Reality |
| ISBN | 3-032-02782-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | TopologicPy a Syntopic Integration of Geometry, Topology and Semantics in Architectural Design -- AI and architecture -- Deciphering Urban Morphogenesis A Morphospace Perspective -- Co learning between research and practice in planning: adressing the physical form of cities -- Combining space syntax and kernel methods in the delimitation of the Matosinhos Urban Pressure Zone -- Adaptation of Plot systems a method for analysing space and time -- Measuring the impact of urban structures shaped by topography on the competitiveness between car and pedestrian a GIS simulation on Salvador vs San Francisco -- Advancing Spatial Cognition Analysis Integrating Agent-Based Modelling with Space Syntax in the NetLogo Framework -- Visualizing Urban Experience AI and Computer Vision Framework for Historic Commercial Streets in Egypt -- The Effect of Potential Urban Elements on Finding Direction in Urban Space Exampling Of Kadiköy Yeldegirmeni, Istanbul,Turkey -- Reimagining Human-Nature Coexistence: An Integrative Approach to Architectural Design with Biomimicry, Generative Modeling, and AI -- Reimagining Digitalized Space Integrating Meaning and Technology in Building Systems -- Parametric Software to Support Architectural Design strategies -- Optimizing Sustainability through digital tools Energy and Carbon Comparative Analysis of Brick, Concrete and Wood Frame Constructions in Coimbra Residences -- Reassembling Waste: Towards a Carbon Zero Built Environment -- Advancing Architectural Visualization Boosting Scale and Reality with Augmented Reality -- Architecting the Metaverse A Paradigm Shift in Architecture Co-Design. |
| Record Nr. | UNINA-9911034941203321 |
Marques Bruno
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 / / edited by Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
| Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 / / edited by Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz |
| Autore | Mora Plácido Lizancos |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (522 pages) |
| Disciplina | 720.1 |
| Altri autori (Persone) |
VianaDavid Leite
MoraisFranklim Vieira VazJorge |
| Collana | Digital Innovations in Architecture, Engineering and Construction |
| Soggetto topico |
Buildings - Design and construction
Architecture Computer-aided engineering Building Construction and Design Computer-Aided Engineering (CAD, CAE) and Design Cities, Countries, Regions |
| ISBN |
9789819922178
9819922178 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Acknowledgements -- Contents -- About the Editors -- 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 -- 1 Introduction -- 2 Chapter One: The Dialogical Hope -- 3 Chapter Two: Some Examples of Human Interlocation -- 4 Conclusion -- References -- The Architectonics of Form: Intelligibility of Space and Form in Space-Time -- 1 Introduction -- 2 The Dynamics of Form and Embodied Vision -- 3 Conceptual Space Independent of the Observer -- 4 The Three-Dimensional Shape of Embodied Vision in Space-Time-Towards a Formal Method -- References -- Research, Diffusion and Transfer in Architecture-The European Context -- 1 Introduction -- 2 The Role of Architecture in Horizon Europe -- 3 Impact Assessment -- 4 Conclusions -- Some Controversies Around Formalization in Architecture -- 1 Formalization as a Current Path of Cognitive and Methodological Evolution -- 1.1 Formal Is not Digital -- 2 What About Architecture? -- 3 Architecture Is Historically Defined as a Discipline of Deep Abstract Thinking -- 3.1 Spatial Organization of Human Life -- 3.2 Construction and Environmental Control -- 3.3 Abstract Thinking in Architecture Becomes More Complex, Assumes Other Roles, and Gains Autonomy -- 3.4 The Self-autonomization of Architectonic Languages -- 4 Struggles -- 4.1 Normative Versus Rational Methods -- 4.2 "Be Tolerant in the Use of Linguistic Forms" -- 4.3 Denotational Semantics -- 4.4 Denotation Through Connotation -- 4.5 Interlacing Multiple Languages -- 4.6 Development and Experimentation of Languages -- 4.7 Positioning Is not Arbitrary, but Socially Engaged -- 5 The Need for an Autonomous Architectural Formalization.
Developments in Space Configuration, Accessibility and Visibility Analysis -- A Spatial Analysis Proposal for Activity Affordance in Exhibition Halls -- 1 Introduction -- 2 Literature Review -- 2.1 Quantitative Representations of Architectural Space -- 2.2 Considerations for Room Analysis -- 3 Methodology -- 3.1 Construction of the Grid -- 3.2 Adjacency and Valency -- 3.3 Accessibility and Second-Degree Valency -- 3.4 Computation of Connections and Valences -- 3.5 Translation of Hexagonal Coordinates into Rectangular Coordinates -- 4 Data -- 5 Statistical Results -- 6 Discussion -- 7 Conclusions and Future Work -- References -- VISSOP: A Tool for Visibility-Based Analysis -- 1 Introduction -- 2 Background -- 3 How VISSOP Works -- 3.1 Relational Isovists -- 3.2 Visibility-Based Analysis Methods -- 3.3 Measurements -- 4 Applications and Possibilities -- 4.1 Case Study -- 5 Discussion and Future Work -- 6 Conclusion -- References -- Restructuring Urban Form Through Restructuring Accessibility: An Integrated Urban Network Approach -- 1 Introduction -- 2 Research Methodology -- 3 Research Findings -- 3.1 The Qualitative Spatial Patterns -- 3.2 The Urban Spatial Structure -- 3.3 Implications on Land Use Planning -- 4 Discussion and Conclusion -- References -- Urban Design, Architecture and Space Syntax in the Conception of Public Spaces-A Look at Luanda'S Revitalization -- 1 Introduction -- 2 Theoretical Framework -- 2.1 Urban Design Theories and Practices -- 2.2 Public Space and Public Life -- 3 Methods -- 3.1 Space Syntax and Public Open Space Revitalization -- 3.2 Axial Analysis -- 4 Methodology of Analysis -- 4.1 The Revitalization of the Bay of Luanda -- 5 Results -- 6 Discussion -- 7 Summary and Preliminary Conclusions -- References. Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space -- 1 Introduction -- 2 Empirical Data -- 2.1 Empirical Data on the Use of Spaces -- 2.2 Empirical Data-Physical, Geometric, and Functional Surveys -- 3 Pedestrian Dynamics Methodologies -- 3.1 Traffic Flow Methodologies-Mobility Analysis -- 3.2 Agent-Based Methodologies -- 3.3 Space Syntax-Segments -- 3.4 Visibility Graph Analysis -- 3.5 3D Space Syntax -- 4 Conclusions -- 5 Future Work -- References -- Space Syntax as a Distributed Artificial Intelligence System: A Framework for a Multi-Agent System Development -- 1 Introduction -- 2 Pedestrian Route Election and Allocation -- 3 Agent Technologies and Existing Frameworks Implementations -- 3.1 Built Environment Existing Representations: NETLogo and Repast GIS Extensions -- 3.2 Built Environment Existing Representations for Evacuation Simulations -- 3.3 Steering Behaviours Implementation: Relevant Gaming Technologies -- 4 Multi-agent Systems Models (MAS) Foundational Basis -- 4.1 FIPA and Agent Communication Protocols -- 4.2 Agent's Coordination -- 5 Agents Properties, Architectures and Multi-Agent System MAS Definition. -- 5.1 Agent Architectures, Foundations of Agent's Reasoning -- 5.2 Classical Architecture: Reactive Versus Deliberative -- 5.3 Classical Architecture: Belief-Desire-Intention (BDI) Model -- 5.4 Classical Architecture: Hybrid/Layered Architecture -- 5.5 Cognitive Architecture -- 6 Conclusions -- 6.1 Goal and Decision-Making Process Customization: Cost Function -- 6.2 Adequate Existing Technological Approaches -- 6.3 Agents' Architectures, Languages and Attributes -- References -- Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach -- 1 Introduction -- 2 Contextualization of the Study Territory. 3 Theoretical Methodological Bases -- 3.1 Space Syntax -- 3.2 Kernel Maps -- 4 Correlation Between Configurational Analysis and Density Maps -- 4.1 Reading and Interpretation of Correlations -- 5 Conclusions -- References -- Applying a Morphological Approach into Istanbul's Urban Landscape -- 1 Introduction -- 2 Characterizing the Urban Landscape Through the Method of Morphological Regionalization -- 3 The Urban History of Istanbul -- 4 The Turkish Planning System and Built Heritage -- 5 The Application into Istanbul -- 5.1 First-Order Regions -- 5.2 Second-, Third-, and Fourth-Order Regions -- 6 Conclusions -- References -- Evaluating Urbanity by Measuring Urban Morphology Attributes -- 1 Introduction-The Quality of Urban Space -- 2 Attributes/Indicators/Performance/Quality -- 3 Indicators -- 4 Performance -- 4.1 Configuration -- 4.2 Density and Urban Form -- 4.3 Occupation (Population and Housing Density) -- 4.4 Mixed Use and Diversity -- 4.5 Public-Private Space Interfaces -- 5 Discussion (on Quality and Lessons Learned for Urban Design) -- 6 Conclusion and Future Work -- References -- Developments in Architectural Design Automation -- Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods -- 1 Introduction -- 2 Related Work -- 3 Research Design and Methodology -- 4 Placing the Building Shape and Primary Circulation -- 5 Machine Learning Experiments -- 6 Placing Secondary Circulation and the Rooms -- 7 Results -- 8 Next Steps and Improvements -- 9 Conclusions -- 10 Related Software and Tools -- References -- Experimental Form-Finding Method. Case Study: 'Weather Pavilion' -- 1 Introduction -- 1.1 Nature-Adaptive Design/Bio-Background -- 1.2 Digital Form-Finding and Algorithmic Design -- 1.3 Structural and Shape Optimization in Architecture -- 1.4 Tensegrity (Tensional Integrity) Systems. 1.5 Goals of the Paper and Architectural Philosophy -- 2 Methods -- 2.1 Weather-Triggered Form-Finding -- 2.2 Data -- 2.3 'DNA' -- 2.4 Growth -- 2.5 Force Load -- 2.6 Analysis -- 2.7 Optimization -- 2.8 Simulation -- 3 Results -- 3.1 Pros of the Method -- 3.2 Cons of the Method -- 3.3 Future Work and Possible Further Applications of the Method -- 4 Conclusion -- References -- Modelling the Relationships Between Ground and Buildings Using 3D Architectural Topological Models Utilising Graph Machine Learning -- 1 Introduction -- 2 Motivation -- 3 Building and Ground Relationship -- 4 Graph Neural Network (GNN) -- 4.1 Application of Graph Machine Learning in Architecture -- 4.2 Topologic -- 5 Methodology -- 6 Generating the Building/Ground Case Study (Rules) -- 6.1 Flat Ground (FG) -- 6.2 Sloped Ground (SG) -- 7 Generating the Building/Ground Case Study (Iteration) -- 7.1 Flat Ground (FG) Iteration Form -- 7.2 Sloped Ground (SG) Iteration Form -- 8 Experimental Results -- 8.1 Deep Graph Convolutional Neural Network (DGCNN) -- 8.2 Prediction of New Building and Ground Relationship Scenario -- 9 Conclusion -- References -- Associative Synthesis with Deep Neural Networks for Architectural Design -- 1 Introduction -- 2 Method -- 2.1 Project 1 -- 2.2 Project 2 -- 2.3 Project 3 -- 3 Conclusion -- References -- Behind Algorithmic Geometric Patterns: A Framework for Facade Design Exploration -- 1 Introduction -- 2 Methods -- 3 Mastering Unpredictability -- 4 Mathematics-Based Implementation -- 4.1 Pattern -- 4.2 Fabrication -- 5 Evaluation -- 5.1 Algorithmic-Based Exploration -- 5.2 Algorithmic-Based Manufacturing -- 6 Conclusion -- References -- Formal Studies on the Parts and Wholes of Historical Bricklay Designs -- 1 Introduction -- 2 Methodology -- 3 Setting Up a Generative System -- 3.1 Characteristics of Bricks -- 3.2 Parameters of Bricklaying. 3.3 Rules of Bricklaying. |
| Record Nr. | UNINA-9910736978403321 |
|
Mora Plácido Lizancos
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||