61 research outputs found
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Motivated by the problem of verifying the correctness of arrhythmia-detection
algorithms, we present a formalization of these algorithms in the language of
Quantitative Regular Expressions. QREs are a flexible formal language for
specifying complex numerical queries over data streams, with provable runtime
and memory consumption guarantees. The medical-device algorithms of interest
include peak detection (where a peak in a cardiac signal indicates a heartbeat)
and various discriminators, each of which uses a feature of the cardiac signal
to distinguish fatal from non-fatal arrhythmias. Expressing these algorithms'
desired output in current temporal logics, and implementing them via monitor
synthesis, is cumbersome, error-prone, computationally expensive, and sometimes
infeasible.
In contrast, we show that a range of peak detectors (in both the time and
wavelet domains) and various discriminators at the heart of today's
arrhythmia-detection devices are easily expressible in QREs. The fact that one
formalism (QREs) is used to describe the desired end-to-end operation of an
arrhythmia detector opens the way to formal analysis and rigorous testing of
these detectors' correctness and performance. Such analysis could alleviate the
regulatory burden on device developers when modifying their algorithms. The
performance of the peak-detection QREs is demonstrated by running them on real
patient data, on which they yield results on par with those provided by a
cardiologist.Comment: CMSB 2017: 15th Conference on Computational Methods for Systems
Biolog
Efficient Physical Embedding of Topologically Complex Information Processing Networks in Brains and Computer Circuits
Nervous systems are information processing networks that evolved by natural selection, whereas very large scale integrated (VLSI) computer circuits have evolved by commercially driven technology development. Here we follow historic intuition that all physical information processing systems will share key organizational properties, such as modularity, that generally confer adaptivity of function. It has long been observed that modular VLSI circuits demonstrate an isometric scaling relationship between the number of processing elements and the number of connections, known as Rent's rule, which is related to the dimensionality of the circuit's interconnect topology and its logical capacity. We show that human brain structural networks, and the nervous system of the nematode C. elegans, also obey Rent's rule, and exhibit some degree of hierarchical modularity. We further show that the estimated Rent exponent of human brain networks, derived from MRI data, can explain the allometric scaling relations between gray and white matter volumes across a wide range of mammalian species, again suggesting that these principles of nervous system design are highly conserved. For each of these fractal modular networks, the dimensionality of the interconnect topology was greater than the 2 or 3 Euclidean dimensions of the space in which it was embedded. This relatively high complexity entailed extra cost in physical wiring: although all networks were economically or cost-efficiently wired they did not strictly minimize wiring costs. Artificial and biological information processing systems both may evolve to optimize a trade-off between physical cost and topological complexity, resulting in the emergence of homologous principles of economical, fractal and modular design across many different kinds of nervous and computational networks
Benign external hydrocephalus: a review, with emphasis on management
Benign external hydrocephalus in infants, characterized by macrocephaly and typical neuroimaging findings, is considered as a self-limiting condition and is therefore rarely treated. This review concerns all aspects of this condition: etiology, neuroimaging, symptoms and clinical findings, treatment, and outcome, with emphasis on management. The review is based on a systematic search in the Pubmed and Web of Science databases. The search covered various forms of hydrocephalus, extracerebral fluid, and macrocephaly. Studies reporting small children with idiopathic external hydrocephalus were included, mostly focusing on the studies reporting a long-term outcome. A total of 147 studies are included, the majority however with a limited methodological quality. Several theories regarding pathophysiology and various symptoms, signs, and clinical findings underscore the heterogeneity of the condition. Neuroimaging is important in the differentiation between external hydrocephalus and similar conditions. A transient delay of psychomotor development is commonly seen during childhood. A long-term outcome is scarcely reported, and the results are varying. Although most children with external hydrocephalus seem to do well both initially and in the long term, a substantial number of patients show temporary or permanent psychomotor delay. To verify that this truly is a benign condition, we suggest that future research on external hydrocephalus should focus on the long-term effects of surgical treatment as opposed to conservative management
Pṛthvīrājavijayamahākāvyam I-V : de geschiedenis van het geslacht der Cāhamāna's tot aan de stichting van Ajmer : kritische tekst, eerste vertaling en commentaar met inleiding, appendices en index
Internal cardioversion: a worthwhile alternative after failed external cardioversion in obese patients
ECG, uit of in het hoofd.
Item does not contain fulltextBespreking van: ,ECG, uit of in het hoofd Leuven, Apeldoorn:Garant ,2000 90-5350-895-
Aspect neuropsychologique de I'hydrocéphalic normopressive
The authors report ten cases of normal pressure hydrocephalus treated by ventricular drainage. They pay particular attention to the neuropsychological and psychometric aspects and endeavour to identify the most characteristic nosological features by comparing their own clinical observations with those reported in the literature
- …