This paper investigates operationally based theories of a simply typed functional programming language with countable non determinism The theories are based upon lower upper and convex variants of applicative similarity and bisimilarity and the main result presented here is that these relations are compatible The di erences between the relations are illustrated by simple examples and their con ...

As the scientific community prepares to deploy an increasingly complex and diverse set of applications on exascale platforms, need assess reproducibility simulations identify root causes failures increases correspondingly. One greatest challenges facing issues at is inherent non-determinism level inter-process communication. The use non-deterministic communication constructs necessary boost per...

The paper estimates an empirical relation based on Krugman’s “technological gap” model to explore the influence of the pattern of international trade and production on the overall productivity growth of a developing country. A key result is that increased import competition in medium-growth (but not in lowor highgrowth) manufacturing sectors enhances overall productivity growth. The authors als...

This paper discusses a novel argument to interpret the importance of thinking of collaborative partnerships in pre-competitive agreements. To do so, we adopt a dynamic iterative process to model technology diffusion between the partners of an agreement. We find that the success of an agreement of a given length hinges around identifying the suitable efficient combinations of the initial technol...

This paper presents and outlines the demonstration of DojoIBL, a web-based platform that aims at nurturing communities of inquiry by supporting communication and collaboration with emerging technological affordances. The manuscript briefly elaborates on the theoretical underpinning of DojoIBL and describes the functionalities supported. It concludes anticipating the follow up implementation whi...

Moral responsibility is the very foundation of all moral actions and social practices. Hard determinism, however, becomes a serious threat to morality by raising impossibility responsibility. This paper evaluates two criteria under which can be justified, reconstructs Strawson's basic argument hard provides solutions (one libertarian, one soft deterministic) challenge raised determinism. Finall...

Differential power analysis (DPA) has become a real-world threat to the security of cryptographic hardware devices such as smart-cards. By using cheap and readily available equipment, attacks can easily compromise algorithms running on these devices in a non-invasive manner. Adding non-determinism to the execution of cryptographic algorithms has been proposed as a defence against these attacks....