Results 21 to 30 of about 46,611 (262)
Buildings, 2022 Modular construction is an innovative new construction method that minimizes waste and improves efficiency within the construction industry. However, practitioners are hampered by the lack of environmental and economic sustainability analysis methods in ...
Hanbyeol Jang, Yonghan Ahn, Seungjun Roh
doaj +1 more source
A modular construction of type theories
Logical Methods in Computer Science, 2023 The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a sub-theory of U corresponding to each of these systems, and prove that, when a proof in U uses only symbols of a ...
Frédéric Blanqui +4 more
openaire +5 more sources
Modular houses as a form of sustainable construction
Budownictwo o Zoptymalizowanym Potencjale Energetycznym, 2023 The article discusses the currently developing technology for building economical and energy-saving modular houses. Based on the literature analysis of historical and new modular construction solutions, an attempt was made to classify modular houses and ...
Andrzej Kysiak, Bogusław Szuba
doaj +1 more source
Designs, 2023 Modular precast construction is a methodological approach to reduce environmental impacts and increase productivity when building with concrete. Constructions are segmented into similar precast concrete elements, prefabricated with integrated quality ...
Lothar Kolbeck +19 more
doaj +1 more source
Resilience and Performance of Prefabricated Modular Buildings Against Natural Disasters
Electronic Journal of Structural Engineering, 2023 Earliest global movement towards modular construction originated as a solution to the sudden housing demand which occurred during events such as British colonization, the California gold rush, the world wars and post war settlement.
Thusitha Ginigaddara +3 more
doaj +1 more source
Design and Implementation of Quality Information Management System for Modular Construction Factory
Buildings, 2022 Modular construction has been gaining increasing attention from industry and academia as a solution to the limitations of the traditional on-site orient production systems in the construction industry.
Jiwong Shin, Byungjoo Choi
doaj +1 more source
Research on Integrated Design of Modular Steel Structure Container Buildings Based on BIM
Advances in Civil Engineering, 2022 Modular container buildings, as new modular steel structure buildings with the advantages of modular construction and transportation, fast construction speed, and conformance to the concept of sustainable development, have achieved rapid development in ...
Meng Su, Bauer Yang, Xiaomin Wang
doaj +1 more source
Modular Construction of Modal Logics [PDF]
, 2004 We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way.
Cirstea, Corina, Pattinson, Dirk
openaire +1 more source
Modular construction of complete coalgebraic logics [PDF]
Theoretical Computer Science, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cirstea, C, Pattinson, D
openaire +2 more sources
Evaluating Modular Healthcare Facilities for COVID-19 Emergency Response—A Case of Hong Kong
Buildings, 2022 In response to the COVID-19 pandemic, modular construction has been adopted for rapidly delivering healthcare facilities, but few have systematically explored the impacts of the pandemic and the contributions of modular construction.
Wei Pan, Zhiqian Zhang
doaj +1 more source