Abstract:
:This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert systems, where a fixed (and usually small) response time must be guaranteed. One such expert system, Fagan's VM, is reviewed, and a delineation is given of how to formally describe and reason with time in medical protocols. It is shown that Petri net theory is a useful tool to check the correctness of formalised protocols.
journal_name
Comput Methods Programs Biomedjournal_title
Computer methods and programs in biomedicineauthors
Blom JAdoi
10.1016/0169-2607(96)01761-0subject
Has Abstractpub_date
1996-10-01 00:00:00pages
35-49issue
1-2eissn
0169-2607issn
1872-7565pii
0169-2607(96)01761-0journal_volume
51pub_type
杂志文章,评审abstract::Radiologic and clinical practice can be enhanced by improved access to multimodal image information. Analysis, visualization, method characteristic image processing and image synthesis is needed not only for the interpretation of the images but also for performing effective consultations with clinical colleagues and c...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/0169-2607(94)90070-1
更新日期:1994-06-01 00:00:00
abstract:BACKGROUND AND OBJECTIVES:Diagnosis of Parkinson's with higher accuracy is always desirable to slow down the progression of the disease and improved quality of life. There are evidences of inherent neurological differences between male and females as well as between elderly and adults. However, the potential of such ge...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2019.105305
更新日期:2020-06-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:Glaucoma, a worldwide eye disease, may cause irreversible vision damage. If not treated properly at an early stage, glaucoma eventually deteriorates into blindness. Various glaucoma screening methods, e.g. Ultrasound Biomicroscopy (UBM), Optical Coherence Tomography (OCT), and Heidelberg Retina...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2020.105717
更新日期:2020-12-01 00:00:00
abstract::Vascular catheterization is a common procedure in clinical medicine. It is normally performed by a specialist using an X-ray fluoroscopic guide and contrast-media. In the present paper, an image-guided navigation system which indicates a path providing guidance to the desired target inside the vascular tree is describ...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2007.07.009
更新日期:2007-11-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:In most countries, the higher death rates are due to cardiovascular disease and stroke. These problems often derive from irregular blood flow and the circulatory system disorder. METHODS:In this paper, the blood flow is simulated in a created aneurysm in the artery upon using Lattice Boltzmann...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2019.105312
更新日期:2020-04-01 00:00:00
abstract::There are numerous programs ongoing to analyze environmental exposure of humans to xenobiotic chemicals via biomonitoring measurements (e.g.: EU ESBIO, COPHES; US CDC NHANES; Canadian Health Measures Survey). The goal of these projects is to determine relative trends in exposure to chemicals, across time and subpopula...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2012.04.014
更新日期:2012-11-01 00:00:00
abstract:BACKGROUND/OBJECTIVE:Assessing prognosis for acetaminophen-induced acute liver failure (APAP-ALF) patients during the first week of hospitalization often presents significant challenges. Current models such as the King's College Criteria (KCC) and the Acute Liver Failure Study Group (ALFSG) Prognostic Index are develop...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2019.04.012
更新日期:2019-07-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:The presence of circulating tumor cells in the patient's blood is a clinical factor that indicates the initiation of metastasis. METHODS:In this paper, a microfluidic device is designed to separate, enumerate, and to diagnose cancer cells from the patient's blood sample. Here, we present a new...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2019.105147
更新日期:2020-03-01 00:00:00
abstract::How to distinguish 1 billion individuals by an identifier consisting of eight characters, allowing a reasonable amount of error detection or even error correction? Our solution of this problem is an optimal code over a 32-character alphabet that detects up to two errors and corrects one error as well as a transpositio...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2005.03.004
更新日期:2005-07-01 00:00:00
abstract::Organisational changes take place at three different levels: at the department, in the hospital and in the county. Important changes locally are the easy and fast access to better images, a rise in production and a possible reduction in patient stay. The radiological services to the community improve, reading can be d...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/s0169-2607(01)00132-8
更新日期:2001-07-01 00:00:00
abstract::A veterinary anatomy tutoring system was developed by using Knowledge Pro, an object-oriented software development tool with hypermedia capabilities, and MS Access, a relational database. Communication between them is facilitated by using the Structured Query Language (SQL). The architecture of the system is based on ...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/0169-2607(94)90045-0
更新日期:1994-02-14 00:00:00
abstract:BACKGROUND AND OBJECTIVE:The paper presents a novel procedure based on 3D scanning and 3D modelling to automatically assess linear and volumetric measurements of an arm and to be further applied to patients affected by post breast cancer lymphedema. The aim is the creation of a virtual platform easily usable by medical...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2020.105795
更新日期:2021-01-01 00:00:00
abstract::DIMSUM, an acronym for DIMension of a SUM of exponentials, is a highly automated expert system for fitting multiexponential models of increasing dimension to time series data. Up to now, a researcher has needed an individual copy of DIMSUM on his or her own computer as well as support to learn how to use it. W3DIMSUM,...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2005.03.008
更新日期:2005-08-01 00:00:00
abstract::New mathematical models from physiologically interpreted parameters capable of evaluating glucose metabolism within the liver and/or the whole body were developed. The group of pigs in a fasting state and the group of pigs with euglycemic supraphysiological hyperinsulinemia were scanned by positron emission tomography...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2012.03.005
更新日期:2012-08-01 00:00:00
abstract::We have developed a new system to produce target movements for our particular purposes using a microcomputer and 9-bit digital-to-analog converter. A continuously changing sinusoidal wave was produced to examine the relationship between the frequencies of target movements and smooth pursuit. A random sinusoidal wave w...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/0169-2607(86)90057-x
更新日期:1986-12-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:Epilepsy is one of the most common diseases of the nervous system, affecting about 1% of the world's population. The unpredictable nature of the epilepsy seizures deprives the patients and those around them of living a normal life. Therefore, the development of new methods that can help these p...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2020.105899
更新日期:2020-12-17 00:00:00
abstract::This paper is concerned with the investigation on the fatigue failure of implant fixation by numerical approaches. A computer algorithm based on finite element analysis and continuum damage mechanics was proposed to quantify the fatigue damage rate of cement mantle under physiological conditions. In examining the inte...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2004.05.004
更新日期:2004-11-01 00:00:00
abstract::Both sample entropy and approximate entropy are measurements of complexity. The two methods have received a great deal of attention in the last few years, and have been successfully verified and applied to biomedical applications and many others. However, the algorithms proposed in the literature require O(N(2)) execu...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2010.12.003
更新日期:2011-12-01 00:00:00
abstract::The closed loop control of blood glucose levels might help to reduce many short- and long-term complications of type 1 diabetes. Continuous glucose monitoring and insulin pump systems have facilitated the development of the artificial pancreas. In this paper, artificial neural networks are used for both the identifica...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2011.11.006
更新日期:2012-04-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:Liver quality evaluation is one of the vital steps for predicting the success of liver transplantation. Current evaluation methods, such as biopsy and visual inspection, which are either invasive or lack of consistent standards, provide limited predictive value of long-term transplant viability...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2018.06.003
更新日期:2018-10-01 00:00:00
abstract:BACKGROUND AND OBJECTIVES:Attention deficit hyperactivity disorder (ADHD) is often presented with conduct disorder (CD). There is currently no objective laboratory test or diagnostic method to discern between ADHD and CD, and diagnosis is further made difficult as ADHD is a common neuro-developmental disorder often pre...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2021.105941
更新日期:2021-01-14 00:00:00
abstract::Correlated survival outcomes occur quite frequently in the biomedical research. Available software is limited, particularly if we wish to obtain smoothed estimate of the baseline hazard function in the context of random effects model for correlated data. The main objective of this paper is to describe an R package cal...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2005.06.010
更新日期:2005-11-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:Objective Structured Clinical Examination (OSCE) has been used in many areas of healthcare training over the years. However, it constantly needs to be upgraded and enhanced due to technological and teaching changes. We aim at implementing an integrative OSCE method which employs informatics via...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2017.11.006
更新日期:2018-05-01 00:00:00
abstract:OBJECTIVES:False positive alerts in patient-safety-related clinical decision support systems (CDSS) are defined as alerts which incorrectly prompt when no-risk patients are encountered. It is an unfavorable condition which may potentially mislead physicians. The aim is to investigate physician responses toward false po...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章,随机对照试验
doi:10.1016/j.cmpb.2016.04.011
更新日期:2016-08-01 00:00:00
abstract:BACKGROUND AND OBJECTIVE:Signal segmentation and spike detection are two important biomedical signal processing applications. Often, non-stationary signals must be segmented into piece-wise stationary epochs or spikes need to be found among a background of noise before being further analyzed. Permutation entropy (PE) h...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2016.02.008
更新日期:2016-05-01 00:00:00
abstract::Topological thinning is a valid but time-consuming method to calculate the centerline of human colon or other hollow organs accurately. An optimized 3D topological thinning method based on Look-up Table (LUT), which was proposed by Sadlier, proves to be effective in improving the efficiency on many occasions. However,...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2008.10.002
更新日期:2009-04-01 00:00:00
abstract::When analyzing clinical data with binary outcomes, the parameter estimates and consequently the odds ratio estimates of a logistic model sometimes do not converge to finite values. This phenomenon is due to special conditions in a data set and known as 'separation'. Statistical software packages for logistic regressio...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/s0169-2607(02)00088-3
更新日期:2003-06-01 00:00:00
abstract::Hexosaminidase, polyamines and lipid-bound sialic acid are a few tumour-associated markers which are significantly elevated both in urine and serum of patients with haematopoietic malignancy, in direct correlation to dedifferentiation. Our computer database incorporates these parameters and predicts the clinical respo...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/0169-2607(90)90032-5
更新日期:1990-01-01 00:00:00
abstract::For the first time compressed sampling (CS) has been applied to heart rate (HR) measurements. The signals can be reconstructed from samples far below the Nyquist rate with negligible small errors, a sampling reduction of 8 has been demonstrated in the paper. As a result, the bitrate of the CS sampler is half when comp...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/j.cmpb.2012.06.002
更新日期:2012-12-01 00:00:00
abstract::This paper describes the processing and transformation of medical data from a clinical database to a statistical data matrix. Precise extraction and linking tools must be available for the desired data to be processed for statistical purposes. We show that flexible mechanisms are required for the different types of us...
journal_title:Computer methods and programs in biomedicine
pub_type: 杂志文章
doi:10.1016/s0169-2607(00)00130-9
更新日期:2001-09-01 00:00:00