• Gecode

  • Referenced in 57 articles [sw06272]
  • programming of new constraints, branching strategies, and search engines. New variable domains can be programmed ... branching heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry ... with reality in that it exploits the multiple cores of today’s commodity hardware...
  • FGM

  • Referenced in 2 articles [sw16179]
  • given by linear multiple-criteria models and search for preferable efficient strategies. Based on interactive...
  • PRALINE

  • Referenced in 2 articles [sw16248]
  • strategies, PRALINE can integrate information from database homology searches to generate a homology-extended multiple...
  • E-MaLeS

  • Referenced in 8 articles [sw15190]
  • MaLeS 1.1. Picking the right search strategy is important for the success of automatic theorem ... meta-system that uses machine learning and strategy scheduling to optimize the performance ... strategy on a given problem and dynamically constructs a schedule of multiple promising strategies that...
  • GeoVIBE

  • Referenced in 3 articles [sw01743]
  • visual presentation of document space defined by multiple reference points, similar to that of VIBE ... integration of two browsing strategies, GeoVIBE enables users to search information using geographic clues...
  • LocARNAscan

  • Referenced in 2 articles [sw23118]
  • used as an alternative search strategy. In this scenario, the query consists of a base ... from a single sequence or from a multiple alignment representing a set of known representatives ... obtain local base pairing probabilities. As a search engine we devised a semi-global scanning...
  • iMOLPe

  • Referenced in 2 articles [sw16193]
  • deal with linear programming problems with multiple objective functions, which includes: - scalarizing processes for computing ... objective function values; - distinct solution search strategies and visualization of results obtained with the TRIMAP...
  • STAMP

  • Referenced in 5 articles [sw17264]
  • highest-scoring matches are returned. Such similarity-search functionality is expected to facilitate the identification ... newly discovered motifs. STAMP also automatically builds multiple alignments, familial binding profiles and similarity trees ... local or global, gapped or ungapped), multiple alignment strategies and tree-building methods. Motifs...
  • ESyPred3D

  • Referenced in 4 articles [sw16876]
  • generally consists in four steps: (1) databanks searching to identify the structural homolog, (2) target ... strategy. Alignments are obtained by combining, weighting and screening the results of several multiple alignment...
  • MEIGO

  • Referenced in 4 articles [sw08492]
  • integer programming (MINLP) problems, and variable neighborhood search (VNS) for Integer Programming (IP) problems. Both ... thread or in parallel using a cooperative strategy. The code is supplied under GPLv3 ... optimization, that can be applied to multiple domains of systems biology and bioinformatics. It includes...
  • TAGster

  • Referenced in 2 articles [sw11869]
  • single and multiple populations. We implement several strategies to improve the efficiency of current ... selection efficiency and further generalize it to multiple populations. (2) We propose a redundant ... speed up the exhaustive tag SNP search algorithm proposed...
  • DeeperCut

  • Referenced in 1 article [sw27574]
  • articulated pose estimation in scenes with multiple people. To that end we contribute on three ... incremental optimization strategy that explores the search space more efficiently thus leading both to better...
  • SCCWalk

  • Referenced in 1 article [sw32102]
  • variant of a powerful strategy called configuration checking for local search. The walk perturbation procedure ... complexity heuristic called best from multiple selection to select the swapping vertex pair quickly...
  • TargetSearch

  • Referenced in 2 articles [sw19123]
  • Background: Metabolite profiling, the simultaneous quantification of multiple metabolites in an experiment, is becoming increasingly ... novel strategy to iteratively correct and update retention time indices for searching and identifying metabolites...
  • ReDO

  • Referenced in 1 article [sw25850]
  • layer reliability is therefore a multi-objective search problem in which reliability must be traded ... design space. Two exploration strategies are proposed. The first strategy aims at optimizing the reliability ... techniques is reduced as well. The second strategy jointly considers the effect that the introduced ... size. This strategy supports the exploration of the design space setting multiple objectives on different...
  • HistFitter

  • Referenced in 0 articles [sw23380]
  • been the standard statistical tool in searches for supersymmetric particles performed by ATLAS. HistFitter ... design, which is rooted in core analysis strategies of particle physics. The concepts of control ... methods. Being capable of working with multiple data models at once, HistFitter introduces an additional...
  • ADOL-C

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

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

  • Referenced in 194 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 294 articles [sw00066]
  • BARON is a computational system for solving nonconvex...