Puech
STACS 96
13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
Mitarbeit:Puech, Claude; Reischuck, Rüdiger
Puech
STACS 96
13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
Mitarbeit:Puech, Claude; Reischuck, Rüdiger
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.…mehr
Andere Kunden interessierten sich auch für
![STACS 95]( "STACS 95")
MayrSTACS 9579,99 €![STACS 97]( "STACS 97")
ReischukSTACS 9779,99 €![STACS 93]( "STACS 93")
Patrice Enjalbert / Alain Finkel / Klaus W. Wagner (eds.)STACS 9379,99 €![STACS 92]( "STACS 92")
Alain Finkel / Matthias Jantzen (eds.)STACS 9279,99 €![Foundations of Software Technology and Theoretical Computer Science]( "Foundations of Software Technology and Theoretical Computer Science")
Kesav V. Nori / C.E. Veni Madhavan (eds.)Foundations of Software Technology and Theoretical Computer Science40,99 €![STACS 94]( "STACS 94")
EnjalbertSTACS 9440,99 €![STACS 99]( "STACS 99")
Christoph Meinel / Sophie Tison (eds.)STACS 9979,99 €-
-
-
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.
The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 1046
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60922-3
- 1996.
- Seitenzahl: 708
- Erscheinungstermin: 14. Februar 1996
- Englisch
- Abmessung: 235mm x 155mm x 38mm
- Gewicht: 914g
- ISBN-13: 9783540609223
- ISBN-10: 3540609229
- Artikelnr.: 09244272
- Lecture Notes in Computer Science 1046
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60922-3
- 1996.
- Seitenzahl: 708
- Erscheinungstermin: 14. Februar 1996
- Englisch
- Abmessung: 235mm x 155mm x 38mm
- Gewicht: 914g
- ISBN-13: 9783540609223
- ISBN-10: 3540609229
- Artikelnr.: 09244272
New trends in quantum computing.- Compressibility and resource bounded measure.- On the complexity of random strings.- Remarks on generalized Post Correspondence Problem.- Cyclic languages and strongly cyclic languages.- Resource-bounded balanced genericity, stochasticity and weak randomness.- The complexity of generating and checking proofs of membership.- Observations on measure and lowness for ? 2 P .- Solvable black-box group problems are low for PP.- Languages recognized by finite aperiodic groupoids.- Star-height of an N-rational series.- An aperiodic set of Wang cubes.- Lyndon factorization of infinite words.- Embedding graphs with bounded treewidth into optimal hypercubes.- Parallel comparability graph recognition and modular decomposition.- Fault-tolerant shared memory simulations.- On word-level parallelism in fault-tolerant computing.- Learning with confidence.- Extracting best consensus motifs from positive and negative examples.- PAC learning with simple examples.- General inductive inference types based on linearly-ordered sets.- On the power of non-observable actions in timed automata.- Trace rewriting: Computing normal forms in time O(n log n).- A decision procedure for well-formed linear quantum cellular automata.- On the complexity of worst case and expected time in a circuit.- On the existence of hard sparse sets under weak reductions.- Optimal bounds on the approximation of boolean functions with consequences on the concept of hardness.- Fine separation of average time complexity classes.- Compositional specification of timed systems.- Optimal tree-based one-time digital signature schemes.- The action of a few random permutations on r-tuples and an application to cryptography.- A unified and generalized treatment of authentication theory.- Monadicsecond order logic on tree-like structures.- On bijections vs. unary functions.- The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs.- A combinatorial design approach to MAXCUT.- Characterizing the complexity of subgraph isomorphism for graphs of bounded path-width.- A characterization of the quadrilateral meshes of a surface which admit a compatible hexahedral mesh of the enclosed volume.- On the expressivity of the modal mu-calculus.- Read-once projections and formal circuit verification with binary decision diagrams.- "Optimal" collecting semantics for analysis in a hierarchy of logic program semantics.- Flip-flop nets.- Lower bounds for compact routing.- On the successor function in non-classical numeration systems.- Minimal forbidden words and symbolic dynamics.- Universal hashing and k-wise independent random variables via integer arithmetic without primes.- Ranking and unranking trees using regular reductions.- On competitive on-line paging with lookahead.- Hypothesis testing in perfect phylogeny for a bounded number of characters.- The "log rank" conjecture for modular communication complexity.- Upper bounds on multiparty communication complexity of shifts.- Some bounds on multiparty communication complexity of pointer jumping.- Optimal schedules for d-D grid graphs with communication delays.- Linear programming - Randomization and abstract frameworks.
New trends in quantum computing.- Compressibility and resource bounded measure.- On the complexity of random strings.- Remarks on generalized Post Correspondence Problem.- Cyclic languages and strongly cyclic languages.- Resource-bounded balanced genericity, stochasticity and weak randomness.- The complexity of generating and checking proofs of membership.- Observations on measure and lowness for ? 2 P .- Solvable black-box group problems are low for PP.- Languages recognized by finite aperiodic groupoids.- Star-height of an N-rational series.- An aperiodic set of Wang cubes.- Lyndon factorization of infinite words.- Embedding graphs with bounded treewidth into optimal hypercubes.- Parallel comparability graph recognition and modular decomposition.- Fault-tolerant shared memory simulations.- On word-level parallelism in fault-tolerant computing.- Learning with confidence.- Extracting best consensus motifs from positive and negative examples.- PAC learning with simple examples.- General inductive inference types based on linearly-ordered sets.- On the power of non-observable actions in timed automata.- Trace rewriting: Computing normal forms in time O(n log n).- A decision procedure for well-formed linear quantum cellular automata.- On the complexity of worst case and expected time in a circuit.- On the existence of hard sparse sets under weak reductions.- Optimal bounds on the approximation of boolean functions with consequences on the concept of hardness.- Fine separation of average time complexity classes.- Compositional specification of timed systems.- Optimal tree-based one-time digital signature schemes.- The action of a few random permutations on r-tuples and an application to cryptography.- A unified and generalized treatment of authentication theory.- Monadicsecond order logic on tree-like structures.- On bijections vs. unary functions.- The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs.- A combinatorial design approach to MAXCUT.- Characterizing the complexity of subgraph isomorphism for graphs of bounded path-width.- A characterization of the quadrilateral meshes of a surface which admit a compatible hexahedral mesh of the enclosed volume.- On the expressivity of the modal mu-calculus.- Read-once projections and formal circuit verification with binary decision diagrams.- "Optimal" collecting semantics for analysis in a hierarchy of logic program semantics.- Flip-flop nets.- Lower bounds for compact routing.- On the successor function in non-classical numeration systems.- Minimal forbidden words and symbolic dynamics.- Universal hashing and k-wise independent random variables via integer arithmetic without primes.- Ranking and unranking trees using regular reductions.- On competitive on-line paging with lookahead.- Hypothesis testing in perfect phylogeny for a bounded number of characters.- The "log rank" conjecture for modular communication complexity.- Upper bounds on multiparty communication complexity of shifts.- Some bounds on multiparty communication complexity of pointer jumping.- Optimal schedules for d-D grid graphs with communication delays.- Linear programming - Randomization and abstract frameworks.