Related Experiment Video
Updated: Aug 29, 2026

Collecting Sleep, Circadian, Fatigue, and Performance Data in Complex Operational Environments
Published on: August 8, 2019
A mathematical specification of the New Deal on junior doctors' hours
1Accident and Emergency Department, Oxford Radcliffe Hospitals NHS Trust, UK. Bryan.Todd@orh.nhs.uk
Objectives:
Our objective is to make the New Deal on junior doctors' hours sufficiently precise that the definitions may be used as a basis for computer software that checks the compliance of rotas or that automatically generates compliant rotas.
Methods:
We formalize the clauses of the New Deal, as relevant to 'full shifts', using the Z specification language.
Results:
The mathematical definitions are simple and concise.
Conclusions:
Mathematical specification is a useful way to express constraints on rotas unambiguously.
Related Concept Videos
Measurement: Standard Units
Guidelines for Nursing Documentation II
Timely documentation is crucial to ensure continuity of care for patients. Any delays in recording or reporting medical information can result in medical errors and even adverse patient outcomes. From medication administration to diagnostic test results, every detail must be accurately and promptly documented to provide the best possible care for patients.
Numerical Calculations
The solution to a problem is obtained using different methods. While manually solving algebraic symbols is one of the most common methods, the graphical method is often preferred. Computers...
Indeterminate Forms and L’Hôpital’s Rule
Standards of Care I
Uniform Distribution