Efficient HEX-Program Evaluation Based on Unfounded Sets

HEX-programs extend logic programs under the answer set semantics with external computations through external atoms. As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of answer set candidates needs special attention. To this end, we present an approach based on unfounded sets as a generalization of related techniques for ASP programs. The unfounded set detection is expressed as a propositional SAT problem, for which we provide two different encodings and optimizations to them. We then integrate our approach into a previously developed evaluation framework for HEX-programs, which is enriched by additional learning techniques that aim at avoiding the reconstruction of the same or related unfounded sets. Furthermore, we provide a syntactic criterion that allows one to skip the minimality check in many cases. An experimental evaluation shows that the new approach significantly decreases runtime.

Global approach for transient shear wave inversion based on the adjoint method: a comprehensive 2D simulation study

Shear wave imaging (SWI) maps soft tissue elasticity by measuring shear wave propagation with ultrafast ultrasound acquisitions (10 000 frames s(-1)). This spatiotemporal data can be used as an input for an inverse problem that determines a shear modulus map. Common inversion methods are local: the shear modulus at each point is calculated based on the values of its neighbour (e.g. time-of-flight, wave equation inversion). However, these approaches are sensitive to the information loss such as noise or the lack of the backscattered signal. In this paper, we evaluate the benefits of a global approach for elasticity inversion using a least-squares formulation, which is derived from full waveform inversion in geophysics known as the adjoint method. We simulate an acoustic waveform in a medium with a soft and a hard lesion. For this initial application, full elastic propagation and viscosity are ignored. We demonstrate that the reconstruction of the shear modulus map is robust with a non-uniform background or in the presence of noise with regularization. Compared to regular local inversions, the global approach leads to an increase of contrast (∼+3 dB) and a decrease of the quantification error (∼+2%). We demonstrate that the inversion is reliable in the case when there is no signal measured within the inclusions like hypoechoic lesions which could have an impact on medical diagnosis.

Identifying the superior measure of rapid fibrosis for predicting premature cirrhosis after liver transplantation for hepatitis C

BACKGROUND

Hepatitis C virus (HCV) recurrence post liver transplant is universal, with a subgroup of patients developing rapid hepatic fibrosis. Various clinical definitions of rapid fibrosis (RF) have been used to identify risks for rapid progression, but their comparability and efficacy at predicting adverse outcomes has not been determined.

METHODS

Retrospective data analysis was conducted on 100 adult patients with HCV who underwent liver transplantation at a single center. We measured year 1 fibrosis progression (RF defined as METAVIR F score ≥ 1 at 1-year liver biopsy), time to METAVIR F2-stage fibrosis, and fibrosis rate (calculated using liver biopsies graded by METAVIR scoring F0-4; fibrosis rate = fibrosis stage/year post transplant). RF was defined as ≥ 0.5 units/year.

RESULTS

Multivariate analysis revealed that donor age and peak HCV viral load were significant risks for RF, when fibrosis rate was used to define RF. Advanced donor age was a risk for rapid progression to F2-stage fibrosis, whereas genotype 2 or 3 HCV infection was protective. Fibrosis rate had the strongest correlation with time to cirrhosis development (P < 0.0001, r = -0.76) and was the most accurate predictor of rapid graft cirrhosis (P < 0.0001, area under the curve 0.979, sensitivity 100%, specificity 94%).

CONCLUSION

Different measures of RF progression identify different risks for RF and are not directly comparable. Fibrosis rate was the most accurate predictor of rapid graft cirrhosis.

EFSUMB guidelines and recommendations on the clinical use of ultrasound elastography. Part 2: Clinical applications

The clinical part of these Guidelines and Recommendations produced under the auspices of the European Federation of Societies for Ultrasound in Medicine and Biology EFSUMB assesses the clinically used applications of all forms of elastography, stressing the evidence from meta-analyses and giving practical advice for their uses and interpretation. Diffuse liver disease forms the largest section, reflecting the wide experience with transient and shear wave elastography . Then follow the breast, thyroid, gastro-intestinal tract, endoscopic elastography, the prostate and the musculo-skeletal system using strain and shear wave elastography as appropriate. The document is intended to form a reference and to guide clinical users in a practical way.

