• DLMF

  • Referenced in 2225 articles [sw04968]
  • site include 3D interactive graphics and an equation search capability. The information technology tools that...
  • Cytoscape

  • Referenced in 69 articles [sw09080]
  • protein-protein, protein-DNA, and genetic interactions that are increasingly available for humans and model ... plug-ins are surveyed, including a search for interaction pathways correlating with changes in gene...
  • Gecode

  • Referenced in 63 articles [sw06272]
  • accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB ... today’s commodity hardware for parallel search, giving an already efficient base system an additional...
  • Lore

  • Referenced in 19 articles [sw30996]
  • developing new technology for interactive searches over XML data, and building an efficient XML query...
  • BioGRID

  • Referenced in 46 articles [sw17422]
  • melanogaster and Homo sapiens. Over 30 000 interactions have recently been added from 5778 sources ... interface allows for rapid search and retrieval of interaction data. Full or user-defined datasets...
  • P-FCM

  • Referenced in 17 articles [sw02421]
  • user is forced to learn. Often, the searching process returns a huge list of answers ... enrich the human-system interaction with new searching metaphors. One of these is the searching ... classification according with the user interaction with the search engine...
  • ETPS

  • Referenced in 153 articles [sw06302]
  • theorems of first- and higher-order logic interactively, automatically, or in a mixture of these ... dealing with equality. It has facilities for searching for expansion proofs, translating these into natural ... modes (groups of flag settings). The interactive facilities of TPS for constructing natural deduction proofs...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system ... controlling, and observing the possible executions and interactions of all its components. It integrates automatic...
  • HMMER

  • Referenced in 17 articles [sw10514]
  • HMMER web server: interactive sequence similarity searching. HMMER is a software suite for protein sequence...
  • BGSA

  • Referenced in 16 articles [sw02093]
  • BGSA: Binary gravitational search algorithm The gravitational search algorithm is a new optimization algorithm that ... gravity and mass interactions. In this algorithm, the search agents are a collection of masses...
  • RNAplex

  • Referenced in 4 articles [sw17143]
  • fast tool for RNA-RNA interaction search. Motivation: Regulatory RNAs often unfold their action ... interaction. Transcriptional gene silencing by means of siRNAs and miRNA as well as snoRNA directed ... genome-wide search. Tools like RNAhybrid that neglects intramolecular interactions have runtimes proportional to 𝒪 ... focus the target search on short highly stable interactions. Availability: RNAplex can be downloaded...
  • PathBLAST

  • Referenced in 7 articles [sw29737]
  • network alignment and search tool for comparing protein interaction networks across species to identify protein ... basic method searches for high-scoring alignments between pairs of protein interaction paths, for which...
  • TPS

  • Referenced in 71 articles [sw00973]
  • theorems of first- and higher-order logic interactively, automatically, or in a mixture of these ... dealing with equality. It has facilities for searching for expansion proofs, translating these into natural...
  • IND-NIMBUS

  • Referenced in 8 articles [sw16183]
  • human decision maker who interactively directs the search for the most preferred trade-off solution ... solutions). IND-NIMBUS contains implementations of different interactive multiobjective optimization methods. In addition, different ways...
  • ADE-4

  • Referenced in 8 articles [sw14077]
  • dynamic graphic module allows interactive operations like searching, zooming, selection of points, and display...
  • Oz Explorer

  • Referenced in 5 articles [sw23612]
  • search strategy: The user can interactively explore the search tree which is visualised...
  • SNPHarvester

  • Referenced in 5 articles [sw35289]
  • complex diseases. However, existing methods for SNP interaction discovery either suffer from high computation complexity ... develop an effective method to search epistatic interactions in genome-wide scale. Results: We propose...
  • FSDA

  • Referenced in 17 articles [sw11737]
  • robust analysis and interactive data exploration. We present the FSDA (Forward Search for Data Analysis ... project was born around the Forward Search approach, but it has evolved to include ... such views and offers the possibility to interact with them. For example, selections of objects...
  • QPath

  • Referenced in 11 articles [sw35403]
  • protein interaction network. Results: We present a comprehensive framework for protein network searches using pathway ... network of interest, our algorithm, QPath, efficiently searches the network for homologous pathways, allowing both ... proteins, and the reliability of their constituent interactions. We applied QPath to systematically infer protein ... protein pathways in fly. Conclusion: Pathway homology searches using QPath provide a powerful approach...
  • xyz

  • Referenced in 1 article [sw19537]
  • Algorithm for Fast Interaction Search in High-Dimensional Data. High dimensional interaction search by brute ... variables. The xyz algorithm provably finds strong interactions in almost linear time. For details ... algorithm for fast interaction search in high-dimensional data <https://arxiv.org/pdf/1610.05108v1.pdf>....