The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

This paper reports the use of proof planning to diagnose errors in program code. In particular it looks at the errors that arise in the base cases of recursive programs produced by undergraduates. It describes two classes of error that arise in this situation. The use of test cases would catch these errors but would fail to distinguish between them. The system adapts proof critics, commonly used to patch faulty proofs, to diagnose such errors and distinguish between the two classes. It has been implemented in Lambda-clam, a proof planning system, and applied successfully to a small set of examples.

Prevalence of refractive errors in students in Northeastern Brazil

To determine the prevalence of refractive errors in the public and private school system in the city of Natal, Northeastern Brazil. Methods: Refractometry was performed on both eyes of 1,024 randomly selected students, enrolled in the 2001 school year and the data were evaluated by the SPSS Data Editor 10.0. Ametropia was divided into: 1- from 0.1 to 0.99 diopter (D); 2- 1.0 to 2.99D; 3- 3.00 to 5.99D and 4- 6D or greater. Astigmatism was regrouped in: I- with-the-rule (axis from 0 to 30 and 150 to 180 degrees), II- against-the-rule (axis between 60 and 120 degrees) and III- oblique (axis between > 30 and < 60 and >120 and <150 degrees). The age groups were categorized as follows, in: 1- 5 to 10 years, 2- 11 to 15 years, 3- 16 to 20 years, 4- over 21 years. Results: Among refractive errors, hyperopia was the most common with 71%, followed by astigmatism (34%) and myopia (13.3%). Of the students with myopia and hyperopia, 48.5% and 34.1% had astigmatism, respectively. With respect to diopters, 58.1% of myopic students were in group 1, and 39% distributed between groups 2 and 3. Hyperopia were mostly found in group 1 (61.7%) as well as astigmatism (70.6%). The association of the astigmatism axes of both eyes showed 92.5% with axis with-the-rule in both eyes, while the percentage for those with axis againstthe- rule was 82.1% and even lower for the oblique axis (50%). Conclusion: The results found differed from those of most international studies, mainly from the Orient, which pointed to myopia as the most common refractive error, and corroborates the national ones, with the majority being hyperopia

Transportable setup for amplifier phase fidelity measurements

One possible laser source for the Laser Interferometer Space Antenna (LISA) consists of an Ytterbium-doped fiber amplifier originally developed for inter-satellite communication, seeded by the laser used for the technology demonstrator mission LISA Pathfinder. LISA needs to transmit clock information between its three spacecraft to correct for phase noise between the clocks on the individual spacecraft. For this purpose phase modulation sidebands at GHz frequencies will be imprinted on the laser beams between spacecraft. Differential phase noise between the carrier and a sideband introduced within the optical chain must be very low. We report on a transportable setup to measure the phase fidelity of optical amplifiers.

Cancer appetite and symptom questionnaire (CASQ) for brazilian patients: Cross-cultural adaptation and validation study

Background: Appetite and symptoms, conditions generally reported by the patients with cancer, are somewhat challenging for professionals to measure directly in clinical routine (latent conditions). Therefore, specific instruments are required for this purpose. This study aimed to perform a cultural adaptation of the Cancer Appetite and Symptom Questionnaire (CASQ), into Portuguese and evaluate its psychometric properties on a sample of Brazilian cancer patients. Methods: This is a validation study with Brazilian cancer patients. The face, content, and construct (factorial and convergent) validities of the Cancer Appetite and Symptom Questionnaire, the study tool, were estimated. Further, a confirmatory factor analysis (CFA) was conducted. The ratio of chi-square and degrees of freedom (χ2/df), comparative fit index (CFI), goodness of fit index (GFI) and root mean square error of approximation (RMSEA) were used for fit model assessment. In addition, the reliability of the instrument was estimated using the composite reliability (CR) and Cronbach’s alpha coefficient (α), and the invariance of the model in independent samples was estimated by a multigroup analysis (Δχ2). Results: Participants included 1,140 cancer patients with a mean age of 53.95 (SD = 13.25) years; 61.3% were women. After the CFA of the original CASQ structure, 2 items with inadequate factor weights were removed. Four correlations between errors were included to provide adequate fit to the sample (χ2/df = 8.532, CFI = .94, GFI = .95, and RMSEA = .08). The model exhibited a low convergent validity (AVE = .32). The reliability was adequate (CR = .82 α = .82). The refined model showed strong invariance in two independent samples (Δχ2: λ: p = .855; i: p = .824; Res: p = .390). A weak stability was obtained between patients undergoing chemotherapy and radiotherapy (Δχ2: λ: p = .155; i: p < .001; Res: p < .001), and between patients undergoing chemotherapy combined with radiotherapy and palliative care (Δχ2: λ: p = .058; i: p < .001; Res: p < .001). Conclusion: The Portuguese version of the CASQ had good face and construct validity and reliability. However, the CASQ still presented invariance in independent samples of Brazilian patients with cancer. However, the tool has low convergent validity and weak invariance in samples with different treatments.

