Search results

...s analogous to<ref name="Russel 1919">Russel, B. (1919). ''Introduction to Mathematical Philosophy''. London: George Allen & Unwin, Ltd., S. 155</ref> an [[Express ...lay="inline">\tilde{C}</math>, given its fuzzy classification [[Predicate (mathematical logic)|predicate]] <math display="inline">\tilde{\Pi}_{\tilde{C}} \in \tild ...

The theory of '''ologs''' is an attempt to provide a rigorous mathematical framework for knowledge representation, construction of scientific models a ==Mathematical formalism== ...

...ed graph''' is a [[data model]] of various [[Graph database|graph-oriented databases]],<ref>{{Cite journal|last=Angles|first=Renzo|date=2012-04-01|title=A compa ...st1=Bonifati|first1=Angela|title=Schema Validation and Evolution for Graph Databases|date=2019|url=http://link.springer.com/10.1007/978-3-030-33223-5_37|work=Co ...

...f tuples <math>\vec a \subseteq \Gamma</math> such that, for each [[Model (mathematical logic)|model]] <math>\mathcal{I}</math> of <math>\mathcal{K}</math>, we hav ...

...Linear and nonlinear integer optimization], Online Video Lecture Series, [[Mathematical Sciences Research Institute]], Berkeley, 2010</ref> algorithm for convex integer minimization, Mathematical Programming ...

Although the mathematical support for the method is given in terms of asymptotic results, the algorit == Finding number of clusters in text databases == ...

...he use of different [[semirings]] to accomplish operations in a variety of mathematical contexts. ...anage and process graphs, around 6 to 600 times faster than existing graph databases. RedisGraph represents connected data as adjacency matrices and employs the ...

...s can, however, be overcome by the integration of various tools, including mathematical techniques such as [[singular value decomposition]] and [[lexical database] ...

...rst1=M.J. |last1=Egenhofer |first2=J.R. |last2=Herring |year=1990 |title=A Mathematical Framework for the Definition of Topological Relationships |book-title=Proce ...ffers a full descriptive assertion about the two input geometries. It is a mathematical function that represents a [[Functional completeness|complete set]] of all ...

...~lindan/publication/thesis_lindan.pdf Indexing and Querying Moving Objects Databases], PhD thesis, National University of Singapore, 2006.</ref> each leaf node ...or many other moving objects indexes, a two-dimensional moving object is [[Mathematical model|modeled]] as a linear function as O = ((x, y), (vx, vy), t ), where ( ...

* [[LaTeX]] and [[R (programming language)|R]] code for mathematical functions. ...tion is an instance of the class thereof, a specialization of the class of mathematical objects. A distribution relates to a number of other individuals, which are ...

...e=Quantum algorithms revisited|journal=Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences|date=8 January 1998|volume=454|issue=196 ...istence Testing and its Application for Finding Extreme Values in Unsorted Databases|journal = IEEE Transactions on Computers|date=2007|volume=56|issue=5|pages= ...

...e<ref name="DMNS06" /> introduced the concept of ε-differential privacy, a mathematical definition for the privacy loss associated with any data release drawn from ...wever this is also extendable.<ref name="DMNS06" /> We may want to protect databases differing in <math>c</math> rows, which amounts to an adversary with arbitr ...

| title = Authority-based keyword search in databases | journal=Journal of Physics A: Mathematical and Theoretical ...

...at [[Satisfiability|satisfy]] a given [[Boolean logic|Boolean]] [[Formula (mathematical logic)|formula]], introduced by Valiant in 1979.<ref>{{Cite journal|doi=10. ...=2011 |url=https://doi.org/10.1007/978-3-031-01879-4_3 |work=Probabilistic Databases |pages=45–52 |editor-last=Suciu |editor-first=Dan |access-date=2023-09-16 | ...

...iences|computer science]], [[informatics]] and [[discrete mathematics]], [[databases]],<ref>{{Cite journal|last=Melekhin|first=V.B.|date=September 2019|title=Mo ...ushin|first6=G.S.|last7=Chibirova|first7=M.O.|title=Mivar Thechnologies in Mathematical Modeling of Natural Language, Images and Human Speech Understanding|date=20 ...

...a (often related to systems evolving over time). An HMM is composed of two mathematical objects: an observed state‐dependent process <math>X_1,X_2,\ldots ,X_M</mat ...e alignment into a position-specific scoring system suitable for searching databases for homologous sequences remotely.<ref>{{cite journal | vauthors = Eddy SR ...

...Values of thousands of stability constants can be found in two commercial databases.<ref name=LDP>[http://www.acadsoft.co.uk/scdbase/scdbase.htm IUPAC SC-Datab ...tained by reference to a chemically similar system. The stability constant databases<ref name=LDP/><ref name=NIST/> can be very useful in finding published stab ...

...torial Approach to Nonlocality and Contextuality|journal=Communications in Mathematical Physics|volume=334|issue=2|pages=533–628|doi=10.1007/s00220-014-2260-1|issn ...database]]s,<ref>{{Citation |last=Abramsky |first=Samson |title=Relational Databases and Bell's Theorem |volume=8000 |date=2013 |work=In Search of Elegance in t ...

...and plans with current geological interpretation. Drill hole and/or sample databases are set up to suit all the quantitative and qualitative information necessa ...that are point measures of the grade of ore in the rock. Several different mathematical methods can be used to do the estimation depending on the desired degree of ...