comp.theory
By Subject

236 messages sorted by: [ author ] [ date ] [ thread ]

Starting: 09/30/04
Ending: 10/30/04

(N)Linspace
- Jose Juan Mendoza Rodriguez (10/03/04)
**theory-edge** mailing list
- V.Z.Nuri (10/12/04)
[OT]: Another claim for P=NP
- Kent Paul Dolan (10/25/04)
[OT]: Another claim for P=NP & Brother EZzz is watching U!
- Poulpes_at_gmail.com (10/28/04)
A Note on Boolean Satisfiability.
- conesetter (10/18/04)
Another claim for P=NP
- Eray Ozkural exa (10/27/04)
- Robert Low (10/22/04)
- Alex Hunsley (10/22/04)
- John P. Green (10/21/04)
- Robert Low (10/20/04)
- Alex Hunsley (10/20/04)
Another claim for P=NP & Selmer's humor
- Poulpes_at_gmail.com (10/28/04)
Another set with cardinality |Z|
- jesus harold christ (10/02/04)
- Tim Peters (10/02/04)
- Robert Low (10/01/04)
- Eray Ozkural exa (10/01/04)
- Tim Peters (10/01/04)
Any NP optimization problems that don't reduce to decision problems?
- tchow_at_lsa.umich.edu (10/01/04)
AVL to Red-Black Tree
- Kaz Kylheku (10/12/04)
- Marc Goodman (10/09/04)
- Farhang Farid (10/09/04)
Call for Papers, Data Compression Conference 2005, March 29-31, Snowbird, UT
- DCC (10/13/04)
Can Human Level A.I. be implemented?
- Eray Ozkural exa (10/27/04)
- tchow_at_lsa.umich.edu (10/25/04)
- tcs_chen (10/25/04)
CATS'05 Accepted Papers
- Mike Atkinson (10/19/04)
CFP: LICS 2005 - 12th IEEE Symposium on Logic In Computer Science
- Alex Simpson (10/11/04)
cnf/dnf approximation
- Jim Nastos (10/12/04)
- Daniel A. Jimenez (10/12/04)
- Jim Nastos (10/12/04)
- V.Z.Nuri (10/12/04)
complexity of computing polynomials proof
- Kent Paul Dolan (10/16/04)
- Ken (10/16/04)
complexity of matrix operations
- Victor Eijkhout (10/18/04)
- Mitch Harris (10/14/04)
- tchow_at_lsa.umich.edu (10/13/04)
- mareg_at_mimosa.csv.warwick.ac.uk (10/13/04)
Complexity question regarding randomized approximation algorithm
- Edmond (10/21/04)
Different size infinities?
- HERC777 (10/29/04)
examples of EXPTIME
- Mitch Harris (10/07/04)
- tchow_at_lsa.umich.edu (10/06/04)
- Jym (10/06/04)
- Jamie Andrews; real address _at_ bottom of message (10/06/04)
- d. lee (10/06/04)
FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004)
- Paul Boca (10/10/04)
Fibonacci connection between Huffman codes and Wythoff array
- Alex Vinokur (10/10/04)
generating random phrases with semantics.
- Eray Ozkural exa (10/11/04)
- Lucas Zimmerman (10/06/04)
- Zhongtao Zhu (10/06/04)
- Lucas Zimmerman (10/05/04)
Graph theory nomenclature
- Jón Fairbairn (10/16/04)
- Paul E. Black (10/15/04)
- Jón Fairbairn (10/15/04)
help: probability of dropping k items into N buckets
- Lars Luthman (10/06/04)
- Lars Luthman (10/06/04)
HIS 2004 final call for papers
- Vitorino RAMOS (10/01/04)
Is this proof right?
- Alexander T. Hamming (10/28/04)
- SD (10/25/04)
- Casey Hawthorne (10/24/04)
- Alexander T. Hamming (10/24/04)
Large scale sorting
- Thomas Cormen (10/01/04)
- burning trident (09/30/04)
Largest provable BB(N)?
- tchow_at_lsa.umich.edu (10/29/04)
- Dennis Ritchie (10/29/04)
- Russell Wallace (10/29/04)
- Daniel A. Jimenez (10/28/04)
- tchow_at_lsa.umich.edu (10/28/04)
- Russell Wallace (10/28/04)
- Robert Low (10/28/04)
- tchow_at_lsa.umich.edu (10/28/04)
- Russell Wallace (10/28/04)
- Robert Low (10/28/04)
- Russell Wallace (10/28/04)
limit speed of computation - Digital vs. Quantum
- Matthew Skala (10/15/04)
- Ralph Hartley (10/15/04)
- Kent Paul Dolan (10/15/04)
- Ralph Hartley (10/14/04)
- Kent Paul Dolan (10/13/04)
- Kent Paul Dolan (10/13/04)
- Kent Paul Dolan (10/13/04)
- Kent Paul Dolan (10/13/04)
Multiple errors recognition
- Michael J. Fromberger (10/22/04)
- Ernest (10/21/04)
Nevermind & sorry for the stuttering
- Smalmatskungen (10/16/04)
New book: Stochastic Local Search --- Foundations and Applications
- Paul Victor Birke (10/08/04)
- Jim Nastos (10/08/04)
- Paul Victor Birke (10/08/04)
- Thomas Stuetzle (10/08/04)
Olcott is cured of CrackPottery! (Halting Problem)
- Charlie-Boo (10/04/04)
On the undecidability of L_d
- manikraina_at_gmail.com (10/14/04)
P vs NP craziness
- Anonymous (10/28/04)
- tchow_at_lsa.umich.edu (10/28/04)
- Anonymous (10/28/04)
P vs NP craziness & Diaby was already refuted... in 1988
- tchow_at_lsa.umich.edu (10/29/04)
- Poulpes_at_gmail.com (10/29/04)
P vs NP craziness & Oracle's Predictions
- tchow_at_lsa.umich.edu (10/30/04)
- Torkel Franzen (10/30/04)
- Poulpes_at_gmail.com (10/30/04)
Performance of matching algorithms in practice
- Daniel Marx (10/03/04)
Prefix Averages Problem
- Frank (10/10/04)
Primitive recursive vs recursive at the base of the arithmetical hierarchy.
- Mike Oliver (10/09/04)
- Chris Menzel (10/08/04)
- H. Enderton (10/08/04)
- Mike Oliver (10/08/04)
- Rex Butler (10/08/04)
Problem creating a regular expression.
- Mitch Harris (10/28/04)
- LK (10/27/04)
proof by contradiction
- Mark \(The WannaBe\) (10/17/04)
Proof of inherent ambiguity?
- Harlan Messinger (10/02/04)
Proof of lower bound for sorting shoes.
- Smalmatskungen (10/15/04)
- Smalmatskungen (10/15/04)
- Smalmatskungen (10/15/04)
Proof that this assertion about heaps is true
- smangano_at_ureach.com (10/19/04)
- Bill Wade (10/19/04)
- smangano_at_ureach.com (10/18/04)
Proving a regular language to be infinite
- Mark \(The WannaBe\) (10/17/04)
- Mark \(The WannaBe\) (10/17/04)
- Mark \(The WannaBe\) (10/17/04)
- Rick Decker (10/16/04)
- Rick Decker (10/16/04)
- Mark \(The WannaBe\) (10/16/04)
- Mark \(The WannaBe\) (10/16/04)
pumping lemma (second try)
- Mark \(The WannaBe\) (10/14/04)
- Rick Decker (10/13/04)
- Mark \(The WannaBe\) (10/13/04)
pumping lemma (third try)
- Mark \(The WannaBe\) (10/16/04)
- Jim Nastos (10/15/04)
- Rick Decker (10/15/04)
- Jim Nastos (10/15/04)
- Mark \(The WannaBe\) (10/15/04)
- Mark \(The WannaBe\) (10/15/04)
- Jim Nastos (10/15/04)
- Jim Nastos (10/15/04)
- Mark \(The WannaBe\) (10/14/04)
- Rick Decker (10/14/04)
- Rick Decker (10/14/04)
- Jim Nastos (10/14/04)
- Mark \(The WannaBe\) (10/14/04)
- Rick Decker (10/14/04)
- Mark \(The WannaBe\) (10/14/04)
random number generation & predictability
- Kent Paul Dolan (10/16/04)
- Ralph Hartley (10/15/04)
- tchow_at_lsa.umich.edu (10/15/04)
- Torben Ægidius Mogensen (10/15/04)
- Alex Hunsley (10/15/04)
- tchow_at_lsa.umich.edu (10/14/04)
- David Wagner (10/14/04)
- Alex Hunsley (10/14/04)
RTSS 2004 Call for Participation (Note: Hotel Deadline Oct. 29)
- Scott Brandt (10/25/04)
Semantics of LTS
- Valmari Antti (10/25/04)
- Jean-S?bastien Bolduc (10/25/04)
- Hans Hüttel (10/22/04)
- Valmari Antti (10/22/04)
- Jean-S?bastien Bolduc (10/22/04)
Special Case of Sat
- Andreas Morgenstern (10/15/04)
Sum of n numbers 0..1
- Paul E. Black (10/22/04)
- user_at_domain.invalid (10/21/04)
Testing for acceptance of Kleene closure of alphabet
- Torben Ægidius Mogensen (10/26/04)
- Mark \(The WannaBe\) (10/25/04)
- Torben Ægidius Mogensen (10/25/04)
- Mark \(The WannaBe\) (10/22/04)
- Mark \(The WannaBe\) (10/22/04)
- Torben Ægidius Mogensen (10/18/04)
- Rick Decker (10/17/04)
- Mark \(The WannaBe\) (10/17/04)
tree generation
- Jaroslaw Zola (10/26/04)
Turing Machine to Train Sets Converter
- André Betz (10/26/04)
- Alex Vinokur (10/26/04)
- André Betz (10/26/04)
Turing Machine with faults, failures and recovery
- Alex Vinokur (10/21/04)
Wanted: Nondeterministic Turing Machine of Polynomial Time Complexity
- Thomas A. Li (10/27/04)
weighted tree generation
- Diego (10/29/04)
Zenkin's paper on Cantor
- Eray Ozkural exa (10/11/04)
- Eray Ozkural exa (10/11/04)
- Eray Ozkural exa (10/08/04)
- Daryl McCullough (10/07/04)
- Eray Ozkural exa (10/07/04)
- Ralph Hartley (10/07/04)
- Keckman (10/07/04)
- David C. Ullrich (10/07/04)
- Daryl McCullough (10/07/04)
- Eray Ozkural exa (10/07/04)
- Keckman (10/07/04)
- Daryl McCullough (10/07/04)
- Daryl McCullough (10/07/04)
- Eray Ozkural exa (10/07/04)
- Peter R. Douglass (10/07/04)
- Eray Ozkural exa (10/07/04)
- Eray Ozkural exa (10/07/04)
- Aatu Koskensilta (10/06/04)
- Aatu Koskensilta (10/06/04)
- Ralph Hartley (10/06/04)
- Torkel Franzen (10/06/04)
- Eray Ozkural exa (10/06/04)
- Peter R. Douglass (10/06/04)
- Keckman (10/06/04)
- Aatu Koskensilta (10/06/04)
- Eray Ozkural exa (10/06/04)
- Eray Ozkural exa (10/06/04)
- Craig Feinstein (10/04/04)
- Keckman (10/03/04)
- albrecht (10/03/04)
- peter_douglass (10/03/04)
- Michael N. Christoff (10/03/04)
- Torkel Franzen (10/03/04)
- Torkel Franzen (10/03/04)
- Torkel Franzen (10/03/04)
- Russell Easterly (10/02/04)
- peter_douglass (10/02/04)
- Aatu Koskensilta (10/02/04)
- Eray Ozkural exa (10/02/04)
- Ross A. Finlayson (10/02/04)
- peter_douglass (10/02/04)
- Eray Ozkural exa (10/01/04)
- Eray Ozkural exa (10/01/04)
- Ralph Hartley (10/01/04)
- Dave Seaman (10/01/04)
- No Way (10/01/04)
- He Who Smokes Out Of Two Mouths (10/01/04)
- He Who Smokes Out Of Two Mouths (10/01/04)
- Daryl McCullough (10/01/04)
- Aatu Koskensilta (10/01/04)
- Robert Low (10/01/04)
- Tim Peters (10/01/04)
- Eray Ozkural exa (10/01/04)
- Ross A. Finlayson (10/01/04)
- David C. Ullrich (09/30/04)
Zenkin's paper on Cantor (reply of Dr. Zenkin)
- Chas Brown (10/30/04)
- Shmuel (Seymour J.) Metz (10/29/04)
- Eray Ozkural exa (10/27/04)
- Dave Seaman (10/18/04)
- Craig Feinstein (10/18/04)
- Chas Brown (10/17/04)
- Dik T. Winter (10/16/04)
- Eray Ozkural exa (10/15/04)
- Plamen Petrov (10/14/04)

Last message date: 10/30/04
Archived on: 10/31/04 CET

236 messages sorted by: [ author ] [ date ] [ thread ]

comp.theoryBy Subject

comp.theory
By Subject