Towards automated first-order abduction: the cut-based approach

Traditional abduction imposes as a precondition the restriction that the background information may not derive the goal data. In first-order logic such precondition is, in general, undecidable. To avoid such problem, we present a first-order cut-based abduction method, which has KE-tableaux as its underlying inference system. This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem. After demonstrating the correctness of the method, we show how this method can be dynamically iterated in a process that leads to the construction of non-analytic first-order proofs and, in some terminating cases, to refutations as well.

Effects of Positive End-expiratory Pressure Titration and Recruitment Maneuver on Lung Inflammation and Hyperinflation in Experimental Acid Aspiration-induced Lung Injury

Background: In acute lung injury positive end-expiratory pressure (PEEP) and recruitment maneuver are proposed to optimize arterial oxygenation. The aim of the study was to evaluate the impact of such a strategy on lung histological inflammation and hyperinflation in pigs with acid aspiration-induced lung injury. Methods: Forty-seven pigs were randomly allocated in seven groups: (1) controls spontaneously breathing; (2) without lung injury, PEEP 5 cm H2O; (3) without lung injury, PEEP titration; (4) without lung injury, PEEP titration + recruitment maneuver; (5) with lung injury, PEEP 5 cm H2O; (6) with lung injury, PEEP titration; and (7) with lung injury, PEEP titration + recruitment maneuver. Acute lung injury was induced by intratracheal instillation of hydrochloric acid. PEEP titration was performed by incremental and decremental PEEP from 5 to 20 cm H2O for optimizing arterial oxygenation. Three recruitment maneuvers (pressure of 40 cm H2O maintained for 20 s) were applied to the assigned groups at each PEEP level. Proportion of lung inflammation, hemorrhage, edema, and alveolar wall disruption were recorded on each histological field. Mean alveolar area was measured in the aerated lung regions. Results: Acid aspiration increased mean alveolar area and produced alveolar wall disruption, lung edema, alveolar hemorrhage, and lung inflammation. PEEP titration significantly improved arterial oxygenation but simultaneously increased lung inflammation in juxta-diaphragmatic lung regions. Recruitment maneuver during PEEP titration did not induce additional increase in lung inflammation and alveolar hyperinflation. Conclusion: In a porcine model of acid aspiration-induced lung injury, PEEP titration aimed at optimizing arterial oxygenation, substantially increased lung inflammation. Recruitment maneuvers further improved arterial oxygenation without additional effects on inflammation and hyperinflation.

Abdominal compression: A new intraoperative maneuver to detect chyle fistulas during left neck dissections that include level IV

Background Chyle fistulas may occur after left neck dissections that include level IV, due to injury of the thoracic duct or of 1 of its major branches. Despite being unusual, this complication carries substantial postoperative morbidity and even mortality. So far, no effective intraoperative maneuver has been reported to detect this fistula at the end of a neck dissection. In this cohort study, we sought to describe a simple new maneuver, intraoperative abdominal compression, which can effectively help to identify an open major lymphatic duct on level IV at the end of a neck dissection. Patients and Methods From March 1989 to September 2010, 206 patients underwent neck dissections involving left level IV, and underwent intraoperative abdominal compression. There were 119 men and 87 women, with ages ranging from 18 to 81 years (median, 52 years). One hundred forty-four patients had squamous cell carcinomas, 54 had thyroid carcinomas, 5 had malignant melanomas, and 3 had salivary cancers. Distribution by type of left neck dissection was: selective including levels II, III, and IV (73 cases; 35.4%), selective including levels II, III, IV, and V (55 cases; 26.6%), selective including levels I, II, III, and IV (12 cases; 5.8%), modified radical (47 cases; 22.8%), and radical (19 cases; 9.2%). In all cases, at the end of the procedure, the endotracheal tube was temporarily disconnected from the ventilator. Keeping the dissected level IV area under clear visualization, an abdominal compression was performed. At this moment, any detected lymphatic leak was carefully clamped and tied with nonabsorbable sutures. After ventilating the patient, the intraoperative abdominal compression was repeated to reassure complete occlusion of the lymphatic vessel. Results In 13 cases (6.3%), a chyle leak was detected after performing the intraoperative abdominal compression. All leaks except for 2 were successfully controlled after 1 attempt. In these 2 patients, a patch of muscle and fat tissue was applied with fibrin glue on the top. In 1 of these patients, another chyle leak in a different location was detected only at the second intraoperative abdominal compression, and was also effectively closed. Postoperatively, there were 2 (1%) chyle fistulas, both among these 13 cases, and all were successfully managed with clinical measures only. No fistulas occurred among the remaining 193 patients in whom intraoperative abdominal compression did not demonstrate lymphatic leak. Conclusion To our knowledge, this is the first description of a specific maneuver to actively detect a lymphatic fistula at the end of a left neck dissection involving level IV. In this study, intraoperative abdominal compression was able to detect an open lymphatic vessel in 6.3% of the cases, as well as to assure its effective sealing in the remaining 93.7% of the patients. Moreover, no life-threatening high-volume fistula was noted in this study. (C) 2012 Wiley Periodicals, Inc. Head Neck, 2012

