TRMM Observations of Intraseasonal Variability in Convective Regimes Over the Amazon By Walter A. Petersen1∗, Stephen W. Nesbitt2, Richard J. Blakeslee3, Robert Cifelli1, Paul Hein1, Steven A. Rutledge 1 1

Source URL: radarmet.atmos.colostate.edu

More Than Mere Survival Stephen Leake, October 2010 Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License http://creativecommons.org/licenses/by-nc-ndContra dancing; movement, music, joy

Source URL: www.stephe-leake.org

STATE OF SOUTH CAROLINA RETIREE HEALTH CARE PLAN ACTUARIAL VALUATION REPORT AS OF JUNE 30, 2011 June 1, 2012 Mr. Stephen R. Van Camp

Source URL: peba.sc.gov

Augur: Data-Parallel Probabilistic Modeling Jean-Baptiste Tristan1 , Daniel Huang2 , Joseph Tassarotti3 , Adam Pocock1 , Stephen J. Green1 , Guy L. Steele, Jr1 1 Oracle Labs {jean.baptiste.tristan, adam.pocock,

Source URL: jtristan.github.io

ACFC Meeting – Present Laura Charlton Stephen Nickel Jud Kirkness Steve O’Sullivan

Source URL: forestry.alaska.gov

Meeting of the IATI Governing Board Date: NovemberFINAL Minutes Attending: PWYF (Rupert Simons), Canada (Stephen Potter (opening only), Yohanna Loucheur), Secretariat (Carolyn Culey, Argjira Belegu-Shuku, Anneli

Source URL: www.aidtransparency.net

Hybrid Types, Invariants, and Refinements For Imperative Objects Cormac Flanagan Stephen N. Freund

Source URL: dept.cs.williams.edu

Comprehensive Experimental Analyses of Automotive Attack Surfaces Stephen Checkoway, Damon McCoy, Brian Kantor, Danny Anderson, Hovav Shacham, and Stefan Savage University of California, San Diego Karl Koscher, Alexei Cz

Source URL: www.autosec.org

• Technology
• Computing
• Security engineering
• Hacking
• Computer network security
• Wireless networking
• On-board diagnostics
• Global Positioning System
• Bluetooth
• Computer security
• Wi-Fi
• Electronic control unit

The Ruby Type Checker Brianna M. Ren John Toman T. Stephen Strickland

Source URL: www.cs.umd.edu

• Software engineering
• Computing
• Computer programming
• Programming languages
• Object-oriented programming languages
• Type theory
• Scripting languages
• High-level programming languages
• Type system
• Covariance and contravariance
• Ruby
• C Sharp

Civitas: Toward a Secure Voting System Michael R. Clarkson Stephen Chong Andrew C. Myers

Source URL: www.cs.cornell.edu