A model for inter-module analysis and optimizing compilation

Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: sepárate compilation of modules is not supported. We describe and empirically evalúate a simple model for extending global program analysis to support sepárate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

A WEB-System for Computer Experiments in the Field of Program Transformations

The paper presents basic notions and scientific achievements in the field of program transformations, describes usage of these achievements both in the professional activity (when developing optimizing and unparallelizing compilers) and in the higher education. It also analyzes main problems in this area. The concept of control of program transformation information is introduced in the form of specialized knowledge bank on computer program transformations to support the scientific research, education and professional activity in the field. The tasks that are solved by the knowledge bank are formulated. The paper is intended for experts in the artificial intelligence, optimizing compilation, postgraduates and senior students of corresponding specialties; it may be also interesting for university lecturers and instructors.

Optimizing model predictive control of an industrial distillation column

The main scope of this work is the implementation of an MPC that integrates the control and the economic optimization of the system. The two problems are solved simultaneously through the modification of the control cost function that includes an additional term related to the economic objective. The optimizing MPC is based on a quadratic program (QP) as the conventional MPC and can be solved with the available QP solvers. The method was implemented in an industrial distillation system, and the results show that the approach is efficient and can be used, in several practical cases. (C) 2011 Elsevier Ltd. All rights reserved.

Stable Model Predictive Control for Integrating Systems with Optimizing Targets

This paper concern the development of a stable model predictive controller (MPC) to be integrated with real time optimization (RTO) in the control structure of a process system with stable and integrating outputs. The real time process optimizer produces Optimal targets for the system inputs and for Outputs that Should be dynamically implemented by the MPC controller. This paper is based oil a previous work (Comput. Chem. Eng. 2005, 29, 1089) where a nominally stable MPC was proposed for systems with the conventional control approach where only the outputs have set points. This work is also based oil the work of Gonzalez et at. (J. Process Control 2009, 19, 110) where the zone control of stable systems is studied. The new control for is obtained by defining ail extended control objective that includes input targets and zone controller the outputs. Additional decision variables are also defined to increase the set of feasible solutions to the control problem. The hard constraints resulting from the cancellation of the integrating modes Lit the end of the control horizon are softened,, and the resulting control problem is made feasible to a large class of unknown disturbances and changes of the optimizing targets. The methods are illustrated with the simulated application of the proposed,approaches to a distillation column of the oil refining industry.

Brazilian Network of Food Data Systems and LATINFOODS Regional Technical Compilation Committee: Food composition activities (2006-2009)

The Brazilian Network of Food Data Systems (BRASILFOODS) has been keeping the Brazilian Food Composition Database-USP (TBCA-USP) (http://www.fcf.usp.br/tabela) since 1998. Besides the constant compilation, analysis and update work in the database, the network tries to innovate through the introduction of food information that may contribute to decrease the risk for non-transmissible chronic diseases, such as the profile of carbohydrates and flavonoids in foods. In 2008, data on carbohydrates, individually analyzed, of 112 foods, and 41 data related to the glycemic response produced by foods widely consumed in the country were included in the TBCA-USP. Data (773) about the different flavonoid subclasses of 197 Brazilian foods were compiled and the quality of each data was evaluated according to the USDAs data quality evaluation system. In 2007, BRASILFOODS/USP and INFOODS/FAO organized the 7th International Food Data Conference ""Food Composition and Biodiversity"". This conference was a unique opportunity for interaction between renowned researchers and participants from several countries and it allowed the discussion of aspects that may improve the food composition area. During the period, the LATINFOODS Regional Technical Compilation Committee and BRASILFOODS disseminated to Latin America the Form and Manual for Data Compilation, version 2009, ministered a Food Composition Data Compilation course and developed many activities related to data production and compilation. (C) 2010 Elsevier Inc. All rights reserved.

Optimizing electrode sites for segmental bioimpedance measurements

Recent advances in the application of bioelectrical impedance analysis (BIA) have indicated that a more accurate approach to the estimation of total body water is to consider the impedance of the various body segments rather than simply that of the whole body. The segmental approach necessitates defining and locating the physical demarcation between both the trunk and leg and the trunk and arm. Despite the use of anatomical markers, these points of demarcation are difficult to locate with precision between subjects. There are also technical problems associated with the regional dispersion of the current distribution from one segment (cylinder) to another of different cross-sectional area. The concept of equipotentials in line with the proximal aspects of the upper land lower) limbs along the contralateral limbs was investigated and, in particular, the utility of this concept in the measurement of segmental bioimpedance. The variation of measured segmental impedance using electrode sites along these equipotentials was less than 2.0% for all of the commonly used impedance parameters. This variation is approximately equal to that expected from biological variation over the measurement time. It is recommended that the electrode sites, for the measurement of segmental bioelectrical impedance in humans, described herein are adopted in accordance with the proposals of the NM Technology Assessment Conference Statement.

Effect of the Novel Thienopyridine Prasugrel Compared With Clopidogrel on Spontaneous and Procedural Myocardial Infarction in the Trial to Assess Improvement in Therapeutic Outcomes by Optimizing Platelet Inhibition With Prasugrel-Thrombolysis in Myocardial Infarction 38 An Application of the Classification System From the Universal Definition of Myocardial Infarction

