This short paper studies the problem of merging of different independent data sources linked to a lightweight ontology under the incommensurability assumption. In general, data are often provided by several and potentially conflicting sources of information having different levels of priority. To encode prioritized assertional bases, we use possibilistic DLLite logic. We investigate an egalitar...

Structural lightweight concrete (SLWC) has superior properties that allow the optimization of super tall structure systems for the process of design. Because of the limited supply of lightweight aggregates in Korea, the development of structural lightweight concrete without lightweight aggregates is needed. The physical and mechanical properties of specimens that were cast using normal coarse a...

With increasing concern over the excessive exploitation of natural aggregates, synthetic lightweight aggregate produced from environmental waste is a viable new source of structural aggregate material. The uses of structural grade lightweight concrete reduce considerably the self-load of a structure and permit larger precast units to be handled. In this paper, the mechanical properties of a str...

Lightweight threads are becoming increasingly useful in supporting parallelism and asynchronous events in applications and language implementations. Traditionally, lightweight threads are supported only within the single address space of a process, or in shared memory environments with multiple processes. We introduce and describe the design of Chant, a runtime system supporting lightweight thr...

The type of lightweight aggregate and its volume fraction in a mix determine the density of lightweight concrete. Minimizing the density obviously requires a higher volume fraction, but this usually causes aggregates segregation in a conventional mixing process. This paper proposes a two-stage casting process to produce a lightweight concrete. This process involves placing lightweight aggregate...