We propose a “Sharp” disjunctive decomposition approach for language emptiness checking, which is specifically targeted at “Large” or “Difficult” problems. Based on the SCC (Strongly-Connected Component) quotient graph of the property automaton, our method partitions the entire state space so that each state subspace accepts a subset of the language, the union of which is exactly the language a...

A wide variety of strongly correlated materials including SmB6, FeSi, and the underdoped cuprates display anomalous behavior in their Raman response, which includes a low-temperature transfer of spectral weight from low to high energy ~as T is reduced! and the appearance of an isosbestic point ~a characteristic frequency where the Raman response is independent of temperature!. We illustrate how...

The relationship between the properties of a dynamical system and the structure of its defining equations has long been studied in many contexts. Here we study this problem for the class of conjunctive (resp. disjunctive) Boolean networks, that is, Boolean networks in which all Boolean functions are constructed with the AND (resp. OR) operator only. The main results of this paper describe netwo...

Dynamics can provide deep insights into the functional mechanisms of proteins and protein complexes. For large protein complexes such as GroEL/GroES with more than 8,000 residues, obtaining a fine-grained all-atom description of its normal mode motions can be computationally prohibitive and is often unnecessary. For this reason, coarse-grained models have been used successfully. However, most e...

The ground state and the excitation spectrum of strongly correlated electrons in quantum dots are investigated. An analytical solution is constructed by exact diagonalization of the Hamiltonian in terms of the N-particle eigenmodes.

0

In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics has been introduced to solve the problems related to counterintuitive results produced by literature proposals. In this semantics, extensions can be decomposed and constructed along the strongly connected components of the defea...