Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: unsat.cs.washington.edu

• Formal methods
• Theoretical computer science
• Automation
• Safety case
• Embedded system
• Electromagnetism
• Computing
• Carbon nanotubes
• Electrical engineering

Understanding User Interactions with Podcast Recommendations Delivered Via Voice Longqi Yang Michael Sobolev

Source URL: www.cs.cornell.edu

• Humancomputer interaction
• Recommender system
• Human behavior
• User interface techniques
• Computing
• User interface
• Usability
• Association for Computing Machinery
• Human communication
• GroupLens Research
• Collaborative filtering

Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst

Source URL: www.ieee-security.org

• Cryptography
• Cryptographic software
• Technical communication
• E-commerce
• Microsoft CryptoAPI
• Public-key cryptography
• Key
• Usability
• RSA
• Application programming interface
• Symmetric-key algorithm
• OpenSSL

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Integer factorization algorithms
• Quadratic forms
• Field theory
• Numerical linear algebra
• Quadratic sieve
• Factorization
• Factor base
• Ideal class group

Verified Characteristic Formulae for CakeML Arma¨el Gu´eneau1 , Magnus O. Myreen2 , Ramana Kumar3 , and Michael Norrish4 1 2

Source URL: cakeml.org

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Procedural programming languages
• Logic in computer science
• Separation logic
• Substructural logic
• ColdFusion Markup Language
• Functional programming
• Theorem
• Type theory

HONG KONG INSTITUTE FOR MONETARY RESEARCH MAPPING CHINA’S TIME-VARYING HOUSE PRICE LANDSCAPE Michael Funke, Danilo Leiva-Leon and Andrew Tsang

Source URL: www.hkimr.org

• Economy
• Macroeconomics
• Macroeconomic policy
• Business cycle
• Systemic risk
• Real estate
• Financial regulation
• Macroprudential regulation
• Real estate bubble
• Affordable housing
• Real estate economics
• Monetary policy

PDF Document

Source URL: www.michael-culture.org

Michael Abraham Awalt 1785 – 7 Jun 1835 Photo 1: Michael Awalt - provided by Becky Ann Woessner Litke

Source URL: www.barthgen.org

Synchronization by noise Benjamin Gess Michael Scheutzow

Source URL: www.bgess.de

XML Tree Models for Efficient Copy Operations Michael Kay Saxonica <> Abstract

Source URL: www.saxonica.com