• UCI-ml

  • 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 L-functions, modular forms, and related objects. These ... sources. L-functions 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 ... case-based 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 multi-billion, world-wide ... 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 3-manifolds, 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 RNA-As-Graphs...
  • DRAGON

  • Referenced in 14 articles [sw00220]
  • analysis and high-throughput 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 ... dimension-six 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...