• APBS

  • Referenced in 92 articles [sw05766]
  • determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation ... binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants...
  • Nominal Isabelle

  • Referenced in 76 articles [sw12055]
  • General bindings and alpha-equivalence in Nominal Isabelle. Nominal Isabelle is a definitional extension ... Nominal Isabelle for dealing with general bindings, that means term-constructors where multiple variables ... bound at once. Such general bindings are ubiquitous in programming language research and only very...
  • CHARMM

  • Referenced in 120 articles [sw05953]
  • free energy calculations of mutations and drug binding as well as conformational folding of peptides...
  • TRANSFAC

  • Referenced in 74 articles [sw17201]
  • database on transcription factors, their genomic binding sites and DNA-binding profiles (http://transfac.gbf.de/TRANSFAC/ ... scaffold/matrix attached regions (S/MARs) and the proteins binding to them. Additionally, the databases TRANSPATH, about...
  • shiny

  • Referenced in 112 articles [sw13816]
  • interactive web applications with R. Automatic ”reactive” binding between inputs and outputs and extensive...
  • JASPAR

  • Referenced in 42 articles [sw18502]
  • open‐access database for eukaryotic transcription factor binding profiles. The analysis of regulatory regions ... detection of potential transcription factor binding sites. The preferred models for representation of transcription factor ... binding specificity have been termed position‐specific scoring matrices. JASPAR is an open‐access database ... annotated, high‐quality, matrix‐based transcription factor binding site profiles for multicellular eukaryotes. The profiles...
  • mpi4py

  • Referenced in 60 articles [sw04608]
  • Python (mpi4py) provides bindings of the Message Passing Interface (MPI) standard for the Python programming...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • communication channels for the passing of partial bindings. Only one solution to each call ... calls is evaluated without communication of partial bindings, but all the solutions may be found...
  • SWIG

  • Referenced in 54 articles [sw04607]
  • modifications to existing code and can create bindings for eight different target languages including Python...
  • MIBPB

  • Referenced in 54 articles [sw08106]
  • analysis of salt effects on protein–protein binding energies, respectively. © 2010 Wiley Periodicals...
  • Abella

  • Referenced in 52 articles [sw09461]
  • tree syntax approach to treating binding in object languages. Amongst other things, Abella has been...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • manipulating syntactical data involving statically scoped binding operations. User-declared FreshML datatypes involving binders...
  • MiniML

  • Referenced in 47 articles [sw29625]
  • functional language Mini-ML□, thus proving that binding-time correctness is equivalent to modal correctness...
  • STP

  • Referenced in 44 articles [sw34795]
  • Features: Easy to embed or run standalone; Bindings for C, C++, and Python; Supports multiple...
  • Regina

  • Referenced in 43 articles [sw04862]
  • includes a graphical user interface and Python bindings, and also supports angle structures, census enumeration...
  • rgdal

  • Referenced in 29 articles [sw15932]
  • package rgdal: Bindings for the Geospatial Data Abstraction Library. Provides bindings to Frank Warmerdam...
  • Idris

  • Referenced in 37 articles [sw20011]
  • case expressions, pattern matching let and lambda bindings; Dependent records with projection and update; Interfaces...
  • AutoDock

  • Referenced in 34 articles [sw09659]
  • molecules, such as substrates or drug candidates, bind to a receptor of known 3D structure...
  • FLANN

  • Referenced in 33 articles [sw15312]
  • FLANN is written in C++ and contains bindings for the following languages: C, MATLAB...
  • Ott

  • Referenced in 31 articles [sw00663]
  • expressive but intuitive metalanguage for specifying binding structures; and (3) compilation to proof assistant code...