Del i serien Lecture Notes in Computer Science

STACS 98

15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings

Häftad, Engelska, 1998

AvMichel Morvan,Christoph Meinel,Daniel Krob

1 489 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998.The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.

Produktinformation

Utgivningsdatum1998-02-18
Mått155 x 235 x 35 mm
Vikt972 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor636
Upplaga1998
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540642305

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Random graphs, random walks, differential equations and the probabilistic analysis of algorithms.- Distributed online frequency assignment in cellular networks.- Floats, integers, and single source shortest paths.- A synthesis on partition refinement: A useful routine for strings, graphs, boolean matrices and automata.- Simplifying the modal mu-calculus alternation hierarchy.- On disguised double horn functions and extensions.- The complexity of propositional linear temporal logics in simple cases.- Searching constant width mazes captures the AC 0 hierarchy.- Nearly optimal language compression using extractors.- Random sparse bit strings at the threshold of adjacency.- Lower bounds for randomized read-k-times branching programs.- Inducing an order on cellular automata by a grouping operation.- Attractors of D-dimensional Linear Cellular Automata.- Optimal simulations between unary automata.- Shuffle of ?-words: Algebraic aspects.- A generalization of resource-bounded measure, with an application (Extended abstract).- The complexity of modular graph automorphism.- Unary quantifiers, transitive closure, and relations of large degree.- On the structure of valiant's complexity classes.- On the existence of polynomial time approximation schemes for OBDD minimization.- Complexity of problems on graphs represented as OBDDs.- Equivalence test and ordering transformation for parity-OBDDs of different variable ordering.- Size and structure of random ordered binary decision diagrams.- Provable security for block ciphers by decorrelation.- On the approximation of finding A(nother) Hamiltonian cycle in cubic Hamiltonian graphs.- The mutual exclusion scheduling problem for permutation and comparability graphs.- Massaging a linear programming solution to give a 2-approximation for ageneralization of the vertex cover problem.- Partially persistent search trees with transcript operations.- Relating hierarchies of word and tree automata.- Languages defined with modular counting quantifiers.- Hierarchies of principal twist-closed trios.- Radix representations of algebraic number fields and finite automata.- Sorting and searching on the word RAM.- Communication-efficient deterministic parallel algorithms for planar point location and 2d Voronoi Diagram.- On Batcher's merge sorts as parallel sorting algorithms.- Minimum spanning trees for minor-closed graph classes in parallel.- Optimal broadcasting in almost trees and partial k-trees.- Local normal forms for first-order logic with applications to games and automata.- Axiomatizing the equational theory of regular tree languages.- A Logical Characterization of Systolic Languages.- Optimal proof systems for propositional logic and complete sets.- The (parallel) approximability of non-boolean satisfiability problems and restricted integer programming.- Interactive protocols on the reals.- Result-indistinguishable zero-knowledge proofs: Increased power and constant-round protocols.- Bounded size dictionary compression: SCk-completeness and NC algorithms.- Expressive completeness of LTrL on finite traces: An algebraic proof.- On uniform DOL words.- Series-parallel posets: Algebra, automata and languages.- On the expected number of nodes at level k in 0-balanced trees.- Cell flipping in permutation diagrams.- Construction of non-intersecting colored flows through a planar cellular figure.- Recursively enumerable reals and chaitin ? numbers.- Uniformly defining complexity classes of functions.- Recognizability equals monadic second-order definability for sets of graphs of bounded tree-width.

Mer från samma författare

Orders, Algorithms and Applications

Vincent Bouchitte, Michel Morvan

Häftad, 1994

729 kr

STACS 97

Rüdiger Reischuk, Michel Morvan

Häftad, 1997

1 489 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

STACS 97

Rüdiger Reischuk, Michel Morvan

Häftad, 1997

1 489 kr

Complex Systems Design & Management

Marc Aiguier, Francis Bretaudeau, Daniel Krob

Häftad, 2014

2 879 kr

Complex Systems Design & Management

Gauthier Fanmuy, Daniel Krob, Eric Goubault, François Stephan

Häftad, 2018

2 709 kr

Orders, Algorithms and Applications

Vincent Bouchitte, Michel Morvan

Häftad, 1994

729 kr

Complex Systems Design & Management

