comp.theory
By Subject
497 messages sorted by: [ author ] [ date ] [ thread ]
Starting: 01/25/04
Ending: 02/29/04
- (job) Scientific Application Developer - Toronto, CA
- **theory-edge** mailing list
- . My very being .
- 25th IEEE Real-Time Systems Symposium CFP
- :: more focus on the constructive discussion ::
- :: towards a constructive education ::
- :: towards a constructive education :: (news server friendly)
- [Q] Waht about these smallest universal Turing Machines
- A grammar analyser
- A New Kind of Science Online
- A review of TRS-es
- Adjacency matrix vs Adjacency list?
- Algorithm to generate all possible deals
- Average Height of a binary tree
- BCTCS 2004: Call for Participation
- Big problem with this NFA into DFA :((
- binary tree question
- branch and bound
- CA & Numerical Analysis?
- Call for Papers: Asia Pacific Journal of Operational Research
- CFP: 3rd FUN with Algorithms - DEADLINE FEB 27, 2004
- CFP: ACM SIGSOFT 2004/12th Symposium on Foundations of Software Engineering
- CFP: Deadline extension: Workshop on Causality and Causal Discovery
- CFP: RelMiCS8 - Relational Methods in Computer Science
- CFP: Swarm Intelligence and Patterns
- Church-Turing compared to Zuse-Fredkin thesis (two new papers)
- Comparing two notions of computable number
- Concurrency and Hardware Design research studentships available at London South Bank University
- Converting Max to Min objective
- Cormen et al. 2001 - two printings
- CPAIOR'04 : Call for Participation
- decidability of deterministic context-free languages?
- Decidable?
- Defining and computing on the reals
- Determining if there are 2 numbers in a sorted array which add up to particular number
- Determining if there are 2 numbers in a sorted array which add up to particular number.
- Difference between two systems of DAGs
- Distance between equations
- dual pointer synchronization program
- dynamic dictionaries w/ ins, del, and nearest neighbor
- Erdos Number Project update
- Exercise a^2n b^n+1 with Pumping Lemma HELP!
- Finding cycles in a directed graph
- For Sale - Brand new Sony DCR-PC 330 (3 Mega Pix) Digital Camera for 2,500
- Forced Satisfiable Problems
- Graph Partitioning - Minimize AND BALANCE number of edges cut
- graph partitioning with constraints
- Greibach NF transformation
- group isomorphism vs graph isomorphism
- harddisk in space
- harddisk in space (was Mars Rover Not Responding)
- HELP!!! a set theory problem.
- Ideas for course on great ideas in (theoretical) CS?
- Input wanted on algorithm strategy
- Intuitionist Objections to Turing's Paper (was Church-Turing compared to Zuse-Fredkin thesis)
- Is Binary BrainF*** Turing-complete?
- is correct this Pumping Lemma? and this?
- Is there a "fastest most reliable" hosting network out there?
- Linear Context Free Grammar
- Mars Rover Controlled By Java
- Mars Rover Not Responding
- max flow in reverse
- Minimal POS?
- Minimize changes in a Boolean Vector
- MOST USEFUL Computer Language
- MOST USEFUL...me confused now
- New Network Protocol
- NFA transform into DFA
- No Set Contains Every Computable Natural
- No Set Contains Every Computable Natural (was Church-Turing compared to Zuse-Fredkin thesis)
- Notions of computation
- optimization of (n log n)-style equation
- P vs NP and the analog machine
- Protein folding and P = NP
- Quantum Computing and protein folding
- Rectangle division problem
- Regular Expression, where i found it?
- Regular Languages
- Research Scientist in Knowledge Representation & Reasoning
- Riemann Hypothesis and P vs NP
- Rules on Reductions from Halting Problem
- SIGACT News Reminder - submission deadline Feb 1
- Solving linear inhomogenous recursion
- sparse matrix storage method
- Testing processes (Was: Mars Rover Not Responding)
- The art of theTravelling Salesman Problem
- The complexity of a piece of code
- The Dialogue of Existence
- total but not computable?
- truth maintenance system
- URGENCY!!! Please HELP!
- Web Sites for Complexity Theory
- Wizards
- ZAW & SMS
Last message date: 02/29/04
Archived on: 02/29/04 CET
497 messages sorted by: [ author ] [ date ] [ thread ]
