منابع مشابه
Call-by-Value, Call-by-Name and the Logic of Values
We introduce two logics for partiality, a call-by-value logic and a call-by-name logic. Both logics are variants of the logic of partial terms, an extension of the first-order predicate calculus by a definedness predicate. In our logics, however, quantifiers may only be instantiated to value terms and not to arbitrary, defined terms as in the logic of partial terms. We show that the call-by-val...
متن کاملReturn to play or riding the pachyderm: a call for standards based on Swiss values.
Return to play (RTP) is an important issue in sports medicine; it is the other ‘bookend’ to effective prevention strategies for sports injury. Both share common goals and challenges and are critical to the multiple stakeholders in elite sports. RTP decisions are made in classical injuries such as sports concussion or ACL reconstruction, and are also made in infectious disease such as mononucleo...
متن کاملWhen Reaching Our Potential Predicts Low Values: A Longitudinal Study about Performance and Organizational Values at Call Centres
The present study was executed using data from a call centre in Sweden in which agents answered questions regarding financial advice. The aim of the study was to investigate the relationship of call centre agents’ perceptions about the work climate and the organizational values to their performance, as measured by the organization. In Study 1, agents (N = 106) reported their experience about th...
متن کاملTesting Exponentiality Based on Record Values
We introduce a goodness of fit test for exponentiality based on record values. The critical points and powers for some alternatives are obtained by simulation.
متن کاملOn-call addiction.
©FSRH J Fam Plann Reprod Health Care 2010: 36(2) No no no no no no no. NO. I am not going to do on my own out-of-hours at night, or on the weekends for that matter. You must be high on some mind-altering chemical if you think I’m going back to something it took me over 10 years to kick. Like all addicts, I hadn’t chosen to become addicted to out-of-hours. My peers had introduced me to it. Go on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Academic Medicine
سال: 1996
ISSN: 1040-2446
DOI: 10.1097/00001888-199610000-00038