Although literature discussing materials circularity in the built environment sector is well-developed, we have a limited understanding of facility services because most often generalises building operations, ignoring applications via service streams. Thus, owing to nature management, providers’ remit, and operation functions, this paper makes first-order attempt conceptualise context identify ...

[1] This paper employs a circularity function to quantify the internal morphology of Martian watershed basins in Margaritifer Sinus region and to infer the primary erosional processes that led to their current geomorphologic characteristics and possible climatic conditions under which these processes operated. The circularity function describes the elongation of a watershed basin at different e...

In EUROCRYPT 2013, Lu and Ostrovsky proposed the notion of Garbled RAM (GRAM) programs. These GRAM programs are analogous to the classic result of Yao’s garbled circuits: a large encrypted memory can first be provided to evaluator, and then a program can separately be garbled and sent to an evaluator to securely execute while learning nothing but the output of the program and its running time. ...

Abstract Background Owing to the large amounts of energy, greenhouse gases, and waste that it generates, construction industry is fundamental transition towards a circular economy. Indicators which show circularity products—and thus make them comparable with each other—can be used support implementation such an In this article, we have adapted material indicator Ellen MacArthur Foundation in or...

In the past several years, various techniques were proposed to analyze various types of structural errors, such as inconsistency (conflict rules), and circularity (circular depending rules), of rule-based systems. Model checking is a technique for the verification of temporal logic specifications in state transition systems. In this paper, we model the rule-based systems as finite state transit...