• DRAT-trim

  • Referenced in 37 articles [sw13313]
  • DRAT-trim: efficient checking and trimming using expressive clausal proofs. The DRAT-trim tool ... DRAT proof format. Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing ... techniques can be validated using DRAT-trim. Checking time of a proof is comparable ... resolution-based proof checkers. The DRAT-trim tool can emit trimmed formulas, optimized proofs...
  • TCLUST

  • Referenced in 42 articles [sw17565]
  • package tclust: Robust Trimmed Clustering. Provides functions for robust trimmed clustering. The methods are described...
  • Pcp2Nurb

  • Referenced in 18 articles [sw00689]
  • Pcp2Nurb -- smooth free-form surfacing with linearly trimmed bicubic B-splines Unrestricted control polyhedra facilitate ... collection of four-sided linearly trimmed bicubic B-splines and untrimmed biquadratic B-splines ... planar-cut polyhedron, the routine outputs a trimmed bicubic NURBS patch. If the subnet does...
  • TRIM

  • Referenced in 7 articles [sw01375]
  • correctly elaborates on another. This paper presents TRIM, a toolfor checking refinement between TMSCs ... main features of TRIM are: (i) a textuallanguage for TMSCs that includes the algebraic combinators...
  • meta

  • Referenced in 11 articles [sw17233]
  • Abbe, Baujat, bubble); - statistical tests and trim-and-fill method to evaluate bias in meta...
  • PROGRESS

  • Referenced in 11 articles [sw26316]
  • PROGRESS, which also computes the least trimmed squares (LTS) method. We will discuss the various...
  • kinship2

  • Referenced in 8 articles [sw24917]
  • without intervention. Recent additions include utilities to trim the pedigree object with various criteria...
  • lmomco

  • Referenced in 5 articles [sw14732]
  • package lmomco: L-Moments, Censored L-Moments, Trimmed L-Moments, L-Comoments, and Many Distributions ... also by indicator variable is available. Asymmetric trimmed LMs (TL-moments, TLMs) are supported...
  • WAVES

  • Referenced in 6 articles [sw02911]
  • WAVES Euler aerodynamic solver for computing the trim of a flexible rotor in steady forward...
  • StochaTR

  • Referenced in 6 articles [sw11113]
  • proved to be a weighted-mean trimmed region. Thus, given a sample of the coefficients...
  • gld

  • Referenced in 6 articles [sw15011]
  • spacings, Titterington’s method, Moments, L-Moments, Trimmed L-Moments and Distributional Least Absolutes...
  • IRIT

  • Referenced in 6 articles [sw21528]
  • Bezier and B-spline curves and (trimmed) surfaces, IRIT has many unique features that help...
  • geospt

  • Referenced in 6 articles [sw23165]
  • Sampling Networks. Estimation of the variogram through trimmed mean, radial basis functions (optimization, prediction...
  • mothur

  • Referenced in 6 articles [sw23362]
  • case study, we used mothur to trim, screen, and align sequences; calculate distances; assign sequences...
  • trimcluster

  • Referenced in 4 articles [sw23853]
  • package trimcluster: Cluster analysis with trimming. Trimmed k-means clustering...
  • Lmoments

  • Referenced in 4 articles [sw23859]
  • Contains functions to estimate L-moments and trimmed L-moments from the data. Also contains ... polynomial quantile mixture from L-moments and trimmed L-moments...
  • trimAl

  • Referenced in 3 articles [sw24603]
  • trimAl: a tool for automated alignment trimming in large-scale phylogenetic analyses. SUMMARY: Multiple sequence ... quality of subsequent analyses. Such an alignment trimming phase is complicated in large-scale phylogenetic ... present trimAl, a tool for automated alignment trimming, which is especially suited for large-scale...
  • cntclust

  • Referenced in 3 articles [sw40587]
  • proportion of observations is additionally trimmed. We propose a penalized likelihood approach for estimation ... procedure over flexible mixtures without trimming, and over trimmed normal mixture models ( exttt{tclust...
  • Phrap

  • Referenced in 5 articles [sw18792]
  • entire read and not just the trimmed high quality part, it uses a combination...
  • GRAT

  • Referenced in 5 articles [sw21969]
  • faster than the unverified standard tool drat-trim, and significantly faster than the formally verified...