Introduction to the Maple Power Tool Intpakx

The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006

Molecular computations for reactions and phase transitions: applications to protein stabilization, hydrates and catalysis

In this work we have made significant contributions in three different areas of interest: therapeutic protein stabilization, thermodynamics of natural gas clathrate-hydrates, and zeolite catalysis. In all three fields, using our various computational techniques, we have been able to elucidate phenomena that are difficult or impossible to explain experimentally. More specifically, in mixed solvent systems for proteins we developed a statistical-mechanical method to model the thermodynamic effects of additives in molecular-level detail. It was the first method demonstrated to have truly predictive (no adjustable parameters) capability for real protein systems. We also describe a novel mechanism that slows protein association reactions, called the “gap effect.” We developed a comprehensive picture of methioine oxidation by hydrogen peroxide that allows for accurate prediction of protein oxidation and provides a rationale for developing strategies to control oxidation. The method of solvent accessible area (SAA) was shown not to correlate well with oxidation rates. A new property, averaged two-shell water coordination number (2SWCN) was identified and shown to correlate well with oxidation rates. Reference parameters for the van der Waals Platteeuw model of clathrate-hydrates were found for structure I and structure II. These reference parameters are independent of the potential form (unlike the commonly used parameters) and have been validated by calculating phase behavior and structural transitions for mixed hydrate systems. These calculations are validated with experimental data for both structures and for systems that undergo transitions from one structure to another. This is the first method of calculating hydrate thermodynamics to demonstrate predictive capability for phase equilibria, structural changes, and occupancy in pure and mixed hydrate systems. We have computed a new mechanism for the methanol coupling reaction to form ethanol and water in the zeolite chabazite. The mechanism at 400°C proceeds via stable intermediates of water, methane, and protonated formaldehyde.

Cheaper Faster Drug Development Validated By The Repositioning Of Drugs Against Neglected Tropical Diseases.

There is an urgent need to make drug discovery cheaper and faster. This will enable the development of treatments for diseases currently neglected for economic reasons, such as tropical and orphan diseases, and generally increase the supply of new drugs. Here, we report the Robot Scientist 'Eve' designed to make drug discovery more economical. A Robot Scientist is a laboratory automation system that uses artificial intelligence (AI) techniques to discover scientific knowledge through cycles of experimentation. Eve integrates and automates library-screening, hit-confirmation, and lead generation through cycles of quantitative structure activity relationship learning and testing. Using econometric modelling we demonstrate that the use of AI to select compounds economically outperforms standard drug screening. For further efficiency Eve uses a standardized form of assay to compute Boolean functions of compound properties. These assays can be quickly and cheaply engineered using synthetic biology, enabling more targets to be assayed for a given budget. Eve has repositioned several drugs against specific targets in parasites that cause tropical diseases. One validated discovery is that the anti-cancer compound TNP-470 is a potent inhibitor of dihydrofolate reductase from the malaria-causing parasite Plasmodium vivax.

Validated method for the quantification of artepillin-C in Brazilian propolis

Brazilian propolis contains several phenolic compounds among which 5 diprenyl-4-hydroxycinnamic acid (artepillin-C) is commonly found in areas where flora is rich in Baccharis species. The quantification of artepillin-C has become an important factor as an indicator of Brazilian propolis quality and the compound may be used as a chemical marker for quality control in exportating green propolis. This work was to validate the method and evaluate the content of artepillin-C from 33 samples collected in different Brazilian regions. The method used was HPLC with UV-vis detection and a reversed-phase C-18 Column. The validation parameters studied were: linearity, accuracy, precision, quantification and detection limits. The results obtained were: detection limit = 0.0036 mu g/mL, quantification limit = 0.012 mu g/mL, accuracy = 0.0064 and 0.078, recovery 98-102%. Artepillin-C content varied from 0 to 11% depending on the geographical origin. Propolis from the southeast region presented the highest level of artepillin-C (5.0-11.0%). Whist that from the northeast region did not show any artepillin-C. Copyright (C) 2008 John Wiley & Sons, Ltd.

Online identification of chlorogenic acids, sesquiterpene lactones, and flavonoids in the Brazilian arnica Lychnophora ericoides Mart. (Asteraceae) leaves by HPLC-DAD-MS and HPLC-DAD-MS/MS and a validated HPLC-DAD method for their simultaneous analysis

