Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...
Intrusion detection systems (IDSs) have become a critical part of security systems. The goal of an intrusion detection system is to identify intrusion effectively and accurately. ...
Jianhua Sun, Hai Jin, Hao Chen, Qian Zhang, Zongfe...
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Complex adaptive systems (CAS) modeling has become a common tool to study the behavioral dynamics of agents in a broad range of disciplines from ecology to economics. Many modelers...
Marshall A. Kuypers, Walter E. Beyeler, Robert J. ...
Abstract— Two-level quantum systems are important quantum models that are useful for the conceptual development and construction of quantum technologies. In this paper we provide...
Masahiro Yanagisawa, Alexander N. Korotkov, Matthe...