Proposal of a High-Level Language for Writing Self Modifying Programs

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

Development of a fast capillary electrophoresis method for the determination of propranolol-Total analysis time reduction strategies

The aim of this study was to develop a fast capillary electrophoresis method for the determination of propranolol in pharmaceutical preparations. In the method development the pH and constituents of the background electrolyte were selected using the effective mobility versus pH curves. Benzylamine was used as the internal standard. The background electrolyte was composed of 60 mmol L(-1) tris(hydroxymethyl)aminomethane and 30 mmol L(-1) 2-hydroxyisobutyric acid,at pH 8.1. Separation was conducted in a fused-silica capillary (32 cm total length and 8.5 cm effective length, 50 mu m I.D.) with a short-end injection configuration and direct UV detection at 214 nm. The run time was only 14 s. Three different strategies were studied in order to develop a fast CE method with low total analysis time for propranolol analysis: low flush time (Lflush) 35 runs/h, without flush (Wflush) 52 runs/h, and Invert (switched polarity) 45 runs/h. Since the three strategies developed are statistically equivalent, Mush was selected due to the higher analytical frequency in comparison with the other methods. A few figures of merit of the proposed method include: good linearity (R(2) > 0.9999); limit of detection of 0.5 mg L(-1): inter-day precision better than 1.03% (n = 9) and recovery in the range of 95.1-104.5%. (C) 2009 Elsevier B.V. All rights reserved.

Simultaneous determination of econazole nitrate, main impurities and preservatives in cream formulation by high performance liquid chromatography

A reversed-phase high performance liquid chromatographic (RP-HPLC) method for determination of econazole nitrate, preservatives (methylparaben and propylparaben) and its main impurities (4-chlorobenzl alcohol and alpha-(2,4-dicholorophenyl)-1H-imidazole-1-ethanol) in cream formulations, has been developed and validated. Separation was achieved on a column Bondclone (R) C18 (300 mm x 3.9 mm i.d., 10 mu m) using a gradient method with mobile phase composed of methanol and water. The flow rate was 1.4 mL min(-1), temperature of the column was 25 C and the detection was made at 220 nm. Miconazole nitrate was used as an internal standard. The total run time was less than 15 min, The analytical curves presented coefficient of correlation upper to 0.99 and detection and quantitation limits were calculated for all molecules. Excellent accuracy and precision were obtained for econazole nitrate. Recoveries varied from 97.9 to 102.3% and intra- and inter-day precisions, calculated as relative standard deviation (R.S.D), were lower than 2.2%. Specificity, robustness and assay for econazole nitrate were also determined. The method allowed the quantitative determination of econazole nitrate, its impurities and preservatives and could be applied as a stability-indicating method for econazole nitrate in cream formulations. (C) 2008 Elsevier B.V. All rights reserved.

Validation of a manual headspace gas chromatography method for determining volatile compounds in biological fluids

Background: We report the validation of a method for the determination of acetaldehyde, acetone, methanol, and ethanol in biological fluids using manual headspace sample introduction and an acetonitrile internal standard. Method: This method uses a capillary column (I = 30 m, I.D. = 0.25 mm, dF = 0.25 mu m) installed in a gas chromatography-flame ionization detector (GC-FID) apparatus with a run time of 7.5 minutes. Results: Analysis of the retention times and the resolution of the analyte peaks demonstrated excellent separation without widening of the peaks. Precision and accuracy were good (interassay precision < 15% and recovery between 85% and 115%) in both blood and urine. Conclusion: The method was linear (r > 0.09) over the analytical measurement range (AMR) of each analyte.

Quantification of chlordesmethyldiazepam by liquid chromatography-tandem mass spectrometry: application to a cloxazolam bioequivalence study

A rapid, sensitive and specific LC-MS/MS method was developed and validated for quantifying chlordesmethyldiazepam (CDDZ or delorazepam), the active metabolite of cloxazolam, in human plasma. In the analytical assay, bromazepam (internal standard) and CDDZ were extracted using a liquid-liquid extraction (diethyl-ether/hexane, 80/20, v/v) procedure. The LC-MS/MS method on a RP-C18 column had an overall run time of 5.0 min and was linear (1/x weighted) over the range 0.5-50 ng/mL (R > 0.999). The between-run precision was 8.0% (1.5 ng/mL), 7.6% (9 ng/mL), 7.4% (40 ng/mL), and 10.9% at the low limit of quantification-LLOQ (0.500 ng/mL). The between-run accuracies were 0.1, -1.5, -2.7 and 8.7% for the above mentioned concentrations, respectively. All current bioanalytical method validation requirements (FDA and ANVISA) were achieved and it was applied to the bioequivalence study (Cloxazolam-test, Eurofarma Lab. Ltda and Olcadil (R)-reference, Novartis Biociencias S/A). The relative bioavailability between both formulations was assessed by calculating individual test/reference ratios for Cmax, AUClast and AUCO-inf. The pharmacokinetic profiles indicated bioequivalence since all ratios were as proposed by FDA and ANVISA. Copyright (C) 2009 John Wiley & Sons, Ltd.

