... think I ... to ... The answer of this problem is in the below paper: Herman A. Maurer. A direct proof of the inherent ambiguity of a simple context-free...
hi, i'm looking for bibliographical references to Group Theory applications in Theoretical CS. I've just found Epstein's "Word Processing in Groups", and i...
... Have a look under computational group theory. The new book by Derek Holt "Handbook of computational group theory" is useful. Also have a look under...
Nimish Shah
Nimish_Shah@...
Jul 6, 2006 8:04 am
2354
Carlo, You may like to have a look at semi-groups and inverse semi-groups (generalization of groups). MV Lawson's work discusses their links with TCS. 1)MV...
Hi Kim, I did some research on the computational power of recurrent neural networks and investigated a proof by a Finnish professor who proved that every...
Omid Do you know if the reverse question has been attacked? I.e, is there anything that a neural network can do that cannot be expressed in algoritmic form? ...
Well, actually I've investigated the question and I don't know about any formal proof but as far as I believe every program running on a simple recurrent...
Strictly speaking, any finite-memory computer can only accept a subset of regular languages (not even all of them). If one ignores memory, then showing that a...
This question can be rephrased as "Is there a neural network that can not be simulated by a computer with arbitrarily large memory?" and the answer looks very...
Cem That was exactly what I was seeing, with the same "unless maybe". Given 'sensitive depedency on initial conditions' the fact that reals are in the mix does...
hi.... m a std of software eng ... n hav an assignment ... i hav to rite doen n explain full description of network ... how it works... specially the server...
This is a somewhat off-topic request. On this email list we typically scream at people for asking other to solve theory question rather than networking...
... Yes. Strange like an infinite precision real number. ... From: comp-sci-theory@yahoogroups.com [mailto:comp-sci-theory@yahoogroups.com] On Behalf Of...
Hi every body, There is a problem I have exposed to but, though being badly in need of an answer, I have not yet been able to solve it. I am not quite sure if...
Hello, ... If I understood the problem statement correctly, the answer is simply p = C(k, n-1) + r. Idea why this should be the right answer -- take arbitrary...
Dear Peter, Thanks for your answer. But as you might have guessed I had incorrectly stated my problem. The correct statement is that if we denote by N(y) the...
hi all, I am sasikiran. I am a passive guy in this group till now. I need some information regarding code generation. Can anyone help me out in finding the...
Hello, This email message is a notification to let you know that a file has been uploaded to the Files area of the comp-sci-theory group. File :...
comp-sci-theory@yahoo...
Aug 16, 2006 2:13 pm
2380
The cnfTo2cnf converter QfishC is coming along nicely. I found what appears to be an error in the preliminary results of all the other entrants on a 2006 velev...
Hi Daniel, I suggest you post a satisfying assignment to the original instance together with the name of the original file. There are 8 velev instances marked...
Hello, This email message is a notification to let you know that a file has been uploaded to the Files area of the comp-sci-theory group. File :...
comp-sci-theory@yahoo...
Aug 21, 2006 5:28 pm
2383
Hello, This email message is a notification to let you know that a file has been uploaded to the Files area of the comp-sci-theory group. File :...
comp-sci-theory@yahoo...
Aug 21, 2006 5:31 pm
2384
I posted 1cnfs for the two velev instances that I had. If you have a checking utility then just have it ignore the numbers that are above the known numbers in...
Is this the end of SAT race 2006? I confirm that you found satisfying solutions to the two "UNSAT" velev instances (not that I had doubts, just wanted be sure...
Daniel, found a file format mistake in the verifier code that I hacked, rats :( The following clause in velev-npe-1.0-02.cnf is not satisfied by your ...
As said this instance has to run for a day or so before getting anything. Recently repaired a nonobvious nested stacks bug so shall run npe2 again and let you...
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.
