Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are related to them. In this paper we discuss these three concepts and analyze their relationships. The study of invariant functions and invariant relations ...

While cannabis is the most frequently found illegal drug in drivers killed or injured in motor vehicle collisions, little is know about driving under the influence of cannabis (DUIC) in the general population. We report information on the incidence of DUIC in a representative sample of the Ontario adult population. Among all drivers, 1.9% reported DUIC in the previous 12 months. Several factors...

AIM An unprecedented decline in alcohol consumption and road mortality has been observed recently in France, but it is still unclear whether or not these changes affected driving while alcohol-intoxicated (DWI). The objective of the study was to estimate prospectively trends of excessive speed on the roads, alcohol consumption and DWI between 2001 and 2007 in a large cohort of experienced drive...

The extent and nature of the use of medicinal drugs by drivers who had undergone a blood test on suspicion of driving under the influence of alcohol was ascertained by analysing some 40,000 case records in which the suspect had been questioned about the use of drugs. No chemical analyses were performed. 9.7% of the road users indicated that they used drugs in combination with alcohol, and more ...

The development of pedestrian signal lights made it a promising information center to distribute assist safe road crossing and provide “controlled engagement” improve waiting experience. To determine what types display, this study surveyed 555 pedestrians on frequency their existing activities while at red light preference several based results structured interview. Pedestrian reported 14 activ...

Back to table of contents Next article Taking IssueFull AccessPatients’ Civil Liberties: Improving Policies While Keeping the Patient at CenterMatthew L. Goldman, M.D., M.S., Lilanthi Balasuriya, Marvin S. Swartz, M.D.Matthew GoldmanSearch for more papers by this author, BalasuriyaSearch SwartzSearch M.D.Published Online:1 Jan 2021https://doi.org/10.1176/appi.ps.72103AboutSectionsView articleVi...