Automated analysis of lidocaine and its metabolite in plasma by in-tube solid-phase microextraction coupled with LC-UV for pharmacokinetic study

A sensitive, selective, and reproducible in-tube solid-phase microextraction and liquid chromatographic (in-tube SPME/LC-UV) method for determination of lidocaine and its metabolite monoethylglycinexylidide (MEGX) in human plasma has been developed, validated, and further applied to pharmacokinetic study in pregnant women with gestational diabetes mellitus (GDM) subjected to epidural anesthesia. Important factors in the optimization of in-tube SPME performance are discussed, including the draw/eject sample volume, draw/eject cycle number, draw/eject flow rate, sample pH, and influence of plasma proteins. The limits of quantification of the in-tube SPME/LC method were 50 ng/mL for both metabolite and lidocaine. The interday and intraday precision had coefficients of variation lower than 8%, and accuracy ranged from 95 to 117%. The response of the in-tube SPME/LC method for analytes was linear over a dynamic range from 50 to 5000 ng/mL, with correlation coefficients higher than 0.9976. The developed in-tube SPME/LC method was successfully used to analyze lidocaine and its metabolite in plasma samples from pregnant women with GDM subjected to epidural anesthesia for pharmacokinetic study.

Respiratory inductive plethysmography: a comparative study between isovolume maneuver calibration and qualitative diagnostic calibration in healthy volunteers assessed in different positions

Objective: To compare two methods of respiratory inductive plethysmography (RIP) calibration in three different positions. Methods: We evaluated 28 healthy subjects (18 women and 10 men), with a mean age of 25.4 +/- 3.9 years. For all of the subjects, isovolume maneuver calibration (ISOCAL) and qualitative diagnostic calibration (QDC) were used in the orthostatic, sitting, and supine positions. In order to evaluate the concordance between the two calibration methods, we used ANOVA and Bland-Altman plots. Results: The values of the constant of proportionality (X) were significantly different between ISOCAL and QDC in the three positions evaluated: 1.6 +/- 0.5 vs. 2.0 +/- 1.2, in the supine position, 2.5 +/- 0.8 vs. 0.6 +/- 0.3 in the sitting position, and 2.0 +/- 0.8 vs. 0.6 +/- 0.3 in the orthostatic position (p < 0.05 for all). Conclusions: Our results suggest that QDC is an inaccurate method for the calibration of RIP. The K values obtained with ISOCAL reveal that RIP should be calibrated for each position evaluated.

Comparison of 3 modes of automated weaning from mechanical ventilation: A bench study

Purpose: Automated weaning modes are available in some mechanical ventilators, but no studies compared them hitherto. We compared the performance of 3 automated modes under standard and challenging situations. Methods: We used a lung simulator to compare 3 automated modes, adaptive support ventilation (ASV), mandatory rate ventilation (MRV), and Smartcare, in 6 situations, weaning success, weaning failure, weaning success with extreme anxiety, weaning success with Cheyne-Stokes, weaning success with irregular breathing, and weaning failure with ineffective efforts. Results: The 3 modes correctly recognized the situations of weaning success and failure, even when anxiety or irregular breathing were present but incorrectly recognized weaning success with Cheyne-Stokes. MRV incorrectly recognized weaning failure with ineffective efforts. Time to pressure support (PS) stabilization was shorter for ASV (1-2 minutes for all situations) and MRV (1-7 minutes) than for Smartcare (8-78 minutes). ASV had higher rates of PS oscillations per 5 minutes (4-15), compared with Smartcare (0-1) and MRV (0-12), except when extreme anxiety was present. Conclusions: Smartcare, ASV, and MRV were equally able to recognize weaning success and failure, despite the presence of anxiety or irregular breathing but performed incorrectly in the presence of Cheyne-Stokes. PS behavior over the time differs among modes, with ASV showing larger and more frequent PS oscillations over the time. Clinical studies are needed to confirm our results. (C) 2012 Elsevier Inc. All rights reserved.

