購物比價找書網找車網
FindBook  
 有 1 項符合

Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

的圖書
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

出版社:Springer
出版日期:2022-01-06
語言:英文   規格:平裝 / 348頁 / 27.94 x 20.96 x 1.83 cm / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 10199
博客來 博客來
政治
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

內容簡介

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.

 

作者簡介

Sara Eloy graduated in Architecture (FA.UTL 1998) and have a PhD in Architecture (IST.UTL 2012) under the theme "Transformation grammar-based methodology for housing rehabilitation: meeting contemporary functional and ICT requirements". She is an Assistant Professor in ISCTE-Instituto Universitário de Lisboa and develops her research in ISTAR-IUL (Information Sciences, Technology and Architecture Research Centre) and with international collaborations. Eloy is the director of ISTAR-IUL since 2017. She was director of the Department of Architecture and Urbanism and of the Integrated Master in Architecture at ISCTE-IUL in Lisbon between 2013 and 2016. She has participated in national and international funded research projects (Artificial Realities, OLA, IRIS, VUK, AAL4ALL, among others) and published more than 100 papers in several journals as Sensors, Environment and Planning B, AIEDAM and Nexus Network Journal and conferences. She has been expert evaluator for the European Commission since 2015 and acts as an expert consultant for companies regarding design project and the incorporation of digital technologies as mixed realities in architecture. She curated two exhibitions in the scope of the Lisbon Architecture Triennale first in 2013 and more recently, in 2019, with the theme "Artificial Realities: Virtual as an Aesthetic Medium for Architectural Ideation". Eloy’s main areas of research are shape grammar design systems, Digital Technologies applied to Architecture, CAAD, Virtual and Augmented Reality, Analysis of the building space namely considering space perception, Space Syntax and Housing Rehabilitation. In ISTAR-IUL she collaborates with researchers from the fields of Computer Sciences, Mathematics and Psychology. This collaboration enabled the development of real software prototypes to be use in the architecture design process and in the visualization of architecture as Alternative Shaper, VIARmodes4BIM, ARch4models, Arch4maps, SeeARch. At ISCTE she teaches disciplines of Architectural Computer Aided Design, Drawing, new technologies applied to Architecture and Research Methodologies.


David Leite Viana is post-doc. in Urban Morphology/Civil Engineering (FEUP, Portugal), PhD in Urban and Spatial Planning (IUU-UVa, Spain), DEA in City Planning (UVa, Spain) and Dipl. Arch. (ESAP, Portugal), and develops his professional activity in the Municipal Planning Department at Oporto City Council and at the Digital Living Spaces Group, within the ISTAR-IUL - Information Sciences, Technology and Architecture Research Centre (ISCTE-IUL, Portugal). He is an external expert on urban sustainability and wellbeing for the European Commission (Belgium), PhD supervisor in the doctorate programme on Architecture for the Contemporary Metropolitan Territories (ISCTE IUL) and external reviewer in the Architecture and Urban Design Programme at Chalmers University of Technology (Sweden). He is professor in the specialization programme on Collaborative Territories (IPPS, ISCTE-IUL) and in the Master Programme on Geographic Information Systems Applied to Spatial Planning, Urbanism and Landscape at the Polytechnic University of Valencia (Spain). He is (co)founder and Chair of the International Symposium Formal Methods in Architecture. He is scientific councillor of the Portuguese Language Network of Urban Morphology (PNUM) and editorial board member of the scientific journal Revista de Morfologia Urbana (RMU). He headed architecture and urbanism programmes/departments in different schools, he led a research group on urbanism, environment, and territory and he was Director-Secretary of the Centre for African Studies, University of Oporto (CEAUP). He was guest co-editor of the Special Issue ’Formalizing Urban Methodologies’ (Urban Science Journal, 2018), co-editor of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018) - that reached Amazon Brazil top 5 best sellers foreign books in Regional Planning category - and author of the book Maputo: (auto)organização e formadinâmica urbana (University of Oporto Press, 2019). He was co distinguished by the International Society of City and Regional Planning (ISoCaRP) with the Sir Gerd Albers Award.


Franklim Morais (b. 1957) is a Portuguese civil and electronic engineer, PhD. Professor and Researcher. He was the leader of development teams of private commercial software for scientific applications: pioneering, in the early 1980s, the use of finite element methods for structural engineering on microcomputing; and since the early 1990s developing COTS private hardware and software systems for smart buildings, urban spaces and cities. He is an invited professor in ESAP (Arts University of Porto) Architectural Course since 2001. He participates in LIAD, an academic research team, in a group dedicated to Formal Methods in Architecture. A major achievement is the production of DepthSpace3D, a digital tool for space syntax analysis. Since 1991, he participated in the organization (scientific and operational committees) of 11 conferences on his scientific fields of interest, including the 5 symposia of the series "Formal Methods in Architecture" (since 2011). In the 1990s he was vice-president of API - Information Technologies Portuguese Association.


