Mathematical and engineering methods in computer science: Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7721 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XII, 212 S. graph. Darst. |
| ISBN: | 3642360440 9783642360442 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040800702 | ||
| 003 | DE-604 | ||
| 005 | 20130326 | ||
| 007 | t| | ||
| 008 | 130306s2013 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 1028990561 |2 DE-101 | |
| 020 | |a 3642360440 |9 3-642-36044-0 | ||
| 020 | |a 9783642360442 |9 978-3-642-36044-2 | ||
| 035 | |a (OCoLC)835359119 | ||
| 035 | |a (DE-599)DNB1028990561 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 004 |2 22/ger | |
| 245 | 1 | 0 | |a Mathematical and engineering methods in computer science |b Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a XII, 212 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7721 | |
| 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 2012 |z Znaim |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 | |5 DE-604 | |
| 700 | 1 | |a Kučera, Antonín |d 1971- |e Sonstige |0 (DE-588)13874484X |4 oth | |
| 711 | 2 | |a MEMICS |n 8 |d 2012 |c Znojmo |j Sonstige |0 (DE-588)1032023996 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-36046-6 |
| 830 | 0 | |a Lecture notes in computer science |v 7721 |w (DE-604)BV000000607 |9 7721 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4212941&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=025780815&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025780815 | |
Record in the Search Index
| _version_ | 1820875445979054080 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
BDD-BASED SOFTWARE MODEL CHECKING WITH C P A C H E C K E R 1
DIRK BEYER AND ANDREAS STAHLBAUER
SECURITY FOR CYBER-PHYSICAL SYSTEMS (EXTENDED ABSTRACT) 12
DIETER GOLLMANN
QUANTUM SECRET SHARING WITH GRAPH STATES 15
SYLVAIN GRAVIER, JEROME JAVELLE, MEHDI MHALLA, AND SIMON PERDRIX
TESTING EMBEDDED MEMORIES: A SURVEY 32
SAID HAMDIOUI
QUICKSORT AND LARGE DEVIATIONS 43
COLIN MCDIARMID
RECENT RESULTS ON HOWARD'S ALGORITHM 53
PETER BRO MILTER SEN
ADVANTAGE OF QUANTUM STRATEGIES IN RANDOM SYMMETRIC X O R GAMES 57
ANDRIS AMBAINIS. JANIS IRAIDS. DMITRY KRAVCHENKO, AND MADARS VIRZA
VERIFICATION OF LIVENESS PROPERTIES ON CLOSED TIMED-ARC PETRI NETS 69
MATHIAS ANDERSEN. HEINE GATTEN LARSEN, J I N SRBA, MATHIAS GRUND
S0RENSEN. AND JAKOB HAAHR TAANKVIST
FAST ALGORITHM FOR RANK-WIDTH 82
MARTIN BEYFI
DETERMINACY IN STOCHASTIC GAMES WITH UNBOUNDED PAYOFF FUNCTIONS . . . 94
TOMAS BRAZDIL. ANTONIN KUCERA, AND P E T R NOVOTNY
STRATEGY COMPLEXITY OF FINITE-HORIZON MARKOV DECISION PROCESSES AND
SIMPLE STOCHASTIC GAMES 106
KRISHNENDU CHATTERJEE AND RASMUS IBSEN-JENSEN
CONTROLLABLE-CHOICE MESSAGE SEQUENCE GRAPHS 118
MARTIN CHMELIK AND VOJTECH REHAK
A BETTER WAY TOWARDS KEY ESTABLISHMENT AND AUTHENTICATION IN WIRELESS
SENSOR NETWORKS 131
FILIP JUMECKA AND VASHEK MATYAS
HTTP://D-NB.INFO/1028990561
IMAGE 2
X I I TABLE OF CONTENTS
PARAMETERIZED ALGORITHMS FOR STOCHASTIC STEINER TREE PROBLEMS 143
DENIS KURZ, PETRA MUTZEL, AND BERND ZEY
ACTION INVESTMENT ENERGY GAMES 155
K I M G. LARSEN, SIMON LAURSEN. AND J I F I SRBA
CIPHERTEXT-ONLY ATTACK ON GENTRY-HALEVI IMPLEMENTATION OF SOMEWHAT
HOMOMORPHIC SCHEME 168
MICHAL MIKUS AND MAREK SYS
GROVER'S ALGORITHM WITH ERRORS 180
ANDRIS AMBAINIS, ARTURS BACKURS, NIKOLAJS NAHIMOVS, AND ALEXANDER RIVOSH
ON WQO PROPERTY FOR DIFFERENT QUASI ORDERINGS OF THE SET OF PERMUTATIONS
190
SANDRA OSE AND JURIS VIKSNA
TOWARDS USER-AWARE MULTI-TOUCH INTERACTION LAYER FOR GROUP COLLABORATIVE
SYSTEMS 200
VIT RUSNAK, LUKAS RUCKA, AND P E T R HOLUB
A U T H O R I N D E X 213 |
| any_adam_object | 1 |
| author_GND | (DE-588)13874484X |
| building | Verbundindex |
| bvnumber | BV040800702 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)835359119 (DE-599)DNB1028990561 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV040800702</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130326</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130306s2013 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1028990561</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642360440</subfield><subfield code="9">3-642-36044-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642360442</subfield><subfield code="9">978-3-642-36044-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835359119</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1028990561</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical and engineering methods in computer science</subfield><subfield code="b">Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 212 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">Lecture notes in computer science</subfield><subfield code="v">7721</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">2012</subfield><subfield code="z">Znaim</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kučera, Antonín</subfield><subfield code="d">1971-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13874484X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MEMICS</subfield><subfield code="n">8</subfield><subfield code="d">2012</subfield><subfield code="c">Znojmo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1032023996</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="z">978-3-642-36046-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7721</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7721</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=4212941&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=025780815&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-025780815</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Znaim gnd-content |
| genre_facet | Konferenzschrift 2012 Znaim |
| id | DE-604.BV040800702 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:44Z |
| institution | BVB |
| institution_GND | (DE-588)1032023996 |
| isbn | 3642360440 9783642360442 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025780815 |
| oclc_num | 835359119 |
| open_access_boolean | |
| owner | DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XII, 212 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Berlin [u.a.] Springer 2013 XII, 212 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7721 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Znaim gnd-content Informatik (DE-588)4026894-9 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Kučera, Antonín 1971- Sonstige (DE-588)13874484X oth MEMICS 8 2012 Znojmo Sonstige (DE-588)1032023996 oth Erscheint auch als Online-Ausgabe 978-3-642-36046-6 Lecture notes in computer science 7721 (DE-604)BV000000607 7721 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4212941&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=025780815&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Lecture notes in computer science 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 | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_auth | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_exact_search | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_full | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_fullStr | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_full_unstemmed | Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| title_short | Mathematical and engineering methods in computer science |
| title_sort | mathematical and engineering methods in computer science antonin kucera eds 8th international doctoral workshop memics 2012 znojmo czech republic october 25 28 2012 revised selected papers |
| title_sub | Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Theoretische Informatik Informatik Konferenzschrift 2012 Znaim |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4212941&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=025780815&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kuceraantonin mathematicalandengineeringmethodsincomputerscienceantoninkuceraeds8thinternationaldoctoralworkshopmemics2012znojmoczechrepublicoctober25282012revisedselectedpapers AT memicsznojmo mathematicalandengineeringmethodsincomputerscienceantoninkuceraeds8thinternationaldoctoralworkshopmemics2012znojmoczechrepublicoctober25282012revisedselectedpapers |