Formal Methods in Architecture and Urbanism

Formal Methods in Architecture and Urbanism

Author: David Leite Viana

Publisher: Cambridge Scholars Publishing

Published: 2018-07-27

Total Pages: 405

ISBN-13: 1527514579

DOWNLOAD EBOOK

The book promotes the use of formal methods in the creation of new explicit languages for problem solving in architecture and urbanism. Formal methods bring advantages to human actions and involve the use of theoretically driven techniques, expressed in languages stemmed from mathematics. Formalization seeks to guarantee that solutions for daily problems are produced in a manner that ensures their greatest possible adequacy and the least test time in direct confrontation with reality. This book contributes to the progress of formalization in architectural methodologies by finding points of convergence between state of the art research on ontologies in architecture, BIM/VDC, CAD/CAM, cellular automata, GIS, parametric processes, processing and space syntax presented within the 3rd Symposium of Formal Methods in Architecture. The contents reach from millennial geometry to current shape grammars, engaging several formal approaches to architecture and urbanism, with different points of view, fields of application, grades of abstraction and formalization.


Formal Methods in Architecture and Urbanism, Volume 2

Formal Methods in Architecture and Urbanism, Volume 2

Author: Catarina Ruivo

Publisher: Cambridge Scholars Publishing

Published: 2021-10-26

Total Pages: 540

ISBN-13: 1527576655

DOWNLOAD EBOOK

This volume contributes to the debate on the application, in the disciplines of architecture and urbanism, of new formal methods and methodological advances based on tools from mathematics. From millennial geometry to current shape grammars, several formal approaches to architecture and urbanism are presented here, in order to look at the potentials and purposes of these formal methods, both those on the horizon and those already accomplished. This book promotes the use of formal methods in the creation of new explicit languages for problem-solving in the field. This collection of papers will help students, academics, researchers, and practitioners developing formal methods towards the digitalization of the architecture and urbanism sector.


Formal Methods in Architecture

Formal Methods in Architecture

Author: Sara Eloy

Publisher: Springer Nature

Published: 2021-01-04

Total Pages: 325

ISBN-13: 3030575098

DOWNLOAD EBOOK

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the 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. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.


Formal Methods in Architecture

Formal Methods in Architecture

Author: Plácido Lizancos Mora

Publisher: Springer Nature

Published: 2023-09-02

Total Pages: 522

ISBN-13: 9819922178

DOWNLOAD EBOOK

This 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.


Emerging Perspectives on Teaching Architecture and Urbanism

Emerging Perspectives on Teaching Architecture and Urbanism

Author: David Leite Viana

Publisher: Cambridge Scholars Publishing

Published: 2023-11-17

Total Pages: 350

ISBN-13: 1527552616

DOWNLOAD EBOOK

This book contains a set of essays on the teaching of Architecture and Urbanism, written by university professors and researchers from several countries. It argues that the teaching of architecture and urbanism is in a state of crisis; architecture seems unable to respond to current problems, and urbanism seems incapable of fulfilling the needs of a more balanced society and its built environment, including the human right to housing. The book comprises historical analyses, systematization of concepts, manifestos, and social evaluations, and, above all, an alignment of new objectives, curricular plans, and pedagogical methodologies.


Machine Learning and the City

Machine Learning and the City

Author: Silvio Carta

Publisher: John Wiley & Sons

Published: 2022-05-17

Total Pages: 676

ISBN-13: 1119749638

DOWNLOAD EBOOK

