
XFEM
 Referenced in 358 articles
[sw01026]
 integration schemes (subtriangles, subquadrilaterals, independent neartip, and discontinuous quadrature rules); domain integral methods ... standard method; standard and enriched approximations are independent; enrichment detection schemes: topological, geometrical, narrowband...

ISOLATE
 Referenced in 208 articles
[sw07741]
 known algorithms based on Descartes’ rule of sign and the bisection strategy in a unified ... Akritas’ algorithm and Krandick’s variant, independently of the input polynomial. From this new algorithm...

BoxLib
 Referenced in 19 articles
[sw11472]
 each level of refinement are distributed independently. The software supports two data distribution schemes ... with an owner computes rule with each processor operating independently on its local data...

LanHEP
 Referenced in 21 articles
[sw00502]
 output is Feynman rules in terms of physical fields and independent parameters in the form ... physical model. Alternatively, Feynman rules can be generated in FeynArts format or as LaTeX table...

MetTeL
 Referenced in 15 articles
[sw11990]
 core component of MetTeL is a logicindependent tableau inference engine. A novel feature ... flexibly specify the set of tableau rules to be used in derivations. Termination...

Cadmium
 Referenced in 4 articles
[sw06507]
 Cadmium is a rule based programming language for compiling solver independent constraint models to various ... based on a hybrid between Constraint Handling Rules (CHR) and term rewriting modulo Associativity, Commutativity...

FisPro
 Referenced in 9 articles
[sw16651]
 induction, rule base simplification, optimization. A modular, portable software architecture that allows platform independence...

Abstract Completeness
 Referenced in 4 articles
[sw28585]
 logic completeness theorem, independent of the concrete syntax or inference rules. This work is described...

DevTreatRules
 Referenced in 1 article
[sw29262]
 along with an estimation of rule benefit in an independent sample...

TaylUR
 Referenced in 4 articles
[sw00950]
 independent variables. Derivatives of products and composite functions are computed using Leibniz’s rule...

SequentialMA
 Referenced in 1 article
[sw10526]
 experiment and application of a stopping rule a decision can be made as to whether ... single gene is nearly independent of the global stopping rule. For this reason, the interim...

TAS
 Referenced in 11 articles
[sw04900]
 logic. Our transformation system TAS compiles these rules to concrete deduction support, complete with ... sense that it is completely independent of the particular window inference or transformational calculus...

HARP
 Referenced in 15 articles
[sw26323]
 excising redundancies from proof trees. Domainindependent heuristics are formulated to capture efficient and human ... control structure by declarative heuristic rulesrenders it easy to let extralogical information, e.g. semantic...

VIPR
 Referenced in 3 articles
[sw18034]
 desire for a way to produce independently verifiable certificates of claimed results ... rules. We present a supplementary verification tool for compressing and checking these certificates independently...

CORON
 Referenced in 7 articles
[sw13526]
 Coron is a domain and platform independent, multipurposed data mining toolkit, which incorporates ... designed specifically for itemset extraction and association rule generation like Coron does not exist elsewhere...

SNORTRAN
 Referenced in 1 article
[sw13064]
 Snortlike rules are usually thought of as a list of independent patterns ... compilation techniques are directly applicable to Snort rule sets and are able to produce high...

BFL
 Referenced in 1 article
[sw15150]
 Filtering Library (BFL) [ref] provides an application independent framework for inference in Dynamic Bayesian Networks ... processing and estimation algorithms based on Bayes’ rule, such as (Extended) Kalman Filters, Particle Filters ... Filtering Library (BFL) [ref] provides an application independent framework for inference in Dynamic Bayesian Networks ... processing and estimation algorithms based on Bayes’ rule, such as (Extended) Kalman Filters, Particle Filters...

HumPLoc
 Referenced in 19 articles
[sw26863]
 operated by the KNN (Knearest neighbor) rule. As a demonstration, tests were performed with ... jackknife crossvalidation test and independent dataset test were 81.1% and 85.0%, respectively, which...

JAFMAS
 Referenced in 4 articles
[sw07882]
 agent conversations, (iii) identifying the conversation rules, (iv) analyzing the conversation model ... KQML) based languages allowing for agent independent semantics. Coordination support follows from Searle’s thesis ... language is engaging in a (highly complex) rulegoverned form of behavior.” We conceptualize agent...

Pufferfish
 Referenced in 3 articles
[sw12982]
 believe that the data records are independent; we use it to create a privacy definition ... hedging privacy, which can be used to rule out attackers whose prior beliefs are inconsistent...