Results 1  10
of
1,363
Concurrent Constraint Programming
, 1993
"... This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of comput.ing with parhal information, and the concommitant notions of consistency and entailment. ’ In this framework, computation emerges from the interaction of concurrently executing agent ..."
Abstract

Cited by 502 (16 self)
 Add to MetaCart
agents that communicate by placing, checking and instantiating constraints on shared variables. Such a view of computation is interesting in the context of programming languages because of the ability to represent and manipulate partial information about the domain of discourse, in the con
KSVD: An Algorithm for Designing Overcomplete Dictionaries for Sparse Representation
, 2006
"... In recent years there has been a growing interest in the study of sparse representation of signals. Using an overcomplete dictionary that contains prototype signalatoms, signals are described by sparse linear combinations of these atoms. Applications that use sparse representation are many and inc ..."
Abstract

Cited by 935 (41 self)
 Add to MetaCart
In recent years there has been a growing interest in the study of sparse representation of signals. Using an overcomplete dictionary that contains prototype signalatoms, signals are described by sparse linear combinations of these atoms. Applications that use sparse representation are many
The structure of the potassium channel: molecular basis of K+ conduction and selectivity
 Science
, 1998
"... The potassium channel from Streptomyces lividans is an integral membrane protein with sequence similarity to all known K1 channels, particularly in the pore region. Xray analysis with data to 3.2 angstroms reveals that four identical subunits create an inverted teepee, or cone, cradling the selecti ..."
Abstract

Cited by 460 (1 self)
 Add to MetaCart
in the pore at the center of the bilayer. Main chain carbonyl oxygen atoms from the K1 channel signature sequence line the selectivity filter, which is held open by structural constraints to coordinate K1 ions but not smaller Na1 ions. The selectivity filter contains two K1 ions about 7.5 angstroms apart
Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity
"... We study deterministic computability over sets with atoms. We characterize those alphabets for which Turing machines with atoms determinize. To this end, the determinization problem is expressed as a Constraint Satisfaction Problem, and a characterization is obtained from deep results in CSP theory ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We study deterministic computability over sets with atoms. We characterize those alphabets for which Turing machines with atoms determinize. To this end, the determinization problem is expressed as a Constraint Satisfaction Problem, and a characterization is obtained from deep results in CSP
On the Decidability of Query Containment under Constraints
"... Query containment under constraints is the problem of checking whether for every database satisfying a given set of constraints, the result of one query is a subset of the result of another query. Recent research points out that this is a central problem in several database applications, and we addr ..."
Abstract

Cited by 256 (56 self)
 Add to MetaCart
Query containment under constraints is the problem of checking whether for every database satisfying a given set of constraints, the result of one query is a subset of the result of another query. Recent research points out that this is a central problem in several database applications, and we
ARTICLE Atomic Constraints between the Voltage Sensor and the Pore Domain in a Voltagegated K + Channel of Known Structure
"... In voltagegated K + channels (Kv), membrane depolarization promotes a structural reorganization of each of the four voltage sensor domains surrounding the conducting pore, inducing its opening. Although the crystal structure of Kv1.2 provided the first atomic resolution view of a eukaryotic Kv chan ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
In voltagegated K + channels (Kv), membrane depolarization promotes a structural reorganization of each of the four voltage sensor domains surrounding the conducting pore, inducing its opening. Although the crystal structure of Kv1.2 provided the first atomic resolution view of a eukaryotic Kv
Surface structure solution by Xray diffraction: structure completion with positivity and atomicity constraints
, 2002
"... We propose a method for the solution of surface structures from Xray diffraction based on the phasing of measured structure factor amplitudes in two stages. First, incorporation of calculated amplitudes and phases of the structure factors of the known underlying bulk structure, together with an ite ..."
Abstract
 Add to MetaCart
We propose a method for the solution of surface structures from Xray diffraction based on the phasing of measured structure factor amplitudes in two stages. First, incorporation of calculated amplitudes and phases of the structure factors of the known underlying bulk structure, together with an iterative algorithm that ensures the positivity of the electron density enables the determination of the amplitudes and phases of the surface structure factors contributing to the crystal truncation rods. Second, inclusion of these structure factors in an iterative algorithm based on Sayre’s equations enables the phasing of the superstructure rods.
Computing functional and relational box consistency by structured propagation in atomic constraint systems. CoRR, cs.PL/0106008, 2001. 24 XuanHa
 In In Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004
, 2004
"... Box consistency has been observed to yield exponentially better performance than chaotic constraint propagation in the interval constraint system obtained by decomposing the original expression into primitive constraints. The claim was made that the improvement is due to avoiding decomposition. In t ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
Box consistency has been observed to yield exponentially better performance than chaotic constraint propagation in the interval constraint system obtained by decomposing the original expression into primitive constraints. The claim was made that the improvement is due to avoiding decomposition
Weak Ordering  A New Definition
, 1990
"... A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory accesses will appear to execute atomically and in program order. An alternative model, weak ordering, offers greater perfor ..."
Abstract

Cited by 260 (14 self)
 Add to MetaCart
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory accesses will appear to execute atomically and in program order. An alternative model, weak ordering, offers greater
Lazy Satisfiability Modulo Theories
 JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION 3 (2007) 141Â224
, 2007
"... Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of a firstorder formula with respect to some decidable firstorder theory T (SMT (T)). These problems are typically not handled adequately by standard automated theorem provers. SMT is being recognized as increasingl ..."
Abstract

Cited by 189 (50 self)
 Add to MetaCart
on the integration of a SAT solver and of a decision procedure able to handle sets of atomic constraints in T (Tsolver), handling respectively the Boolean and the theoryspecific components of reasoning. Unfortunately, neither the problem of building an efficient SMT solver, nor even that
Results 1  10
of
1,363