usesComputationMethod
P89
predicate
Indicates that an entity performs its processing or decision-making by applying a specified computational method or algorithm.
All labels observed (24)
| Label | Occurrences |
|---|---|
| usesAlgorithm | 68 |
| evaluationStrategy | 37 |
| usedToCompute | 23 |
| computedBy | 19 |
| canBeComputedBy | 11 |
| computationalMethod | 11 |
| computableBy | 6 |
| computesUsing | 3 |
| computationalAspect | 2 |
| hasSamplingMethod | 2 |
| modernImplementation | 2 |
| commonAlgorithmicUse | 1 |
| commonlyComputedAs | 1 |
| digestComputation | 1 |
| hasIndexComputationMethod | 1 |
| modernComputationBasedOn | 1 |
| requiresComputation | 1 |
| usesChecksumFor | 1 |
| usesCloudProcessing | 1 |
| usesComputationMethod canonical | 1 |
| usesFirstMomentEstimate | 1 |
| usesHeuristic | 1 |
| usesIndexComputation | 1 |
| usesNaturalGradient | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: usesComputationMethod
Generated description
Indicates that an entity performs its processing or decision-making by applying a specified computational method or algorithm.
Sample triples (197)
| Subject | Object |
|---|---|
| AudioSculpt | Fast Fourier Transform via predicate surface "usesAlgorithm" NERFINISHED ⓘ |
| Gauss sum | Fourier transform of characters on finite abelian groups via predicate surface "usedToCompute" ⓘ |
| Gauss sum | number of solutions of polynomial congruences via predicate surface "usedToCompute" ⓘ |
| Gauss sum | exponential sums over finite fields via predicate surface "usedToCompute" ⓘ |
| RFC 7868 | Diffusing Update Algorithm via predicate surface "usesAlgorithm" NERFINISHED ⓘ |
| IBM Watson | statistical natural language processing via predicate surface "usesAlgorithm" ⓘ |
| IBM Watson | machine learning models via predicate surface "usesAlgorithm" ⓘ |
| IBM Watson | information retrieval techniques via predicate surface "usesAlgorithm" ⓘ |
| libsolv | SAT solver via predicate surface "usesAlgorithm" ⓘ |
| Bayes factor | Monte Carlo methods via predicate surface "computedBy" ⓘ |
| Bayes factor | Laplace approximation via predicate surface "computedBy" NERFINISHED ⓘ |
| Bayes factor | bridge sampling via predicate surface "computedBy" ⓘ |
| Bayes factor | reversible jump MCMC via predicate surface "computedBy" ⓘ |
|
Garbage Collector
surface form:
Garbage Collector (.NET)
|
objects that survive collections are promoted to higher generations via predicate surface "usesHeuristic" ⓘ |
| CockroachDB | Raft consensus algorithm via predicate surface "usesAlgorithm" ⓘ |
| Barlow's Tables of Squares, Cubes, Square Roots, Cube Roots, Reciprocals, and Logarithms | table lookup via predicate surface "computationalMethod" ⓘ |
| Age (HTTP header) | caches via predicate surface "computedBy" ⓘ |
| Age (HTTP header) | intermediate servers via predicate surface "computedBy" ⓘ |
| RFC 2195 | MD5 via predicate surface "usesAlgorithm" NERFINISHED ⓘ |
| RFC 2195 | HMAC-MD5 via predicate surface "usesAlgorithm" NERFINISHED ⓘ |
| Tool Command Language | interpreted via predicate surface "evaluationStrategy" ⓘ |
| Hilbert polynomial | Gröbner basis methods via predicate surface "canBeComputedBy" ⓘ |
|
Miranda programming language
surface form:
Miranda
|
non-strict (lazy) evaluation via predicate surface "evaluationStrategy" ⓘ |
| Schickard calculating clock | digit-wise mechanical addition via predicate surface "computationalMethod" ⓘ |
| Schickard calculating clock | mechanical carry propagation via predicate surface "computationalMethod" ⓘ |
| Heisenberg–Euler effective Lagrangian | photon–photon scattering cross sections at low energy via predicate surface "usedToCompute" ⓘ |
| Opacity Project at Livermore | large-scale atomic-physics calculations via predicate surface "computationalMethod" ⓘ |
| Opacity Project at Livermore | numerical opacity tables via predicate surface "computationalMethod" ⓘ |
| MPEG-4 CELP | code-excited linear prediction via predicate surface "usesAlgorithm" ⓘ |
| Blakley secret sharing scheme | solving systems of linear equations via predicate surface "requiresComputation" ⓘ |
| Gröbner fan | Gröbner walk algorithm via predicate surface "computableBy" ⓘ |
| Gröbner fan | reverse search over cones via predicate surface "computableBy" ⓘ |
| SCRAM-SHA-1 | SHA-1 via predicate surface "usesAlgorithm" ⓘ |
| Tate pairing | Miller algorithm via predicate surface "computableBy" NERFINISHED ⓘ |
| Harish-Chandra c-function | L^2-norms of spherical functions via predicate surface "usedToCompute" ⓘ |
| MDL | eager evaluation via predicate surface "evaluationStrategy" ⓘ |
| Emacs ediff | diff via predicate surface "usesAlgorithm" ⓘ |
| IP routing | shortest path first via predicate surface "usesAlgorithm" ⓘ |
| IP routing | distance vector via predicate surface "usesAlgorithm" ⓘ |
| IP routing | path vector via predicate surface "usesAlgorithm" ⓘ |
| Stan | leapfrog integrator via predicate surface "usesAlgorithm" ⓘ |
| recurrent neural networks | backpropagation through time via predicate surface "usesAlgorithm" ⓘ |
| Wahba problem in spline smoothing | linear system solution via predicate surface "computationalMethod" ⓘ |
| Wahba problem in spline smoothing | eigendecomposition of smoothing matrix via predicate surface "computationalMethod" ⓘ |
| Fox n-coloring of knots | solving linear equations modulo n via predicate surface "canBeComputedBy" ⓘ |
| Schwarz–Christoffel mapping | often implemented via numerical methods via predicate surface "computationalAspect" ⓘ |
| Schwarz–Christoffel mapping | requires solving nonlinear systems for prevertices via predicate surface "computationalAspect" ⓘ |