Questions tagged [applied-theory]
Theoretical results and techniques applied in practical settings.
59 questions
-1
votes
1
answer
44
views
Is a non-perfect improvement and optimisation?
In real word problems, the influence of multiple not perfectly known factors results in using heuristics instead of mathemacial solutions that calculates a perfect value from only precisly defined ...
- 211
4
votes
2
answers
138
views
Where are M-Trees applied in practice?
My similarity search seminar topic are M-trees. I would like to give some examples about where they are practically applied, but I can't find anything googling.
Does someone know if M-trees are ...
- 267
34
votes
3
answers
7k
views
Encoding 1-out-of-n constraint for SAT solvers
I'm using a SAT solver to encode a problem, and as part of the SAT instance, I have boolean variables $x_1,x_2,\dots,x_n$ where it is intended that exactly one of these should be true and the rest ...
D.W.♦
- 166k
23
votes
3
answers
12k
views
Practical Applications of Radix Sort
Radix sort is theoretically very fast when you know that the keys are in a certain limited range, say $n$ values in the range $[0\dots n^k -1]$ for example. If $k<\lg n$ you just convert the ...
- 2,941
39
votes
6
answers
7k
views
What use are groups, monoids, and rings in database computations?
Why would a company like Twitter be interested in algebraic concepts like groups, monoids and rings? See their repository at github:twitter/algebird.
All I could find is:
Implementations of ...
- 1,951
5
votes
4
answers
12k
views
Trigonometry in computer science
What's the use of studying trigonometry in computer science? I mean, is it essential? Does it have a specific application in computer science? Because I can't seem to muster enough motivation for ...
- 153
5
votes
2
answers
557
views
What are some applications of binary finite fields in CS?
I was looking at details on finite fields. Finite binary fields, e.g. $\mathbb{F_2}$, are used in CS in some places such as circuit theory [1].
What are some key applications of finite fields in ...
- 11.1k
19
votes
1
answer
280
views
Natural occurrences of monads that make use of the category-theoretical framework
Today, a talk by Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") confronted me with category theory for the first time. He has built a theoretical framework for describing ...
- 72.9k
35
votes
9
answers
5k
views
What is the significance of context-sensitive (Type 1) languages?
Seeing that in the Chomsky Hierarchy Type 3 languages can be recognised by a state machine with no external memory (i.e., a finite automaton), Type 2 by a state machine with a single stack (i.e. a ...
- 1,765