Theoretical Computer Science
SBF's user avatar
SBF's user avatar
SBF's user avatar
SBF
  • Member for 10 years, 6 months
  • Last seen more than a month ago
  • Berlin
Profile Activity
Stats
407
reputation
2k
reached
1
answer
5
questions
Communities
View all
About

PhD in probability and control. PM in HFT.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
1
Score
5
Posts
83
Posts %
1
Score
3
Posts
50
Posts %
1
Score
3
Posts
50
Posts %
0
Score
3
Posts
50
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
9
Measurable language which is not $\omega$-regular
Mar 25, 2013
question
7
Measurability of an $\omega$-regular language
Aug 6, 2013
question
5
Behaviour of Labelled Markov Processes
Mar 26, 2013
question
5
$\omega$-regular properties of a 2-state Markov Chain
Mar 29, 2013
question
3
Deterministic Büchi + its complement covers LTL?
Apr 25, 2013
answer
1
$\omega$-regular properties of a 2-state Markov Chain
Jul 23, 2014
Top network posts
View all network posts
157
Simple check for the global shape of the Earth
63
Prove that $\lim \limits_{n \to \infty} \frac{x^n}{n!} = 0$, $x \in \Bbb R$.
62
Prove that $(1 - \frac{1}{n})^{-n}$ converges to $e$
50
Is the derivative the natural logarithm of the left-shift?
37
Measure of reals in $[0,1]$ which don't have $4$ in decimal expansion

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.