Jeff N Beal's Uploads

9 Uploads

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