Jeff N Beal's Uploads

9 Uploads

Verification of cache-coherence protocols with TLA+
Verification of cache-coherence protocols with TLA+
  • 45 views
Healthcare utilization and costs of Veterans screened and assessed for traumatic brain injury
Healthcare utilization and costs of Veterans screened and assessed for traumatic brain injury
  • 16 views
Particle Physics in CCLRC
Particle Physics in CCLRC
  • 13 views
Money Management 1 Participant’s Guide
Money Management 1 Participant’s Guide
  • 10 views
School Based Services Medicaid Provider Liaison Meeting
School Based Services Medicaid Provider Liaison Meeting
  • 17 views
Persistence in High School and College
Persistence in High School and College
  • 23 views
Public Safety is Job #1 for Railroads
Public Safety is Job #1 for Railroads
  • 11 views
Effective Policies and Employee Handbooks
Effective Policies and Employee Handbooks
  • 20 views
REAL ESTATE COLLATERAL VALUATION
REAL ESTATE COLLATERAL VALUATION
  • 18 views