LEADER 00965nam0-22002771i-450- 001 990008008150403321 005 20050322122007.0 035 $a000800815 035 $aFED01000800815 035 $a(Aleph)000800815FED01 035 $a000800815 100 $a20050221d--------km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aStoria del movimento operaio dalla seconda metà del XVIII secolo alla vigilia della seconda guerra mondiale$ecorso di lezioni del Prof. Giuseppe Mira presso l'Università di Perugia$fGiuseppe Mira 210 $aRoma$cEdizioni Piazza Navona 215 $a83 p$d23 cm 700 1$aMira,$bGiuseppe$0137475 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008008150403321 952 $aN3.494$b10637$fDECTS 959 $aDECTS 996 $aStoria del movimento operaio dalla seconda metà del XVIII secolo alla vigilia della seconda guerra mondiale$9750757 997 $aUNINA LEADER 01267nam 2200301Ia 450 001 996387305903316 005 20221108045201.0 035 $a(CKB)4940000000086717 035 $a(EEBO)2240910809 035 $a(OCoLC)9922666500971 035 $a(EXLCZ)994940000000086717 100 $a20011203d1619 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe doctrine of thankfvlnesse: or, Israels trivmph, occasioned by the destruction of Pharaoh and his hoste, in the Red-Sea$b[electronic resource] $eA sermon preached in the parish church of All-Saints in Northampton. Nouemb. 5. 1618. /$fBy Ieremiah Lewis .. 210 $aLondon : Printed by T.S. for Edward Brewster, and are to be solde at the west end of Paules, at the signe of the Starre.$d1619 215 $a[4], 47 p 300 $aReproduction of original in the British Library. 330 $aeebo-0018 606 $aSermons, English$y17th century 615 0$aSermons, English 700 $aLewis$b Jeremiah$f1588?-1628.$01005097 801 0$bEAE 801 1$bEAE 906 $aBOOK 912 $a996387305903316 996 $aThe doctrine of thankfvlnesse: or, Israels trivmph, occasioned by the destruction of Pharaoh and his hoste, in the Red-Sea$92330491 997 $aUNISA LEADER 12848nam 22007215 450 001 9910736978403321 005 20251009073441.0 010 $a9789819922178 010 $a9819922178 024 7 $a10.1007/978-981-99-2217-8 035 $a(MiAaPQ)EBC30672184 035 $a(Au-PeEL)EBL30672184 035 $a(DE-He213)978-981-99-2217-8 035 $a(PPN)272268941 035 $a(CKB)27906629500041 035 $a(OCoLC)1392345196 035 $a(EXLCZ)9927906629500041 100 $a20230801d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods in Architecture $eProceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 /$fedited by Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz 205 $a1st ed. 2023. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2023. 215 $a1 online resource (522 pages) 225 1 $aDigital Innovations in Architecture, Engineering and Construction,$x2731-7277 311 08$aPrint version: Mora, Plácido Lizancos Formal Methods in Architecture Singapore : Springer Singapore Pte. Limited,c2023 9789819922161 327 $aIntro -- 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. 327 $aDevelopments 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. 327 $aIntegrating 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. 327 $a3 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. 327 $a1.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. 327 $a3.3 Rules of Bricklaying. 330 $aThis book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. Some of the themes in the book are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility and visibility analysis. This book proves a valuable resource for those in academia and industry. 410 0$aDigital Innovations in Architecture, Engineering and Construction,$x2731-7277 606 $aBuildings$xDesign and construction 606 $aArchitecture 606 $aComputer-aided engineering 606 $aBuilding Construction and Design 606 $aArchitecture 606 $aComputer-Aided Engineering (CAD, CAE) and Design 606 $aCities, Countries, Regions 615 0$aBuildings$xDesign and construction. 615 0$aArchitecture. 615 0$aComputer-aided engineering. 615 14$aBuilding Construction and Design. 615 24$aArchitecture. 615 24$aComputer-Aided Engineering (CAD, CAE) and Design. 615 24$aCities, Countries, Regions. 676 $a720.1 700 $aLizancos$b Pla?cido$01870020 701 $aViana$b David Leite$01381862 701 $aMorais$b Franklim$01381863 701 $aVieira Vaz$b Jorge$01381864 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910736978403321 996 $aFormal Methods in Architecture$94478333 997 $aUNINA