Ciprofibrate quantification in human plasma by high-performance liquid chromatography coupled with electrospray tandem mass spectrometry for pharmacokinetic studies

A rapid, sensitive and specific method for quantifying ciprofibrate in human plasma using bezafibrate as the internal standard (IS) is described. The sample was acidified prior extraction with formic acid (88%). The analyte and the IS were extracted from plasma by liquid-liquid extraction using an organic solvent (diethyl ether/dichloromethane 70/30 (v/v)). The extracts were analyzed by high performance liquid chromatography coupled with electrospray tandem mass spectrometry (HPLC-MS/MS). Chromatography was performed using Genesis C18 4 mu m analytical column (4.6 x 150 mm i.d.) and a mobile phase consisting of acetonitrile/water (70/30, v/v) and 1 mM acetic acid. The method had a chromatographic run time of 3.4 min and a linear calibration curve over the range 0.1-60 mu g/mL (r > 0.99). The limit of quantification was 0.1 mu g/mL. The intra- and interday accuracy and precision values of the assay were less than 13.5%. The stability tests indicated no significant degradation. The recovery of ciprofibrate was 81.2%, 73.3% and 76.2% for the 0.3, 5.0 and 48.0 ng/mL standard concentrations, respectively. For ciprofibrate, the optimized parameters of the declustering potential, collision energy and collision exit potential were -51 V, -16 eV and -5 V, respectively. The method was also validated without the use of the internal standard. This HPLC-MS/MS procedure was used to assess the bioequivalence of two ciprofibrate 100 mg tablet formulations in healthy volunteers of both sexes. The following pharmacokinetic parameters were obtained from the ciprofibrate plasma concentration vs. time curves: AUC(last), AUC(0-168 h), C(max) and T(max). The geometric mean with corresponding 90% confidence interval (CI) for test/reference percent ratios were 93.80% (90% CI = 88.16-99.79%) for C(max), 98.31% (90% CI = 94.91-101.83%) for AUC(last) and 97.67% (90% CI = 94.45-101.01%) for AUC(0-168 h). Since the 90% Cl for AUC(last), AUC(0-168 h) and C(max) ratios were within the 80-125% interval proposed by the US FDA, it was concluded that ciprofibrate (Lipless (R) 100 mg tablet) formulation manufactured by Biolab Sanus Farmaceutica Ltda. is bioequivalent to the Oroxadin (R) (100 mg tablet) formulation for both the rate and the extent of absorption. (C) 2011 Published by Elsevier B.V.

On the cutting stock problem under stochastic demand