Animal Health Modeling & Simulation Society: a new society promoting model-based approaches in veterinary pharmacology

The Animal Health Modeling & Simulation Society (AHM&S) is a newly founded association (2012) that aims to promote the development, application, and dissemination of modeling and simulation techniques in the field of Veterinary Pharmacology and Toxicology. The association is co-chaired by Pr. Johan Gabrielsson (Europe), Pr. Jim Riviere (USA), and secretary Dr. Jonathan Mochel (Switzerland). This short communication aims at presenting the membership, rationale and objectives of this group.

Ultrasound elastography: principles and techniques

Ultrasonography has been widely used for diagnosis since it was first introduced in clinical practice in the 1970's. Since then, new ultrasound modalities have been developed, such as Doppler imaging, which provides new information for diagnosis. Elastography was developed in the 1990's to map tissue stiffness, and reproduces/replaces the palpation performed by clinicians. In this paper, we introduce the principles of elastography and give a technical summary for the main elastography techniques: from quasi-static methods that require a static compression of the tissue to dynamic methods that uses the propagation of mechanical waves in the body. Several dynamic methods are discussed: vibro-acoustography, Acoustic Radiation Force Impulsion (ARFI), transient elastography, shear wave imaging, etc. This paper aims to help the reader at understanding the differences between the different methods of this promising imaging modality that may become a significant tool in medical imaging.

EFSUMB guidelines and recommendations on the clinical use of ultrasound elastography. Part 1: Basic principles and technology

The technical part of these Guidelines and Recommendations, produced under the auspices of EFSUMB, provides an introduction to the physical principles and technology on which all forms of current commercially available ultrasound elastography are based. A difference in shear modulus is the common underlying physical mechanism that provides tissue contrast in all elastograms. The relationship between the alternative technologies is considered in terms of the method used to take advantage of this. The practical advantages and disadvantages associated with each of the techniques are described, and guidance is provided on optimisation of scanning technique, image display, image interpretation and some of the known image artefacts.

Rediscovering catatonia: the biography of a treatable syndrome

OBJECTIVE

Catatonia, a disorder of movement and mood, was described and named in 1874. Other observers quickly made the same recognition. By the turn of the century, however, catatonia was incorporated as a type within a conjured syndrome of schizophrenia. There, catatonia has lain in the psychiatric classification for more than a century.

METHOD

We review the history of catatonia and its present status. In the 1970s, the tie was questioned when catatonia was recognized among those with mood disorders. The recognition of catatonia within the neuroleptic malignant syndrome offered effective treatments of high doses of benzodiazepines and electroconvulsive therapy (ECT), again questioning the tie. A verifying test for catatonia (the lorazepam sedation test) was developed. Soon the syndromes of delirious mania, toxic serotonin syndrome, and the repetitive behaviors in adolescents with autism were recognized as treatable variations of catatonia.

RESULTS

Ongoing studies now recognize catatonia among patients labeled as suffering from the Gilles de la Tourette's syndrome, anti-NMDAR encephalitis, obsessive-compulsive disease, and various mutisms.

CONCLUSION

Applying the treatments for catatonia to patients with these syndromes offers opportunities for clinical relief. Catatonia is a recognizable and effectively treatable neuropsychiatric syndrome. It has many faces. It warrants recognition outside schizophrenia in the psychiatric disease classification.

Algorithms for Labeling Focus Regions

In this paper, we investigate the problem of labeling point sites in focus regions of maps or diagrams. This problem occurs, for example, when the user of a mapping service wants to see the names of restaurants or other POIs in a crowded downtown area but keep the overview over a larger area. Our approach is to place the labels at the boundary of the focus region and connect each site with its label by a linear connection, which is called a leader. In this way, we move labels from the focus region to the less valuable context region surrounding it. In order to make the leader layout well readable, we present algorithms that rule out crossings between leaders and optimize other characteristics such as total leader length and distance between labels. This yields a new variant of the boundary labeling problem, which has been studied in the literature. Other than in traditional boundary labeling, where leaders are usually schematized polylines, we focus on leaders that are either straight-line segments or Bezier curves. Further, we present algorithms that, given the sites, find a position of the focus region that optimizes the above characteristics. We also consider a variant of the problem where we have more sites than space for labels. In this situation, we assume that the sites are prioritized by the user. Alternatively, we take a new facility-location perspective which yields a clustering of the sites. We label one representative of each cluster. If the user wishes, we apply our approach to the sites within a cluster, giving details on demand.