Lychnophora ericoides Mart. (Asteraceae, Vernonieae) is a plant, endemic to Brazil, with occurrence restricted to the ""cerrado"" biome. Traditional medicine employs alcoholic and aqueous-alcoholic preparations of leaves from this species for the treatment of wounds, inflammation, and pain. Furthermore, leaves of L. ericoides are also widely used as flavorings for the Brazilian traditional spirit ""cachaca"". A method has been developed for the extraction and HPLC-DAD analysis of the secondary metabolites of L. ericoides leaves. This analytical method was validated with 11 secondary metabolites chosen to represent the different classes and polarities of secondary metabolites occurring in L. ericoides leaves, and good responses were obtained for each validation parameter analyzed. The same HPLC analytical method was also employed for online secondary metabolite identification by HPLC-DAD-MS and HPLC-DAD-MS/MS, leading to the identification of di-C-glucosylflavones, coumaroylglucosylflavonols, flavone, flavanones, flavonols, chalcones, goyazensolide, and eremantholide-type sesquiterpene lactones and positional isomeric series of chlorogenic acids possessing caffeic and/or ferulic moieties. Among the 52 chromatographic peaks observed, 36 were fully identified and 8 were attributed to compounds belonging to series of caffeoylferuloylquinic and diferuloylquinic acids that could not be individualized from each other.

A Validated Reverse-phase HPLC Analytical Method for the Quantification of Phenolic Compounds in Baccharis dracunculifolia

