Computerised database monitors vaccine safety in Vietnam
نویسندگان
چکیده
منابع مشابه
Synthesizing Monitors for Safety Properties
The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic prog-ramming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events ...
متن کاملSynthesizing Monitors for Safety Properties
We present an extension of past time LTL with call/return atoms, called ptCaRet, together with a monitor synthesis algorithm for it. ptCaRet includes abstract variants of past temporal operators, which can express properties over traces in which terminated function or procedure executions are abstracted away into a call and a corresponding return. This way, ptCaRet can express safety properties...
متن کاملA computerised database system for bovine traceability.
A computerised database system to record the details of all individual cattle, cattle holdings, cattle movements and cattle tests has been in use in Northern Ireland since 1988. This system was originally used purely to administer official tuberculosis and brucellosis eradication schemes, but subsequent developments have employed the traceability function to extend the use of the system to qual...
متن کاملSpecifying safety monitors for autonomous systems
Autonomous systems aim to be versatile and able to perform tasks in various ill-defined environments. These systems are often critical since their failure can lead to large financial losses or human injury. In this context, classical safety measures are inflexible and are not sufficient to guarantee that the system behaves safely. For instance, emergency stop buttons, if used alone, transfer re...
متن کاملThe Vaccine Safety Datalink: successes and challenges monitoring vaccine safety.
The Vaccine Safety Datalink (VSD) is a collaborative project between the Centers for Disease Control and Prevention (CDC) and 9 health care organizations. Established in 1990, VSD is a vital resource informing policy makers and the public about the safety of vaccines used in the United States. Large linked databases are used to identify and evaluate adverse events in over 9 million individuals ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 2005
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.331.7513.368-c