Method of numerical correction of errors occasioned by delay of records during the monitoring of environmental variables of interest for animal production

As condições de ambiente térmico e aéreo, no interior de instalações para animais, alteram-se durante o dia, devido à influência do ambiente externo. Para que análises estatísticas e geoestatísticas sejam representativas, uma grande quantidade de pontos distribuídos espacialmente na área da instalação deve ser monitorada. Este trabalho propõe que a variação no tempo das variáveis ambientais de interesse para a produção animal, monitoradas no interior de instalações para animais, pode ser modelada com precisão a partir de registros discretos no tempo. O objetivo deste trabalho foi desenvolver um método numérico para corrigir as variações temporais dessas variáveis ambientais, transformando os dados para que tais observações independam do tempo gasto durante a aferição. O método proposto aproximou os valores registrados com retardos de tempo aos esperados no exato momento de interesse, caso os dados fossem medidos simultaneamente neste momento em todos os pontos distribuídos espacialmente. O modelo de correção numérica para variáveis ambientais foi validado para o parâmetro ambiental temperatura do ar, sendo que os valores corrigidos pelo método não diferiram pelo teste Tukey, a 5% de probabilidade dos valores reais registrados por meio de dataloggers.

Errors in preparation and medication management in nursing professionals

The preparation and administration of medications is one of the most common and relevant functions of nurses, demanding great responsibility. Incorrect administration of medication, currently constitutes a serious problem in health services, and is considered one of the main adverse effects suffered by hospitalized patients. Objectives: Identify the major errors in the preparation and administration of medication by nurses in hospitals and know what factors lead to the error occurred in the preparation and administration of medication. Methods: A systematic review of the literature. Deined as inclusion criteria: original scientiic papers, complete, published in the period 2011 to May 2016, the SciELO and LILACS databases, performed in a hospital environment, addressing errors in preparation and administration of medication by nurses and in Portuguese language. After application of the inclusion criteria obtained a sample of 7 articles. Results: The main errors identiied in the pr eparation and administration of medication were wrong dose 71.4%, wrong time 71.4%, 57.2% dilution inadequate, incorrect selection of the patient 42.8% and 42.8% via inadequate. The factors that were most commonly reported by the nursing staff, as the cause of the error was the lack of human appeal 57.2%, inappropriate locations for the preparation of medication 57.2%, the presence of noise and low brightness in preparation location 57, 2%, professionals untrained 42.8%, fatigue and stress 42.8% and inattention 42.8%. Conclusions: The literature shows a high error rate in the preparation and administration of medication for various reasons, making it important that preventive measures of this occurrence are implemented.

Forecasting errors, directional accuracy and profitability of currency trading: The case of EUR/USD exchange rate

We provide a comprehensive study of out-of-sample forecasts for the EUR/USD exchange rate based on multivariate macroeconomic models and forecast combinations. We use profit maximization measures based on directional accuracy and trading strategies in addition to standard loss minimization measures. When comparing predictive accuracy and profit measures, data snooping bias free tests are used. The results indicate that forecast combinations, in particular those based on principal components of forecasts, help to improve over benchmark trading strategies, although the excess return per unit of deviation is limited.

Treating Students' Errors in Oral Production

[Sin resumen]

Mercury contamination in fanned fish setup on former garimpo mining areas in the Northern Mato Grosso State, Amazonian region, Brazil

