{"id":283,"date":"2024-12-02T15:14:24","date_gmt":"2024-12-02T15:14:24","guid":{"rendered":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/?p=283"},"modified":"2024-12-06T12:06:01","modified_gmt":"2024-12-06T12:06:01","slug":"decide-is-on-the-7th-international-symposium-on-formal-methods-in-architecture-2024","status":"publish","type":"post","link":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/decide-is-on-the-7th-international-symposium-on-formal-methods-in-architecture-2024\/","title":{"rendered":"DECIDE is on the 7th International Symposium on Formal Methods in Architecture 2024"},"content":{"rendered":"<p><span style=\"color: #000000\"><strong>DECIDE<\/strong> will participate in the upcoming <a style=\"color: #000000\" href=\"https:\/\/formalmethodsinarchitecture2024.com\/programme\/\">7<strong>th International Symposium on Formal Methods in Architecture 2024<\/strong><\/a>, which will be held from<strong> 2nd to 6th December 2024<\/strong>, at the City of Porto, Portugal.<\/span><\/p>\n<p>Our paper will present an account of the formal methods used to inform and examine the performance of Porto Alegre\u2019s Metropolitan Region (Brazil) road-circulation network after the May 2024 floods. <strong>DECIDE<\/strong> has been engaged, working alongside local researchers and stakeholders to provide actionable information and decision support in response to this disaster. The paper showcases comparisons made with configurational analysis between the pre-disaster configuration and three post-disaster scenarios, highlighting how the urban grid cohesiveness was affected by the inundations, both at a local and at a regional scale. Key findings showcase important overall system performance shifts in terms of relative accessibility and preferential routes\u2019 choice, especially concerning vehicular movement, and demonstrates the points where intervention is necessary and required, raising awareness of the local stakeholders for the network effects of their actions.<\/p>\n<figure id=\"post-412 media-412\" class=\"image align-none\"><img decoding=\"async\" style=\"width: 687px;height: 383px\" src=\"http:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-content\/uploads\/sites\/16\/2024\/12\/7FMA-e1733152427199.png\" alt=\"\" \/><\/figure>\n<p><span style=\"color: #000000\">This research was conducted by DECIDE in collaboration with the researchers from the <strong><a style=\"color: #000000\" href=\"http:\/\/www.ufrgs.br\/english\/the-university\/institutes-faculties-and-schools\/institute-of-hydraulic-research\">Instituto de Pesquisas Hidr\u00e1ulicas (IPH)<\/a><\/strong> of the <strong>Universidade Federal do Rio Grande do Sul<\/strong>, Brazil.<\/span><\/p>\n<p>Stay tuned for the full publication soon!<\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n<p>An extensive library on DECIDE publications about the disaster can be accessed on <a href=\"https:\/\/zenodo.org\/search?q=Diego%20Altafini&amp;l=list&amp;p=1&amp;s=10&amp;sort=bestmatch\">Zenodo.<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"DECIDE will participate in the upcoming 7th International Symposium on Formal Methods in Architecture 2024, which will be held from 2nd to 6th December 2024, at the City of Porto, [&hellip;]","protected":false},"author":80,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[211],"tags":[],"cu_profile":[101],"class_list":["post-283","post","type-post","status-publish","format-standard","hentry","category-conference","cu_profile-altafinid-en"],"meta_box":[],"_links":{"self":[{"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/posts\/283","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/users\/80"}],"replies":[{"embeddable":true,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/comments?post=283"}],"version-history":[{"count":2,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/posts\/283\/revisions"}],"predecessor-version":[{"id":413,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/posts\/283\/revisions\/413"}],"wp:attachment":[{"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/media?parent=283"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/categories?post=283"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/tags?post=283"},{"taxonomy":"cu_profile","embeddable":true,"href":"https:\/\/research-sites.cardiff.ac.uk\/decoding-cities-for-informed-decision-making\/wp-json\/wp\/v2\/cu_profile?post=283"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}