Napredna pretraga

Pregled bibliografske jedinice broj: 528849

Towards an Automated Assistant for Clinical Investigations

Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, Ranko
Towards an Automated Assistant for Clinical Investigations // ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.).
Miami, SAD: ACM, 2012. str. 773-778 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

Towards an Automated Assistant for Clinical Investigations

Nigam, Vivek ; Ban Kirigin, Tajana ; Scedrov, Andre ; Talcott, Carolyn ; Kanovich, Max ; Perovic, Ranko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. - : ACM, 2012, 773-778


2nd ACM SIGHIT International Health Informatics Symposium (IHI 2012).

Mjesto i datum
Miami, SAD, 28-30.01.2012

Vrsta sudjelovanja

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Formal Methods ; Timed Collaborative Systems ; Clinical Investigations

Before a drug can be made available to the general public, its ef- fectiveness has to be experimentally evaluated. Experiments that in- volve human subjects are called Clinical Investigations (CIs). Since human subjects are involved, procedures for CIs are elaborated so that data required for validating the drug can be collected while ensuring the safety of subjects. Moreover, CIs are heavily regu- lated by public agencies, such as the Food and Drug Administra- tion (FDA). Violations of regulations or deviations from procedures should be avoided as they may incur heavy penalties and more im- portantly may compromise the health of subjects. However, CIs are prone to human error, since CIs are carried out by the study team, which might be overloaded with other tasks, such as hospital and/or pharmacy duties, other trials, etc. In order to avoid discrep- ancies, we propose developing an automated assistant for helping all the parties to correctly carry out CIs as well as to detect and prevent discrepancies as early as possible. This way the proposed automated assistant would minimize error, and therefore increase the safety of the involved subjects. This paper takes the first steps towards that direction. In particular, we propose a model for collab- orative systems with explicit time, called Timed Local State Transi- tion Systems (TLSTS), and argue that it can be used for specifying procedures and regulations for CIs, which mention time explicitly. Finally we show how to implement a TLSTS specification using Maude, an existing computational tool based on rewriting.

Izvorni jezik

Znanstvena područja
Matematika, Filozofija


Projekt / tema
009-0091328-0941 - Logika i stvarnost (Majda Trobok, )
120-1203164-3074 - Matematička logika i primjene (Zvonimir Šikić, )

Filozofski fakultet, Rijeka,
Fakultet strojarstva i brodogradnje, Zagreb,
Sveučilište u Rijeci - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)