
AETG
 Referenced in 69 articles
[sw09715]
 generate tests that cover the pairwise, triple, or nway 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 objectoriented...

3APL
 Referenced in 33 articles
[sw20859]
 3APL (tripleapl). 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 weakestprecondition entailment, in the style...

iSPARQL
 Referenced in 8 articles
[sw26525]
 Fundamentals of iSPARQL: A Virtual Triple Approach for SimilarityBased 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 generalpurpose language ... levels of compatibility with the existing NTriples 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 gaugeboson 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 firstorder 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...