A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC

Releasing Captive-Reared Masked Bobwhites for Population Recovery: A Review

Efforts to reestablish the endangered masked bobwhite (Colinus virginianus ridgwayi) to its former historic range have been a primary focus on the Buenos Aires National Wildlife Refuge (BANWR) since it was established in 1986. Prerelease conditioning techniques developed prior to refuge establishment continued to be utilized in an effort to improve postrelease survival of captive-reared masked bobwhite chicks. Foremost among these techniques was the use of wild Texas bobwhite ( C. v. texanus) males as foster parents. Texas foster parents were released with broods from 1985-1996. The efficacy of this technique was evaluated in 1994 using radio telemetry. Results suggested that postrelease survival of chicks was poor. Using an adaptive approach, prerelease protocols were modified over several years in an effort to improve postrelease survival among chicks. Since 1995. released chicks were monitored via radio telemetry and results of the modified releases indicated survival had improved. Though these results are preliminary and this study is ongoing, it appears that our modifications to prerelease conditioning may improve survival rates of captive-reared masked bobwhite chicks. The results of this research project may have implications for captive-reared quail release projects elsewhere

Predictors of Successful Decannulation Using a Tracheostomy Retainer in Patients with Prolonged Weaning and Persisting Respiratory Failure

Background: For percutaneously tracheostomized patients with prolonged weaning and persisting respiratory failure, the adequate time point for safe decannulation and switch to noninvasive ventilation is an important clinical issue. Objectives: We aimed to evaluate the usefulness of a tracheostomy retainer (TR) and the predictors of successful decannulation. Methods: We studied 166 of 384 patients with prolonged weaning in whom a TR was inserted into a tracheostoma. Patients were analyzed with regard to successful decannulation and characterized by blood gas values, the duration of previous spontaneous breathing, Simplified Acute Physiology Score (SAPS) and laboratory parameters. Results: In 47 patients (28.3%) recannulation was necessary, mostly due to respiratory decompensation and aspiration. Overall, 80.6% of the patients could be liberated from a tracheostomy with the help of a TR. The need for recannulation was associated with a shorter duration of spontaneous breathing within the last 24/48 h (p < 0.01 each), lower arterial oxygen tension (p = 0.025), greater age (p = 0.025), and a higher creatinine level (p = 0.003) and SAPS (p < 0.001). The risk for recannulation was 9.5% when patients breathed spontaneously for 19-24 h within the 24 h prior to decannulation, but 75.0% when patients breathed for only 0-6 h without ventilatory support (p < 0.001). According to ROC analysis, the SAPS best predicted successful decannulation {[}AUC 0.725 (95% CI: 0.634-0.815), p < 0.001]. Recannulated patients had longer durations of intubation (p = 0.046), tracheostomy (p = 0.003) and hospital stay (p < 0.001). Conclusion: In percutaneously tracheostomized patients with prolonged weaning, the use of a TR seems to facilitate and improve the weaning process considerably. The duration of spontaneous breathing prior to decannulation, age and oxygenation describe the risk for recannulation in these patients. Copyright (c) 2012 S. Karger AG, Base

The Status of Masked Bobwhite Recovery in the United States and Mexico

The masked bobwhite (Colinus virginianus ridgwayi) is an endangered species currently numbering \u3c1500 individuals and restricted to 2 locales in southeastern Arizona and northcentral Sonora, Mexico. The subspecies\u27 endangered status is attributed to overgrazing of Sonora savanna grassland that began during the late 1880\u27s and continued well into the 20th century. This overgrazing resulted in the conversion of many native grass pastures to the exotic bufflegrass (Cenchrus ciliaris). The Arizona masked bobwhite population was extirpated around the turn of the century, and the Sonoran population was thought to have disappeared during the 1940\u27s until a small remnant population was discovered on a ranch near Benjamin Hill, Sonora , in 1964 . Masked bobwhite recovery efforts have a dynamic, long history of nearly six decades. Current masked bobwhite recovery efforts focus on reestablishing a self-sustaining population on the Buenos Aires National Wildlife Refuge (BANWR) in the United States, as well as 2 remnant wild populations located on privately owned ranches in northcentral Sonora

Mortality of Patients with Hematological Malignancy after Admission to the Intensive Care Unit

Background: The admission of patients with malignancies to an intensive care unit (ICU) still remains a matter of substantial controversy. The identification of factors that potentially influence the patient outcome can help ICU professionals make appropriate decisions. Patients and Methods: 90 adult patients with hematological malignancy (leukemia 47.8%, high-grade lymphoma 50%) admitted to the ICU were analyzed retrospectively in this single-center study considering numerous variables with regard to their influence on ICU and day-100 mortality. Results: The median simplified acute physiology score (SAPS) II at ICU admission was 55 (ICU survivors 47 vs. 60.5 for non-survivors). The overall ICU mortality rate was 45.6%. With multivariate regression analysis, patients admitted with sepsis and acute respiratory failure had a significantly increased ICU mortality (sepsis odds ratio (OR) 9.12, 95% confidence interval (CI) 1.1-99.7, p = 0.04; respiratory failure OR 13.72, 95% CI 1.39-136.15, p = 0.025). Additional factors associated with an increased mortality were: high doses of catecholamines (ICU: OR 7.37, p = 0.005; day 100: hazard ratio (HR) 2.96, p < 0.0001), renal replacement therapy (day 100: HR 1.93, p = 0.026), and high SAPS II (ICU: HR 1.05, p = 0.038; day 100: HR 1.2, p = 0.027). Conclusion: The decision for or against ICU admission of patients with hematological diseases should become increasingly independent of the underlying malignant disease

Segurança do paciente em Unidades de Terapia Intensiva: desenvolvimento de um projeto de pesquisa

RESUMO Objetivo Relatar a experiência sobre os diferentes processos envolvidos no desenvolvimento de um Projeto de Pesquisa em Segurança do Paciente em Unidades de Terapia Intensiva. Método Estudo com delineamento misto: coorte histórica para a coleta dos dados dos pacientes e eventos adversos/incidentes e transversal para a coleta dos dados da equipe de enfermagem. A coleta de dados ocorreu durante 90 dias, em 2012, no Instituto Central do Hospital das Clínicas da Universidade de São Paulo e o Hospital Universitário da Universidade de São Paulo. Processos desenvolvidos A pesquisa envolveu diversas etapas para sua efetivação: implantação doNursing Activities Score (NAS) no Instituto Central do Hospital das Clínicas da Universidade de São Paulo, desenvolvimento de sistema de banco de dados, digitalização de prontuários, treinamento de monitores, extração e carga de dados dos pacientes e coleta de dados durante a passagem de plantão, prontuários. Considerações finais Treinamentos, comprometimento dos pesquisadores e parceria com profissionais da tecnologia da informação foram fundamentais para a qualidade dos resultados obtidos e da produção científica alcançada. Espera-se que esse relato de experiência possa orientar e encorajar os pesquisadores a realizar pesquisas complexas que contribuam para a construção do conhecimento na enfermagem e saúde

HAND-FOOT-UTERUS SYNDROME

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/32999/1/0000383.pd