Background-Prasugrel is a novel thienopyridine that reduces new or recurrent myocardial infarctions (MIs) compared with clopidogrel in patients with acute coronary syndrome undergoing percutaneous coronary intervention. This effect must be balanced against an increased bleeding risk. We aimed to characterize the effect of prasugrel with respect to the type, size, and timing of MI using the universal classification of MI. Methods and Results-We studied 13 608 patients with acute coronary syndrome undergoing percutaneous coronary intervention randomized to prasugrel or clopidogrel and treated for 6 to 15 months in the Trial to Assess Improvement in Therapeutic Outcomes by Optimizing Platelet Inhibition With Prasugrel-Thrombolysis in Myocardial Infarction (TRITON-TIMI 38). Each MI underwent supplemental classification as spontaneous, secondary, or sudden cardiac death (types 1, 2, and 3) or procedure related (Types 4 and 5) and examined events occurring early and after 30 days. Prasugrel significantly reduced the overall risk of MI (7.4% versus 9.7%; hazard ratio [HR], 0.76; 95% confidence interval [CI], 0.67 to 0.85; P < 0.0001). This benefit was present for procedure-related MIs (4.9% versus 6.4%; HR, 0.76; 95% CI, 0.66 to 0.88; P = 0.0002) and nonprocedural (type 1, 2, or 3) MIs (2.8% versus 3.7%; HR, 0.72; 95% CI, 0.59 to 0.88; P = 0.0013) and consistently across MI size, including MIs with a biomarker peak >= 5 times the reference limit (HR. 0.74; 95% CI, 0.64 to 0.86; P = 0.0001). In landmark analyses starting at 30 days, patients treated with prasugrel had a lower risk of any MI (2.9% versus 3.7%; HR, 0.77; P = 0.014), including nonprocedural MI (2.3% versus 3.1%; HR, 0.74; 95% CI, 0.60 to 0.92; P = 0.0069). Conclusion-Treatment with prasugrel compared with clopidogrel for up to 15 months in patients with acute coronary syndrome undergoing percutaneous coronary intervention significantly reduces the risk of MIs that are procedure related and spontaneous and those that are small and large, including new MIs occurring during maintenance therapy. (Circulation. 2009; 119: 2758-2764.)

Optimizing the CAMCOG test in the screening for mild cognitive impairment and incipient dementia: saving time with relevant domains

Objective: To identify the CAMCOG sub-items that best contribute for the identification of patients with mild cognitive impairment (MCI) and incipient Alzheimer`s disease (AD) in clinical practice. Methods: Cross-sectional assessment of 272 older adults (98 MCI, 82 AD, and 92 controls) with a standardized neuropsychological battery and the CAMCOG schedule. Backward logistic regression analysis with diagnosis (MCI and controls) as dependent variable and the sub-items of the CAMCOG as independent variable was carried out to determine the CAMCOG sub-items that predicted the diagnosis of MCI. Results: Lower scores on Language, Memory, Praxis, and Calculation CAMCOG sub-items were significantly associated with the diagnosis of MCI. A composite score obtained by the sum of these scores significantly discriminated MCI patients from comparison groups. This reduced version of the CAMCOG showed similar diagnostic accuracy than the original schedule for the identification of patients with MCI as compared to controls (AUC = 0.80 +/- 0.03 for the reduced CAMCOG; AUC = 0.79 +/- 0.03 for the original CAMCOG). Conclusion: This reduced version of the CAMCOG had similar diagnostic properties as the original CAMCOG and was faster and easier to administer, rendering it more suitable for the screening of subtle cognitive deficits in general clinical practice. Copyright (C) 2010 John Wiley & Sons, Ltd.

Optimizing Medical Therapy of Acromegaly: Beneficial Effects of Cabergoline in Patients Uncontrolled with Long-Acting Release Octreotide

Background: Previous data indicate a beneficial effect of cabergoline (CAB) association to somatostatin analogs (SA) in acromegalics resistant to SA monotherapy. Objective: To assess the efficacy of CAB association on acromegalics with high IGF-I on stable long-acting release octreotide (OCT-LAR) (30 mg/28 days). Design, Subjects and Methods: 34 patients (17 male, 25-85 years, 33 macroadenomas) were enrolled in this prospective study. OCT-LAR was administered as primary (n = 4) and as secondary (n = 30) treatment: after surgery (n = 16), after surgery + radiotherapy (RT) (n = 11), and after RT only (n = 3). Duration of OCT-LAR therapy prior to CAB was 24 8 12 months. The immunohistochemical features of the tumors disclosed GH/PRL co-secretion in 11/21 patients. 13 patients had high PRL levels prior to CAB. The initial CAB dose was 1.5 mg/week. No IGF-I normalization led to a dose increase to 3.5 mg/week. The OCT-LAR dose was kept stable during treatment. IGF-I, GH and PRL levels were compared before and after CAB association. OCT-LAR was withdrawn in patients who achieved IGF-I normalization, in order to assess the influence of CAB. Results: Comparing OCT-LAR to OCT-LAR/CAB treatment, there was a significant decrease in mean GH, IGF-I, %ULNR- IGF-I and PRL levels. During OCT-LAR/CAB treatment, IGF-I normalized in 19 patients (56%). IGF-I normalization was correlated to lowest IGF-I levels on OCT-LAR monotherapy, but not to baseline PRL levels or GH/PRL co-expression. OCT-LAR withdrawn in all who had achieved IGF-I normalization on combined therapy resulted in IGF-I elevation to abnormal levels in all patients. Gastro intestinal symptoms were reported by 12 patients. Conclusion: OCT-LAR and CAB association has been shown to be an effective alternative therapy for those acromegalics who still have active acromegaly despite monotherapy with SA, mainly for those with lower pretreatment IGF-I concentrations. According to previous studies, the beneficial effects of CAB occur even when pretreatment PRL is normal and/or there is no tumor GH/PRL co-expression. Copyright (C) 2009 S. Karger AG, Basel

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.