137 reputation
4
bio website inf.ufrgs.br/~pmdusso
location Porto Alegre, Brazil
age 26
visits member for 2 years, 4 months
seen Apr 1 at 14:13

I’m a seventh semester student at UFRGS, which I intend to graduate at the end of 2011. I interned at UFRGS, Mobiltec (working with Microsoft technologies for mobile devices) and currently at DELL (working with Microsoft technologies developing intranet web sites). In the last three years, the most interesting subjects to me were Software Engineering, Artificial Intelligence, Data Bases and Memory Evolutive Systems (from a Categorial approach).


Feb
17
accepted Close formula for the following iterative process
Feb
17
asked Close formula for the following iterative process
Feb
4
comment Büchi Pushdown System Accepting Run
Wow, perfect answer. Thank you very much!
Feb
4
accepted Büchi Pushdown System Accepting Run
Feb
2
asked Büchi Pushdown System Accepting Run
Jan
7
awarded  Scholar
Jan
7
awarded  Supporter
Jan
7
accepted Why a formula must be closed in order to prove decidability?
Jan
7
comment Why a formula must be closed in order to prove decidability?
thanks very much, really good answer.
Jan
7
revised Why a formula must be closed in order to prove decidability?
edited tags
Jan
7
comment Why a formula must be closed in order to prove decidability?
@DanBrumleve: yes, I read that line, but it isnt clear enought to me.
Jan
7
comment Why a formula must be closed in order to prove decidability?
@AsafKaragila: I believe so, was a mistake fulfilling the tags.
Jan
7
asked Why a formula must be closed in order to prove decidability?
Dec
6
comment Integer coordinate set of points that is a member of sphere surface
Thanks for the links JM.
Dec
6
comment Integer coordinate set of points that is a member of sphere surface
Ok, thats a alternative. But it results in a solution O(n³), which I am trying to avoid...
Dec
6
awarded  Student
Dec
6
asked Integer coordinate set of points that is a member of sphere surface
Dec
6
awarded  Autobiographer