Jorge Vieira Vaz is an Architect (FA Uni. Porto, Portugal, 1990), Master in Urban Renovation (Poznań Uni. Tech, Poland, 1995), DEA in Composición Arquitectónica (Uni. Valladolid, Spain, 2002), He is a professor of Construction and Technologies in the Master Course in Architecture at ESAP (Porto, since 1993). He was a professor at Coimbra Univ. (Civil Engineering Department), Aveiro University (Communication & Art Department), ARCA / ETACoimbra (Architecture Course) and at High Institute of Administrative and Informational Sciences of Aveiro (Public Administration Course). He was MSc supervisor and jury member in several institutions (Minho Univ., Gallaecia Univ., Aveiro Univ. and ESAP). He develops his professional activity as architect since 1991 and at AAVV (Portugal and Bonaire, since 2000), is a certified expert in building thermal behavior (ADENE, since 2008) and is BIM / VDCPM - Building Information Modeling / Virtual Design and Construction Project Manager (since 2005). He was co-founder of IERU - Institute of Regional & Urban Studies at Univ. of Coimbra (1991) and was a researcher at MEREC Project - Managing Energy and Resources in Efficient Cities (Tennessee Valley Authority / CCRC / FLAD, Coimbra, 1991) and at RECITE / REBUILD Network Programme - Renewable Energies for Buildings in European Historical Centers, (European Commission - DGXVII, 1991/95), nowadays develops his research activity in Formal Methodologies in Architectural Design and Construction, namely parametric design, ontologies and taxonomy, at LIAD / ESAP- Architecture & Design Research Laboratory (Porto, since 2010). He co-developed "DepthSpace 3D" digital tool, for 3 dimensional spatial syntactic analyses (LIAD / ESAP) now a full functional digital application in Space Syntax (SS), granted by UE founds. He is (co)founder and Chair of the International Symposium Formal Methods in Architecture (Porto, since 2011). He was guest co editor of the Special Issue ’Formalizing Urban Methodologies’ (Urban Science Journal, 2018) and was co-editor of the book Formal Methods in Architecture and Urbanism (Cambridge Scholars Publishing, 2018).

 

詳細資料

  • ISBN:9783030575113
  • 規格:平裝 / 348頁 / 27.94 x 20.96 x 1.83 cm / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
占星全書(三冊):《行運占星全書》、《月亮推運占星全書》、《月之南北交全書》
作者:愛波.艾略特.肯特
出版社:橡實
出版日期:2020-08-03
66折: $ 964 
金石堂 - 今日66折
周姚萍的小作家書房1:是誰惡作劇
作者:周姚萍
出版社:五南圖書出版股份有限公司
出版日期:2020-10-28
66折: $ 165 
金石堂 - 今日66折
百鬼夜行卷1:林投劫
作者:笭菁
出版社:奇幻基地出版事業部
出版日期:2020-09-30
66折: $ 211 
金石堂 - 今日66折
索達吉堪布加持套書(二冊):《能斷:金剛經給你強大》、《有求:21度母給你愛與溫暖》
作者:索達吉堪布
出版社:如果
出版日期:2021-02-01
66折: $ 528 
 
金石堂 - 暢銷排行榜
甜蜜.痛楚-全
作者:椿
出版社:長鴻出版社股份有限公司
出版日期:2024-11-01
$ 119 
博客來 - 暢銷排行榜
尋找安全的家:結構技師蔡榮根教你選好宅
作者:蔡榮根
出版社:天下文化
出版日期:2024-10-30
$ 355 
金石堂 - 暢銷排行榜
不道德公會 09
作者:河添太一
出版社:東立出版社
出版日期:2024-10-28
$ 135 
博客來 - 暢銷排行榜
永不告別
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-07-17
$ 331 
 
博客來 - 新書排行榜
尋找安全的家:結構技師蔡榮根教你選好宅
作者:蔡榮根
出版社:天下文化
出版日期:2024-10-30
$ 355 
金石堂 - 新書排行榜
多謝款待:那些愛與被愛的煙火氣
作者:張曼娟
出版社:皇冠文化出版有限公司
出版日期:2024-11-04
$ 300 
博客來 - 新書排行榜
魔都精兵的奴隸 16 (首刷限定版)
$ 153 
Taaze 讀冊生活 - 新書排行榜
2025【循序漸進完勝攻略】升科大四技二專會計學總複習測驗卷[升科大四技二專]
作者:梁若涵
出版社:千華數位文化股份有限公司
出版日期:2024-09-15
$ 153 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策