17 research outputs found
Subspaces: factorization and communication
SIGLETIB: RN 4237 (207) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Applicative state transition systems in LISP-like notation
SIGLETIB: RN 4237 (152) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
On automated verification of probabilistic programs
We introduce a simple procedural probabilistic programming language which is suitable for coding a wide variety of randomised algorithms and protocols. This language is interpreted over finite datatypes and has a decidable equivalence problem. We have implemented an automated equivalence checker, which we call apex, for this language, based on game semantics. We illustrate our approach with three non-trivial case studies: (i) Herman’s self-stabilisation algorithm; (ii) an analysis of the average shape of binary search trees obtained by certain sequences of random insertions and deletions; and (iii) the problem of anonymity in the Dining Cryptographers protocol. In particular, we record an exponential speed-up in the latter over state-of-the-art competing approaches
Past, present, and future of mars polar science: Outcomes and outlook from the 7th international conference on mars polar science and exploration
Mars Polar Science is a subfield of Mars science that encompasses all studies of the cryosphere of Mars and its interaction with the Martian environment. Every 4 yr, the community of scientists dedicated to this subfield meets to discuss new findings and debate open issues in the International Conference on Mars Polar Science and Exploration (ICMPSE). This paper summarizes the proceedings of the seventh ICMPSE and the progress made since the sixth edition. We highlight the most important advances and present the most salient open questions in the field today, as discussed and agreed upon by the participants of the conference. We also feature agreed-upon suggestions for future methods, measurements, instruments, and missions that would be essential to answering the main open questions presented. This work is thus an overview of the current status of Mars Polar Science and is intended to serve as a road map for the direction of the field during the next 4 yr and beyond, helping to shape its contribution within the larger context of planetary science and exploration. © 2021. The Author(s).Open access journalThis item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at [email protected]