Mutual information has been successfully used as an effective similarity measure for multimodal image registration. However, a drawback of the standard mutual information-based computation is that the joint histogram is only calculated from the correspondence between individual voxels in the two images. In this paper, the normalized mutual information measure is extended to consider the corresp...

Proteins perform several critical biological processes by interacting with other macromolecules (DNA, RNA) and small molecules. Several computational approaches have been developed to determine the protein interaction sites using sequence and structure features. Instead of building another adhoc prediction algorithm, the purpose of this study is to understand the contribution of a protein’s res...

A historical study of the development of information theory advancements in the first few years after Claude E. Shannon’s seminal work of 1948 is presented. The relationship between strictly mathematical advances, information theoretic evaluations of existing communications systems, and the development of engineering theory for applications is explored. It is shown that the contributions of Ame...

Time stamps are frequently used in multi-threaded applications, and provide a way for an application to determine order between events. We identify interactions between time stamps and transactional mechanisms that differ from the expected behaviour of using locks for mutual exclusion, and draft implementations that remove these differences.

The paper presents a unified modeling framework, agent based and supported by the Discrete Event System theory. This framework is intended to provide generic models, applicable at all enterprise levels, allowing evaluating interactions among different subsystems, in a complete customer-transparent manner. The evaluation is concerned with two main properties: meeting a given deadline for the who...

A general framework of optimal eavesdropping on BB84 protocol was provided by Fuchs et al. in 1997. An upper bound on mutual information was derived in their work, which could be achieved by a specific type of interaction and the corresponding measurement. However, uniqueness of an optimal interaction was left as an open problem there. We resolve this problem here and establish the uniqueness. ...

We develop a model of innovation that enables us to trace the interplay among three key dimensions of the innovation process: (i) demand of and (ii) supply for innovation, and (iii) technological capabilities available to generate innovation in the forms of products, processes, and services. Building on triple helix research, we use entropy statistics to elaborate an indicator of mutual informa...

Arthur [1, 2] provided a model to explain the circumstances that lead to technological lock-in into a specific trajectory. We contribute substantially to this area of research by investigating the circumstances under which technological development may break-out of a trajectory. We argue that for this to happen, a third selection mechanism— beyond those of the market and of technology—needs to ...

Recent studies indicate that maximizing the mutual information of the joint histogram of two images is an accurate and robust way to rigidly register two monoor multimodal images. Using mutual information for registration directly in a local manner is often not admissible owing to the weakened statistical power of the local histogram compared to a global one. We propose to use a global joint hi...

This paper presents a compositional proof system for the veriication of real-time systems. Real-time systems are modeled as timed transition modules, which explicitly model interaction with the environment and may be combined using composition operators. Composition rules are devised such that the correct-ness of a system may be determined from the correct-ness of its components. These proof ru...