GLOBAL WELL-POSEDNESS FOR A SLIGHTLY SUPERCRITICAL SURFACE QUASI-GEOSTROPHIC EQUATION MICHAEL DABKOWSKI, ALEXANDER KISELEV, AND VLAD VICOL Dedicated to Peter Constantin on occasion of his 60th birthday A BSTRACT. We use

Source URL: web.math.princeton.edu

nap new academic press Peter Bußjäger, Alexander Balthasar, Niklas Sonntag (Hg) Beiträge zur Reform der Demokratie in

Source URL: www.foederalismus.at

Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain Bernardo David? , Peter Gaˇzi?? , Aggelos Kiayias? ? ? , and Alexander Russell† November 14, 2017 Abstract. We present “Ouroboros Pr

Source URL: eprint.iacr.org

• Cryptocurrencies
• Cryptography
• Blockchain
• Pseudorandom permutation
• Cardano
• Bitcoin
• Public-key cryptography
• Proof-of-stake
• Digital signature
• Ethereum
• Verifiable random function
• Peercoin

Linear kernels for graphs excluding a topological minor Alexander Langer, Felix Reidl, Somnath Sikdar, Peter Rossmanith Lehr- und Forschungsgebiet Theoretische Informatik

Source URL: tcs.rwth-aachen.de

[Source: NCR, http://ncronline.org/news/accountability/seattle-archbishop-j-peter-sartain-alexander-brunettharry-quigg-abuse] December 20, 2004 Most Reverend Alex J Brunett Archbishop of Seattle

Source URL: www.bishop-accountability.org

TENISOVÝ TRÉNINK. Příručka pro trenéry. Výkon – kondice – zdraví. Alexander Ferrauti, Peter Maier, Karl WeberPřeklad z německého originálu Handbuch für Tennistraining. Leistung – Athletik –

Source URL: cztenis.cz

From: WikiReal / Dr. Christoph Engelhardt To: ; Morhard Peter ; Schlotz-Pissarek Oliver ; Fundel Georg ; Kuhn Fritz ; Wopperer Jeanette ; Bopp Thomas ; Hermann Winfried ; Paetzold Peter ; Fischer Silvia ; Kotz Alexander

Source URL: www.wikireal.org

Universe Types for Topology and Encapsulation Dave Cunningham1 , Werner Dietl2 , Sophia Drossopoulou1 , Adrian Francalanza3 , Peter M¨ uller2 , and Alexander J. Summers1 1

Source URL: pubs.doc.ic.ac.uk

Universe Types for Topology and Encapsulation Dave Cunningham1 , Werner Dietl2 , Sophia Drossopoulou1 , Adrian Francalanza3 , Peter M¨ uller2 , and Alexander J. Summers1 1

Source URL: staff.um.edu.mt

Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial

Source URL: www.doc.ic.ac.uk