Computer Science
Ayrat's user avatar
Ayrat's user avatar
Ayrat's user avatar
Ayrat
  • Member for 11 years, 4 months
  • Last seen more than a week ago
  • planet earth
Profile Activity
Stats
1,055
reputation
42k
reached
5
answers
20
questions
Communities
View all
About

Synthesis researcher (HW/SW).
Stupid questions are the hardest.

Badges
View all badges
1
gold badge
8
silver badges
23
bronze badges
Top tags
View all tags
1
Score
4
Posts
16
Posts %
1
Score
4
Posts
16
Posts %
1
Score
2
Posts
8
Posts %
1
Score
2
Posts
8
Posts %
0
Score
6
Posts
24
Posts %
0
Score
4
Posts
16
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
20
Memory Consistency vs Cache Coherence
Jan 28, 2014
question
10
Algorithm to translate a deterministic Büchi automaton to LTL (when possible)
Mar 2, 2012
question
8
What is the relation between First Order Logic and First Order Theory?
Apr 26, 2016
answer
7
Can we generate random numbers using irrational numbers like π and e?
Apr 10, 2019
question
6
Exponential example for simplex used in SMT solvers
May 16, 2016
question
6
Intuitive explanation of Hoare assignment axiom
Nov 18, 2016
question
4
Show a TM-recognizable language of TMs can be expressed by TM-description language of equivalent TMs
Sep 29, 2013
question
4
Metagame Paradox: what is wrong with this explanation?
Dec 9, 2013
question
4
Is model checking PSpace-hard *in formula size*?
Apr 9, 2019
question
3
Linear Temporal Logic with non-Boolean propositions (e.g. Integers)?
Jul 19, 2017
Top network posts
View all network posts
56
How to remove Private Key Password from pkcs12 container?
19
SLURM: How to run 30 jobs on particular nodes only?
11
Where might I find a method to convert an arbitrary boolean expression into conjunctive or disjunctive normal form?
9
Automata theory on infinite words: any video lectures?
7
MSI/MESI: How can we get "read miss" in shared state?

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.