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.

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.

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.

Cryptanalysis of an efficient three-party password-based key exchange scheme

Three-party password-authenticated key exchange (3PAKE) protocols allow entities to negotiate a secret session key with the aid of a trusted server with whom they share a human-memorable password. Recently, Lou and Huang proposed a simple 3PAKE protocol based on elliptic curve cryptography, which is claimed to be secure and to provide superior efficiency when compared with similar-purpose solutions. In this paper, however, we show that the solution is vulnerable to key-compromise impersonation and offline password guessing attacks from system insiders or outsiders, which indicates that the empirical approach used to evaluate the scheme's security is flawed. These results highlight the need of employing provable security approaches when designing and analyzing PAKE schemes. Copyright (c) 2011 John Wiley & Sons, Ltd.

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.

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.