Skip to main content
Travel
Ayrat's user avatar
Ayrat's user avatar
Ayrat's user avatar
Ayrat
  • Member for 6 years, 3 months
  • Last seen more than 3 years ago
  • planet earth
Profile Activity
Stats
111
reputation
0
reached
1
answer
0
questions
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
Top posts
answer
1
Online hiking map for Alps
Sep 7, 2018
Top network posts
View all network posts
59
How to remove Private Key Password from pkcs12 container?
24
Memory Consistency vs Cache Coherence
20
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?
10
Algorithm to translate a deterministic Büchi automaton to LTL (when possible)