Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Min-Hsien Weng"'
Publikováno v:
Urban Planning, Vol 5, Iss 4, Pp 20-32 (2020)
Urban Narrative works at the interface between public participation and participatory design to support collaboration processes for urban planning and design. It applies computational linguistics to interpret large format public consultation by ident
Externí odkaz:
https://doaj.org/article/0580c9ad16974559b1c8141f8e82ee5a
Publikováno v:
Applied Sciences, Vol 12, Iss 21, p 11220 (2022)
With the rapidly growing number of scientific publications, researchers face an increasing challenge of discovering the current research topics and methodologies in a scientific domain. This paper describes an unsupervised topic detection approach th
Externí odkaz:
https://doaj.org/article/88747b56f7e649ad89b5f15e387da817
Publikováno v:
Formal Methods in System Design. 57:429-472
This paper describes the design and verification of a copy elimination and memory deallocation scheme for a compiler that translates the verification-friendly programming language Whiley into efficient C code. We use a combination of static analysis
Publikováno v:
Circular Economy and Sustainability. 1:917-934
The concept of a circular economy is at a crossroads. To date, it has been largely driven by top-down national or trans-national legislation such as EU Circular Economy Package or Chinese Circular Economy Promotion. Bottom-up or grassroots engagement
Publikováno v:
Urban Planning, Vol 5, Iss 4, Pp 20-32 (2020)
Urban Planning
The City of Digital Social Innovators
Urban Planning
The City of Digital Social Innovators
Urban Narrative works at the interface between public participation and participatory design to support collaboration processes for urban planning and design. It applies computational linguistics to interpret large format public consultation by ident
Publikováno v:
Sustainability, Vol 13, Iss 9310, p 9310 (2021)
Sustainability
Volume 13
Issue 16
Sustainability
Volume 13
Issue 16
Public data, contributed by citizens, stakeholders and other potentially affected parties, are becoming increasingly used to collect the shared ideas of a wider community. Having collected large quantities of text data from public consultation, the c
Autor:
Richard Gleeson, Min-Hsien Weng, Tomás Garcia Ferrari, Tom Grey, Mark Dyer, Rachel Dyer, Shaoqun Wu
Publikováno v:
Proceedings of the Institution of Civil Engineers - Urban Design and Planning. 172:219-227
The term city infrastructures is often restricted to the physical elements of a city, while in practice it comprises both hard infrastructures for built environment and utilities, as well as soft infrastructures involving services, social groupings a
Publikováno v:
ACSW
Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But efficient implementation becomes harder, due to the overhead of copying and garbage collection. This paper describes how a mixture of static analysi
Publikováno v:
PMAM
This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving the compiler and runtime maximum freedom to