Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / / Sara Eloy [and three others], editors |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XXXII, 313 p. 193 illus., 159 illus. in color.) |
Disciplina | 720.285 |
Collana | Advances in science, technology & innovation |
Soggetto topico |
Architecture - Data processing
City planning - Data processing Regional planning - Data processing Formal methods (Computer science) |
ISBN | 3-030-57509-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910484149903321 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Geographic knowledge infrastructure : applications to territorial intelligence and smart cities / / Robert Laurini |
Autore | Laurini Robert |
Pubbl/distr/stampa | London, [England] ; ; Oxford, [England] : , : ISTE : , : Elsevier, , 2017 |
Descrizione fisica | 1 online resource (314 pages) |
Disciplina | 307.12160285 |
Soggetto topico |
City planning - Data processing
Regional planning - Data processing Geographic information systems |
ISBN | 0-08-102352-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From geodata to geographic knowledge -- Knowledge representation -- Towards geographic knowledge systems -- Geographic objects -- Geographic relations -- Geographic ontologies -- Complex geographic objects and structures -- Gazetteers and multilingualism -- Geographic knowledge discovery and data mining -- Geographic applicative rules -- Geovisualization and chorems - GKS: querying and interoperability -- Conclusion: knowledge as infrastructure for smart governance. |
Record Nr. | UNINA-9910583345103321 |
Laurini Robert
![]() |
||
London, [England] ; ; Oxford, [England] : , : ISTE : , : Elsevier, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Journal of the Urban and Regional Information Systems Association |
Pubbl/distr/stampa | Madison, WI : , : University of Wisconsin Press, , [1989-2017] |
Disciplina | 361.6/0285 |
Soggetto topico |
Regional planning - Data processing
Regional planning - United States - Data processing |
Soggetto genere / forma | Periodicals. |
ISSN | 2378-6000 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Journal
URISA journal Journal of the URISA |
Record Nr. | UNINA-9910154160303321 |
Madison, WI : , : University of Wisconsin Press, , [1989-2017] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Progetti di territorio : la costruzione di nuove tecniche di rappresentazione nei Sistemi Informativi Territoriali / Massimo Carta |
Autore | Carta Massimo |
Pubbl/distr/stampa | Firenze : , : Firenze University Press, , 2005 |
Descrizione fisica | 1 online resource (183 pages) : colour illustrations; digital, PDF file(s) |
Disciplina | 711 |
Collana | Tesi. Scienze Tecnologiche |
Soggetto topico |
Regional planning - Data processing
City planning - Data processing Landscape design - Data processing |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910774885303321 |
Carta Massimo
![]() |
||
Firenze : , : Firenze University Press, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|