I've been lurking on this group for sometime now, and thought I'd
better make a post. I have just started studying for a PhD at Durham
University in the UK. My main research area is the applications of
finite model theory to theoretical computer science, mainly
descriptive complexity theory.
Are there any other researchers on this group, and if so, what parts
of theoretical computer science are you interested in.
Hi all, I'm getting a bit ahead of myself here, but since the topic has come up, let me throw out a list of possible subjects to study after Sipser has been...
Hi, Kurt and All! What about a thorough educational discussion on Lovasz's theta function and bunch of topics derived from it? I can provide a must-read list...
Hi Stas, ... function ... of ... I looked at your post on algorithm-forge and have to confess that most of it went over my head. I would need to learn a lot...
... I'm more interested in the pure math angle but check out Kurt Mehlhorn's home page. He's one of the principal authors of the LEDA graph library. You can...
Hi all, I'm new on this list, so maybe a little about myself. I'm studying computer science on the University of Mining and Metallurgy in Poland (the name is a...
ok PF. welcome to the list. Ill bite. can you explain more on ladners theorem? have not heard of it, sounds very advanced. this probably relates to the ...
hi KLVE. awesome list of topics. really gets my neurons going. you also told me in email once that you wanted to solve the AI problem, but that in the...
What do you mean by the AI problem? Regards, Casey...
Casey Hawthorne
caseyh@...
Jan 7, 2003 12:30 am
Hi, ... Well, I don't remember if that's exactly how I had put it... But anyway, there are lots of AI 'problems' (and I mean this more in the philosophical...
... It is just a survey of major theta-related results published up to 1992. There is also a more recent and simple overview of the topic by Michel X. Goemans...
hi SB. I know what eigenvalues/vectors are etcetera as documented in your post. what I find fuzzy in my own mind (& in your descriptions) is the link to...
I like all the ideas presented so far. One other area of study that I find interesting that hasn't been mentioned yet so far is finite model theory, which is ...
Hi, That overview of finite model theory seems very interesting... it gives me another reason to want to learn more about logic. If I remember correctly,...
hi mark. I wasnt able to get this pdf to work even after fixing the link, I wonder if it really works. was a bit curious & was going to download the paper. ......
Hi all, Speaking of model theory, I was just browsing through a logic text that I hadn't looked at before, and it seems very nice. The book is "Sets, Logic...
Hi, I've been lurking on this group for sometime now, and thought I'd better make a post. I have just started studying for a PhD at Durham University in the...
Hi Kurt! ... I really think that the Goemans' note is easy to read and enough to understand the basics of the topic: http://www-math.mit.edu/~goemans/icm98.ps ...
... No. Just take the adjacency matrix and put 1's instead of 0's on its main diagonal. Formally speaking, consider matrix A_G+I, where A_G is the adjacency...
ok SB, let me get this straight. the adjacency matrix of a graph can be represented as a numerical matrix. A_ij is 1 if there is an edge between the two...
... Much more: they may be any reals from -oo to +oo. Again, the formal eigenvalue-based statement of theta is: theta(~G) = min_A lambda_max(A), s.t. a_{ij}=1...
Sorry for my belated response. And happy New Year evebody! ... <kvanette@c...>" <kvanette@c...> wrote: [...] My suggestion is to take a break before going into...
... I'd ... Ciao, you can try to read something here http://www.isi.it/research/quantum.html click on library there is many articles on Qcomputing, very...
Hi Luca, Welcome to the group! Thanks for the link below, I'll have to check that out when I have a chance. The very little bit that I've read about the...
hi luca. I hit your web site & you seem to be a member of a world class quantum computation group involving many european universities. are you working on a...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
Offline 
Send Email