EEG amplitude modulation analysis for semi-automated diagnosis of Alzheimer's disease

Recent experimental evidence has suggested a neuromodulatory deficit in Alzheimer's disease (AD). In this paper, we present a new electroencephalogram (EEG) based metric to quantitatively characterize neuromodulatory activity. More specifically, the short-term EEG amplitude modulation rate-of-change (i.e., modulation frequency) is computed for five EEG subband signals. To test the performance of the proposed metric, a classification task was performed on a database of 32 participants partitioned into three groups of approximately equal size: healthy controls, patients diagnosed with mild AD, and those with moderate-to-severe AD. To gauge the benefits of the proposed metric, performance results were compared with those obtained using EEG spectral peak parameters which were recently shown to outperform other conventional EEG measures. Using a simple feature selection algorithm based on area-under-the-curve maximization and a support vector machine classifier, the proposed parameters resulted in accuracy gains, relative to spectral peak parameters, of 21.3% when discriminating between the three groups and by 50% when mild and moderate-to-severe groups were merged into one. The preliminary findings reported herein provide promising insights that automated tools may be developed to assist physicians in very early diagnosis of AD as well as provide researchers with a tool to automatically characterize cross-frequency interactions and their changes with disease.

Comparison of Visual Acuity and Automated Perimetry Findings in Patients With Neuromyelitis Optica or Multiple Sclerosis After Single or Multiple Attacks of Optic Neuritis

Objective: To review the clinical characteristics of patients with neuromyelitis optica (NMO) and to compare their visual outcome with those of patients with optic neuritis (ON) and multiple sclerosis (MS). Methods: Thirty-three patients with NMO underwent neuro-ophthalmic evaluation, including automated perimetry along with 30 patients with MS. Visual function in both groups was compared overall and specifically for eyes after a single episode of ON. Results: Visual function and average visual field (VF) mean deviation were significantly worse in eyes of patients with NMO. After a single episode of ON, the VF was normal in only 2 of 36 eyes of patients with NMO compared to 17 of 35 eyes with MS (P < 0.001). The statistical analysis indicated that after a single episode of ON, the odds ratio for having NMO was 6.0 (confidence interval [CI]: 1.6-21.9) when VF mean deviation was worse than -20.0 dB while the odds ratio for having MS was 16.0 (CI: 3.6-68.7) when better than -3.0 dB. Conclusion: Visual outcome was significantly worse in NMO than in MS. After a single episode of ON, suspicion of NMO should be raised in the presence of severe residual VF deficit with automated perimetry and lowered in the case of complete VF recovery.

Structure-function Relationships Using the Cirrus Spectral Domain Optical Coherence Tomograph and Standard Automated Perimetry

Purpose: To evaluate the relationship between glaucomatous structural damage assessed by the Cirrus Spectral Domain OCT (SDOCT) and functional loss as measured by standard automated perimetry (SAP). Methods: Four hundred twenty-two eyes (78 healthy, 210 suspects, 134 glaucomatous) of 250 patients were recruited from the longitudinal Diagnostic Innovations in Glaucoma Study and from the African Descent and Glaucoma Evaluation Study. All eyes underwent testing with the Cirrus SDOCT and SAP within a 6-month period. The relationship between parapapillary retinal nerve fiber layer thickness (RNFL) sectors and corresponding topographic SAP locations was evaluated using locally weighted scatterplot smoothing and regression analysis. SAP sensitivity values were evaluated using both linear as well as logarithmic scales. We also tested the fit of a model (Hood) for structure-function relationship in glaucoma. Results: Structure was significantly related to function for all but the nasal thickness sector. The relationship was strongest for superotemporal RNFL thickness and inferonasal sensitivity (R(2) = 0.314, P < 0.001). The Hood model fitted the data relatively well with 88% of the eyes inside the 95% confidence interval predicted by the model. Conclusions: RNFL thinning measured by the Cirrus SDOCT was associated with correspondent visual field loss in glaucoma.

Clinical Efficacy of a New Automated Hemoencefalographic Neurofeedback Protocol

