Computing theory 98: proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Singapore ; Berlin ; Heidelberg ; New York ; Barcelona
Springer
1998
|
| Schriftenreihe: | Australian computer science communications
20,3 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 305 S. graph. Darst. |
| ISBN: | 9813083921 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012103745 | ||
| 003 | DE-604 | ||
| 005 | 20131016 | ||
| 007 | t| | ||
| 008 | 980804s1998 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 954080394 |2 DE-101 | |
| 020 | |a 9813083921 |c kart. : DM 122.00 |9 981-3083-92-1 | ||
| 035 | |a (OCoLC)40381506 | ||
| 035 | |a (DE-599)BVBBV012103745 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004.01 |2 21 | |
| 245 | 1 | 0 | |a Computing theory 98 |b proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 |c Xuemin Lin ed. |
| 246 | 1 | 3 | |a CATS'98 |
| 264 | 1 | |a Singapore ; Berlin ; Heidelberg ; New York ; Barcelona |b Springer |c 1998 | |
| 300 | |a X, 305 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Australian computer science communications |v 20,3 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 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 1998 |z Perth Westaustralien |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Lin, Xuemin |e Sonstige |0 (DE-588)1043024077 |4 oth | |
| 711 | 2 | |a Australasian Theory Symposium |n 4 |d 1998 |c Perth, Western Australia |j Sonstige |0 (DE-588)2171488-5 |4 oth | |
| 830 | 0 | |a Australian computer science communications |v 20,3 |w (DE-604)BV012103743 |9 20,3 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008195633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008195633 | |
Datensatz im Suchindex
| _version_ | 1820882399174590464 |
|---|---|
| adam_text |
COMPUTING THEORY '98 UB/TIB HANNOVER 117 096 237 TABLE OF CONTENTS
KEYNOTE ADDRESS 1. AVERAGE-CASE ANALYSIS USING KOLMOGOROV COMPLEXITY
(ABSTRACT) 1 MING LI AND PAUL VITDNYI KEYNOTE ADDRESS 2. APPLICATION OF
ALGORITHM THEORY TO DATA MINING 5 TAKESHI TOKUYAMA SESSION 1 3.
INDEPENDENT SPANNING TREES WITH SMALL DEPTHS IN ITERATED LINE DIGRAPHS
21 TORN HASUNUMA AND HIROSHI NAGAMOCHI 4. FINDING THE K MOST VITAL EDGES
WITH RESPECT TO MINIMUM SPANNING 37 TREES FOR K = 2 AND 3 WEIFA LIANG
AND GEORGE HAVAS 5. WORMHOLE ROUTING ON THE STAR GRAPH INTERCONNECTION
NETWORK 51 CHANG-BIAU YANG AND TUNG-HSING LIU 6. INFERRING ORDERED TREES
FROM LOCAL CONSTRAINTS 67 LESZEK GASIENIEC, JESPER JANSSON, AND ANDRZEJ
LINGAS SESSION 2 7. A NEW MEASURE OF DISORDER IN SORTING - ENTROPY 77
TADAO TAKAOKA 8. THE ULTIMATE HEAPSORT 87 JYRKI KATAJAINEN 9. DELAYED
CORRECTION - BINARY SEARCH WITH ERRORS MADE 97 VERY SIMPLE BUT EFFICIENT
FRANK ALBERS AND PETER DAMASCHKE TABLE OF CONTENTS, CONTINUED SESSION 3
10. DEFAULT-SENSITIVE PREPROCESSINGS FOR FINDING MAXIMA 107 MING-YANG
KAO, TAK WAI LAM, WIN KIN SUNG, AND HING FUNG TING 11. FILTERS FOR GRAPH
MATCHING 121 STEVE CALLAGHAN, GERARD ELLIS, AND JAMES HARLAND 12. AN
AVERAGE CASE ANALYSIS OF THE BRANCHING ALGORITHM FOR 137 SOLVING
^-SATISFIABILITY PROBLEMS YING TEH TSAI AND CHUAN YI TANG SESSION 4 13.
SEPARATING WEAKENING AND CONTRACTION IN A LINEAR LAMBDA CALCULUS 151
JOHN MARAIST 14. OPTIMISATION NETS 167 ERNIE ONG 15. A CLASSICAL
CATCH/THROW CALCULUS WITH TAG ABSTRACTIONS AND ITS 183 STRONG
NORMALIZABILITY YUKIYOSHI KAMEYAMA AND MASAHIKO SATO SESSION 5 16. ON
QUADRATIC POLYNOMIALS FOR THE NUMBER FIELD SIEVE 199 BRIAN MURPHY AND
RICHARD P. BRENT 17. ALIGNMENT OF LOW INFORMATION SEQUENCES 215 DAVID R.
POWELL, LLOYD ALLISON, TREVOR I. DIX, AND DAVID L. DOWE 18. ON THE
LINEAR INDEPENDENCE OF THE BIVARIATE DISCRETE 231 CONVOLUTION BLENDING
FUNCTIONS L. YOHANES STEFANUS AND RONALD GOLDMAN TABLE OF CONTENTS,
CONTINUED SESSION 6 19. A BANACH SPACE BASED SEMANTICS FOR PROBABILISTIC
CONCURRENT 245 CONSTRAINT PROGRAMMING ALESSANDRA DI PIERRO AND HERBERT
WIKLICKY 20. AUTOMATIC GENERATION OF VERIFIABLE CACHE COHERENCE
SIMULATION 261 MODELS FROM HIGH-LEVEL SPECIFICATIONS A.J. FIELD, P.G.
HARRISON, AND K. KANANI 21. COMPUTATIONAL COMPLEMENTARITY AND SOFIC
SHIFTS 277 CRITIAN S. CALUDE AND MARJO LIPPONEN 22. TREE MODELS AND
PROBABILISTIC POLYNOMIAL TIME COMPUTATIONS 291 A. PGOURTZIS, K. SHARMA,
AND E. ZACHOS |
| any_adam_object | 1 |
| author_GND | (DE-588)1043024077 |
| building | Verbundindex |
| bvnumber | BV012103745 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1998 |
| ctrlnum | (OCoLC)40381506 (DE-599)BVBBV012103745 |
| dewey-full | 004.01 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.01 |
| dewey-search | 004.01 |
| dewey-sort | 14.01 |
| 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">BV012103745</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131016</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980804s1998 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954080394</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9813083921</subfield><subfield code="c">kart. : DM 122.00</subfield><subfield code="9">981-3083-92-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40381506</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012103745</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computing theory 98</subfield><subfield code="b">proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998</subfield><subfield code="c">Xuemin Lin ed.</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">CATS'98</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore ; Berlin ; Heidelberg ; New York ; Barcelona</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 305 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="490" ind1="1" ind2=" "><subfield code="a">Australian computer science communications</subfield><subfield code="v">20,3</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</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">1998</subfield><subfield code="z">Perth Westaustralien</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">Lin, Xuemin</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1043024077</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Australasian Theory Symposium</subfield><subfield code="n">4</subfield><subfield code="d">1998</subfield><subfield code="c">Perth, Western Australia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2171488-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Australian computer science communications</subfield><subfield code="v">20,3</subfield><subfield code="w">(DE-604)BV012103743</subfield><subfield code="9">20,3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=008195633&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-008195633</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Perth Westaustralien gnd-content |
| genre_facet | Konferenzschrift 1998 Perth Westaustralien |
| id | DE-604.BV012103745 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:06:16Z |
| institution | BVB |
| institution_GND | (DE-588)2171488-5 |
| isbn | 9813083921 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008195633 |
| oclc_num | 40381506 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | X, 305 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Australian computer science communications |
| series2 | Australian computer science communications |
| spelling | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 Xuemin Lin ed. CATS'98 Singapore ; Berlin ; Heidelberg ; New York ; Barcelona Springer 1998 X, 305 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Australian computer science communications 20,3 Informatik Computer science Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Perth Westaustralien gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Lin, Xuemin Sonstige (DE-588)1043024077 oth Australasian Theory Symposium 4 1998 Perth, Western Australia Sonstige (DE-588)2171488-5 oth Australian computer science communications 20,3 (DE-604)BV012103743 20,3 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008195633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 Australian computer science communications Informatik Computer science Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 |
| title_alt | CATS'98 |
| title_auth | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 |
| title_exact_search | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 |
| title_full | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 Xuemin Lin ed. |
| title_fullStr | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 Xuemin Lin ed. |
| title_full_unstemmed | Computing theory 98 proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 Xuemin Lin ed. |
| title_short | Computing theory 98 |
| title_sort | computing theory 98 proceedings of the 4th australasian theory symposium cats 98 perth 2 3 february 1998 |
| title_sub | proceedings of the 4th Australasian Theory Symposium, CATS '98, Perth, 2 - 3 February 1998 |
| topic | Informatik Computer science Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Informatik Computer science Congresses Theoretische Informatik Konferenzschrift 1998 Perth Westaustralien |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008195633&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012103743 |
| work_keys_str_mv | AT linxuemin computingtheory98proceedingsofthe4thaustralasiantheorysymposiumcats98perth23february1998 AT australasiantheorysymposiumperthwesternaustralia computingtheory98proceedingsofthe4thaustralasiantheorysymposiumcats98perth23february1998 AT linxuemin cats98 AT australasiantheorysymposiumperthwesternaustralia cats98 |