The garimpo gold mining activity has released about 2.500 tons of mercury in the Brazilian Amazonian environment in the 1980-1995 period. The northern region of Mato Grosso State, an important gold mining and trading area during the Arnazonian gold rush is now at a turning point regarding its economic future. Nowadays, the activities related to gold mining have only a low relevance on its economy. Thus, the local communities are looking for economic alternatives for the development of the region. Cooperative fish farming is one of such alternatives. However, some projects are directly implemented on areas degraded by the former garimpo activity and the mercury left behind still poses risks, especially by its potential accumulation in fish. The objective of the present study was to evaluate the levels of mercury contamination in two fish farming areas, Paranaita and Alta Floresta, with and without records of past gold-washing activity, respectively. Data such as mercury concentration in fish of different trophic level, size, and weight as well as the water physical and chemical parameters were measured and considered. These preliminary data have shown no significant difference between these two fish fanning areas, relatively to mercury levels in fish. (c) 2004 Elsevier B.V. All rights reserved.

Clinical Studies on conformal radiotherapy combined with epidermal growth factor receptor-tyrosine kinase inhibitor in second-line treatment of non-small cell lung cancer

Purpose: To study the effect of conformal radiotherapy combined with epidermal growth factor receptor-tyrosine kinase inhibitor (EGFR-TKI) in the second-line treatment of non-small cell lung cancer (NSCLC). Methods: A total of 316 patients attending Shanghai Pulmonary Hospital affiliated to Tongji University, were divided into two groups: 106 patients were treated with conformal radiotherapy combined with EGFR-TKI (gefitinib, 250 mg/day; or erlotinib, 150 mg/day), while 210 patients were treated with EGFRTKI alone. Some factors, including adverse reactions (AR), disease control rate (DCR), progression-free survival (PFS), overall survival (OS), and one-year and two-year survival rate, were evaluated. Results: No obvious difference was observed in AR between the two groups (p > 0.05). In the combination therapy group, complete response (CR) was 5 cases, partial response (PR) 43 cases, and stable disease (SD) 47 cases, progressive disease (PD) was 11 cases, response rate (RR) was 45.3 %, and DCR 89.6 %. Median PFS in the combination therapy group and targeted therapy group was 6.5 and 5.0 months, respectively. On the other hand, median OS in the combination therapy group and targeted group was 14.1 and 12.6 months, respectively. One-year survival rate of the combination therapy group and EGFR-TKI group was 60.3 and 50.0 %, respectively, while the two-year survival rate was 26.3 and 19.0 %, respectively. Conclusion: Conformal radiotherapy combined with EGFR-TKI can be used as an effective second-line treatment for NSCLC.

MODELING AND EXPERIMENTAL SETUP OF AN HCCI ENGINE

For the past three decades the automotive industry is facing two main conflicting challenges to improve fuel economy and meet emissions standards. This has driven the engineers and researchers around the world to develop engines and powertrain which can meet these two daunting challenges. Focusing on the internal combustion engines there are very few options to enhance their performance beyond the current standards without increasing the price considerably. The Homogeneous Charge Compression Ignition (HCCI) engine technology is one of the combustion techniques which has the potential to partially meet the current critical challenges including CAFE standards and stringent EPA emissions standards. HCCI works on very lean mixtures compared to current SI engines, resulting in very low combustion temperatures and ultra-low NOx emissions. These engines when controlled accurately result in ultra-low soot formation. On the other hand HCCI engines face a problem of high unburnt hydrocarbon and carbon monoxide emissions. This technology also faces acute combustion controls problem, which if not dealt properly with yields highly unfavorable operating conditions and exhaust emissions. This thesis contains two main parts. One part deals in developing an HCCI experimental setup and the other focusses on developing a grey box modelling technique to control HCCI exhaust gas emissions. The experimental part gives the complete details on modification made on the stock engine to run in HCCI mode. This part also comprises details and specifications of all the sensors, actuators and other auxiliary parts attached to the conventional SI engine in order to run and monitor the engine in SI mode and future SI-HCCI mode switching studies. In the latter part around 600 data points from two different HCCI setups for two different engines are studied. A grey-box model for emission prediction is developed. The grey box model is trained with the use of 75% data and the remaining data is used for validation purpose. An average of 70% increase in accuracy for predicting engine performance is found while using the grey-box over an empirical (black box) model during this study. The grey-box model provides a solution for the difficulty faced for real time control of an HCCI engine. The grey-box model in this thesis is the first study in literature to develop a control oriented model for predicting HCCI engine emissions for control.

Optical Access Engine Setup and Validation