Machine Learning and the City Explore the applications of machine learning and artificial intelligence to the built environment Machine Learning and the City: Applications in Architecture and Urban Design delivers a robust exploration of machine learning (ML) and artificial intelligence (AI) in the context of the built environment. Relevant contributions from leading scholars in their respective fields describe the ideas and techniques that underpin ML and AI, how to begin using ML and AI in urban design, and the likely impact of ML and AI on the future of city design and planning. Each section couples theoretical and technical chapters, authoritative references, and concrete examples and projects that illustrate the efficacy and power of machine learning in urban design. The book also includes: An introduction to the probabilistic logic that underpins machine learning Comprehensive explorations of the applications of machine learning and artificial intelligence to urban environments Practical discussions of the consequences of applied machine learning and the future of urban design Perfect for designers approaching machine learning and AI for the first time, Machine Learning and the City: Applications in Architecture and Urban Design will also earn a place in the libraries of urban planners and engineers involved in urban design.


Transformative Pedagogy in Architecture and Urbanism

Transformative Pedagogy in Architecture and Urbanism

Author: Ashraf M. Salama

Publisher: Routledge

Published: 2021-03-04

Total Pages: 212

ISBN-13: 1000329291

DOWNLOAD EBOOK

First published in 2009, Transformative Pedagogy in Architecture and Urbanism is a detailed round of pedagogical dialogue on architecture and urbanism that reset the stage for debating future visions of transformative pedagogy and its impact on design education. Structured in five chapters the book presents a wide range of innovative concepts and practical methodologies for teaching architectural and urban design. It traces the roots of architectural education and offers several contrasting ideas and strategies of design teaching practices. Transformative Pedagogy in Architecture and Urbanism will appeal to those with an interest in architectural and urban design, and architectural and design education.


The Routledge Handbook of Urban Design Research Methods

The Routledge Handbook of Urban Design Research Methods

Author: Hesam Kamalipour

Publisher: Taylor & Francis

Published: 2023-08-24

Total Pages: 579

ISBN-13: 1000917622

DOWNLOAD EBOOK

As an evolving and contested field, urban design has been made, unmade, and remade at the intersections of multiple disciplines and professions. It is now a decisive moment for urban design to reflect on its rigour and relevance. This handbook is an attempt to seize this moment for urban design to further develop its theoretical and methodological knowledge base and engage with the question of "what urban design can be" with a primary focus on its research. This handbook includes contributions from both established and emerging scholars across the global North and global South to provide a more field-specific entry point by introducing a range of topics and lines of inquiry and discussing how they can be explored with a focus on the related research designs and methods. The specific aim, scope, and structure of this handbook are appealing to a range of audiences interested and/or involved in shaping places and public spaces. What makes this book quite distinctive from conventional handbooks on research methods is the way it has been structured in relation to some key research topics and questions in the field of urban design regarding the issues of agency, affordance, place, informality, and performance. In addition to the introduction chapter, this handbook includes 80 contributors and 52 chapters organised into five parts. The commissioned chapters showcase a wide range of topics, research designs, and methods with references to relevant scholarly works on the related topics and methods.


Urban Design Ecologies

Urban Design Ecologies

Author: Brian McGrath

Publisher: John Wiley & Sons

Published: 2013-01-14

Total Pages: 324

ISBN-13: 0470974052

DOWNLOAD EBOOK

Der Urban Design Ecologies Reader stellt Architekten und Stadtplanern wichtige Tools zum besseren Verständnis heutiger städtebaulicher Maßnahmen bereit. Essays führender Experten spannen den Bogen zwischen historischen Entwicklungen und innovativen Ansätzen zur Bewältigung der globalen Herausforderungen rasanter Urbanisierungsprozesse und des Klimawandels. Die neuesten Ansätze in den Bereichen Stadtentwicklung, darunter Kernkonzepte wie Stadtarchitektur, Architektur großer Metropolen (Stichwort "Großarchitektur"), Wucherung der Städte, Megastädte (oder die informelle Stadt) und Metastädte, die von digitalen Technologien und dem Ökologiegedanken getragen werden, werden im Detail erörtert.


Formal Methods in Architecture

Formal Methods in Architecture

Author: Sara Eloy

Publisher:

Published: 2021

Total Pages: 313

ISBN-13: 9783030575106

DOWNLOAD EBOOK

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the 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. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.