Help Center > Badges

 Student Asked first question with score of 1 or more.

This badge has been awarded 1407 times. Recently awarded to:
4h ago
What exactly happens when my pc executes a line of code? — Kutluhan Metin 61
11h ago
Regarding to the speed of supercomputer — user1433153 82
11h ago
Contrast Enhancement For An Image Using A Gaussian Function — Dan 61
12h ago
Relationship between Undecidable Problems and Recursively Enumerable languages — DDD 1437
12h ago
Is it possible to write a universal loop program for if-then & loop programs and it is possible to write a universal while program for while progra — Über Lem 91
15h ago
How to decide the scope of the following lambda expression? — user8734 83
17h ago
Library for Maximum independent set on a sparse bipartite graph (from sparse matrix) — Helios 61
1d ago
Find the number of topological sorts in a tree — SadStudent 82
1d ago
How to perform alphabetically ordered DFS? — stackuser 83
1d ago
What's better for an algorithm complexity, O(log n) or amortized O(log n)? — James Russell 132
1d ago
Nash equilibria in 3-player game with symmetry — rrapido 111
2d ago
how do you define functions with denotational semantics? — javaman 111
2d ago
Space(n) not closed under Karp reductions - what about NTime(n)? — G. Bach 1336
jun 15 at 15:50
What makes type inference for dependent types undecidable? — Victor 1261
jun 15 at 8:58
Behavior of different multiplied and added time complexities — Clay 111
jun 15 at 6:57
Cross platform apps and programing languages…how is it done? — user8678 111
jun 15 at 1:36
Sequential hash tree traversal — Edgaras Lukoševičius 61
jun 14 at 20:00
Quantum computing roadmap — Ste 1165
jun 13 at 19:57
Where am I wrong?: “countability” and “recursive enumerability” — swanar 132
jun 12 at 17:43
Proof of Program Correctness - Loop Invariants — EggHead 61
jun 12 at 16:58
Priority queue with ubounded number of elements (i.e., with dynamic storage) — araruna 265
jun 12 at 12:07
Count number of special onto functions — Alicia 154
jun 11 at 21:12
Proving that a BST with N>=1 nodes will have log(N+1) levels — elobeto 61
jun 11 at 20:22
What are flops and how are they benchmarked? — Vincent Warmerdam 1083
jun 11 at 16:25
Understanding Peterson’s and Dekker’s algorithms — gbag 1262
jun 11 at 11:44
Multicommodity shortest path problem on a directed acyclic graph — Charles 111
jun 11 at 11:44
Start simplex method from feasible internal point — Dylan 1062
jun 11 at 10:23
Exact Inference in Bayesian Networks — user8614 62
jun 10 at 20:29
Efficiently checking if two star graphs are disjoint — reto 162
jun 10 at 13:27
What are the drawbacks of using an algorithm that is not backwards stable? — Ahmed Fasih 62
jun 10 at 3:04
Finite automaton design — user67584 191
jun 9 at 18:42
Closure of Star-Free Languages under Substitution — Shane Steinert-Threlkeld 83
jun 9 at 16:06
(post deleted or otherwise unavailable) — Jane 163
jun 9 at 3:16
Proving that CFLs are closed under even-ness using grammars — ajd 132
jun 8 at 18:24
Halting problem — Kevin 1184
jun 8 at 15:28
Study groups for theoretical computer science aspirants — vivekpoddar 111
jun 8 at 5:55
(post deleted or otherwise unavailable) — samanmg 11
jun 7 at 15:30
Why is k called Representer of evaluation (kernel functions) [migrated] — Aman Deep Gautam 1065
jun 6 at 23:00
Evolutionary algorithm for the Physical Travelling Salesman Problem — user2459338 112
jun 6 at 21:05
What the difference between the Fourier Transform of an image and an image histogram? — user8005 163
jun 5 at 19:06
(post deleted or otherwise unavailable) — Blackbird 1061
jun 5 at 17:45
How to prove formally that grammar isn't LR(1) — Alvar 82
jun 5 at 8:24
What is a Turing Machine in class coNP — dspyz 1233
jun 3 at 22:07
Find a hole while travelling along an infinite wall — bludger 1062
jun 3 at 20:16
Trouble understanding this dynamic programming solution — Alice 675
jun 3 at 17:20
Where to get graphs to test my search algorithms against? — devoured elysium 1914
jun 3 at 16:50
Language independent software libraries — babou 3596
jun 2 at 18:52
Insertion sort Proof by Induction — amitabha 61
jun 2 at 9:04
(post deleted or otherwise unavailable) — user16168 82
jun 2 at 7:04
Definability of Truth Assignments — Pachara 163
jun 2 at 3:48
What does the R superscript notation mean in regular/formal languages? — justspamjustin 1132
jun 1 at 23:06
Show that the equivalence problem for deterministic Turing machines and its complement is not semi-decidable — CsStudent13 41
jun 1 at 20:21
Is it legal to use non-terminal twice in Backus-Naur grammar — jnovacho 1162
jun 1 at 4:10
'Stones' game complexity — warran 211
may 31 at 22:34
Convex Hull on a Spherical Surface — Ferdinand.kraft 1112
may 31 at 16:57
Who are the legislators of Paxos? — Jon Bringhurst 1363
may 31 at 7:59
van Emde Boas tree: why store max recursively? — Jeremy W. Murphy 162
may 30 at 20:15
Differentiate between humans and robots using their mouse movement patterns — Bahar S 111
may 30 at 19:40
Ideal number of participants for evaluation of development approach / software architecture — saschoar 1163
may 30 at 11:02
Is $L = \{a^jb^ia^{j-i}\mid i,j \ge 0\ , j > i\}$ context-free? — 5agado 1105
1 2 3 4 5 … 24