|
" Mathematical and Engineering Methods in Computer Science : "
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747803
|
| Doc. No
|
:
|
b567754
|
| Main Entry
|
:
|
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
|
| Title & Author
|
:
|
Mathematical and Engineering Methods in Computer Science : : Revised Selected Papers\ 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
|
| Publication Statement
|
:
|
Heidelberg : Springer, 2013
|
| Series Statement
|
:
|
Lecture notes in computer science, 7721
|
| Page. NO
|
:
|
212 Seiten : Illustrationen.
|
| ISBN
|
:
|
3642360440
|
|
|
:
|
: 3642360467
|
|
|
:
|
: 9783642360442
|
|
|
:
|
: 9783642360466
|
| Contents
|
:
|
BDD-Based Software Model Checking with CPAchecker.- Security for Cyber-Physical Systems.- Quantum Secret Sharing with Graph States.- Testing Embedded Memories: A Survey.- Quicksort and Large Deviations.- Recent Results on Howard's Algorithm.- Advantage of Quantum Strategies in Random Symmetric XOR Games.- Verification of Liveness Properties on Closed Timed-Arc Petri Nets.- Fast Algorithm for Rank-Width.- Determinacy in Stochastic Games with Unbounded Payoff Functions.- Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games.- Controllable-Choice Message Sequence Graphs.- A Better Way towards Key Establishment and Authentication in Wireless Sensor Networks.- Parameterized Algorithms for Stochastic Steiner Tree Problems.- Action Investment Energy Games.- Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme.- Grover's Algorithm with Errors.- On WQO Property for Different Quasi Orderings of the Set of Permutations.- Towards User-Aware Multi-touch Interaction Layer for Group Collaborative Systems.
|
| Subject
|
:
|
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
|
| Subject
|
:
|
SPEZIELLE PROGRAMMIERMETHODEN
|
| Subject
|
:
|
THEORETISCHE INFORMATIK
|
| LC Classification
|
:
|
QA75.5T456 2013
|
| Added Entry
|
:
|
Antonín Kučera
|
| |