Computer science - theory and applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6651 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 469 S. graph. Darst. 24 cm |
| ISBN: | 9783642207112 3642207111 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039105790 | ||
| 003 | DE-604 | ||
| 005 | 20140617 | ||
| 007 | t| | ||
| 008 | 110628s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N13 |2 dnb | ||
| 015 | |a 11,A25 |2 dnb | ||
| 016 | 7 | |a 1010703048 |2 DE-101 | |
| 020 | |a 9783642207112 |c kart. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 978-3-642-20711-2 | ||
| 020 | |a 3642207111 |9 3-642-20711-1 | ||
| 024 | 3 | |a 9783642207112 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80061700 |
| 035 | |a (OCoLC)725042956 | ||
| 035 | |a (DE-599)DNB1010703048 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Computer science - theory and applications |b 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings |c Alexander Kulikov ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XI, 469 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6651 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Sankt Petersburg |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kulikov, Alexander S. |e Sonstige |0 (DE-588)1052254101 |4 oth | |
| 711 | 2 | |a International Computer Science Symposium in Russia |n 6 |d 2011 |c Sankt Petersburg |j Sonstige |0 (DE-588)16160809-7 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Computer Science |
| 830 | 0 | |a Lecture notes in computer science |v 6651 |w (DE-604)BV000000607 |9 6651 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3705651&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022649624&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022649624 | |
Datensatz im Suchindex
| _version_ | 1820875322764034048 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
THE EQUIVALENCE OF SAMPLING AND SEARCHING 1
SCOTT AARONSON
TOWARDS A COMPLEXITY THEORY OF RANDOMIZED SEARCH HEURISTICS:
RANKING-BASED BLACK-BOX COMPLEXITY 15
BENJAMIN DOERR AND CAROLA WIMEN
LEARNING READ-CONSTANT POLYNOMIALS OF CONSTANT DEGREE MODULO COMPOSITES
29
ARKADEV CHATTOPADHYAY. RICARD GAVALDA, KRISTOFFER ARNSFELT HANSEN, AND
DENIS THERIEN
ON THE ARITHMETIC COMPLEXITY OF EULER FUNCTION (INVITED TALK) 43
MANINDRA AGRAWAL
PSEUDO-RANDOM GRAPHS AND BIT PROBE SCHEMES WITH ONE-SIDED ERROR 50
ANDREI ROMASHCHENKO
IMPROVING THE SPACE-BOUNDED VERSION OF MUCHNIK'S CONDITIONAL COMPLEXITY
THEOREM VIA "NAIVE" DERAIIDOMIZATION 64
DANIIL MUSATOV
THE COMPLEXITY OF SOLVING REACHABILITY GAMES USING VALUE AND STRATEGY
ITERATION 77
KRISTOFFER ARNSFELT HANSEN. RASMUS IBSEN-JENSEN, AND PETER BRO MILTERSEN
FASTER POLYNOMIAL MULTIPLICATION VIA DISCRETE FOURIER TRANSFORMS 91
ALEXEY POSPELOV
KOLMOGOROV COMPLEXITY AS A LANGUAGE (INVITED TALK) 105
ALEXANDER SHEN
ALMOST FC-WISE INDEPENDENT SETS ESTABLISH HITTING SETS FOR WIDTH-3
1-BRANCHING PROGRAMS 120
JIN SIMA AND STANISLAV ZAK
THE COMPLEXITY OF INVERSION OF EXPLICIT GOLDREICH'S FUNCTION BY DPLL
ALGORITHMS 134
DMITRY ITSYKSON AND DMITRY SOKOLOV
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010703048
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
GATE ELIMINATION FOR LINEAR FUNCTIONS AND NEW FEEBLY SECURE
CONSTRUCTIONS 148
ALEX DAVYDOW AND SERGEY I. NIKOLENKO
FINITE GROUPS AND COMPLEXITY THEORY. FROM LENINGRAD TO SAINT PETERSBURG
VIA LAS VEGAS (INVITED TALK) 162
LDSZLO BABAI
ON MALTSEV DIGRAPHS 181
CATARINA CARVALHO, LASZLO EGRI, MARCEL JACKSON, AND TODD NIVEN
JOIN-REACHABILITY PROBLEMS IN DIRECTED GRAPHS 195
LOUKAS GEORGIADIS, STAVROS D. NIKOLOPOULOS, AND LEONIDAS PALIOS
GRAPHS OF BOUNDED TREEWIDTH CAN BE CANONIZED IN AC 1 209
FABIAN WAGNER
SNAKES AND CELLULAR AUTOMATA: REDUCTIONS AND INSEPARABILITY RESULTS
(INVITED TALK) 223
JARKKO KARI
COMPUTING THE CLIQUE-WIDTH OF LARGE PATH POWERS IN LINEAR TIME VIA A NEW
CHARACTERISATION OF CLIQUE-WIDTH 233
PINAR HEGGERNES, DANIEL MEISTER, AND UDI ROTICS
AN EXTENDED TREE-WIDTH NOTION FOR DIRECTED GRAPHS RELATED TO THE
COMPUTATION OF PERMANENTS 247
KLAUS MEER
COMPUTING VERTEX-SURJECTIVE HOMOMORPHISMS TO PARTIALLY REFLEXIVE TREES
261
PETR A. GOLOVACH, DANIEL PAULUSMA, AND JIAN SONG
COMPRESSED MEMBERSHIP IN AUTOMATA WITH COMPRESSED LABELS 275 MARKUS
LOHREY AND CHRISTIAN MATHISSEN
LOCALLY DECODABLE CODES (INVITED TALK) 289
SERGEY YEKHANIN
PRECEDENCE AUTOMATA AND LANGUAGES 291
VIOLETTA LONATI. DINO MANDRIOLI, AND MATTEO PRADELLA
ORBITS OF LINEAR MAPS AND REGULAR LANGUAGES 305
SERGEY TARASOV AND MIKHAIL VYALYI
SHARED-MEMORY SYSTEMS AND CHARTS 317
REMI MORIN
ON THE CSP DICHOTOMY CONJECTURE (INVITED TALK) 331
ANDREI A. BULATOV
IMAGE 3
TABLE OF CONTENTS XI
LR(0) CONJUNCTIVE GRAMMARS AND DETERMINISTIC SYNCHRONIZED ALTERNATING
PUSHDOWN AUTOMATA 345
TAMAR AIZIKOWITZ AND MICHAEL KAMINSKI
TWO-WAY AUTOMATA VERSUS LOGARITHMIC SPACE 359
CHRISTOS A. KAPOUTSIS
A POLYNOMIAL-TIME ALGORITHM FOR FINDING A MINIMAL CONFLICTING SET
CONTAINING A GIVEN ROW 373
GUILLAUME BLIN, ROMEO RIZZI, AND STEPHANE VIALETTE
TWO COMBINATORIAL CRITERIA FOR BWT IMAGES 385
KONSTANTIN M. LIKHOMANOV AND ARSENY M. SHUR
RECENT RESULTS ON POLYNOMIAL IDENTITY TESTING (INVITED TALK) 397 AMIR
SHPILKA
TOWARDS APPROXIMATE MATCHING IN COMPRESSED STRINGS: LOCAL SUBSEQUENCE
RECOGNITION 401
ALEXANDER TISKIN
THE OPTIMAL STRATEGY FOR THE AVERAGE LONG-LIVED CONSENSUS 415 ERIC
REMILA
IMPROVED ONLINE SCHEDULING IN MAXIMIZING THROUGHPUT OF EQUAL LENGTH JOBS
429
THANG NGUYEN KIM
RECOGNIZING SPARSE PERFECT ELIMINATION BIPARTITE GRAPHS 443
MATTHIJS BOMHOFF
A MULTIPLE-CONCLUSION CALCULUS FOR FIRST-ORDER GODEI LOGIC 456 ARNON
AVRON AND ORI LAHAV
AUTHOR INDEX 471 |
| any_adam_object | 1 |
| author_GND | (DE-588)1052254101 |
| building | Verbundindex |
| bvnumber | BV039105790 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)725042956 (DE-599)DNB1010703048 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| 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 cb4500</leader><controlfield tag="001">BV039105790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140617</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110628s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N13</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010703048</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642207112</subfield><subfield code="c">kart. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-20711-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642207111</subfield><subfield code="9">3-642-20711-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642207112</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80061700</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725042956</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010703048</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer science - theory and applications</subfield><subfield code="b">6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings</subfield><subfield code="c">Alexander Kulikov ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 469 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6651</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Sankt Petersburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulikov, Alexander S.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1052254101</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Computer Science Symposium in Russia</subfield><subfield code="n">6</subfield><subfield code="d">2011</subfield><subfield code="c">Sankt Petersburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16160809-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Computer Science</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6651</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6651</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3705651&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=022649624&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022649624</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Sankt Petersburg gnd-content |
| genre_facet | Konferenzschrift 2011 Sankt Petersburg |
| id | DE-604.BV039105790 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:46Z |
| institution | BVB |
| institution_GND | (DE-588)16160809-7 |
| isbn | 9783642207112 3642207111 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022649624 |
| oclc_num | 725042956 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XI, 469 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings Alexander Kulikov ... (ed.) Berlin [u.a.] Springer 2011 XI, 469 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6651 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Sankt Petersburg gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Kulikov, Alexander S. Sonstige (DE-588)1052254101 oth International Computer Science Symposium in Russia 6 2011 Sankt Petersburg Sonstige (DE-588)16160809-7 oth Erscheint auch als Online-Ausgabe Computer Science Lecture notes in computer science 6651 (DE-604)BV000000607 6651 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3705651&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022649624&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings |
| title_auth | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings |
| title_exact_search | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings |
| title_full | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings Alexander Kulikov ... (ed.) |
| title_fullStr | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings Alexander Kulikov ... (ed.) |
| title_full_unstemmed | Computer science - theory and applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings Alexander Kulikov ... (ed.) |
| title_short | Computer science - theory and applications |
| title_sort | computer science theory and applications 6th international computer science symposium in russia csr 2011 st petersburg russia june 14 18 2011 proceedings |
| title_sub | 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14 - 18, 2011 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Konferenzschrift 2011 Sankt Petersburg |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3705651&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022649624&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kulikovalexanders computersciencetheoryandapplications6thinternationalcomputersciencesymposiuminrussiacsr2011stpetersburgrussiajune14182011proceedings AT internationalcomputersciencesymposiuminrussiasanktpetersburg computersciencetheoryandapplications6thinternationalcomputersciencesymposiuminrussiacsr2011stpetersburgrussiajune14182011proceedings |