
UCIml
 Referenced in 3435 articles
[sw04074]
 Learning Repository is a collection of databases, domain theories, and data generators that are used ... donors and creators of the databases and data generators. Special thanks should also...

Magma
 Referenced in 3344 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... others. Magma also supports a number of databases designed to aid computational research in those...

Knot Atlas
 Referenced in 96 articles
[sw11550]
 knot atlas (collection of maps), theory database, knowledge base, and ”a home for some computer...

ProbView
 Referenced in 27 articles
[sw09438]
 ProbView: a flexible probabilistic database system. Probability theory is mathematically the best understood paradigm ... events involved. Previous work on probabilistic databases has assumed a fixed and restrictivecombination strategy ... negation, meaningful from the viewpoint of probability theory. (1) We propose a probabilistic relational data ... ideas, we have developed a prototype probabilistic database system called ProbView on top of Dbase...

LMFDB
 Referenced in 166 articles
[sw07249]
 Welcome to the LMFDB, the database of Lfunctions, modular forms, and related objects. These ... sources. Lfunctions are ubiquitous in number theory and have applications to mathematical physics ... varieties, and Artin representations. In addition, the database contains details about these objects themselves...

CodeQuest
 Referenced in 8 articles
[sw10471]
 namely the use of logic programming and database systems. As the query language ... which was originally introduced in the theory of databases. That provides just the right level...

KPCA plus LDA
 Referenced in 70 articles
[sw08766]
 extraction and recognition. This paper examines the theory of kernel Fisher discriminant analysis ... tested and evaluated using the FERET face database and the CENPARMI handwritten numeral database...

FRIL
 Referenced in 44 articles
[sw18490]
 uncertainty, consistent with and combining the theories of probability and fuzzy sets. Extends the logic ... casebased reasoning, fuzzy control and databases. An accompanying disk for Macintosh...

QLGQ
 Referenced in 2 articles
[sw18547]
 query, logical and natural languages. The database industry is clearly a multibillion, worldwide ... perfect example of a practical theory within databases. This book provides a brief background...

QTest
 Referenced in 8 articles
[sw30779]
 novel versions of “Random Cumulative Prospect Theory.” A major asset of the approach ... makers who waver in their preferences. (PsycINFO Database Record (c) 2016 APA, all rights reserved...

Graffiti.pc
 Referenced in 16 articles
[sw07152]
 computer programs that produce conjectures in graph theory. Pointers to information about the programs ... programs compute combinations of parameters on a database of graphs, mostly conjecturing inequalities. Here...

CQL
 Referenced in 1 article
[sw40898]
 querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that...

CAMLET
 Referenced in 1 article
[sw30106]
 repository of ML databases and domain theories, experimental results have shown us that CAMLET supports...

SQLCert
 Referenced in 1 article
[sw28676]
 manipulating data stored in relational database systems. In theory, SQL is based on the relational...

Snap
 Referenced in 30 articles
[sw20131]
 hyperbolic 3manifolds, and on the number theory package Pari. Snap uses Pari’s high ... knots up to 19 crossings to the database of manifolds that snap knows. The original...

RAG
 Referenced in 1 article
[sw21205]
 present an RNA motif database based on graph theory, termed RAG for RNAAsGraphs...

DRAGON
 Referenced in 14 articles
[sw00220]
 analysis and highthroughput screening of molecule databases. Dragon 7.0 is its latest release ... wide range of different approaches and theories for descriptors calculation, and the correctness and precision...

APRIORI
 Referenced in 5 articles
[sw02940]
 algorithms to find frequent itemsets in large databases. We describe the algorithms in a similar ... real life data to illustrate the theory...

flavio
 Referenced in 9 articles
[sw23848]
 flavour physics and electroweak precision tests, a database of experimental measurements of these observables ... dimensionsix operators in the weak effective theory below the electroweak scale or the Standard...

MAMMOTH
 Referenced in 11 articles
[sw26215]
 MAMMOTH (matching molecular models obtained from theory): an automated method for model comparison. Advances ... fast enough for routine use with large databases of protein models. Overall, our results indicate...