A neural network method (SPINE-2D) is introduced to provide a sequence-based prediction of residue-residue contact maps. This method is built on the success of SPINE in predicting secondary structure, residue solvent accessibility, and backbone torsion angles via large-scale training with overfit protection and a two-layer neural network. SPINE-2D achieved a 10-fold cross-validated accuracy of ...

We describe and discuss DPLL(T ), a parametric calculus for proving the satisfiability of ground formulas in a logical theory T . The calculus tightly integrates a decision procedure for the satisfiability in T of sets of literals into a sequent calculus based on the well-known method by Davis, Putman, Logemann and Loveland for proving the satisfiability of propositional formulas. For being bas...

The paper presents a new calculus (called algebraic mu-calculus) which generalizes Park's relational mu-calculus by representing arithmetric expressions and real-valued functions rather than formulas and relations. Moreover, we give an algorithm for computing the MTBDD-representation of the semantics for the expressions and terms and show how several problems (such as graph theoretic problems o...

We present a rewriting system for the linear lambda calculus corresponding to the {!, }-fragment of intuitionistic linear logic. This rewriting system is shown to be strongly normalizing, and Church-Rosser modulo the trivial commuting conversion. Thus it provides a simple decision method for the equational theory of the linear lambda calculus. As an application we prove the strong normalization...

distance relays are used to protect ehv and hv transmission lines. over the past decades many algorithms have emerged for digital distance relays. these are based on the calculation of the transmission line impedance from the relaying to fault points. in this paper a novel method for digital distance relaying is proposed. in the method the tracking procedure is implemented. the method uses the ...

The toric residue is a map depending on n + 1 divisors on a complete toric variety of dimension n . It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated po...