Among the ongoing attempts to enhance cognitive performance, an emergent and yet underrepresented venue is brought by hemoencefalographic neurofeedback (HEG). This paper presents three related advances in HEG neurofeedback for cognitive enhancement: a) a new HEG protocol for cognitive enhancement, as well as b) the results of independent measures of biological efficacy (EEG brain maps) extracted in three phases, during a one year follow up case study; c) the results of the first controlled clinical trial of HEG, designed to assess the efficacy of the technique for cognitive enhancement of an adult and neurologically intact population. The new protocol was developed in the environment of a software that organizes digital signal algorithms in a flowchart format. Brain maps were produced through 10 brain recordings. The clinical trial used a working memory test as its independent measure of achievement. The main conclusion of this study is that the technique appears to be clinically promising. Approaches to cognitive performance from a metabolic viewpoint should be explored further. However, it is particularly important to note that, to our knowledge, this is the world's first controlled clinical study on the matter and it is still early for an ultimate evaluation of the technique.

Alveolar recruitment maneuver in refractory hypoxemia and lobar atelectasis after cardiac surgery: A case report

Abstract Objective This case report describes an unusual presentation of right upper lobe atelectasis associated with refractory hypoxemia to conventional alveolar recruitment maneuvers in a patient soon after coronary artery bypass grafting surgery. Method Results The alveolar recruitment with PEEP = 40cmH2O improved the patient’s atelectasis and hypoxemia. Conclusion In the present report, the unusual alveolar recruitment maneuver with PEEP 40cmH2O showed to be safe and efficient to reverse refractory hypoxemia and uncommon atelectasis in a patient after cardiac surgery.

Previous exposure to musical auditory stimulation immediately influences the cardiac autonomic responses to the postural change maneuver in women

Background Chronic exposure to musical auditory stimulation has been reported to improve cardiac autonomic regulation. However, it is not clear if music acutely influences it in response to autonomic tests. We evaluated the acute effects of music on heart rate variability (HRV) responses to the postural change maneuver (PCM) in women. Method We evaluated 12 healthy women between 18 and 28 years old and HRV was analyzed in the time (SDNN, RMSSD, NN50 and pNN50) and frequency (LF, HF and LF/HF ratio) domains. In the control protocol, the women remained at seated rest for 10 minutes and quickly stood up within three seconds and remained standing still for 15 minutes. In the music protocol, the women remained at seated rest for 10 minutes, were exposed to music for 10 minutes and quickly stood up within three seconds and remained standing still for 15 minutes. HRV was recorded at the following time: rest, music (music protocol) 0–5, 5–10 and 10–15 min during standing. Results In the control protocol the SDNN, RMSSD and pNN50 indexes were reduced at 10–15 minutes after the volunteers stood up, while the LF (nu) index was increased at the same moment compared to seated rest. In the protocol with music, the indexes were not different from control but the RMSSD, pNN50 and LF (nu) were different from the music period. Conclusion Musical auditory stimulation attenuates the cardiac autonomic responses to the PCM.

Automated system of seedling image analysis (SVIS) and electrical conductivity to assess sun hemp seed vigor

The development of new procedures for quickly obtaining accurate information on the physiological potential of seed lots is essential for developing quality control programs for the seed industry. In this study, the effectiveness of an automated system of seedling image analysis (Seed Vigor Imaging System - SVIS) in determining the physiological potential of sun hemp seeds and its relationship with electrical conductivity tests, were evaluated. SVIS evaluations were performed three and four days after sowing and data on the vigor index and the length and uniformity of seedling growth were collected. The electrical conductivity test was made on 50 seed replicates placed in containers with 75 mL of deionised water at 25 ºC and readings were taken after 1, 2, 4, 8 and 16 hours of imbibition. Electrical conductivity measurements at 4 or 8 hours and the use of the SVIS on 3-day old seedlings can effectively detect differences in vigor between different sun hemp seed lots.

Adaptação cultural e confiabilidade para o Brasil do Automated Telephone Disease Management: resultados preliminares

OBJETIVOS: Traduzir, adaptar culturalmente para o Brasil o ATDM Satisfaction Scales e avaliar a confiabilidade da versão adaptada em adultos brasileiros com DM. MÉTODOS: Estudo metodológico, cujo processo de adaptação cultural incluiu: tradução, comitê de juízes, retrotradução, análise semântica e pré-teste. Este estudo incluiu uma amostra de 39 adultos brasileiros com DM cadastrados em um programa educativo do interior paulista. RESULTADOS: A versão adaptada do instrumento mostrou boa aceitação com fácil compreensão dos itens pelos participantes, com confiabilidade variando entre 0,30 e 0,43. CONCLUSÃO: Após a análise das propriedades psicométricas e finalização do processo de validação no País, o instrumento poderá ser utilizado por pesquisadores brasileiros, possibilitando ser comparado com outras culturas.