User Interfaces: The Next Generation A growing list of user-interface technologies will allow human/computer interaction via gestures, motions, speech and...
Hi! Some time ago I sent an email about putting sparse languages in NP that are neither NP-complete nor in P. The mail described how to create two such...
I hereby announce the release of Strife 1.0, a satisfiability problem solver based on a completely new algorithm. It is an attempt at producing a solver that...
Martin, I looked at ur webpage on strife. Looked interesting. You could compare your solver with existing ones like Siege, berkmin and zChaff on some...
... 1) I'll do it when it's worth it. For now Strife does not compare with a mature solver, even if the latter's design is inferior. Next version should be far...
... From: Piotr Faliszewski To: Comp-Sci-Theory Sent: Monday, August 09, 2004 5:59 PM Subject: [comp-sci-theory] ECCC report Hi! Some time ago I sent an email...
... I can make such gestimates for certain key cases. For example, I mentioned earlier on this thread that Strife was simiar enough to Cassat for its O(n^4)...
A revision is available for those who had compilation problems. Many thanks to Bing Jian and Yong Su for their efforts; in fact, the fix comes from them. Since...
Hello all, This may not be the most appropriate place to ask these questions, but I'll do it anyway. How are the ordinals e_0 (cantor's first epsilon number),...
Hello Everett, I think the correct order is the following e_0 < gamma_0 < CKw_1 Regards, Ara. ... questions, but I'll do it anyway. How are the ordinals e_0...
Hello everybody, In need of below paper, J. G. Wardrop. Some Theoretical Aspects of Road Traffic Research, Proceedings of the of the Institute of Civil...
Hello everybody, I am in need of below paper J. G. Wardrop. Some Theoretical Aspects of Road Traffic Research, Proceedings of the of the Institute of Civil...
This week we kick off a new season of Quirks & Quarks with a provocative documentary on Language and Thought. Which came first - words or concepts? And does...
Intel: It's time to overhaul the Internet Efforts to patch the Internet's existing plumbing should be applauded but PlanetLab may have better solutions,...
Listen here online: http://www.radio.cbc.ca/programs/quirks/archives/04-05/sep11.html ... From: Michael N. Christoff To: comp-sci-theory@yahoogroups.com Sent:...
... Assuming you mean using the gamma function as a continuous extension of n!, (log n)! can be estimated by Stirling's theorem to be o((log n)^log n). So it's...
... Obviously, since you plot (floor(log n))! and (floor (log n)) is a step function, the result is going to be a step function. The question is whether...
Beyond Quantum Computing Message Board. Over 400 of the top scientists,finding and Solving the solotions of tommorow today. Nanotechnology quantum physics and...
Hello, I've been thinking about the following problem (specifically, its subproblem (b)) today (and got stuck) 2.8.7 Problem Suppose that we have a Turing...
Hi, ... I'm not sure how big of a hint you wanted, so maybe you should read the following only one line at a time... (On the other hand, it might be just...
Hi all, I was just looking through the September issue of the ACM SIGACT News, and saw something that Mike and others here might find interesting. The...
Hi again, I've been thinking about my answer to the Papadimitriou problem and realized I was being too loose with my time estimates. ... My thinking was that,...
Hello everyone. First off, hello Kurt. Long time no see. Thanks for the info regarding the recent Godel prize winners. I was unaware of this. I plan to...
Hi Mike, It's nice to be back (in the sense, perhaps, of an alcoholic who's just fallen off the wagon). When I saw that article in SIGACT News, I couldn't...
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.
