• 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...