skip to content
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings Preview this item
ClosePreview this item
Checking...

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings

Author: Wolfgang Thomas; Pascal Weil
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4393.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
Symposium on Theoretical Aspects of Computer Science (24th : 2007 : Aachen, Germany).
STACS 2007.
Berlin ; New York : Springer, ©2007
(DLC) 2007920489
(OCoLC)84611487
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wolfgang Thomas; Pascal Weil
ISBN: 9783540709183 3540709185 9783540709176 3540709177
OCLC Number: 184984757
Description: 1 online resource (xviii, 705 pages) : illustrations.
Contents: Invited Talks --
A Calculus and Algebra for Distributed Data Management --
The Büchi Complementation Saga --
Speed-Up Techniques for Shortest-Path Computations --
Session 1A --
Compact Forbidden-Set Routing --
A New Bound for Pure Greedy Hot Potato Routing --
Wavelength Management in WDM Rings to Maximize the Number of Connections --
Session 1B --
A First Investigation of Sturmian Trees --
On the Size of the Universal Automaton of a Regular Language --
Correlations of Partial Words --
Session 2A --
Testing Convexity Properties of Tree Colorings --
Why Almost All k-Colorable Graphs Are Easy --
Session 2B --
On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds --
A New Rank Technique for Formula Size Lower Bounds --
Session 3A --
Hard Metrics from Cayley Graphs of Abelian Groups --
Broadcasting vs. Mixing and Information Dissemination on Cayley Graphs --
Light Orthogonal Networks with Constant Geometric Dilation --
Session 3B --
Admissibility in Infinite Games --
Pure Stationary Optimal Strategies in Markov Decision Processes --
Symmetries and the Complexity of Pure Nash Equilibrium --
Session 4A --
Computing Representations of Matroids of Bounded Branch-Width --
Characterizing Minimal Interval Completions --
Session 4B --
The Complexity of Unions of Disjoint Sets --
Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity --
Session 5A --
Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets --
On the Complexity of Affine Image Matching --
Session 5B --
On Fixed Point Equations over Commutative Semirings --
An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings --
Session 6A --
A Cubic Kernel for Feedback Vertex Set --
The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting --
An Optimal, Edges-Only Fully Dynamic Algorithm for Distance-Hereditary Graphs --
Session 6B --
A Search Algorithm for the Maximal Attractor of a Cellular Automaton --
Universal Tilings --
On the Complexity of Unary Tiling-Recognizable Picture Languages --
Session 7A --
A Characterization of Strong Learnability in the Statistical Query Model --
On the Consistency of Discrete Bayesian Learning --
Session 7B --
VPSPACE and a Transfer Theorem over the Reals --
On Symmetric Signatures in Holographic Algorithms --
Session 8A --
Randomly Rounding Rationals with Cardinality Constraints and Derandomizations --
Cheating to Get Better Roommates in a Random Stable Matching --
A Deterministic Algorithm for Summarizing Asynchronous Streams over a Sliding Window --
Session 8B --
Arithmetizing Classes Around NC 1 and L --
The Polynomially Bounded Perfect Matching Problem Is in NC 2 --
Languages with Bounded Multiparty Communication Complexity --
Session 9A --
New Approximation Algorithms for Minimum Cycle Bases of Graphs --
On Completing Latin Squares --
Small Space Representations for Metric Min-Sum k-Clustering and Their Applications --
Session 9B --
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic --
Bounded-Variable Fragments of Hybrid Logics --
Rank-1 Modal Logics Are Coalgebraic --
Session 10A --
An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups --
Weak Fourier-Schur Sampling, the Hidden Subgroup Problem, and the Quantum Collision Problem --
Quantum Network Coding --
Session 10B --
Reachability in Unions of Commutative Rewriting Systems Is Decidable --
Associative-Commutative Deducibility Constraints --
On the Automatic Analysis of Recursive Security Protocols with XOR --
Session 11A --
Improved Online Algorithms for the Sorting Buffer Problem --
Cost Sharing Methods for Makespan and Completion Time Scheduling --
Session 11B --
Planar Graphs: Logical Complexity and Parallel Isomorphism Tests --
Enumerating All Solutions for Constraint Satisfaction Problems.
Series Title: Lecture notes in computer science, 4393.
Other Titles: Symposium on Theoretical Aspects of Computer Science
Theoretical aspects of computer science
Responsibility: Wolfgang Thomas, Pascal Weil (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/184984757> # STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "184984757" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891558278#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/891558278#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/891558278#Topic/computer_science> ; # Computer science
    schema:alternateName "Theoretical aspects of computer science" ;
    schema:alternateName "Symposium on Theoretical Aspects of Computer Science" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/24669221> ; # Wolfgang Thomas
    schema:contributor <http://viaf.org/viaf/1994018> ; # Pascal Weil
    schema:copyrightYear "2007" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/891558278#Meeting/annual_symposium_on_theoretical_aspects_of_computer_science_24th_2007_aachen_germany> ; # Annual Symposium on Theoretical Aspects of Computer Science (24th : 2007 : Aachen, Germany)
    schema:datePublished "2007" ;
    schema:description "Invited Talks -- A Calculus and Algebra for Distributed Data Management -- The Büchi Complementation Saga -- Speed-Up Techniques for Shortest-Path Computations -- Session 1A -- Compact Forbidden-Set Routing -- A New Bound for Pure Greedy Hot Potato Routing -- Wavelength Management in WDM Rings to Maximize the Number of Connections -- Session 1B -- A First Investigation of Sturmian Trees -- On the Size of the Universal Automaton of a Regular Language -- Correlations of Partial Words -- Session 2A -- Testing Convexity Properties of Tree Colorings -- Why Almost All k-Colorable Graphs Are Easy -- Session 2B -- On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds -- A New Rank Technique for Formula Size Lower Bounds -- Session 3A -- Hard Metrics from Cayley Graphs of Abelian Groups -- Broadcasting vs. Mixing and Information Dissemination on Cayley Graphs -- Light Orthogonal Networks with Constant Geometric Dilation -- Session 3B -- Admissibility in Infinite Games -- Pure Stationary Optimal Strategies in Markov Decision Processes -- Symmetries and the Complexity of Pure Nash Equilibrium -- Session 4A -- Computing Representations of Matroids of Bounded Branch-Width -- Characterizing Minimal Interval Completions -- Session 4B -- The Complexity of Unions of Disjoint Sets -- Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity -- Session 5A -- Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets -- On the Complexity of Affine Image Matching -- Session 5B -- On Fixed Point Equations over Commutative Semirings -- An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings -- Session 6A -- A Cubic Kernel for Feedback Vertex Set -- The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting -- An Optimal, Edges-Only Fully Dynamic Algorithm for Distance-Hereditary Graphs -- Session 6B -- A Search Algorithm for the Maximal Attractor of a Cellular Automaton -- Universal Tilings -- On the Complexity of Unary Tiling-Recognizable Picture Languages -- Session 7A -- A Characterization of Strong Learnability in the Statistical Query Model -- On the Consistency of Discrete Bayesian Learning -- Session 7B -- VPSPACE and a Transfer Theorem over the Reals -- On Symmetric Signatures in Holographic Algorithms -- Session 8A -- Randomly Rounding Rationals with Cardinality Constraints and Derandomizations -- Cheating to Get Better Roommates in a Random Stable Matching -- A Deterministic Algorithm for Summarizing Asynchronous Streams over a Sliding Window -- Session 8B -- Arithmetizing Classes Around NC 1 and L -- The Polynomially Bounded Perfect Matching Problem Is in NC 2 -- Languages with Bounded Multiparty Communication Complexity -- Session 9A -- New Approximation Algorithms for Minimum Cycle Bases of Graphs -- On Completing Latin Squares -- Small Space Representations for Metric Min-Sum k-Clustering and Their Applications -- Session 9B -- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic -- Bounded-Variable Fragments of Hybrid Logics -- Rank-1 Modal Logics Are Coalgebraic -- Session 10A -- An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups -- Weak Fourier-Schur Sampling, the Hidden Subgroup Problem, and the Quantum Collision Problem -- Quantum Network Coding -- Session 10B -- Reachability in Unions of Commutative Rewriting Systems Is Decidable -- Associative-Commutative Deducibility Constraints -- On the Automatic Analysis of Recursive Security Protocols with XOR -- Session 11A -- Improved Online Algorithms for the Sorting Buffer Problem -- Cost Sharing Methods for Makespan and Completion Time Scheduling -- Session 11B -- Planar Graphs: Logical Complexity and Parallel Isomorphism Tests -- Enumerating All Solutions for Constraint Satisfaction Problems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/891558278> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/84611487> ;
    schema:name "STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings"@en ;
    schema:productID "184984757" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/184984757#PublicationEvent/berlin_new_york_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/891558278#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4393> ;
    schema:url <http://site.ebrary.com/id/10187422> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70917-6> ;
    schema:url <http://www.myilibrary.com?id=86534> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-540-70918-3> ;
    schema:url <http://www.myilibrary.com?id=86534&ref=toc> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-70918-3> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=301786> ;
    schema:url <http://site.ebrary.com/id/10183189> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-70917-6> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3061501> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-70917-6> ;
    schema:url <http://swbplus.bsz-bw.de/bsz282633855cov.htm> ;
    schema:url <http://link.springer.com/10.1007/978-3-540-70918-3> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783540709183> ;
    schema:url <http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4393> ;
    schema:workExample <http://worldcat.org/isbn/9783540709183> ;
    schema:workExample <http://worldcat.org/isbn/9783540709176> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-540-70918-3> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA713629> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/184984757> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/891558278#Meeting/annual_symposium_on_theoretical_aspects_of_computer_science_24th_2007_aachen_germany> # Annual Symposium on Theoretical Aspects of Computer Science (24th : 2007 : Aachen, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/891558278#Place/aachen_germany> ; # Aachen, Germany)
    schema:name "Annual Symposium on Theoretical Aspects of Computer Science (24th : 2007 : Aachen, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891558278#Place/aachen_germany> # Aachen, Germany)
    a schema:Place ;
    schema:name "Aachen, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891558278#Topic/informatique> # Informatique
    a schema:Intangible ;
    schema:name "Informatique"@en ;
    schema:name "Informatique"@fr ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/1994018> # Pascal Weil
    a schema:Person ;
    schema:familyName "Weil" ;
    schema:givenName "Pascal" ;
    schema:name "Pascal Weil" ;
    .

<http://viaf.org/viaf/24669221> # Wolfgang Thomas
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Thomas" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Thomas" ;
    .

<http://worldcat.org/isbn/9783540709176>
    a schema:ProductModel ;
    schema:isbn "3540709177" ;
    schema:isbn "9783540709176" ;
    .

<http://worldcat.org/isbn/9783540709183>
    a schema:ProductModel ;
    schema:isbn "3540709185" ;
    schema:isbn "9783540709183" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/184984757> ; # STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/84611487>
    a schema:CreativeWork ;
    rdfs:label "STACS 2007." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/184984757> ; # STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/184984757>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/184984757> ; # STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings
    schema:dateModified "2018-01-05" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.