Constraint algorithm

Known as: LINCS (constraint), M-SHAKE, Shake 
In computational chemistry, a constraint algorithm is a method for satisfying the Newtonian motion of a rigid body which consists of mass points. A… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
An algor i thm is descr ibed which is capable of solving cer ta in word problems: i .e . of deciding whether or not two words… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
It is well known that for systems of ODE’s describing singular dynamical systems, the existence and uniqueness of solutions are… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
An algorithm, called RATTLE, for integrating the equations of motion in molecular dynamics calculations for molecular models with… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Sequential multi-constraint graph partitioners have been developed to address the static load balancing requirements of multi… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
A common method for the application of distance constraints in molecular simulations employing Cartesian coordinates is the SHAKE… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The reachability problem for cryptographic protocols with non-atomic keys can be solved via a simple constraint satisfaction… (More)
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • MICHELLE R. GARFINKEL STERGIOS SKAPERDAS
  • 2000
Conflict and war are typically viewed as the outcome of misperceptions, incomplete information, or even irrationality. We show… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In this article we present a new LINear Constraint Solver (LINCS) for molecular simulations with bond constraints. The algorithm… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
This paper reports on an optimum dynamic programming (DP) based time-normalization algorithm for spoken word recognition. First… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?