• Tyrolean

  • Referenced in 89 articles [sw07830]
  • completely redesigned successor of TTT. Current (non-)termination techniques include: approximated dependency graph, argument filtering ... order, loop detection, matrix interpretation, polynomial interpretation, predictive labeling, recursive SCC, root-labeling, semantic labeling...
  • frailtypack

  • Referenced in 41 articles [sw06070]
  • recurrent events with terminal event for clustered data or not. Prediction values are available. Left...
  • MultiLoc

  • Referenced in 11 articles [sw35402]
  • MultiLoc: prediction of protein subcellular localization using N-terminal targeting sequences, sequence motifs and amino ... proteomics. A key annotation is the prediction of a protein’s subcellular localization. Numerous prediction ... based approach for predicting subcellular localization, which integrates N-terminal targeting sequences, amino acid composition ... this approach improves the prediction based on N-terminal targeting sequences, by comparing our method...
  • ESLpred

  • Referenced in 20 articles [sw22403]
  • localization prediction methods are based on either amino acid composition or N-terminal characteristics ... vector machine (SVM) has been used to predict the subcellular location of eukaryotic proteins from...
  • VeriFast

  • Referenced in 57 articles [sw07705]
  • algorithm is described that prevents non-termination of the SMT solver while enabling reduction ... solver, verification time is predictable...
  • GeneMarkS

  • Referenced in 6 articles [sw23024]
  • translation start prediction, in addition to the refinement of protein sequence N-terminal data, provides...
  • LTR_FINDER

  • Referenced in 3 articles [sw13196]
  • tool for the prediction of full-length LTR retrotransposons. Long terminal repeat retrotransposons (LTR elements ... FINDER web server. Given DNA sequences, it predicts locations and structure of full-length...
  • joint.Cox

  • Referenced in 6 articles [sw15793]
  • joint.Cox. Perform the Cox regression and dynamic prediction under the joint frailty-copula model between ... data should have information on both terminal event time (time-to-death) and non-terminal...
  • LTRdigest

  • Referenced in 0 articles [sw37845]
  • classification of de novo predicted LTR retrotransposons. Long terminal repeat (LTR) retrotransposons and endogenous retroviruses...
  • BOMP

  • Referenced in 4 articles [sw11337]
  • describes the development of a program that predicts whether or not a polypeptide sequence from ... proteins. The first component is a C-terminal pattern typical of many integral β-barrel ... transmembrane β-strands. The precision of the predictions was found to be 80% with...
  • FarRSA

  • Referenced in 1 article [sw25237]
  • model prediction problems with a Matlab implementation. Here, we introduce an enhanced subproblem termination condition...
  • ESLpred2

  • Referenced in 2 articles [sw35344]
  • Results: Here, we describe augmentation in the prediction performance obtained for our most popular ESLpred ... profile composition along with whole and N-terminal sequence composition as an input feature vector ... results were coupled with whole and N-terminal sequence composition along with profile composition ... provide confidence about the reliability and accurate prediction of SVM modules generated in the present...
  • PredGPI

  • Referenced in 3 articles [sw17176]
  • anchor, which is linked to the C-terminal residue after a proteolytic cleavage occurring ... proteomes. Results: Here we present PredGPI, a prediction method that, by coupling a Hidden Markov...
  • GlobPlot

  • Referenced in 7 articles [sw06213]
  • proteomics and structural genomics era is to predict protein structure and function, including identification ... often contain additional N- or C-terminal segments that appear ordered. Thus GlobPlot...
  • ISDEvaluation

  • Referenced in 1 article [sw35485]
  • help determine the appropriate treatment for terminal patients. Unfortunately, risk scores (for example from ... probability models (for instance the Gail model, predicting 5 year probability) only provide...
  • SnpEff

  • Referenced in 2 articles [sw17001]
  • losses, or frame shifts can be predicted. Here the use of SnpEff is illustrated ... melanogaster often result in additions of N-terminal or C-terminal amino acids that...
  • CSP

  • Referenced in 1 article [sw08678]
  • reliability analysis, and program slicing try to predict properties of the specification which can guarantee ... which combines concurrency, non-determinism and non-termination. We define an instrumented operational semantics that...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • hsmm

  • Referenced in 16 articles [sw00419]
  • R package hsmm: Hidden Semi Markov Models: This...
  • KNITRO

  • Referenced in 184 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...