Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

Source URL: arxiv.org

• Observational astronomy
• Astronomy
• Parallel computing
• Bayesian network
• Sloan Digital Sky Survey
• Computing
• Bayesian inference
• Astronomical survey
• Gravitational lens
• Computer cluster

12 FebruaryWesley, Jodi, Susan (subbing for Jay), Greg, Yvonne] absent [Aaron, Jay, Eileen, Ben] Update from Technology Team [Jodi] Jodi: Ryan, Ben, Matt, and Steve convened at VCU 11 February. The Team worked on

Source URL: pages.shanti.virginia.edu

Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

Source URL: www.cs.bham.ac.uk

Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Source URL: www.cs.bham.ac.uk

Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

Source URL: www.cs.bham.ac.uk.

Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Source URL: www.cs.bham.ac.uk.

Non-Electrophonic Cyborg Instruments: Playing on Everyday Things as if the Whole World were One Giant Musical Instrument Steve Mann, Ryan Janzen, Raymond Lo, and James Fung Dept. of Electrical and Computer Engineering Un

Source URL: wearcam.org

Fluid Samplers: Sampling music keyboards having fluidly continuous action and sound, without being electrophones Steve Mann, Ryan Janzen Dept. of Electrical and Computer Engineering University of Toronto

Source URL: wearcam.org

WATER JETS AS PIXELS: WATER FOUNTAINS AS BOTH SENSORS AND DISPLAYS Steve Mann, Michael Georgas, Ryan Janzen Department of Electrical and Computer Engineering University of Toronto, 10 Kings College Road, Toronto, Canada,

Source URL: www.eyetap.org

Hydraulophone Design Considerations: Absement, Displacement, and Velocity-Sensitive Music Keyboard in which each key is a Water Jet Steve Mann, Ryan Janzen, Mark Post University of Toronto, Dept. of Electrical and Compu

Source URL: www.eyetap.org