42 research outputs found
Temporal Aspects of Smart Contracts for Financial Derivatives
Implementing smart contracts to automate the performance of high-value
over-the-counter (OTC) financial derivatives is a formidable challenge. Due to
the regulatory framework and the scale of financial risk if a contract were to
go wrong, the performance of these contracts must be enforceable in law and
there is an absolute requirement that the smart contract will be faithful to
the intentions of the parties as expressed in the original legal documentation.
Formal methods provide an attractive route for validation and assurance, and
here we present early results from an investigation of the semantics of
industry-standard legal documentation for OTC derivatives. We explain the need
for a formal representation that combines temporal, deontic and operational
aspects, and focus on the requirements for the temporal aspects as derived from
the legal text. The relevance of this work extends beyond OTC derivatives and
is applicable to understanding the temporal semantics of a wide range of legal
documentation
Implementation science: a role for parallel dual processing models of reasoning?
BACKGROUND: A better theoretical base for understanding professional behaviour change is needed to support evidence-based changes in medical practice. Traditionally strategies to encourage changes in clinical practices have been guided empirically, without explicit consideration of underlying theoretical rationales for such strategies. This paper considers a theoretical framework for reasoning from within psychology for identifying individual differences in cognitive processing between doctors that could moderate the decision to incorporate new evidence into their clinical decision-making. DISCUSSION: Parallel dual processing models of reasoning posit two cognitive modes of information processing that are in constant operation as humans reason. One mode has been described as experiential, fast and heuristic; the other as rational, conscious and rule based. Within such models, the uptake of new research evidence can be represented by the latter mode; it is reflective, explicit and intentional. On the other hand, well practiced clinical judgments can be positioned in the experiential mode, being automatic, reflexive and swift. Research suggests that individual differences between people in both cognitive capacity (e.g., intelligence) and cognitive processing (e.g., thinking styles) influence how both reasoning modes interact. This being so, it is proposed that these same differences between doctors may moderate the uptake of new research evidence. Such dispositional characteristics have largely been ignored in research investigating effective strategies in implementing research evidence. Whilst medical decision-making occurs in a complex social environment with multiple influences and decision makers, it remains true that an individual doctor's judgment still retains a key position in terms of diagnostic and treatment decisions for individual patients. This paper argues therefore, that individual differences between doctors in terms of reasoning are important considerations in any discussion relating to changing clinical practice. SUMMARY: It is imperative that change strategies in healthcare consider relevant theoretical frameworks from other disciplines such as psychology. Generic dual processing models of reasoning are proposed as potentially useful in identifying factors within doctors that may moderate their individual uptake of evidence into clinical decision-making. Such factors can then inform strategies to change practice
P3230 The association of blood glucose and diabetes with peripheral arterial disease involving different vascular territories: results from 628 246 people who attended vascular screening
Diabetes is an important risk factor for atherosclerotic vascular disease, and previous studies have also shown a positive continuous association between blood glucose concentrations throughout the “normal” reference range and cardiovascular disease. However, diabetes appears to be inversely associated with abdominal aortic aneurysm (AAA). This study reports associations between blood glucose concentration and diabetes with AAA, carotid stenosis and peripheral arterial disease (PAD)