• Lynx

  • Referenced in 10 articles [sw13643]
  • programmatic sat solver for the rna-folding. This paper introduces Lynx, an incremental programmatic...
  • 2EBD-HPE

  • Referenced in 14 articles [sw31879]
  • main contribution of the paper is two-fold: firstly, the authors introduce an adaptive choice...
  • WSDFU

  • Referenced in 9 articles [sw02362]
  • called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper demonstrates the power of the program...
  • CONTENT

  • Referenced in 37 articles [sw01058]
  • points and to detect, compute and continue fold points, flip points and Neimark - Sacker points ... resonances and degenerate Neimark - Sacker bifurcations. The paper provides details on defining systems and test...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • relation to logic programming This paper develops a logical language for representing probabilistic causal laws ... interest in such a language is two-fold. First, it can be motivated...
  • Superheat

  • Referenced in 3 articles [sw19761]
  • decisions. The goal of this paper is two-fold: (1) to demonstrate the potential...
  • ORI-REVO

  • Referenced in 3 articles [sw06952]
  • object by folding a single sheet of paper, has been studied in the fields...
  • CWT

  • Referenced in 1 article [sw36915]
  • algorithm for computing RNA folding rates. The aim of this paper is to present ... programming language prediction tool for computing RNA folding kinetics. RNA folding rates can be determined ... well with the natural logarithm of the folding rates of RNA sequences. This metric takes ... Perl implementation is provided in this paper and applied to certain HIV-1 RNA sequences...
  • Wasp

  • Referenced in 1 article [sw27053]
  • simultaneously. The aim of this paper is two fold: i) to mimic the behavior...
  • RAPTOR

  • Referenced in 20 articles [sw09002]
  • optimal protein threading by linear programming. This paper presents a novel linear programming approach ... Research technique. Large scale benchmark test for fold recognition shows that RAPTOR ignificantly outperforms other...
  • gt

  • Referenced in 1 article [sw26442]
  • tour. The purpose of the paper is two-fold: providing code for the grand tour...
  • SAMOSA

  • Referenced in 1 article [sw09725]
  • SAMOSA. The contribution of the paper is two-fold. First, we design a novel permutation...
  • ORCA

  • Referenced in 9 articles [sw26304]
  • regression methods and performance metrics from the paper ”Ordinal regression methods: survey and experimental study ... accelerate classifier experimental comparison with automatic fold execution, experiment paralellisation and performance reports. A basic...
  • Densityfold

  • Referenced in 1 article [sw12673]
  • single sequence folding methods or worse.par In this paper we show that delocalizing the thermodynamic...
  • R3P-Loc

  • Referenced in 2 articles [sw22444]
  • from overfitting. To address these problems, this paper proposes an efficient multi-label predictor, namely ... seven-folds and significantly outperforms state-of-the-art predictors. This paper also demonstrates that...
  • FORESST

  • Referenced in 3 articles [sw26866]
  • genomic databases and sequence annotation when fold similarity is not detectable from the amino acid ... HMMs of structural families used in this paper. FORESST web server at http://www.tigr.org...
  • Cofolga

  • Referenced in 2 articles [sw12674]
  • structure prediction is useful. Although single-sequence folding programs such as mfold have been successful ... prediction performance. In the present paper, a secondary structure prediction method based on a genetic ... Cofolga, is proposed. The program developed performs folding and alignment of two homologous RNAs simultaneously...
  • CoVaC

  • Referenced in 7 articles [sw21472]
  • program analysis of the cross-product. The paper presents a deductive framework for proving program ... classical intraprocedural optimizations such as constant folding, reassociation, common subexpression elimination, code motion, dead code...
  • MGTP

  • Referenced in 7 articles [sw09701]
  • prover MGTP for first-order logic. This paper describes the major results on research ... Horn problems achieving more than a 200-fold speedup on a parallel inference machine...
  • ESLpred

  • Referenced in 20 articles [sw22403]
  • terminal characteristics of the proteins. In this paper, support vector machine (SVM) has been used ... modules was evaluated using a 5-fold cross-validation technique. Assigning a reliability index (reliability...