Return to home page
Searching: Muskingum library catalog
In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.
Record 307 of 1544
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)
Title Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part I / Artur Czumaj...[and others] (eds.).
Imprint Berlin ; New York : Springer, [2012]
©2012.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)
Series Lecture notes in computer science, 0302-9743 ; 7391.
Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; http://id.loc.gov/authorities/names/n42015162 7391.
Lecture notes in computer science. Advanced research in computing and software science. http://id.loc.gov/authorities/names/no2009179746
LNCS sublibrary. SL 1, Theoretical computer science and general issues. http://id.loc.gov/authorities/names/no2007042902
Subject Programming languages (Electronic computers) -- Congresses.
Computer programming -- Congresses.
Alt Name Czumaj, Artur.
Add Title ICALP 2012
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)
Series Lecture notes in computer science, 0302-9743 ; 7391.
Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; http://id.loc.gov/authorities/names/n42015162 7391.
Lecture notes in computer science. Advanced research in computing and software science. http://id.loc.gov/authorities/names/no2009179746
LNCS sublibrary. SL 1, Theoretical computer science and general issues. http://id.loc.gov/authorities/names/no2007042902
Subject Programming languages (Electronic computers) -- Congresses.
Computer programming -- Congresses.
Alt Name Czumaj, Artur.
Add Title ICALP 2012
Description 1 online resource.
polychrome rdacc http://rdaregistry.info/termList/RDAColourContent/1003
Note International conference proceedings.
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, Arturs Backurs, Kaspars Balodis, Dmitrijs Kravcenko 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) / Laszlo 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, Sebastien 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 Daniel Marx -- Max-Cut Parameterized above the Edwards-Erdos 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 Wahlstrom -- 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, Magnus M. Halldorsson and Adi Rosen -- 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 Grtz, 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 / Magnus M. Halldorsson, 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 Frederic Magniez -- Faster Fully Compressed Pattern Matching by Recompression / Artur Jez -- 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 Ok)O(nck) Time / Philip N. Klein and Daniel Marx -- Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs / Stefan Kratsch, Marcin Pilipczuk, Micha Pilipczuk and Magnus Wahlstrom -- 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 Jeremie 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 / Daniel Marx -- The Power of Recourse for Online MST and TSP / Nicole Megow, Martin Skutella, Jose 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.
Bibliography Note Includes bibliographical references and author index.
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, semantics, automata and theory of programming; and foundations of networked computation.
ISBN 9783642315947 (electronic bk.)
3642315941 (electronic bk.)
9783642315930
ISBN/ISSN 10.1007/978-3-642-31594-7
OCLC # 797966055
Additional Format Printed edition: 9783642315930.


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team