PCK50: principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York
Association for Computing Machinery
2003
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | v, 110 p. ill. |
| ISBN: | 1581136048 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019827886 | ||
| 003 | DE-604 | ||
| 005 | 20050622 | ||
| 007 | t| | ||
| 008 | 050601s2003 xxua||| |||| 11||| eng d | ||
| 010 | |a 2003273720 | ||
| 020 | |a 1581136048 |9 1-581-13604-8 | ||
| 035 | |a (OCoLC)53203733 | ||
| 035 | |a (DE-599)BVBBV019827886 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-91G |a DE-83 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004 |2 22 | |
| 084 | |a SS 1800 |0 (DE-625)143376: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a Paris C. Kanellakis Memorial Workshop on the Occasion of his 50th Birthday |d 2003 |c San Diego, Calif. |j Verfasser |0 (DE-588)10071998-3 |4 aut | |
| 245 | 1 | 0 | |a PCK50 |b principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 |c Organizing committee: Dina Q. Goldin ... |
| 246 | 1 | 3 | |a PCK 50 |
| 246 | 1 | 3 | |a Principles of computing & knowledge |
| 246 | 1 | 3 | |a Principles of computing and knowledge |
| 264 | 1 | |a New York |b Association for Computing Machinery |c 2003 | |
| 300 | |a v, 110 p. |b ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 600 | 1 | 4 | |a Kanellakis, P. C <1953-> |q (Paris C.) |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Electronic data processing |v Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z San Diego Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kanellakis, Paris C. |4 hnr | |
| 700 | 1 | |a Goldin, Dina Q. |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m OEBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013153018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013153018 | |
Record in the Search Index
| _version_ | 1820867920214884352 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
IN MEMORIAM: PARIS C. KANELLAKIS 1
S. ABITEBOUL (STANFORD UNIVERSITY AND INSTITUT NATIONAL DE RECHERCHE EN
INFORMATIQUE ET AUTOMATIQUE), G. M. KUPER (UNIVERSITA DI TRENTO), A. A.
MAIRSON (BRANDEIS UNIVERSITY), H. G. SHVARTSMAN (UNIVERSITY OF
CONNECTICUT AND MASSACHUSETTS INSTITUTE OF TECHNOLOGY), M. Y. VARDI
(RICE UNIVERSITY)
ADVANCES IN DNA SEQUENCING 9
G. MYERS (UNIVERSITY OF CALIFORNIA AT BERKELEY)
THE NEW PROBLEMS 10
C. H. PAPADIMITRIOU (UNIVERSITY OF CALIFORNIA AT BERKELEY)
A CALL TO REGULARITY 11
M. Y. VARDI (RICE UNIVERSITY)
A RETROSPECTIVE ON CONSTRAINT DATABASES 12
P. REVESZ (UNIVERSITY OF NEBRASKA AT LINCOLN)
STATIC REASONING ABOUT PROGRAMS AND QUERIES 28
T. MILLSTEIN (UNIVERSITY OF WASHINGTON)
PARALLEL DIGITAL HALFTONING BY ERROR-DIFFUSION 35
P. T. METAXAS (WELLESLEY COLLEGE)
EXTENDING THE CONSTRAINT DATABASE FRAMEWORK 42
D. GOLDIN, A. KUTLU, M. SONG (UNIVERSITY OF CONNECTICUT)
ON THE COMPUTATIONAL COMPLEXITY OF BISIMULATION, REDUX 55
F. MOLLER (UNIVERSITY OF WALES SWANSEA), S. A. SMOLKA (SUNY AT STONY
BROOK)
DISTRIBUTED COOPERATION AND ADVERSITY: COMPLEXITY TRADE-OFFS 60
C. GEORGIOU, A. RUSSELL (UNIVERSITY OF CONNECTICUT), A. A. SHVARTSMAN
(UNIVERSITY OF CONNECTICUT AND MASSACHUSETTS INSTITUTE OF TECHNOLOGY)
FROM CTLTO DATALOG 72
F. AFRATI, T. ANDRONIKOS, V. PAVLAKI, E. FOUSTOUCOS (NTUA), I.
GUESSARIAN (UNIVERSITE PARIS 6)
THE SIDE-CHAIN POSITIONING PROBLEM: A SEMIDEFINITE PROGRAMMING
FORMULATION WITH NEW ROUNDING SCHEMES 86
B. CHAZELLE, C. KINGSFORD, M. SINGH (PRINCETON UNIVERSITY)
COMET IN CONTEXT 95
L. MICHEL (UNIVERSITY OF CONNECTICUT), P. VAN HENTENRYCK (BROWN
UNIVERSITY)
AUTHOR INDEX 108 |
| any_adam_object | 1 |
| author_corporate | Paris C. Kanellakis Memorial Workshop on the Occasion of his 50th Birthday San Diego, Calif |
| author_corporate_role | aut |
| author_facet | Paris C. Kanellakis Memorial Workshop on the Occasion of his 50th Birthday San Diego, Calif |
| author_sort | Paris C. Kanellakis Memorial Workshop on the Occasion of his 50th Birthday San Diego, Calif |
| building | Verbundindex |
| bvnumber | BV019827886 |
| 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 1800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)53203733 (DE-599)BVBBV019827886 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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 a2200000zc 4500</leader><controlfield tag="001">BV019827886</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050622</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050601s2003 xxua||| |||| 11||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003273720</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581136048</subfield><subfield code="9">1-581-13604-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53203733</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019827886</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</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</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1800</subfield><subfield code="0">(DE-625)143376:</subfield><subfield code="2">rvk</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">Paris C. Kanellakis Memorial Workshop on the Occasion of his 50th Birthday</subfield><subfield code="d">2003</subfield><subfield code="c">San Diego, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10071998-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">PCK50</subfield><subfield code="b">principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003</subfield><subfield code="c">Organizing committee: Dina Q. Goldin ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">PCK 50</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Principles of computing & knowledge</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Principles of computing and knowledge</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">v, 110 p.</subfield><subfield code="b">ill.</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="600" ind1="1" ind2="4"><subfield code="a">Kanellakis, P. C <1953-></subfield><subfield code="q">(Paris C.)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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=" " ind2="4"><subfield code="a">Electronic data processing</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)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2003</subfield><subfield code="z">San Diego Calif.</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">Kanellakis, Paris C.</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Goldin, Dina Q.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV 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=013153018&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-013153018</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 2003 San Diego Calif. gnd-content |
| genre_facet | Festschrift Konferenzschrift 2003 San Diego Calif. |
| id | DE-604.BV019827886 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:16:08Z |
| institution | BVB |
| institution_GND | (DE-588)10071998-3 |
| isbn | 1581136048 |
| language | English |
| lccn | 2003273720 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013153018 |
| oclc_num | 53203733 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-83 |
| physical | v, 110 p. ill. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| spelling | Paris C. Kanellakis Memorial Workshop on the Occasion of his 50th Birthday 2003 San Diego, Calif. Verfasser (DE-588)10071998-3 aut PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 Organizing committee: Dina Q. Goldin ... PCK 50 Principles of computing & knowledge Principles of computing and knowledge New York Association for Computing Machinery 2003 v, 110 p. ill. txt rdacontent n rdamedia nc rdacarrier Kanellakis, P. C <1953-> (Paris C.) Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 2003 San Diego Calif. gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Kanellakis, Paris C. hnr Goldin, Dina Q. Sonstige oth OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013153018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 Kanellakis, P. C <1953-> (Paris C.) Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4016928-5 (DE-588)1071861417 |
| title | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 |
| title_alt | PCK 50 Principles of computing & knowledge Principles of computing and knowledge |
| title_auth | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 |
| title_exact_search | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 |
| title_full | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 Organizing committee: Dina Q. Goldin ... |
| title_fullStr | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 Organizing committee: Dina Q. Goldin ... |
| title_full_unstemmed | PCK50 principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 Organizing committee: Dina Q. Goldin ... |
| title_short | PCK50 |
| title_sort | pck50 principles of computing knowledge paris c kanellakis memorial workshop on the occasion of his 50th birthday san diego california usa june 8th 2003 |
| title_sub | principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 |
| topic | Kanellakis, P. C <1953-> (Paris C.) Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Kanellakis, P. C <1953-> (Paris C.) Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Theoretische Informatik Festschrift Konferenzschrift 2003 San Diego Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013153018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT parisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocalif pck50principlesofcomputingknowledgeparisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocaliforniausajune8th2003 AT kanellakisparisc pck50principlesofcomputingknowledgeparisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocaliforniausajune8th2003 AT goldindinaq pck50principlesofcomputingknowledgeparisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocaliforniausajune8th2003 AT parisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocalif pck50 AT kanellakisparisc pck50 AT goldindinaq pck50 AT parisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocalif principlesofcomputingknowledge AT kanellakisparisc principlesofcomputingknowledge AT goldindinaq principlesofcomputingknowledge AT parisckanellakismemorialworkshopontheoccasionofhis50thbirthdaysandiegocalif principlesofcomputingandknowledge AT kanellakisparisc principlesofcomputingandknowledge AT goldindinaq principlesofcomputingandknowledge |