comp.theory
By Subject
670 messages sorted by: [ author ] [ date ] [ thread ]
Starting: 11/30/04
Ending: 12/30/04
- (Unsure where to post)
- 500 Slides Available For "The Complexity Companion"
- [OT] (was): Robust Algorithms
- A way for P!=NP (2)
- another proof that p is not np
- Are PCs Turing Machines?
- BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004
- Branching programs
- CFP: [TABLEAUX 2005] Call for Papers and Call for Tutorials
- CFP: CP-AI-OR 2005: Second call for papers
- CFP: Multi-disciplinary Workshop on Preferences
- Complex Systems -> Universality in Rule 110 -> Matthew Cook
- Computer language and category theory
- Direct graph isomorphism algorithm
- Equivalence of P, AL and multi-head pushdown automata
- EUREKA Cantor exposed.... sci.math curls tails between legs..
- Example of a formulation in production scheduling
- Executive Information Systems
- Executive Information Systems research
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)
- finite maze solving algorithm
- FOL Deduction Question
- Grammar analysis tools
- Grammatical Recursion
- Help: A two player game..
- Hot 22 Year Old Looking For Love Or More.....Please Contact Me.......... M91E
- k-Clique for small fixed k
- Lambda Calculus and Turing Equivalence
- Lardinality (was Platonism)
- mathematical language
- mathematics
- No Unique Initial Segment And No Characteristic Expansion
- No Unique Initial Segment And No Characteristic Expansion.
- Number of prime factors of an odd perfect number
- Open Positions
- P algorithms with lower bounds
- PhD research assistantships in machine learning at OGI
- Platonism
- Poll: Are PCs Turing Machines?
- Positions in algorithms
- Reduce from X to "maximum acyclic subgraph"?
- Reduce Vertex Cover to Feedback Arc set
- Research Associate Position "A Theory of Tracing Pure Functional Programs"
- Robust Algorithms
- Rules Engines - Best Practices?
- Seeking independent study materials for approximation algorithms
- sets against folders in filesystems
- Shannon's information theory
- shortest paths question
- Silly Recurrence
- STACS 2005 Call for Participation
- String Patterns
- The necessary conditions for models of computation
- Theories of general machines
- Turing Machines and Physical Computation
- Turing Machines and Physical Computation & TM 'S REVISIONISTS
- Turing's Halting Algorithm Question
- Unbounded Space
- Vector multiplication system
- Version 2.5 of the GOLD Parser Builder was just released
- What's New on the Web : Today
- Wikipedia on "Decision Problems"
- Zenkin's paper on Cantor
- Zenkin's paper on Cantor (reply of Dr. Zenkin)
Last message date: 12/30/04
Archived on: 12/31/04 CET
670 messages sorted by: [ author ] [ date ] [ thread ]
