skip to content
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I Preview this item
ClosePreview this item
Checking...

Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I

Author: Artur Czumaj; et al
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 7391.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic,  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Computer software
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Artur Czumaj; et al
ISBN: 9783642315947 3642315941
OCLC Number: 797966055
Notes: International conference proceedings.
Description: 1 online resource.
Contents: Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method / Dimitris Achlioptas and Ricardo Menchaca-Mendez --
The NOF Multiparty Communication Complexity of Composed Functions / Anil Ada, Arkadev Chattopadhyay, Omar Fawzi and Phuong Nguyen --
Quantum Strategies Are Better Than Classical in Almost Any XOR Game / Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Dmitrijs Kravčenko and Raitis Ozols, et al. --
Efficient Submodular Function Maximization under Linear Packing Constraints / Yossi Azar and Iftah Gamzu --
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups (Extended Abstract) / László Babai, Paolo Codenotti and Youming Qiao --
Clustering under Perturbation Resilience / Maria Florina Balcan and Yingyu Liang --
Secretary Problems with Convex Costs / Siddharth Barman, Seeun Umboh, Shuchi Chawla and David Malec --
Nearly Simultaneously Resettable Black-Box Zero Knowledge / Joshua Baron, Rafail Ostrovsky and Ivan Visconti --
Complexity of Complexity and Maximal Plain versus Prefix-Free Kolmogorov Complexity / Bruno Bauwens --
On Quadratic Programming with a Ratio Objective / Aditya Bhaskara, Moses Charikar, Rajsekar Manokaran and Aravindan Vijayaraghavan --
De-amortizing Binary Search Trees / Prosenjit Bose, Sébastien Collette, Rolf Fagerberg and Stefan Langerman --
Efficient Sampling Methods for Discrete Distributions / Karl Bringmann and Konstantinos Panagiotou --
Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints / Niv Buchbinder, Joseph (Seffi) Naor, R. Ravi and Mohit Singh --
Improved LP-Rounding Approximation Algorithm for k-level Uncapacitated Facility Location / Jaroslaw Byrka and Bartosz Rybicki --
Testing Coverage Functions / Deeparnab Chakrabarty and Zhiyi Huang --
Sparse Fault-Tolerant Spanners for Doubling Metrics with Bounded Hop-Diameter or Degree / T. -H. Hubert Chan, Mingfei Li and Li Ning --
A Dependent LP-Rounding Approach for the k-Median Problem / Moses Charikar and Shi Li --
Node-Weighted Network Design in Planar and Minor-Closed Families of Graphs / Chandra Chekuri, Alina Ene and Ali Vakilian --
Computing the Visibility Polygon of an Island in a Polygonal Domain / Danny Z. Chen and Haitao Wang --
Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable / Rajesh Chitnis, Marek Cygan, Mohammadtaghi Hajiaghayi and Dániel Marx --
Max-Cut Parameterized above the Edwards-Erdős Bound / Robert Crowston, Mark Jones and Matthias Mnich --
Clique Cover and Graph Separation: New Incompressibility Results / Marek Cygan, Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk and Magnus Wahlström --
The Inverse Shapley Value Problem / Anindya De, Ilias Diakonikolas and Rocco Servedio --
Zero-One Rounding of Singular Vectors / Amit Deshpande, Ravindran Kannan and Nikhil Srivastava --
Label Cover Instances with Large Girth and the Hardness of Approximating Basic k-Spanner / Michael Dinitz, Guy Kortsarz and Ran Raz --
Space-Constrained Interval Selection / Yuval Emek, Magnús M. Halldórsson and Adi Rosén --
Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations / Kousha Etessami, Alistair Stewart and Mihalis Yannakakis --
Succinct Indices for Range Queries with Applications to Orthogonal Range Maxima / Arash Farzan, J. Ian Munro and Rajeev Raman --
Universal Factor Graphs / Uriel Feige and Shlomo Jozeph --
Parameterized Approximation via Fidelity Preserving Transformations / Michael R. Fellows, Ariel Kulik, Frances Rosamond and Hadas Shachnai --
Backdoors to Acyclic SAT / Serge Gaspers and Stefan Szeider --
Dominators, Directed Bipolar Orders, and Independent Spanning Trees / Loukas Georgiadis and Robert E. Tarjan --
Hardness of Approximation for Quantum Problems / Sevag Gharibian and Julia Kempe --
The Complexity of Computing the Sign of the Tutte Polynomial (and Consequent #P-hardness of Approximation) / Leslie Ann Goldberg and Mark Jerrum --
Stochastic Vehicle Routing with Recourse / Inge Li Gørtz, Viswanath Nagarajan and Rishi Saket --
The Online Metric Matching Problem for Doubling Metrics / Anupam Gupta and Kevin Lewi --
Approximating Sparse Covering Integer Programs Online / Anupam Gupta and Viswanath Nagarajan --
Streaming and Communication Complexity of Clique Approximation / Magnús M. Halldórsson, Xiaoming Sun, Mario Szegedy and Chengu Wang --
Distributed Private Heavy Hitters / Justin Hsu, Sanjeev Khanna and Aaron Roth --
A Thirty Year Old Conjecture about Promise Problems / Andrew Hughes, A. Pavan, Nathan Russell and Alan Selman --
Minimum Latency Submodular Cover / Sungjin Im, Viswanath Nagarajan and Ruben van der Zwaan --
Constant-Time Algorithms for Sparsity Matroids / Hiro Ito, Shin-Ichi Tanigawa and Yuichi Yoshida --
CRAM: Compressed Random Access Memory / Jesper Jansson, Kunihiko Sadakane and Wing-Kin Sung --
Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision / Stacey Jeffery, Robin Kothari and Frédéric Magniez --
Faster Fully Compressed Pattern Matching by Recompression / Artur Jeż --
NNS Lower Bounds via Metric Expansion for l∞ and EMD / Michael Kapralov and Rina Panigrahy --
Quantum Adversary (Upper) Bound / Shelby Kimmel --
Solving Planar k-Terminal Cut in O(nc Ök)O(nck) Time / Philip N. Klein and Dániel Marx --
Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs / Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk and Magnus Wahlström --
Preserving Terminal Distances Using Minors / Robert Krauthgamer and Tamar Zondiner --
A Rounding by Sampling Approach to the Minimum Size k-Arc Connected Subgraph Problem / Bundit Laekhanukit, Shayan Oveis Gharan and Mohit Singh --
Classical and Quantum Partition Bound and Detector Inefficiency / Sophie Laplante, Virginie Lerays and Jérémie Roland --
Testing Similar Means / Reut Levi, Dana Ron and Ronitt Rubinfeld --
The Parameterized Complexity of k-Edge Induced Subgraphs / Bingkai Lin and Yijia Chen --
Converting Online Algorithms to Local Computation Algorithms / Yishay Mansour, Aviad Rubinstein, Shai Vardi and Ning Xie --
Assigning Sporadic Tasks to Unrelated Parallel Machines / Alberto Marchetti-Spaccamela, Cyriel Rutten, Suzanne van der Ster and Andreas Wiese --
A Tight Lower Bound for Planar Multiway Cut with Fixed Number of Terminals / Dániel Marx --
The Power of Recourse for Online MST and TSP / Nicole Megow, Martin Skutella, José Verschae and Andreas Wiese --
Geometry of Online Packing Linear Programs / Marco Molinaro and R. Ravi --
Self-assembly with Geometric Tiles / Bin Fu, Matthew J. Patitz, Robert T. Schweller and Robert Sheline --
Quasi-polynomial Local Search for Restricted Max-Min Fair Allocation / Lukas Polacek and Ola Svensson --
Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions / Michael O. Rabin, Yishay Mansour, S. Muthukrishnan and Moti Yung --
Parameterized Tractability of Multiway Cut with Parity Constraints / Daniel Lokshtanov and M. S. Ramanujan --
Set Cover Revisited: Hypergraph Cover with Hard Capacities / Barna Saha and Samir Khuller --
On the Limits of Sparsification / Rahul Santhanam and Srikanth Srinivasan --
Certifying 3-Connectivity in Linear Time / Jens M. Schmidt --
Epsilon-Net Method for Optimizations over Separable States / Yaoyun Shi and Xiaodi Wu --
Faster Algorithms for Privately Releasing Marginals / Justin Thaler, Jonathan Ullman and Salil Vadhan --
Stochastic Matching with Commitment / Kevin P. Costello, Prasad Tetali and Pushkar Tripathi --
Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance / Elad Verbin and Qin Zhang --
A Matrix Hyperbolic Cosine Algorithm and Applications / Anastasios Zouzias.
Series Title: Lecture notes in computer science, 7391.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: ICALP 2012
Responsibility: Artur Czumaj...[et al.] (eds.).

Abstract:

This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in  Read more...

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/797966055> # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "797966055" ;
    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/4663670768#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/information_storage_and_retrieval> ; # Information Storage and Retrieval.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computer_communication_networks> ; # Computer Communication Networks.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/discrete_mathematics_in_computer_science> ; # Discrete Mathematics in Computer Science.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computational_complexity> ; # Computational complexity.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/information_storage_and_retrieval_systems> ; # Information storage and retrieval systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Topic/computer_programming> ; # Computer programming
    schema:about <http://dewey.info/class/005.13/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computer_software> ; # Computer software.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity.
    schema:about <http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computation_by_abstract_devices> ; # Computation by Abstract Devices.
    schema:alternateName "ICALP 2012" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/32696608> ; # Artur Czumaj
    schema:copyrightYear "2012" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4663670768#Meeting/international_colloquium_on_automata_languages_and_programming_39th_2012_warwick_england> ; # International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)
    schema:datePublished "2012" ;
    schema:description "This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4663670768> ;
    schema:genre "Conference papers and proceedings" ;
    schema:genre "Conference publication"@en ;
    schema:genre "Computer software" ;
    schema:genre "Electronic books" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4663670768#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4663670768#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4663670768#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4663670768#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4663670768#CreativeWork/> ;
    schema:name "Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I" ;
    schema:productID "797966055" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/797966055#PublicationEvent/berlin_new_york_springer_c2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4663670768#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10651659> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-642-31594-7> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-31593-0> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3070136> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-31594-7> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-31593-0> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-31594-7> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-31594-7> ;
    schema:workExample <http://worldcat.org/isbn/9783642315947> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/797966055> ;
    .


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/4663670768#Meeting/international_colloquium_on_automata_languages_and_programming_39th_2012_warwick_england> # International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4663670768#Place/warwick_england> ; # Warwick, England)
    schema:name "International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Place/warwick_england> # Warwick, England)
    a schema:Place ;
    schema:name "Warwick, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Series/advanced_research_in_computing_and_software_science> # Advanced research in computing and software science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity.
    a schema:Thing ;
    schema:name "Algorithm Analysis and Problem Complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computation_by_abstract_devices> # Computation by Abstract Devices.
    a schema:Thing ;
    schema:name "Computation by Abstract Devices." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computational_complexity> # Computational complexity.
    a schema:Thing ;
    schema:name "Computational complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computer_communication_networks> # Computer Communication Networks.
    a schema:Thing ;
    schema:name "Computer Communication Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/computer_software> # Computer software.
    a schema:Thing ;
    schema:name "Computer software." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/discrete_mathematics_in_computer_science> # Discrete Mathematics in Computer Science.
    a schema:Thing ;
    schema:name "Discrete Mathematics in Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/information_storage_and_retrieval> # Information Storage and Retrieval.
    a schema:Thing ;
    schema:name "Information Storage and Retrieval." ;
    .

<http://experiment.worldcat.org/entity/work/data/4663670768#Thing/information_storage_and_retrieval_systems> # Information storage and retrieval systems.
    a schema:Thing ;
    schema:name "Information storage and retrieval systems." ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)" ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming" ;
    .

<http://viaf.org/viaf/32696608> # Artur Czumaj
    a schema:Person ;
    schema:familyName "Czumaj" ;
    schema:givenName "Artur" ;
    schema:name "Artur Czumaj" ;
    .

<http://worldcat.org/entity/work/data/4663670768#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    .

<http://worldcat.org/isbn/9783642315947>
    a schema:ProductModel ;
    schema:description "electronic bk." ;
    schema:isbn "3642315941" ;
    schema:isbn "9783642315947" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/797966055>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/797966055> ; # Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I
    schema:dateModified "2018-01-12" ;
    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.