The optical access engine integrated with the diagnostic and optical measurement techniques is a great platform for engine research because it provides clear visual access to the combustion chamber inside the engines. An optical access engine customized based on a 4-cylinder spark ignited direct injection (SIDI) production engine is located in the Advanced Power Systems Laboratories (APS LABS) at Michigan Technological University. This optical access engine inside the test cell has been set up for different engine research. In this report, two SAE papers in engine research utilizing the optical access engine are reviewed to gain basic understanding of the methodology. Though the optical engine in APS LABS is a little bit different from the engines used in the literature, the methodology in the papers provides guidelines for engine research through optical access engines. In addition, the optical access engine instrumentation including the test cell setup and the optical engine setup is described in detail in the report providing a solid record for later troubleshooting and reference. Finally, the motoring tests, firing tests and optical imaging experiment on the optical engine have been performed to validate the instrumentation. This report only describes so far the instrumentation of the optical engine in the APS LABS by April 2015.

Test of a Smock System on CPR Primary Emergency Measures and Medical Errors During Simulated Emergencies

Rates of survival of victims of sudden cardiac arrest (SCA) using cardio pulmonary resuscitation (CPR) have shown little improvement over the past three decades. Since registered nurses (RNs) comprise the largest group of healthcare providers in U.S. hospitals, it is essential that they are competent in performing the four primary measures (compression, ventilation, medication administration, and defibrillation) of CPR in order to improve survival rates of SCA patients. The purpose of this experimental study was to test a color-coded SMOCK system on:1) time to implement emergency patient care measures 2) technical skills performance 3) number of medical errors, and 4) team performance during simulated CPR exercises. The study sample was 260 RNs (M 40 years, SD=11.6) with work experience as an RN (M 7.25 years, SD=9.42).Nurses were allocated to a control or intervention arm consisting of 20 groups of 5-8 RNs per arm for a total of 130 RNs in each arm. Nurses in each study arm were given clinical scenarios requiring emergency CPR. Nurses in the intervention group wore different color labeled aprons (smocks) indicating their role assignment (medications, ventilation, compression, defibrillation, etc) on the code team during CPR. Findings indicated that the intervention using color-labeled smocks for pre-assigned roles had a significant effect on the time nurses started compressions (t=3.03, p=0.005), ventilations (t=2.86, p=0.004) and defibrillations (t=2.00, p=.05) when compared to the controls using the standard of care. In performing technical skills, nurses in the intervention groups performed compressions and ventilations significantly better than those in the control groups. The control groups made significantly (t=-2.61, p=0.013) more total errors (7.55 SD 1.54) than the intervention group (5.60, SD 1.90). There were no significant differences in team performance measures between the groups. Study findings indicate use of colored labeled smocks during CPR emergencies resulted in: shorter times to start emergency CPR; reduced errors; more technical skills completed successfully; and no differences in team performance.

A retrospective study examining the nature, contributory factors and predictors of dispensing errors in community pharmacy

Introduction: Since 2005, the workload of community pharmacists in England has increased with a concomitant increase in stress and work pressure. However, it is unclear how these factors are impacting on the ability of community pharmacists to ensure accuracy during the dispensing process. This research seeks to extend our understanding of the nature, outcome, and predictors of dispensing errors. Methodology: A retrospective analysis of a purposive sample of incident report forms (IRFs) from the database of a pharmacist indemnity insurance provider was conducted. Data collected included; type of error, degree of harm caused, pharmacy and pharmacist demographics, and possible contributory factors. Results: In total, 339 files from UK community pharmacies were retrieved from the database. The files dated from June 2006 to November 2011. Incorrect item (45.1%, n = 153/339) followed by incorrect strength (24.5%, n = 83/339) were the most common forms of error. Almost half (41.6%, n = 147/339) of the patients suffered some form of harm ranging from minor harm (26.7%, n = 87/339) to death (0.3%, n = 1/339). Insufficient staff (51.6%, n = 175/339), similar packaging (40.7%, n = 138/339) and the pharmacy being busier than normal (39.5%, n = 134/339) were identified as key contributory factors. Cross-tabular analysis against the final accuracy check variable revealed significant association between the pharmacy location (P < 0.024), dispensary layout (P < 0.025), insufficient staff (P < 0.019), and busier than normal (P < 0.005) variables. Conclusion: The results provide an overview of some of the individual, organisational and technical factors at play at the time of a dispensing error and highlight the need to examine further the relationships between these factors and dispensing error occurrence.