Blockade of I(Ca) suppresses early afterdepolarizations and reduces transmural dispersion of repolarization in a whole heart model of chronic heart failure

BACKGROUND AND PURPOSE Chronic heart failure (CHF) is associated with action potential prolongation and Ca(2+) overload, increasing risk of ventricular tachyarrhythmias (VT). We therefore investigated whether I(Ca) blockade was anti-arrhythmic in an intact perfused heart model of CHF. EXPERIMENTAL APPROACH CHF was induced in rabbits after 4 weeks of rapid ventricular pacing. Hearts from CHF and sham-operated rabbits were isolated and perfused (Langendorff preparation), with ablation of the AV node. VT was induced by erythromycin and low [K(+) ] (1.5mM). Electrophysiology of cardiac myocytes, with block of cation currents, was simulated by a mathematical model. KEY RESULTS Repolarization was prolonged in CHF hearts compared with sham-operated hearts. Action potential duration (APD) and overall dispersion of repolarization were further increased by erythromycin (300 µM) to block I(Kr) in CHF hearts. After lowering [K(+) ] to 1.5mM, CHF and sham hearts showed spontaneous episodes of polymorphic non-sustained VT. Additional infusion of verapamil (0.75 µM) suppressed early afterdepolarizations (EAD) and VT in 75% of sham and CHF hearts. Verapamil shortened APD and dispersion of repolarization, mainly by reducing transmural dispersion of repolarization via shortening of endocardial action potentials. Mathematical simulations showed that EADs were more effectively reduced by verapamil assuming a state-dependent block than a simple block of I(Ca) . CONCLUSIONS AND IMPLICATIONS Blockade of I(Ca) was highly effective in suppressing VT via reduction of transmural dispersion of repolarization and suppression of EAD. Such blockade might represent a novel therapeutic option to reduce risk of VT in structurally normal hearts and also in heart failure. LINKED ARTICLE This article is commented on by Stams et al., pp. 554-556 of this issue. To view this commentary visit http://dx.doi.org/10.1111/j.1476-5381.2011.01818.x.

Time reversal of water waves

We present time reversal experiments demonstrating refocusing of gravity-capillary waves in a water tank cavity. Owing to the reverberating effect of the cavity, only a few channels are sufficient to reconstruct the surface wave at the point source, even if the absorption is not negligible. Space-time-resolved measurements of the waves during the refocusing allow us to quantitatively demonstrate that the quality of the refocusing increases linearly with the number of reemitting channels. Numerical simulations corresponding to water waves at larger scales, with negligible damping, indicate the possibility of very high quality refocusing.

MR-guided adaptive focusing of therapeutic ultrasound beams in the human head

PURPOSE

This study aims to demonstrate, using human cadavers the feasibility of energy-based adaptive focusing of ultrasonic waves using magnetic resonance acoustic radiation force imaging (MR-ARFI) in the framework of non-invasive transcranial high intensity focused ultrasound (HIFU) therapy.

METHODS

Energy-based adaptive focusing techniques were recently proposed in order to achieve aberration correction. The authors evaluate this method on a clinical brain HIFU system composed of 512 ultrasonic elements positioned inside a full body 1.5 T clinical magnetic resonance (MR) imaging system. Cadaver heads were mounted onto a clinical Leksell stereotactic frame. The ultrasonic wave intensity at the chosen location was indirectly estimated by the MR system measuring the local tissue displacement induced by the acoustic radiation force of the ultrasound (US) beams. For aberration correction, a set of spatially encoded ultrasonic waves was transmitted from the ultrasonic array and the resulting local displacements were estimated with the MR-ARFI sequence for each emitted beam. A noniterative inversion process was then performed in order to estimate the spatial phase aberrations induced by the cadaver skull. The procedure was first evaluated and optimized in a calf brain using a numerical aberrator mimicking human skull aberrations. The full method was then demonstrated using a fresh human cadaver head.

RESULTS

