BAN logic is a propositional logic of knowledge for the verification of cryptographic protocols. While BAN logic has been successful from a practical point of view, the semantics of the epistemic (knowledge) modality is unclear. Several Kripke semantics have been proposed, but they do not attempt at anything beyond a soundness result. Completeness is prevented by the so called logical omniscien...

Detachable user interfaces consist of graphical user interfaces whose parts or whole can be detached at run-time from their host, migrated onto another computing platform while carrying out the task, possibly adapted to the new platform and attached to the target platform in a peer-to-peer fashion. Detaching is the property of splitting a part of a UI for transferring it onto another platform. ...

This paper investigates the recently-practiced method of taxing hardware and transferring the proceeds to software makers, or artists in general. We demonstrate that this policy of compensating copyright owners for infringements on their intellectual property using hardware taxation is inefficient. Presented at the conference “Competition Strategies and Competition Policy in the Information Eco...

Dialyzable Leukocyte Extract (DLE) is an extract obtained from immune lymphocytes capable of transferring antigenspecific information for cell-mediated immunity (CMI) from an immunized donor to a naïve recipient. Those products, also called Transfer Factors (TF), are peptides of 3500-6000 kDa in molecular weight; light yellow fluid with pH 6.5-7.0, composed of oligoribonucleotides attached a pe...

Recent studies in psychology suggest that novelty-seeking trait is highly related to consumer behavior, which has a profound business impact on online recommendation. This paper studies the problem of mining novelty seeking trait across domains to improve the recommendation performance in target domain. We propose an efficient model, CDNST, which significantly improves the recommendation perfor...

One of the prerequisites for sustainable development is knowledge, in order to inform coping with sustainability threats and to support innovative sustainability pathways. Transferring knowledge is therefore a fundamental challenge for sustainability, in a context where external knowledge must be integrated with local knowledge in order to promote user-driven action. But effective local co-prod...

Embodiment may help to reduce the computational burden on a system, by transferring some of that burden to the complex embodying environment. Embodiment can be viewed as a property not just of situated material systems, but of any suitably complex system engaged in a complex intertwined feedback relationship with its suitably complex environment. Various features and requirements of embodiment ...