Introduction - Baccharis dracunculifolia, which has great potential for the development of new phytotherapeutic medicines, is the most important botanical source of the southeastern Brazilian propolis, known as green propolis on account of its color. Objective - To develop a reliable reverse-phase HPLC chromatographic method for the analysis of phenolic compounds in both B. dracunculifolia raw material and its hydroalcoholic extracts. Methodology - The method utilised a C(18) CLC-ODS (M) (4.6 x 250 mm) column with nonlinear gradient elution and UV detection at 280 nm. A procedure for the extraction of phenolic compounds using aqueous ethanol 90%, with the addition of veratraldehyde as the internal standard, was developed allowing the quantification of 10 compounds: caffeic acid, coumaric acid, ferulic acid, cinnamic acid, aromadendrin-4`-methyl ether, isosakuranetin, drupanin, artepillin C, baccharin and 2,2-dimethyl-6-carboxyethenyl-2H-1-benzopyran acid. Results - The developed method gave a good detection response with linearity in the range 20.83-800 mu g/mL and recovery in the range 81.25-93.20%, allowing the quantification of the analysed standards. Conclusion - The method presented good results for the following parameters: selectivity, linearity, accuracy, precision, robustness, as well as limit of detection and limit of quantitation. Therefore, this method could be considered as an analytical tool for the quality control of B. dracunculifolia raw material and its products in both cosmetic and pharmaceutical companies. Copyright (C) 2008 John Wiley & Sons, Ltd.

Measurements on trapped laser-cooled ions using quantum computations

There are some interesting connections between the theory of quantum computation and quantum measurement. As an illustration, we present a scheme in which an ion trap quantum computer can be used to make arbitrarily accurate measurements of the quadrature phase variables for the collective vibrational motion of the ion. We also discuss some more general aspects of quantum computation and measurement in terms of the Feynman-Deutsch principle.

Validated spectrophotometric and spectrofluorimetric methods for determination of chloroaluminum phthalocyanine in nanocarriers

UV-VIS-Spectrophotometric and spectrofluorimetric methods have been developed and validated allowing the quantification of chloroaluminum phthalocyanine (CIAIPc) in nanocarriers. In order to validate the methods, the linearity, limit of detection (LOD), limit of quantification (LOQ), precision, accuracy, and selectivity were examined according to USP 30 and ICH guidelines. Linearities range were found between 0.50-3.00 mu g.mL(-1) (Y=0.3829 X [CIAIPc, mu g.mL(-1)] + 0.0126; r=0.9992) for spectrophotometry, and 0.05-1.00 mu g.mL(-1) (Y=2.24 x 10(6) X [CIAIPc, mu g.L(-1)] + 9.74 x 10(4); r=0.9978) for spectrofluorimetry. In addition, ANOVA and Lack-of-fit tests demonstrated that the regression equations were statistically significant (p<0.05), and the resulting linear model is fully adequate for both analytical methods. The LOD values were 0.09 and 0.01 mu g.mL(-1), while the LOCI were 0.27 and 0.04 mu g.mL(-1) for spectrophotometric and spectrofluorimetric methods, respectively. Repeatability and intermediate precision for proposed methods showed relative standard deviation (RSD) between 0.58% to 4.80%. The percent recovery ranged from 98.9% to 102.7% for spectrophotometric analyses and from 94.2% to 101.2% for spectrofluorimetry. No interferences from common excipients were detected and both methods were considered specific. Therefore, the methods are accurate, precise, specific, and reproducible and hence can be applied for quantification of CIAIPc in nanoemulsions (NE) and nanocapsules (NC).

Empirically validated treatments and child clinical interventions - Comment

This commentary argues that empirically validated treatments for child and youth behaviour and emotional difficulties are available, but they are relatively inaccessible to the vast majority of Australian children and their families. Although effective interventions have been developed, few children receive these services. There are many children who have identifiable problems or who are at increased risk for psychosocial problems whose needs have not been adequately addressed by either the research or the professional community. These include children in rural and remote areas, Aboriginal and Tones Strait Islander children, children of migrants, and children with chronic physical illnesses. A comprehensive, preventively focused clinical science of prevention is needed to improve the reach and impact of psychological services for children.

Empirically validated interventions for adult disorders

The movement towards evidence-based practice in psychology and medicine should offer few problems in cognitive-behaviour therapies because it is consistent with the principles by which they have been developed and disseminated. However, the criteria for assessing empirical status, including the heavy emphasis on manualised treatments, need close examination. A possible outcome of the evidence-based movement would be to focus on the application of manualised treatments in both training and clinical practice; problems with that approach are discussed. If we are committed to evidence-based treatment, comparisons between psychological and pharmacological interventions should also be included so that rational health care decisions can be made. We should not be afraid of following the evidence, even when it supports treatments that are not cognitive-behavioural in stated orientation. Such results should be taken as an opportunity for theoretical development and new empirical inquiry rather than be a cause for concern.

Early identification of leptospirosis-associated pulmonary hemorrhage syndrome by use of a validated prediction model

Objective: To identify prediction factors for the development of leptospirosis-associated pulmonary hemorrhage syndrome (LPHS). Methods: We conducted a prospective cohort study. The study comprised of 203 patients, aged >= 14 years, admitted with complications of the severe form of leptospirosis at the Emilio Ribas Institute of Infectology (Sao Paulo, Brazil) between 1998 and 2004. Laboratory and demographic data were obtained and the severity of illness score and involvement of the lungs and others organs were determined. Logistic regression was performed to identify independent predictors of LPHS. A prospective validation cohort of 97 subjects with severe form of leptospirosis admitted at the same hospital between 2004 and 2006 was used to independently evaluate the predictive value of the model. Results: The overall mortality rate was 7.9%. Multivariate logistic regression revealed that five factors were independently associated with the development of LPHS: serum potassium (mmol/L) (OR = 2.6; 95% CI = 1.1-5.9); serum creatinine (mmol/L) (OR = 1.2; 95% CI = 1.1-1.4); respiratory rate (breaths/min) (OR = 1.1; 95% CI = 1.1-1.2); presenting shock (OR = 69.9; 95% CI = 20.1-236.4), and Glasgow Coma Scale Score (GCS) < 15 (OR = 7.7; 95% CI = 1.3-23.0). We used these findings to calculate the risk of LPHS by the use of a spreadsheet. In the validation cohort, the equation classified correctly 92% of patients (Kappa statistic = 0.80). Conclusions: We developed and validated a multivariate model for predicting LPHS. This tool should prove useful in identifying LPHS patients, allowing earlier management and thereby reducing mortality. (C) 2009 The British Infection Society. Published by Elsevier Ltd. All rights reserved.

Control of Aedes vectors of dengue in three provinces of Vietnam by use of Mesocyclops (Copepoda) and community-based methods validated by entomologic, clinical, and serological surveillance

We describe remarkable success in controlling dengue vectors, Aedes aegypti (L.) and Aedes albopictus (Skuse), in 6 communes with 11,675 households and 49,647 people in the northern provinces of Haiphong, Hung Yen, and Nam Dinh in Vietnam. The communes were selected for high-frequency use of large outdoor concrete tanks and wells. These were found to be the source of 49.6-98.4% of Ae. aegypti larvae, which were amenable to treatment with local Mesocyclops, mainly M. woutersi Van der Velde, M. aspericornis (Daday) and M. thermocyclopoides Harada. Knowledge, attitude, and practice surveys were performed to determine whether the communities viewed dengue and dengue hemorrhagic fever as a serious health threat; to determine their knowledge of the etiology, attitudes, and practices regarding control methods including Mesocyclops; and to determine their receptivity to various information methods. On the basis of the knowledge, attitude, and practice data, the community-based dengue control program comprised a system of local leaders, health volunteer teachers, and schoolchildren, supported by health professionals. Recycling of discards for economic gain was enhanced, where appropriate, and this, plus 37 clean-up campaigns, removed small containers unsuitable for Mesocyclops treatment. A previously successful eradication at Phan Boi village (Hung Yen province) was extended to 7 other villages forming Di Su commune (1,750 households) in the current study. Complete control was also achieved in Nghia Hiep (Hung Yen province) and in Xuan Phong (Nam Dinh province); control efficacy was greater than or equal to 99.7% in the other 3 communes (Lac Vien in Haiphong, Nghia Dong, and Xuan Kien in Nam Dinh). Although tanks and wells were the key container types of Ae. aegypti productivity, discarded materials were the source of 51% of the standing crop of Ae. albopictus. Aedes albopictus larvae were eliminated from the 3 Nam Dinh communes, and 86-98% control was achieved in the other 3 communes. Variable dengue attack rates made the clinical and serological comparison of control and untreated communes problematic, but these data indicate that clinical surveillance by itself is inadequate to monitor dengue transmission.

Eigenvalue computations in the context of data-sparse approximations of integral operators

In this work, we consider the numerical solution of a large eigenvalue problem resulting from a finite rank discretization of an integral operator. We are interested in computing a few eigenpairs, with an iterative method, so a matrix representation that allows for fast matrix-vector products is required. Hierarchical matrices are appropriate for this setting, and also provide cheap LU decompositions required in the spectral transformation technique. We illustrate the use of freely available software tools to address the problem, in particular SLEPc for the eigensolvers and HLib for the construction of H-matrices. The numerical tests are performed using an astrophysics application. Results show the benefits of the data-sparse representation compared to standard storage schemes, in terms of computational cost as well as memory requirements.

Efficient aggregate computations in large-scale dense WSN

We focus on large-scale and dense deeply embedded systems where, due to the large amount of information generated by all nodes, even simple aggregate computations such as the minimum value (MIN) of the sensor readings become notoriously expensive to obtain. Recent research has exploited a dominance-based medium access control(MAC) protocol, the CAN bus, for computing aggregated quantities in wired systems. For example, MIN can be computed efficiently and an interpolation function which approximates sensor data in an area can be obtained efficiently as well. Dominance-based MAC protocols have recently been proposed for wireless channels and these protocols can be expected to be used for achieving highly scalable aggregate computations in wireless systems. But no experimental demonstration is currently available in the research literature. In this paper, we demonstrate that highly scalable aggregate computations in wireless networks are possible. We do so by (i) building a new wireless hardware platform with appropriate characteristics for making dominance-based MAC protocols efficient, (ii) implementing dominance-based MAC protocols on this platform, (iii) implementing distributed algorithms for aggregate computations (MIN, MAX, Interpolation) using the new implementation of the dominance-based MAC protocol and (iv) performing experiments to prove that such highly scalable aggregate computations in wireless networks are possible.

Highly scalable aggregate computations in cyber-physical systems: physical environment meets communication protocols

In this paper, we focus on large-scale and dense Cyber- Physical Systems, and discuss methods that tightly integrate communication and computing with the underlying physical environment. We present Physical Dynamic Priority Dominance ((PD)2) protocol that exemplifies a key mechanism to devise low time-complexity communication protocols for large-scale networked sensor systems. We show that using this mechanism, one can compute aggregate quantities such as the maximum or minimum of sensor readings in a time-complexity that is equivalent to essentially one message exchange. We also illustrate the use of this mechanism in a more complex task of computing the interpolation of smooth as well as non-smooth sensor data in very low timecomplexity.