This paper addresses the one-dimensional cutting stock problem when demand is a random variable. The problem is formulated as a two-stage stochastic nonlinear program with recourse. The first stage decision variables are the number of objects to be cut according to a cutting pattern. The second stage decision variables are the number of holding or backordering items due to the decisions made in the first stage. The problem`s objective is to minimize the total expected cost incurred in both stages, due to waste and holding or backordering penalties. A Simplex-based method with column generation is proposed for solving a linear relaxation of the resulting optimization problem. The proposed method is evaluated by using two well-known measures of uncertainty effects in stochastic programming: the value of stochastic solution-VSS-and the expected value of perfect information-EVPI. The optimal two-stage solution is shown to be more effective than the alternative wait-and-see and expected value approaches, even under small variations in the parameters of the problem.

Scalable model-based configuration management of security services in complex enterprise networks

Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes and follow differing semantic concepts. Nevertheless, they are interdependent due to security services having to cooperate and their configuration to be consistent with each other, so that global security policies are completely and correctly enforced. To tackle this problem, our approach supports a comfortable definition of an abstract high-level security policy and provides an automated derivation of the desired configuration files. It is an extension of policy-based management and policy hierarchies, combining model-based management (MBM) with system modularization. MBM employs an object-oriented model of the managed system to obtain the details needed for automated policy refinement. The modularization into abstract subsystems (ASs) segment the system-and the model-into units which more closely encapsulate related system components and provide focused abstract views. As a result, scalability is achieved and even comprehensive IT systems can be modelled in a unified manner. The associated tool MoBaSeC (Model-Based-Service-Configuration) supports interactive graphical modelling, automated model analysis and policy refinement with the derivation of configuration files. We describe the MBM and AS approaches, outline the tool functions and exemplify their applications and results obtained. Copyright (C) 2010 John Wiley & Sons, Ltd.

Determination of sorbate and benzoate in beverage samples by capillary electrophoresis - Optimization of the method with inspection of ionic mobilities

The aim of this study was to develop a fast capillary electrophoresis method for the determination of benzoate and sorbate ions in commercial beverages. In the method development the pH and constituents of the background electrolyte were selected using the effective mobility versus pH curves. As the high resolution obtained experimentally for sorbate and benzoate in the studies presented in the literature is not in agreement with that expected from the ionic mobility values published, a procedure to determine these values was carried out. The salicylate ion was used as the internal standard. The background electrolyte was composed of 25 mmol L(-1) tris(hydroxymethyl)aminomethane and 12.5 mmol L(-1) 2-hydroxyisobutyric acid, atpH 8.1.Separation was conducted in a fused-silica capillary(32 cm total length and 8.5 cm effective length, 50 mu m I.D.), with short-end injection configuration and direct UV detection at 200 nm for benzoate and salicylate and 254 nm for sorbate ions. The run time was only 28 s. A few figures of merit of the proposed method include: good linearity (R(2) > 0.999), limit of detection of 0.9 and 0.3 mg L(-1) for benzoate and sorbate, respectively, inter-day precision better than 2.7% (n =9) and recovery in the range 97.9-105%. Beverage samples were prepared by simple dilution with deionized water (1:11, v/v). Concentrations in the range of 197-401 mg L(-1) for benzoate and 28-144 mg L(-1) for sorbate were found in soft drinks and tea. (c) 2008 Elsevier B.V. All rights reserved.

Simultaneous analysis of five antidepressant drugs using direct injection of biofluids in a capillary restricted-access media-liquid chromatography-tandem mass spectrometry system

Direct analysis, with minimal sample pretreatment, of antidepressant drugs, fluoxetine, imipramine, desipramine, amitriptyline, and nortriptyline in biofluids was developed with a total run time of 8 min. The setup consists of two HPLC pumps, injection valve, capillary RAM-ADS-C18 pre-column and a capillary analytical C 18 column connected by means of a six-port valve in backflush mode. Detection was performed with ESI-MS/MS and only 1 mu m of sample was injected. Validation was adequately carried out using FLU-d(5) as internal standard. Calibration curves were constructed under a linear range of 1-250 ng mL(-1) in plasma, being the limit of quantification (LOQ), determined as 1 ng mL(-1), for all the analytes. With the described approach it was possible to reach a quantified mass sensitivity of 0.3 pg for each analyte (equivalent to 1.1-1.3 fmol), translating to a lower sample consumption (in the order of 103 less sample than using conventional methods). (C) 2008 Elsevier B.V. All rights reserved.

Sample stacking in CZE using dynamic thermal junctions I. Analytes with low dpK(a)/dT crossing a single thermally induced pH junction in a BGE with high dpH/dT

The possibility to compress analyte bands at the beginning of CE runs has many advantages. Analytes at low concentration can be analyzed with high signal-to-noise ratios by using the so-called sample stacking methods. Moreover, sample injections with very narrow initial band widths (small initial standard deviations) are sometimes useful, especially if high resolutions among the bands are required in the shortest run time. In the present work, a method of sample stacking is proposed and demonstrated. It is based on BGEs with high thermal sensitive pHs (high dpH/dT) and analytes with low dpK(a)/dT. High thermal sensitivity means that the working pK(a) of the BGE has a high dpK(a)/dT in modulus. For instance, Tris and Ethanolamine have dpH/dT = -0.028/degrees C and -0.029/degrees C, respectively, whereas carboxylic acids have low dpK(a)/dT values, i.e. in the -0.002/degrees C to+0.002/degrees C range. The action of cooling and heating sections along the capillary during the runs affects also the local viscosity, conductivity, and electric field strength. The effect of these variables on electrophoretic velocity and band compression is theoretically calculated using a simple model. Finally, this stacking method was demonstrated for amino acids derivatized with naphthalene-2,3-dicarboxaldehyde and fluorescamine using a temperature difference of 70 degrees C between two neighbor sections and Tris as separation buffer. In this case, the BGE has a high pH thermal coefficient whereas the carboxylic groups of the analytes have low pK(a) thermal coefficients. The application of these dynamic thermal gradients increased peak height by a factor of two (and decreased the standard deviations of peaks by a factor of two) of aspartic acid and glutamic acid derivatized with naphthalene-2,3-dicarboxaldehyde and serine derivatized with fluorescamine. The effect of thermal compression of bands was not observed when runs were accomplished using phosphate buffer at pH 7 (negative control). Phosphate has a low dpH/dT in this pH range, similar to the dK(a)/dT of analytes. It is shown that vertical bar dK(a)/dT-dpH/dT vertical bar >> 0 is one determinant factor to have significant stacking produced by dynamic thermal junctions.

Algorithms for two-dimensional cutting stock and strip packing problems using dynamic programming and column generation

We investigate several two-dimensional guillotine cutting stock problems and their variants in which orthogonal rotations are allowed. We first present two dynamic programming based algorithms for the Rectangular Knapsack (RK) problem and its variants in which the patterns must be staged. The first algorithm solves the recurrence formula proposed by Beasley; the second algorithm - for staged patterns - also uses a recurrence formula. We show that if the items are not so small compared to the dimensions of the bin, then these algorithms require polynomial time. Using these algorithms we solved all instances of the RK problem found at the OR-LIBRARY, including one for which no optimal solution was known. We also consider the Two-dimensional Cutting Stock problem. We present a column generation based algorithm for this problem that uses the first algorithm above mentioned to generate the columns. We propose two strategies to tackle the residual instances. We also investigate a variant of this problem where the bins have different sizes. At last, we study the Two-dimensional Strip Packing problem. We also present a column generation based algorithm for this problem that uses the second algorithm above mentioned where staged patterns are imposed. In this case we solve instances for two-, three- and four-staged patterns. We report on some computational experiments with the various algorithms we propose in this paper. The results indicate that these algorithms seem to be suitable for solving real-world instances. We give a detailed description (a pseudo-code) of all the algorithms presented here, so that the reader may easily implement these algorithms. (c) 2007 Elsevier B.V. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Generation of self-similar Gaussian time series by means of the DWT and DWPT variance maps

Due to the several kinds of services that use the Internet and data networks infra-structures, the present networks are characterized by the diversity of types of traffic that have statistical properties as complex temporal correlation and non-gaussian distribution. The networks complex temporal correlation may be characterized by the Short Range Dependence (SRD) and the Long Range Dependence - (LRD). Models as the fGN (Fractional Gaussian Noise) may capture the LRD but not the SRD. This work presents two methods for traffic generation that synthesize approximate realizations of the self-similar fGN with SRD random process. The first one employs the IDWT (Inverse Discrete Wavelet Transform) and the second the IDWPT (Inverse Discrete Wavelet Packet Transform). It has been developed the variance map concept that allows to associate the LRD and SRD behaviors directly to the wavelet transform coefficients. The developed methods are extremely flexible and allow the generation of Gaussian time series with complex statistical behaviors.

Time to rehospitalization in patients with schizophrenia discharged on first generation antipsychotics, non-clozapine second generation antipsychotics, or clozapine

Rehospitalization is an important outcome of drug effectiveness in schizophrenia. In this study, the hypothesis that clozapine and some second generation antipsychotics (SGA) were superior to first generation antipsychotics (FGA) in preventing rehospitalization of patients with schizophrenia discharged from a university hospital in Brazil was tested. A retrospective observational study was conducted designed to evaluate time to rehospitalization of patients with schizophrenia discharged on a regimen of oral FGA, depot FGA, risperidone, olanzapine and amisulpride, other SGA, or clozapine, during a three-year follow-up period. Risk factors associated with rehospitalization were examined. Of the 464 patients with schizophrenia discharged from hospital, 242 met criteria for study entry. Higher rehospitalization rates were observed in patients treated with depot FGA (30%), risperidone (30%) and other SGA groups (28.5%), respectively. Clozapine was significantly associated with lower rehospitalization risk compared with risperidone. The risk of rehospitalization in patients on olanzapine and amisulpride, and oral FGA, was similar to that of patients in use of clozapine. These results however, are limited by the heterogeneity of illness severity across the groups. (C) 2011 Elsevier Ireland Ltd. All rights reserved.