Proceedings: October 24 - 27, 1992, Pittsburgh, Pa.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc.
1992
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 734 S. graph. Darst. |
| ISBN: | 0818629002 0818629010 |
| ISSN: | 0272-5428 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008028783 | ||
| 003 | DE-604 | ||
| 005 | 20170112 | ||
| 007 | t| | ||
| 008 | 930713s1992 xx d||| |||| 10||| eng d | ||
| 020 | |a 0818629002 |9 0-8186-2900-2 | ||
| 020 | |a 0818629010 |9 0-8186-2901-0 | ||
| 022 | |a 0272-5428 |2 6 | ||
| 035 | |a (OCoLC)633015749 | ||
| 035 | |a (DE-599)BVBBV008028783 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-20 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a Symposium on Foundations of Computer Science |n 33 |d 1992 |c Pittsburgh, Pa. |j Verfasser |0 (DE-588)5079952-6 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b October 24 - 27, 1992, Pittsburgh, Pa. |c 33rd annual Symposium on Foundations of Computer |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. |c 1992 | |
| 300 | |a XI, 734 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Pittsburgh Pa. |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283015&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005283015 | |
Datensatz im Suchindex
| _version_ | 1820868125138092032 |
|---|---|
| adam_text |
Contents
Foreword
.
v
Conference Organization
.
vi
Machtey Award
.„.
vi
Industrial Sponsors
.vi
Sunday, October
25,1992
Session IA
Probabilistic Checking of Proofs
.2
S. Arora and S.
Safra
Proof Verification and Hardness of Approximation Problems
.14
5.
Arora,
С
Lund, R. Motwani, M. Sudan, andM. Szegedy
Undirected Connectivity in O(log^-^n) Space
.24
N.
Nisan, E.
Szemeredi,
and A. Wigderson
The Isomorphism Conjecture Holds Relative to an Oracle
.30
S. Fenner,
L
Fortnow, and
S.A.
Kurtz
Session IB
Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap-Ordered,
Double-Ended Queues
.40
A.L.
Buchsbaum,
R.
Sundar, and R.E.
Tarjan
Fully Dynamic Biconnectivity in Graphs
.50
M. Ranch
Sparsification
—
A Technique for Speeding up Dynamic Graph Algorithms
.60
D. Eppstein,
Z Galii,
G.F.
Italiano, and A.
Nissenzweig
On Four-Connecting a Triconnected Graph
.70
T.S. Hsu
Session IIA
Dynamic Half-Space Reporting, Geometric Optimization, and Minimum Spanning Trees
.80
P.A.
Agarwal, D. Eppstein, and J.
Matoušek
Randomized Geometric Algorithms and Pseudo-Random Generators
.90
K. Mulmuley
Drawing Planar Graphs Using the /mc-Ordering
.101
G. Kant
Session IIB
Computing in Solvable Matrix Groups
.
Ill
EM.
Luks
Fast Algorithms for Matrix Normal Forms
.121
M. Giesbrecht
Improved Parallel Polynomial Division and Its Extensions
.131
D.
Bini
and V. Pan
Session 1IIA
Randomized Consensus in Expected O(nlog^n) Operations per Processor
.137
/.
Aspnes and O. Waarts
vii
Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation
.147
Y. Aumann and M.O. Rabin
Fault-Tolerant, Wait-Free Shared Objects
.157
P. Jayanti, T.D. Chandra, and S. Toueg
Session IIIB
Hierarchies in Transitive Closure Logic, Stratified
Datalog,
and Infinitary Logic
.167
E.
Gradei
and G.L McColm
Back to the Future: Towards a Theory of Timed Regular Languages
.177
R. Alur and T.A. Henzinger
The Complexity of the
Hajós
Calculus
.187
T. Pitassi and A. Urquhart
Session
IVA
A Decomposition Theorem and Bounds for Randomized Server Problems
.197
A. Blum, H. Karloff, Y.
Rąbani,
and M. Saks
Markov Paging
.208
A.R.
Karlin,
S. J.
Phillips, and P. Raghavan
On-Line Load Balancing
.218
Y. Azar,
A.Z.
Broder,
andA.R.
Karlin
Session IVB
Improved Lower Bounds for
Shellsort.226
CG.
Plaxton,
В.
Poonen, and T. Sue I
The Asymptotic Complexity of Merging Networks
.236
P.B. Miltersen, M. Paterson, and J. Tarui
Truly Alphabet-Independent Two-Dimensional Pattern Matching
.247
Z. Galii
and K. Park
Monday, October
26,1992
Session IA
Amplification and Percolation
.258
M. Dubiner and U. Zwick
Algebraic Decision Trees and
Euler
Characteristics
.268
A. C.-C. Yao
Separating the Communication Complexities of MOD
m
and MOD
p
Circuits
.278
V. Grolmusz
Lower Bounds on the Depth of Monotone Arithmetic Computations
.288
D. Coppersmith and B.
Schieber
Session IB
On the Second Eigenvalue and Linear Expansion of Regular Graphs
. 296
N.Kahale
Quadratic Dynamical Systems
.304
Y. Rabinovich, A. Sinclair, and A. Wigderson
On the Bit Extraction Problem
.314
J. Friedman
A Mildly Exponential Approximation Algorithm for the Permanent
.320
M. Jerrum and U. Vazirani
vín
Session
HA
Competitive
Analysis
of
Financial
Games
.327
R.
El-Yaniv,
A. Fiat,
R.
Karp, and
G. Turpin
Lower Bounds on the Competitive Ratio for Mobile User Tracking and Distributed Job Scheduling
.334
N.
Alon, G. Kalai, M. Ricklin, and L. Stockmeyer
The Distributed ^-Server Problem
—
A Competitive Distributed Translator for ¿-Server Algorithms
.344
Y. Bartal and
A. Rosén
Session MB
Undecidability of the Horn-Clause Implication Problem
.354
J. Marcinkowski and L· Pacholski
Efficient Inference of Partial Types
.363
D.
Kozen,
J. Palsberg, and M.I. Schwartzbach
On the Completeness of Object-Creating Query Languages
.372
J. Van den Bussche, D. Van Gucht, M. Andries, and M. Gyssens
Session IIIA
Enumerating the
к
Closest Pairs Optimally
.380
H.-P. LenhofandM.
Smid
Safe and Effective Determinant Evaluation
.387
K.L·
Clarkson
On Minimum and Maximum Spanning Trees of Linearly Moving Points
.396
N.
Katoh, T. Tokuyama, and K. Iwano
Session IIIB
Towards a Computational Theory of Statistical Tests
.406
M. Blum and O.
Goldreich
Witnesses for Boolean Matrix Multiplication and for Shortest Paths
.417
N.
Alon,
Z Galii,
O. Margalit, and M. Naor
Zero-Knowledge Proofs of Knowledge without Interaction
.427
A. De
Santis and G.
Persiano
Session
IVA
Fast Unimodular Reduction: Planar Integer Lattices
.437
C.K. Yap
How to Denest Ramanujan's Nested Radicals
.447
J.
Blâmer
On Efficient Band Matrix Arithmetic
.457
W. Eberly
Session IVB
A Subexponential Algorithm for Abstract Optimization Problems
.464
B.
Gärtner
The Algorithmic Aspects of the Regularity Lemma
.473
N. Ahn, R.A.
Duke, H. Lefmann, V.
Rodi,
and R. Yuster
On the Randomized Complexity of Volume and Diameter
.482
L.
Lovász
and M.
Simonovits
їх
Tuesday, October
27,1992
Session IA
Apple Tasting and Nearly One-Sided Learning
.493
D.P.
Helmbold, N. Littlestone,
and P.M. Long
Reconstructing Algebraic Functions from Mixed Data
.503
S.
Ar, RJ.
Lipton, R.
Rubinfeld,
and M. Sudan
On the Exact Learning of Formulas in Parallel
.513
N.H. Bshouty and
R. Cieve
Read-Thrice DNF is Hard to Learn with Membership and Equivalence Queries
.523
H. Aizenstein,
L
Hellerstein,
and
L
Pitt
Session IB
Efficient Self-Embedding of Butterfly Networks with Random Faults
.533
H. Tamaki
On the Fault Tolerance of Some Popular Bounded-Degree Networks
.542
T. Leighton, B. Maggs, and R. Sitaraman
Exact Analysis of Hot-Potato Routing
.553
U.
Feige
and P. Raghavan
A Theory of
Wormhole
Routing in Parallel Computers
.563
S. Felperin, P. Raghavan, and E. Upfal
Session HA
Computing a Shortest ife-Link Path in a Polygon
.573
J.S. Mitchell,
С
Piątko,
and KM. Arkin
Efficient Minimum Cost Matching Using Quadrangle Inequality
.583
A. Aggarwal,
A. Bar-Noy,
S. Khuller, D.
Kravets,
and B.
Schieber
Optimal Parallel Hull Construction for Simple Polygons in 0(log log n) Time
.593
H.
Wagener
Session IIB
Tighter Bounds on the Exact Complexity of String Matching
.600
R. Cole and R. Hariharan
Tiling a Polygon with Rectangles
.610
C. Kenyon and R. Kenyon
Mick Gets Some (The Odds Are on His Side)
.620
V. Chvátal
and B. Reed
Session IMA
Waste Makes Haste: Tight Bounds for Loose Parallel Sorting
.628
T. Hagerup and R. Raman
The Complexity of Parallel Prefix Problems on Small Domains
.638
S. Chaudhuri and J. Radhakrishnan
Approximate Max Flow on Small Depth Networks
.648
E. Cohen
Session
1MB
Newton's Method for Fractional Combinatorial Optimization
.659
T. Radzik
A Class of Logic Problems Solvable by Linear Programming
.670
M.
Conforti
and G.
Cornuéjols
Maximizing Non-Linear Concave Functions in Fixed Dimension
.676
S. Toledo
Session
IVA
Halvers
and Expanders
.686
M. Ajtai, J.
Komlós,
and
E. Szemerédi
Fault Tolerant Graphs, Perfect Hash Functions, and Disjoint Paths
.693
M. Ajtai,
N.
Alon, J.
Brück,
R.
Cypher,
CT.
Ho,
M. Naor, and E. Szemerédi
Session IVB
The Power
of Combining the
Techniques
of Algebraic and Numerical Computing:
Improved Approximate Multipoint Polynomial Evaluation and Improved Multipole Algorithms
.703
V.Y. Pan, J.H.
Reif, andS.R.
Tate
Processor-Efficient Parallel Solution of Linear Systems II:
The Positive Characteristic and Singular Cases
.714
E.
Kaltofen
and V. Pan
Communication on Noisy Channels: A Coding Theorem for Computation
.724
L.J. Schulman
Author index
.734
xi |
| any_adam_object | 1 |
| author_corporate | Symposium on Foundations of Computer Science Pittsburgh, Pa |
| author_corporate_role | aut |
| author_facet | Symposium on Foundations of Computer Science Pittsburgh, Pa |
| author_sort | Symposium on Foundations of Computer Science Pittsburgh, Pa |
| building | Verbundindex |
| bvnumber | BV008028783 |
| classification_rvk | SS 1992 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)633015749 (DE-599)BVBBV008028783 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV008028783</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170112</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930713s1992 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818629002</subfield><subfield code="9">0-8186-2900-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818629010</subfield><subfield code="9">0-8186-2901-0</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">0272-5428</subfield><subfield code="2">6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633015749</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008028783</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Foundations of Computer Science</subfield><subfield code="n">33</subfield><subfield code="d">1992</subfield><subfield code="c">Pittsburgh, Pa.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5079952-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">October 24 - 27, 1992, Pittsburgh, Pa.</subfield><subfield code="c">33rd annual Symposium on Foundations of Computer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc.</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 734 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Pittsburgh Pa.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283015&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005283015</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Pittsburgh Pa. gnd-content |
| genre_facet | Konferenzschrift 1992 Pittsburgh Pa. |
| id | DE-604.BV008028783 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:23Z |
| institution | BVB |
| institution_GND | (DE-588)5079952-6 |
| isbn | 0818629002 0818629010 |
| issn | 0272-5428 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005283015 |
| oclc_num | 633015749 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-634 DE-83 DE-188 DE-706 |
| physical | XI, 734 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | IEEE Computer Soc. |
| record_format | marc |
| spelling | Symposium on Foundations of Computer Science 33 1992 Pittsburgh, Pa. Verfasser (DE-588)5079952-6 aut Proceedings October 24 - 27, 1992, Pittsburgh, Pa. 33rd annual Symposium on Foundations of Computer Los Alamitos, Calif. u.a. IEEE Computer Soc. 1992 XI, 734 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Pittsburgh Pa. gnd-content Informatik (DE-588)4026894-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s 1\p DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283015&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. |
| title_auth | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. |
| title_exact_search | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. |
| title_full | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. 33rd annual Symposium on Foundations of Computer |
| title_fullStr | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. 33rd annual Symposium on Foundations of Computer |
| title_full_unstemmed | Proceedings October 24 - 27, 1992, Pittsburgh, Pa. 33rd annual Symposium on Foundations of Computer |
| title_short | Proceedings |
| title_sort | proceedings october 24 27 1992 pittsburgh pa |
| title_sub | October 24 - 27, 1992, Pittsburgh, Pa. |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Theoretische Informatik Informatik Konferenzschrift 1992 Pittsburgh Pa. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283015&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonfoundationsofcomputersciencepittsburghpa proceedingsoctober24271992pittsburghpa |