Computer Science Stack Exchange

4 votes

1 answer

367 views

Is it possible to physically implement lambda calculus?

CommunityBot

1

modified 10 hours ago

1 vote

0 answers

30 views

From Existence Based Conjectures to Algorithmic Construction

Charles G

11

modified 23 hours ago

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?

Anas Shaikhany

21

modified yesterday

1 vote

1 answer

134 views

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

CommunityBot

1

modified yesterday

0 votes

1 answer

342 views

Literature request: Generating all vertex subsets of a graph

CommunityBot

1

modified yesterday

0 votes

1 answer

759 views

What is a range of an attribute in data mining?

CommunityBot

1

modified yesterday

2 votes

0 answers

69 views

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

user192813

21

asked yesterday

0 votes

1 answer

136 views

Mapping categorical data in K-nearest neighbour

CommunityBot

1

modified yesterday

0 votes

2 answers

354 views

Conditional milp formulation

CommunityBot

1

modified yesterday

1 vote

1 answer

72 views

build a model with fuzzy prior knowledge and train it

CommunityBot

1

modified yesterday

2 votes

2 answers

264 views

How are enumerator programs formally defined?

Caleb Stanford

7,430

answered 2 days ago

1 vote

1 answer

168 views

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

CommunityBot

1

modified 2 days ago

1 vote

1 answer

447 views

Efficient Method for Distance Comparison in Euclidean Space

CommunityBot

1

modified 2 days ago

1 vote

1 answer

186 views

Choosing root for maximum matching in tree

CommunityBot

1

modified May 3 at 13:05

Stack Exchange Network

Explore our questions

Is it possible to physically implement lambda calculus?

From Existence Based Conjectures to Algorithmic Construction

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

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

Literature request: Generating all vertex subsets of a graph

What is a range of an attribute in data mining?

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

Mapping categorical data in K-nearest neighbour

Conditional milp formulation

build a model with fuzzy prior knowledge and train it

How are enumerator programs formally defined?

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

Efficient Method for Distance Comparison in Euclidean Space

Choosing root for maximum matching in tree

Hot Network Questions