comp.theory
By Subject
830 messages sorted by: [ author ] [ date ] [ thread ]
Starting: 08/31/04
Ending: 09/30/04
- (N)Linspace
- > > > > matt parker alias erikvan lunsen@yahoo.com matt parker alias ericvon lunsen hout@yahoo.com matt parker alias erickvanlinthout@yahoo.com matt parker alias evonlunsen herzog@yahoo.com matt parker alias erik vonlint hout@yahoo.com matt parker al
- [?] L = {a^m b^n c^mn} for aaabbcccccc
- [Herc] Halting Problem Final Conclusion
- [OT] : THE HALTING GODDAMN PROBLEM
- [OT] Comparitive plague-posters (was): Listen up, FUCKWADS!!
- [PO] Can a regular Turing Machine provide Protected Memory?
- [PO] Halting Problem Final Conclusion
- [PO] halting problem reading comprehension
- [PO] halting problem reading comprehension)
- [PO] halting problem: existence proofs
- [SAT] Efficient Transitive Closure?
- A Review of Chaitin's e-book "Omega"
- A variant of Traveling Salesman Problem
- A way for P!=NP
- ACM PODS 2005, Call for Papers
- An article about factorization
- Announcing WNLIB 9.0 - Free C Subroutine Library
- Another claim for P=NP
- Another set with cardinality |Z|
- Any NP optimization problems that don't reduce to decision problems?
- Call for Papers
- Call for Participation: RTSS 2004 (note early hotel deadline!)
- Can a regular Turing Machine provide Protected Memory?
- Can a regular Turing Machine provide Protected Memory?)
- CFP: RelMiCS8 - Relational Methods in CS - Second Call for Papers
- CFP: SAT 05 - Theory and Applications of Satisfiability Testing
- Closest Point Problem
- Complexity of LTL Games
- Complexity optimisation for a block matrix inversion
- computer memory
- Computer Network to Graph Conversion
- CP news, vol 0, no 3, Oct 2004
- Data structure for indexing on multiple keys.
- decidability of S4 and S5
- Difference in Packaging
- Distributed algorithm for computing the determinant of a matrix.
- Dominance Tree Sorts
- Erdõs quotation
- examples of EXPTIME
- Fibonacci numbers, Lucas numbers and Huffman codes
- Fixed-price recoding job (PERL -> C, Basic,...) available to perms/combs expert
- Formal methods article and FMnet web pages
- Glynn Winskel - solutions to book exercises anyone?
- googVe is not Google
- Halting Problem Final Conclusion
- Halting Problem Final Conclusion)
- help in random graphs
- Help with Knapsack LIKE problem
- Help with the "big O" notation
- help: probability of dropping k items into N buckets
- Importance of Computer Science degree?
- International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 6 (September 2004)
- Invincible Ignorance strides again! (still): [PO] halting problem reading comprehension
- ISSRE'04 : Call for participation (France, Nov 04)
- Kernighan-Lin Algorithm implementation
- Listen up, FUCKWADS!!
- Measuring the strength of a theory
- miminum constrained set covering
- Need some help about Markov Decision Process with large action space...
- NonLinear Programming course
- NP-hardness of k-means clustering
- Olcott is cured of CrackPottery! (Halting Problem)
- Open positions in algorithms and optimization
- Parma Polyhedra Library 0.6.1
- Program implementing Post Tag System as applied to a Turing Machine
- Proof of code unique decipherability condition
- Proof of inherent ambiguity?
- Quality of articles in SIGACT News
- R3COGNITION OF THE HALTING SOLN
- Raatikainen's critique of Chaitin
- Raatikainen's critique of Chaitin)
- SODA 2005 List of Accepted Papers
- Special Issue on Computational Intelligence in Signal and Image Processing
- Static Analysis - Was: Listen up, FUCKWADS!!
- Swarm Intelligence and Patterns 2005 Japan - CFP
- Tarjan algorithm
- THE HALTING GODDAMN PROBLEM
- theorems/problems with lots of quantifiers
- Two post-doc positions in bioinformatics available at Oxford University
- Undecidable problem examples
- Volume of an ellipsoid cut by a hyperplane
- What is the Result from Invoking this Halt Function?
- Wiki as A Time Saver for Researchers
- Zenkin's paper on Cantor
Last message date: 09/30/04
Archived on: 09/30/04 CEST
830 messages sorted by: [ author ] [ date ] [ thread ]