Skip to main content

Explore our questions

4 votes
1 answer
367 views

Is it possible to physically implement lambda calculus?

1 vote
0 answers
30 views

From Existence Based Conjectures to Algorithmic Construction

2 votes
0 answers
33 views

Why the Halting problem proof using the Fixed point theorem works with Turing Machines and doesn't work for LBAs nor Exponential Bounded Automaton?

1 vote
1 answer
134 views

How far can we push "counting argument" for proving lower bounds of time complexity?

0 votes
1 answer
342 views

Literature request: Generating all vertex subsets of a graph

0 votes
1 answer
759 views

What is a range of an attribute in data mining?

2 votes
0 answers
69 views

Is this “ordered sibling” heap variant known? A heap-like sort maintaining parent ≥ left ≥ right

0 votes
1 answer
136 views

Mapping categorical data in K-nearest neighbour

0 votes
2 answers
354 views

Conditional milp formulation

1 vote
1 answer
72 views

build a model with fuzzy prior knowledge and train it

2 votes
2 answers
264 views

How are enumerator programs formally defined?

1 vote
1 answer
168 views

Is the Jacobian matrix calculation process correctly on this energy function?

1 vote
1 answer
447 views

Efficient Method for Distance Comparison in Euclidean Space

1 vote
1 answer
186 views

Choosing root for maximum matching in tree

Browse more Questions