
mboost
 Referenced in 61 articles
[sw07331]
 fitting generalized linear, additive and interaction models to potentially highdimensional data...

BioNetGen
 Referenced in 57 articles
[sw09072]
 modeling of signal transduction based on the interactions of molecular domains. BioNetGen allows a user ... specified enzymatic activities, potential posttranslational modifications and interactions of the domains of signaling molecules...

ETPS
 Referenced in 156 articles
[sw06302]
 contains only commands relevant to proving theorems interactively. TPS and ETPS run in Common Lisp ... systems, and to some extent under Windows. Potential applications of automated theorem proving include hardware ... theorems of first and higherorder logic interactively, automatically, or in a mixture of these...

PBEQSolver
 Referenced in 13 articles
[sw17203]
 PBEQSolver for online visualization of electrostatic potential of biomolecules. PBEQSolver provides ... PoissonBoltzmann (PB) equations and interactively visualize the electrostatic potential. PBEQSolver calculates (i) electrostatic ... potential and solvation free energy, (ii) protein–protein (DNA or RNA) electrostatic interaction energy ... users. Users can interactively inspect the calculated electrostatic potential on the solventaccessible surface...

Atomizer
 Referenced in 17 articles
[sw08924]
 difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work...

SCWRL4
 Referenced in 7 articles
[sw22393]
 based on a new algorithm and new potential function that results in improved accuracy ... soft van der Waals atomatom interaction potential; 5) fast collision detection using kdiscrete ... optimization of all parameters by determining the interaction graph within the crystal environment using symmetry...

ABCtoolbox
 Referenced in 11 articles
[sw08813]
 Population Monte Carlo. Due to its potential to interact with almost any command line simulation...

STANJAN
 Referenced in 17 articles
[sw13336]
 element potential method for chemical equilibrium analysis: Implementation in the interactive program STANJAN...

STAMP
 Referenced in 5 articles
[sw17264]
 identification of transcription factors that potentially interact with newly discovered motifs. STAMP also automatically builds...

TPS
 Referenced in 71 articles
[sw00973]
 contains only commands relevant to proving theorems interactively. TPS and ETPS run in Common Lisp ... systems, and to some extent under Windows. Potential applications of automated theorem proving include hardware ... theorems of first and higherorder logic interactively, automatically, or in a mixture of these...

ReaDDy
 Referenced in 4 articles
[sw17865]
 reaction kinetics programs, ReaDDy supports particle interaction potentials. This permits effects such as space exclusion...

MATSLISE
 Referenced in 51 articles
[sw00559]
 graphical MATLAB software package for the interactive numerical study of regular SturmLiouville problems ... radial Schrödinger equations with a distorted Coulomb potential. It allows the fast and accurate computation...

SHARP2
 Referenced in 2 articles
[sw36923]
 SHARP2: protein–protein interaction predictions using patch analysis. SHARP2 is a flexible ... based bioinformatics tool for predicting potential protein–protein interaction sites on protein structures. It implements ... combined score is predicted as a potential interaction site. SHARP2 enables users to upload ... format, to obtain information on potential interaction sites as downloadable HTML tables and to view...

Dirac++
 Referenced in 17 articles
[sw37208]
 pulses and its interaction with any number of charged ion potentials. The initial wave function...

ScalFMM
 Referenced in 12 articles
[sw27617]
 methods to compute interactions between bodies when the potential decays like 1/r. The first method...

ACME
 Referenced in 3 articles
[sw31022]
 library of algorithms to search for potential interactions between surfaces represented by analytic and discretized...

SFAPS
 Referenced in 2 articles
[sw22490]
 spectrum method employs the electron–ion interaction potential parameter as the numerical representation ... characteristic frequency of a particular protein interaction after computing the Discrete Fourier Transform for protein...

VASP
 Referenced in 14 articles
[sw19550]
 local potential are expressed in plane wave basis sets. The interactions between the electrons...

Algorithm 967
 Referenced in 4 articles
[sw23693]
 fast multipole method (FMM) for computing volume potentials and use them to construct spatially adaptive ... methods apply to discrete particle interactions. With volume potentials, one replaces the sums with volume ... group. We present new near and far interaction traversals that optimize cache usage. Also, unlike...

DFinder
 Referenced in 14 articles
[sw00200]
 party interaction. For deadlock detection, DFinder applies proof strategies to eliminate potential deadlocks...