• XFEM

  • Referenced in 358 articles [sw01026]
  • integration schemes (subtriangles, subquadrilaterals, independent near-tip, and discontinuous quadrature rules); domain integral methods ... standard method; standard and enriched approximations are independent; enrichment detection schemes: topological, geometrical, narrow-band...
  • 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 logic-independent 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...
  • 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. Domain-independent heuristics are formulated to capture efficient and human ... control structure by declarative heuristic rules-renders 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, multi-purposed 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]
  • Snort-like 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...
  • Hum-PLoc

  • Referenced in 19 articles [sw26863]
  • operated by the KNN (K-nearest neighbor) rule. As a demonstration, tests were performed with ... jackknife cross-validation 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) rule-governed 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...