Results 1 to 20 of 535
Sort by:

  • 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...