Microsoft Word - WASHINGTON-#v7-WMBA_Letter_to_SEC_re__Regulatory_Service_Providers.DOC

Source URL: www.wmbaa.com

• Economy
• Finance
• Money
• Swap Execution Facility
• Commodity markets
• Financial markets
• National Futures Association
• Systemic risk
• Tradeweb
• Commodity Futures Trading Commission
• Financial Industry Regulatory Authority
• U.S. Securities and Exchange Commission

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box

Source URL: staff.washington.edu

• Health
• Computing
• Medical physics
• Formal methods
• Theoretical computer science
• Therapy
• Information and communications technology
• Radiation therapy
• Z notation
• Computer
• Software

Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data Alex Kale, Francis Nguyen, Matthew Kay, and Jessica Hullman Fig. 1. We present two experiments (E1 and E2) evaluating four different unce

Source URL: idl.cs.washington.edu

United States of America FEDERAL TRADE COMMISSION WASHINGTON, DCOFFICE OF CHAIRWOMAN

Source URL: www.edoeb.admin.ch

• Law
• Terms of service
• Government
• Privacy law
• Information privacy
• Federal Trade Commission
• United StatesEuropean Union relations
• Privacy policy
• Internet privacy
• EUUS Privacy Shield
• Privacy
• FTC regulation of behavioral advertising

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement

PDF Document

Source URL: unsat.cs.washington.edu

• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

United States Department of State Assistant Secretary ofState for Administration Washington, D. COCT

Source URL: foia.state.gov

• Freedom of Information Act
• Freedom of information in the United States
• Government
• Freedom of information laws by country
• Public records
• United States Department of State
• Law
• Information

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Logic in computer science
• Mathematical analysis
• Mathematics
• Formal methods
• Probability
• Semantics
• Approximate computing
• Mathematical optimization
• Pi
• Operational semantics