We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
Abstract Stable signal transmission is crucial for information processing by the brain. Synfire-chains, defined as feedforward networks of spiking neurons, are a well-studied class...
: In this paper we extend the theory of Radio Frequency (RF) propagation as it relates to propagation within metal circular pipes. This work is motivated by a need to understand th...
Although extensive studies have been conducted on online social networks (OSNs), it is not clear how to characterize information propagation and social influence, two types of impo...
Visualizations are highly valuable in improving the understanding, as well as the analysis of a variety of physical phenomena. Two such applications can be as a pedagogical tool f...
J. Eskil Bendz, Hilton G. Fernandes, Marcelo Kn&ou...