Omar Hammami, Daniel Krob, Jean-Luc Voirin

Häftad, 2014

2 879 kr

Del 426

Complex Systems Design & Management Asia

Michel-Alexandre Cardin, Saik Hay Fong, Daniel Krob, Lui Pao Chuen, Yang How Tan

Häftad, 2016

1 449 kr

Del 1085

Complex Systems Design & Management

Daniel Krob, Lefei Li, Xinguo Zhang, Junchen Yao, Mengyu Guo

Häftad, 2024

3 169 kr

Complex Systems Design & Management

Guy André Boy, Alan Guegan, Daniel Krob, Vincent Vion

Häftad, 2020

2 159 kr

Complex Systems Design & Management

Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy

Häftad, 2014

2 879 kr

Complex Systems Design & Management

Guy André Boy, Alan Guegan, Daniel Krob, Vincent Vion

Inbunden, 2019

2 159 kr

Del i serien Lecture Notes in Computer Science

STACS 98

15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings

Häftad, Engelska, 1998

AvMichel Morvan,Christoph Meinel,Daniel Krob

1 489 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1998-02-18
Mått155 x 235 x 35 mm
Vikt972 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor636
Upplaga1998
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540642305

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

Random graphs, random walks, differential equations and the probabilistic analysis of algorithms.- Distributed online frequency assignment in cellular networks.- Floats, integers, and single source shortest paths.- A synthesis on partition refinement: A useful routine for strings, graphs, boolean matrices and automata.- Simplifying the modal mu-calculus alternation hierarchy.- On disguised double horn functions and extensions.- The complexity of propositional linear temporal logics in simple cases.- Searching constant width mazes captures the AC 0 hierarchy.- Nearly optimal language compression using extractors.- Random sparse bit strings at the threshold of adjacency.- Lower bounds for randomized read-k-times branching programs.- Inducing an order on cellular automata by a grouping operation.- Attractors of D-dimensional Linear Cellular Automata.- Optimal simulations between unary automata.- Shuffle of ?-words: Algebraic aspects.- A generalization of resource-bounded measure, with an application (Extended abstract).- The complexity of modular graph automorphism.- Unary quantifiers, transitive closure, and relations of large degree.- On the structure of valiant's complexity classes.- On the existence of polynomial time approximation schemes for OBDD minimization.- Complexity of problems on graphs represented as OBDDs.- Equivalence test and ordering transformation for parity-OBDDs of different variable ordering.- Size and structure of random ordered binary decision diagrams.- Provable security for block ciphers by decorrelation.- On the approximation of finding A(nother) Hamiltonian cycle in cubic Hamiltonian graphs.- The mutual exclusion scheduling problem for permutation and comparability graphs.- Massaging a linear programming solution to give a 2-approximation for ageneralization of the vertex cover problem.- Partially persistent search trees with transcript operations.- Relating hierarchies of word and tree automata.- Languages defined with modular counting quantifiers.- Hierarchies of principal twist-closed trios.- Radix representations of algebraic number fields and finite automata.- Sorting and searching on the word RAM.- Communication-efficient deterministic parallel algorithms for planar point location and 2d Voronoi Diagram.- On Batcher's merge sorts as parallel sorting algorithms.- Minimum spanning trees for minor-closed graph classes in parallel.- Optimal broadcasting in almost trees and partial k-trees.- Local normal forms for first-order logic with applications to games and automata.- Axiomatizing the equational theory of regular tree languages.- A Logical Characterization of Systolic Languages.- Optimal proof systems for propositional logic and complete sets.- The (parallel) approximability of non-boolean satisfiability problems and restricted integer programming.- Interactive protocols on the reals.- Result-indistinguishable zero-knowledge proofs: Increased power and constant-round protocols.- Bounded size dictionary compression: SCk-completeness and NC algorithms.- Expressive completeness of LTrL on finite traces: An algebraic proof.- On uniform DOL words.- Series-parallel posets: Algebra, automata and languages.- On the expected number of nodes at level k in 0-balanced trees.- Cell flipping in permutation diagrams.- Construction of non-intersecting colored flows through a planar cellular figure.- Recursively enumerable reals and chaitin ? numbers.- Uniformly defining complexity classes of functions.- Recognizability equals monadic second-order definability for sets of graphs of bounded tree-width.