The increased use of information technology (IT) support for group decision making has augmented the need for research on the performance of groups using such support. The use of ...
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
Software architectures evolve as the result of numerous, interrelated design decisions. At any point in an architecture’s evolution, current decisions can critically affect alte...
Jason E. Robbins, David M. Hilbert, David F. Redmi...
— The average of the product of two Gaussian Q-functions having arguments as different scaled versions of the same Nakagami distributed fading gain magnitude is derived in close...