Jeff N Beal's Uploads

9 Uploads

Verification of cache-coherence protocols with TLA+
Verification of cache-coherence protocols with TLA+
  • 51 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
  • 19 views
Particle Physics in CCLRC
Particle Physics in CCLRC
  • 18 views
Money Management 1 Participant’s Guide
Money Management 1 Participant’s Guide
  • 14 views
School Based Services Medicaid Provider Liaison Meeting
School Based Services Medicaid Provider Liaison Meeting
  • 20 views
Persistence in High School and College
Persistence in High School and College
  • 29 views
Public Safety is Job #1 for Railroads
Public Safety is Job #1 for Railroads
  • 14 views
Effective Policies and Employee Handbooks
Effective Policies and Employee Handbooks
  • 22 views
REAL ESTATE COLLATERAL VALUATION
REAL ESTATE COLLATERAL VALUATION
  • 24 views