• AETG

  • Referenced in 69 articles [sw09715]
  • generate tests that cover the pairwise, triple, or n-way combinations of a system...
  • EFD

  • Referenced in 53 articles [sw04152]
  • faster, case a 4 =-3), Doubling (resp. Tripling)-oriented Doche/Icart/Kohel, Montgomery, Jacobi intersections, Jacobi quartics...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • TRIPLE –a query, inference, and transformation language for the semantic web. This paper presents TRIPLE ... modular rule language for the Semantic Web. TRIPLE is based on Horn logic and borrows ... designed for querying and transforming RDF models. TRIPLE can be viewed as a successor ... Logic and SiLRI is that TRIPLE does not have a fixed semantics for object-oriented...
  • 3APL

  • Referenced in 33 articles [sw20859]
  • 3APL (triple-a-p-l). An Abstract Agent Programming Language. 3APL is a programming language...
  • insulate

  • Referenced in 24 articles [sw21729]
  • this using two simple geometric approaches: a triple projections method and a curve avoidance method...
  • RON

  • Referenced in 17 articles [sw11646]
  • study Ron Graham’s problem on Schur triples. It accompanies Aaron Robertson and Doron Zeilberger ... 1/22)N 2 +O(N) monochromatic Schur triples, but not less...
  • MOLPRO

  • Referenced in 23 articles [sw06125]
  • limit accuracy already with double-? or triple-? basis sets, thus reducing the computational effort...
  • VBFNLO

  • Referenced in 16 articles [sw07196]
  • vector boson fusion (VBF), double and triple vector boson production (plus jet) in hadronic collisions...
  • sbw

  • Referenced in 13 articles [sw21948]
  • quantiles of interactions of pairs and triples of observed covariates, thus, balancing entire...
  • pGCL

  • Referenced in 12 articles [sw13078]
  • annotation (or both), using either Hoare triples, or weakest-precondition entailment, in the style...
  • iSPARQL

  • Referenced in 8 articles [sw26525]
  • Fundamentals of iSPARQL: A Virtual Triple Approach for Similarity-Based Semantic Web Tasks. This research ... these tasks. Our first approach exploits virtual triples calling property functions to establish virtual relations...
  • ConformalBlocks

  • Referenced in 11 articles [sw08674]
  • that arise in conformal field theory. Each triple (g,l,(λ1,...,λn)) with...
  • Turtle

  • Referenced in 6 articles [sw25696]
  • Turtle - Terse RDF Triple Language. The Resource Description Framework (RDF) is a general-purpose language ... levels of compatibility with the existing N-Triples and Notation 3 formats as well ... triple pattern syntax of the SPARQL W3C Proposed Recommendation. This document specifies a language that...
  • Bio2RDF

  • Referenced in 10 articles [sw23946]
  • services, a semantic mashup of 65 million triples was built from 30 public bioinformatics data...
  • RDFox

  • Referenced in 5 articles [sw33097]
  • times, storage of up to 9.2 billion triples, memory usage as low as 36.9 bytes ... triple, importation rates of up to 1 million triples per second, and reasoning rates ... million triples per second...
  • MultInt

  • Referenced in 6 articles [sw00603]
  • method. Starting from the MAPLE implementation TRIPLE INTEGRAL written by D. Zeilberger to describe ... MultInt which improves and generalizes Zeilberger’s TRIPLE INTEGRAL for any specific number of continuous...
  • RACOONWW

  • Referenced in 8 articles [sw09550]
  • taken into account. RacoonWW also provides anomalous triple gauge-boson couplings for all processes...
  • NINEJ

  • Referenced in 8 articles [sw12211]
  • using the single sum formula or the triple- sum formula due to Jucys and Bandzaitis...
  • Java+ITP

  • Referenced in 8 articles [sw32259]
  • algebraic semantics. After being decomposed, Hoare triples are translated into semantically equivalent first-order verification...
  • Crowfoot

  • Referenced in 5 articles [sw07706]
  • based on separation logic, features nested Hoare triples which describe the behaviour of procedures stored ... mathematical foundations of Hoare logics with nested triples...