The corrected beam resulting from the direct inversion process was found to focus at the targeted location with an acoustic intensity 2.2 times higher than the conventional non corrected beam. In addition, this corrected beam was found to give an acoustic intensity 1.5 times higher than the focusing pattern obtained with an aberration correction using transcranial acoustic simulation-based on X-ray computed tomography (CT) scans.

CONCLUSIONS

The proposed technique achieved near optimal focusing in an intact human head for the first time. These findings confirm the strong potential of energy-based adaptive focusing of transcranial ultrasonic beams for clinical applications.

Exploiting the time-reversal operator for adaptive optics, selective focusing, and scattering pattern analysis

We report on the experimental measurement of the backscattering matrix of a weakly scattering medium in optics, composed of a few dispersed gold nanobeads. The decomposition of the time-reversal operator is applied to this matrix and we demonstrate selective and efficient focusing on individual scatterers, even through an aberrating layer. Moreover, we show that this approach provides the decomposition of the scattering pattern of a single nanoparticle. These results open important perspectives for optical imaging, characterization, and selective excitation of nanoparticles.

Using quantitative CT perfusion for evaluation of delayed cerebral ischemia following aneurysmal subarachnoid hemorrhage

BACKGROUND AND PURPOSE

DCI is a serious complication following aneurysmal SAH leading to permanent neurologic deficits, infarction, and death. Our aim was to prospectively evaluate the diagnostic accuracy of CTP and to determine a quantitative threshold for DCI in aneurysmal SAH.

MATERIALS AND METHODS

Patients with SAH were prospectively enrolled in a protocol approved by the institutional review board. CTP was performed during the typical time period for DCI, between days 6 and 8 following SAH. Quantitative CBF, CBV, and MTT values were obtained by using standard region-of-interest placement sampling of gray matter. The reference standard for DCI is controversial and consisted of clinical and imaging criteria in this study. In a subanalysis of vasospasm, DSA was used as the reference standard. ROC curves determined the diagnostic accuracy by using AUC. Optimal threshold values were calculated by using the patient population utility method.

RESULTS

Ninety-seven patients were included; 41% (40/97) had DCI. Overall diagnostic accuracy was 93% for CBF, 88% for MTT, and 72% for CBV. Optimal threshold values were 35 mL/100 g/min (90% sensitivity, 68% specificity) for CBF and 5.5 seconds (73% sensitivity, 79% specificity) for MTT. In the subanalysis (n = 57), 63% (36/57) had vasospasm. Overall diagnostic accuracy was 94% for CBF, 85% for MTT, and 72% for CBV. Optimal threshold values were 36.5 mL/100 g/min (95% sensitivity, 70% specificity) for CBF and 5.4 seconds (78% sensitivity, 70% specificity) for MTT.

CONCLUSIONS

CBF and MTT have the highest overall diagnostic accuracy. Threshold values of 35 mL/100 g/min for CBF and 5.5-second MTT are suggested for DCI on the basis of the patient population utility method. Absolute threshold values may not be generalizable due to differences in scanner equipment and postprocessing methods.

In vivo bubble nucleation probability in sheep brain tissue

Gas nuclei exist naturally in living bodies. Their activation initiates cavitation activity, and is possible using short ultrasonic excitations of high amplitude. However, little is known about the nuclei population in vivo, and therefore about the rarefaction pressure required to form bubbles in tissue. A novel method dedicated to in vivo investigations was used here that combines passive and active cavitation detection with a multi-element linear ultrasound probe (4-7 MHz). Experiments were performed in vivo on the brain of trepanated sheep. Bubble nucleation was induced using a focused single-element transducer (central frequency 660 kHz, f-number = 1) driven by a high power (up to 5 kW) electric burst of two cycles. Successive passive recording and ultrafast active imaging were shown to allow detection of a single nucleation event in brain tissue in vivo. Experiments carried out on eight sheep allowed statistical studies of the bubble nucleation process. The nucleation probability was evaluated as a function of the peak negative pressure. No nucleation event could be detected with a peak negative pressure weaker than -12.7 MPa, i.e. one order of magnitude higher than the recommendations based on the mechanical index. Below this threshold, bubble nucleation in vivo in brain tissues is a random phenomenon.