CASE STUDY Health Care Community Health Plan of Washington’s Responsive Patient Engagement

Source URL: www.genui.co

• Data security
• 104th United States Congress
• Data erasure
• Health Insurance Portability and Accountability Act
• Law
• Privacy law
• Customer support
• Website

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Humancomputer interaction
• User interface techniques
• Human behavior
• Software architecture
• Computing
• Computer
• User interface
• Graphical user interface

at e d Luis Ceze * Easy to ed

Source URL: unsat.cs.washington.edu

Hyperkernel: Push-Button Verification of an OS Kernel

Source URL: unsat.cs.washington.edu

• System software
• Computer architecture
• Software
• Kernel
• Xv6
• LLVM
• Linux kernel

June 25, 2018 House Committee on Science, Space, and Technology Subcommittee on Research and Technology Subcommittee on Energy 2321 Rayburn House Office Building Washington, DC 20515

Source URL: www.epic.org

• Government
• Privacy
• Technology
• Electronic Privacy Information Center
• Politics and technology
• Marc Rotenberg
• United States Department of Homeland Security
• Algorithmic transparency
• Artificial intelligence
• Freedom of Information Act

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Java platform
• Cross-platform software
• Object-oriented programming languages
• Software testing
• Java Database Connectivity
• JUnit
• D
• Test automation

why should iT MATTER TO ME? Many residents think census data is only used to determine the number of legislative seats Illinois has in Washington or Springfield. This is only a part of what is determined by census

Source URL: illinoiscensus2020.com

• Geography of Illinois
• Geography of the United States
• Illinois
• Genealogy
• Survey methodology
• Census
• Chicago

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

International Dial-In Numbers Three Lafayette Centre 1155 21st Street, NW Washington, DCCountry ARGENTINA

Source URL: www.cftc.gov

• Telephone numbers
• Toll-free telephone number

Federal Register / Vol. 67, NoWednesday, May 1, Notices Washington, DC 20549–0609. Copies of the submission, all subsequent

Source URL: 34.232.160.87

• 106th United States Congress
• African Growth and Opportunity Act
• Federal Highway Administration
• Federal Register
• Government
• United States