• DepQBF

  • Referenced in 46 articles [sw09734]
  • DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal ... performance results. For bug reports etc., please contact Florian Lonsing...
  • QuickTrace

  • Referenced in 3 articles [sw01626]
  • fast contact detection algorithm. It searches for contact typically between a tool, modelled by some ... geometrical surface facets, and deforming material. Contact is searched for at material surface points called ... should be considered. From this definition of contact, the penetration depth results automatically ... computational complexity for one contact search is proportional to this average depth...
  • Adagio

  • Referenced in 3 articles [sw18740]
  • employs the ACME library [2] for contact search algorithms.The mechanics and algorithms in Adagio closely ... large rotations, large strains, and frictional / frictionless contact mechanics. Quasistatic equilibrium is found using...
  • Complex Optimization Toolbox

  • Referenced in 30 articles [sw14744]
  • limited-memory BFGS with Moré–Thuente line search or dogleg trust region, nonlinear least squares ... questions, bug reports or other inquiries, please contact cot@cs.kuleuven.be...
  • ASTRAL-II

  • Referenced in 11 articles [sw20492]
  • allowed bipartitions for the search space. Availability and implementation: ASTRAL-II is available in open source ... used are available at http://www.cs.utexas.edu/ phylo/datasets/astral2/. Contact:smirarab@gmail.com...
  • BiGGER

  • Referenced in 2 articles [sw10909]
  • grid-based algorithms for optimising surface contact between complex solids. We use BiGGER (Bimolecular complex ... effort in current bioinformatics. BiGGER prunes the search space by maintaining bounds consistency on interval ... contact but not overlapping, and by using a branch and bound approach to search...
  • LUDI

  • Referenced in 1 article [sw24443]
  • derived from distributions of nonbonded contacts generated by a search through the Cambridge Structural Database...
  • ACME

  • Referenced in 3 articles [sw31022]
  • ACME - Algorithms for Contact in a Multiphysics Environment API Version 1.0. An effort is underway ... develop a library of algorithms to search for potential interactions between surfaces represented by analytic ... Interface (API) for the ACME (Algorithms for Contact in a Multiphysics Environment) library...
  • InterPreTS

  • Referenced in 6 articles [sw35752]
  • pair of query sequences, we first search for homologues in a database of interacting domains ... well they preserve the atomic contacts at the interaction interface. InterPreTS includes a useful interface...
  • DIMA

  • Referenced in 4 articles [sw26868]
  • domain phylogenetic profiling and experimentally demonstrated domain contacts from known three-dimensional structures. A powerful ... download domain networks based on specific search criteria. AVAILABILITY: http://mips.gsf.de/genre/proj/dima...
  • DupTree

  • Referenced in 5 articles [sw12376]
  • improves upon the run time of standard search heuristics for gene tree parsimony, and enables ... manual are available at http://genome.cs.iastate.edu/CBL/DupTree .Contact: oeulenst@cs.iastate.edu...
  • Ferret

  • Referenced in 2 articles [sw27107]
  • highly efficient implementations of a range of search algorithms on permutation groups. These algorithms fall ... applied to another problem, please contact the authors, who will be happy to look into...
  • EMOD2D

  • Referenced in 1 article [sw41266]
  • This modelling study is relevant to: (i) search for mineral deposits underlying conductive or resistive ... body when it is in contact and without contact with the overburden. The program...
  • SYNBADm

  • Referenced in 1 article [sw24894]
  • makes use of global optimization to simultaneously search the space of structures and kinetic parameters ... under GPLv3 license at https://sites.google.com/site/synbadm CONTACT: ireneotero@iim.csic.es or julio@iim.csic.es...
  • SPREAD

  • Referenced in 1 article [sw21020]
  • discrete locations based on Bayesian stochastic search variable selection estimates. SPREAD takes advantage of multicore ... GitHub repository: https://github.com/phylogeography/SPREAD CONTACT: filip.bielejec@rega.kuleuven.be...
  • SSW Library

  • Referenced in 1 article [sw33167]
  • either designed as monolithic protein database searching tools or are embedded into other tools ... this https URL Striped-Smith-Waterman-Library Contact: marth@bc.edu...
  • Mercury

  • Referenced in 0 articles [sw16266]
  • packing and the statistical analysis of CSD search data. Mercury provides an extensive array ... direction. Build and explore networks of intermolecular contacts to gain an understanding of the strengths...
  • UniCon3D

  • Referenced in 0 articles [sw34253]
  • protein structure prediction using united-residue conformational search via stepwise, probabilistic sampling. Results: Here ... protein modeling aided by predicted residue-residue contacts on 45 targets from the 10th edition...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...