The more complex a network becomes, the more reliable and intelligent a network management system must be to consistently monitor the network and detect abnormal situations in a timely manner as they occur. Expert system techniques have been widely accepted to create network management systems. Despite the fact that there are a number of network management systems, most of them deal only with p...

Applying weighted network measures to distance matrices Many approaches to the analysis of weighted networks are not designed for fully connected weighted networks. However, as any distance matrix between objects is a fully connected weighted network, such networks are extremely common. In earlier work we derived an approach for the analysis of weighted networks which also works on fully connec...

background: protein-protein interactions do not provide any direct information re­garding the domains within the proteins that mediate the interactions. the majority of proteins are multi domain proteins and the interaction between them is often defined by the pairs of their domains. most of the former studies focus only on interacting do­main pairs. however they do not consider the interaction...

Nitric oxide (NO) plays a crucial role not only in regulation of blood pressure but also in maintenance of cardiac autonomic tone and its deficiency induced hypertension is accompanied by cardiac autonomic dysfunction. However, underlying mechanisms are not clearly defined. We hypothesized that sympathetic activation mediates hemodynamic and cardiac autonomic changes consequent to deficient NO ...

We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finitestate machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very ...

We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finitestate machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very ...