A relaxed constant positive linear dependence constraint qualification and applications

In this work we introduce a relaxed version of the constant positive linear dependence constraint qualification (CPLD) that we call RCPLD. This development is inspired by a recent generalization of the constant rank constraint qualification by Minchenko and Stakhovski that was called RCRCQ. We show that RCPLD is enough to ensure the convergence of an augmented Lagrangian algorithm and that it asserts the validity of an error bound. We also provide proofs and counter-examples that show the relations of RCRCQ and RCPLD with other known constraint qualifications. In particular, RCPLD is strictly weaker than CPLD and RCRCQ, while still stronger than Abadie's constraint qualification. We also verify that the second order necessary optimality condition holds under RCRCQ.

Resolution of isomeric multi-ruthenated porphyrins by travelling wave ion mobility mass spectrometry

The ability of travelling wave ion mobility mass spectrometry (TWIM-MS) to resolve cationic meta/para and cis/trans isomers of mono-, di-, tri- and tetra-ruthenated supramolecular porphyrins was investigated. All meta isomers were found to be more compact than the para isomers and therefore mixtures of all isomeric pairs could be properly resolved with baseline or close to baseline peak-to-peak resolution (Rp-p). Di-substituted cis/trans isomers were found, however, to present very similar drift times and could not be resolved. N-2 and CO2 were tested as the drift gas, and similar a but considerably better values of R-p and Rp-p were always observed for CO2. Copyright (C) 2012 John Wiley & Sons, Ltd.

Quantitative comparison of mobility and gross motor function in Brazilian children with cerebral palsy

Background: Cerebral palsy (CP) presents changes in posture and movement as a core characteristic, which requires therapeutic monitoring during the habilitation or rehabilitation of children. Besides clinical treatment, it is fundamental that professionals use systems of evaluation to quantify the difficulties presented to the individual and assist in the organization of a therapeutic program. The aim of this study was to quantitatively verify the performance of children with spastic di-paresia type CP. Methods: The Pediatric Evaluation of Disability Inventory (PEDI) and Gross Motor Function Classification System (GMFM) tests were used and classification made through the GMFCS in the assessment of 7 patients with CP, 4 females and 3 males, average age of 9 years old. Results: According to GMFCS scales, 17% (n=1) were level II and 83% (n=6) were level III. The PEDI test and 88 GMFM items were used in the area of mobility. We observed that there was high correlation between mobility and gross motor function with Pearson's correlation coefficient =0.929) showing the likely impact of these areas in the functional skills and the quality of life of these patients. Conclusion: We suggest the impact of the limitation of the areas in functional skills and quality of life of these patients.

Modified constraint-induced movement therapy and modified forced-use therapy for stroke patients are both effective to promote balance and gait improvements

Background: Previous studies show that chronic hemiparetic patients after stroke, presents inabilities to perform movements in paretic hemibody. This inability is induced by positive reinforcement of unsuccessful attempts, a concept called learned non-use. Forced use therapy (FUT) and constraint induced movement therapy (CIMT) were developed with the goal of reversing the learned non-use. These approaches have been proposed for the rehabilitation of the paretic upper limb (PUL). It is unknown what would be the possible effects of these approaches in the rehabilitation of gait and balance. Objectives: To evaluate the effect of Modified FUT (mFUT) and Modified CIMT (mCIMT) on the gait and balance during four weeks of treatment and 3 months follow-up. Methods: This study included thirty-seven hemiparetic post-stroke subjects that were randomly allocated into two groups based on the treatment protocol. The non-paretic UL was immobilized for a period of 23 hours per day, five days a week. Participants were evaluated at Baseline, 1st, 2nd, 3rd and 4th weeks, and three months after randomization. For the evaluation we used: The Stroke Impact Scale (SIS), Berg Balance Scale (BBS) and Fugl-Meyer Motor Assessment (FM). Gait was analyzed by the 10-meter walk test (T10) and Timed Up & Go test (TUG). Results: Both groups revealed a better health status (SIS), better balance, better use of lower limb (BBS and FM) and greater speed in gait (T10 and TUG), during the weeks of treatment and months of follow-up, compared to the baseline. Conclusion: The results show mFUT and mCIMT are effective in the rehabilitation of balance and gait. Trial Registration ACTRN12611000411943.

Determination of carrier mobility in MEH-PPV thin-films by stationary and transient current techniques

Charge transport and shelf-degradation of MEH-PPV thin-films were investigated through stationary (e.g. current versus voltage - JxV) and transient (e.g. Time-of-Flight - ToF, Dark-Injection Space-Charge-Limited Current - DI-SCLC, Charge Extraction by Linearly Increasing Voltage - CELN) current techniques. Charge carrier mobility in nanometric films was best characterized through JxV and DI-SCLC. It approaches 10(-6) cm(2)Ns under a SCLC regime with deep traps for light-emitting diode applications. ToF measurements performed on micrometric layers (i.e. - 3 mu m) confirmed studies in 100 nm-thick films as deposited in OLEDs. All results were comparable to a similar poly(para-phenylene vinylene) derivative, MDMO-PPV. Electrical properties extracted from thin-film transistors demonstrated mobility dependence on carrier concentration in the channel (similar to 10(-7)-10(-4) cm(2)/Vs). At low accumulated charge levels and reduced free carrier concentration, a perfect agreement to the previously cited techniques was observed. Degradation was verified through mobility reduction and changes in trap distribution of states. (C) 2011 Elsevier B.V. All rights reserved.

Corrole isomers: intrinsic gas-phase shapes via traveling wave ion mobility mass spectrometry and dissociation chemistries via tandem mass spectrometry

Corrole and four of its isomers with subtle structural changes promoted by exchange of nitrogen and carbon atoms in the corrole ring have been studied by traveling wave ion mobility mass spectrometry and collision induced dissociation experiments. Significant differences in shapes and charge distributions for their protonated molecules were found to lead to contrasting gas phase mobilities, most particularly for corrorin, the most "confused" isomer. Accordingly, corrorin was predicted by B3LYP/6-31g(d,p) and collisional cross section calculations to display the most compact tri-dimensional structure, whereas NCC4 and corrole were found to be the most planar isomers. Better resolution between the corrole isomers was achieved using the more polarizable and massive CO2 as the drift gas. Sequential losses of HF molecules were found to dominate the dissociation chemistry of the protonated molecules of these corrole isomers, but their unique structures caused contrasting labilities towards CID, whereas NCC4 showed a peculiar and structurally diagnostic loss of NH3, allowing its prompt differentiation from the other isomers.

TWO NEW WEAK CONSTRAINT QUALIFICATIONS AND APPLICATIONS

We present two new constraint qualifications (CQs) that are weaker than the recently introduced relaxed constant positive linear dependence (RCPLD) CQ. RCPLD is based on the assumption that many subsets of the gradients of the active constraints preserve positive linear dependence locally. A major open question was to identify the exact set of gradients whose properties had to be preserved locally and that would still work as a CQ. This is done in the first new CQ, which we call the constant rank of the subspace component (CRSC) CQ. This new CQ also preserves many of the good properties of RCPLD, such as local stability and the validity of an error bound. We also introduce an even weaker CQ, called the constant positive generator (CPG), which can replace RCPLD in the analysis of the global convergence of algorithms. We close this work by extending convergence results of algorithms belonging to all the main classes of nonlinear optimization methods: sequential quadratic programming, augmented Lagrangians, interior point algorithms, and inexact restoration.

Benchmarking sustainable urban mobility: The case of Curitiba, Brazil

Transportation planning is currently being confronted with a broader planning view, which is given by the concept of mobility. The Index of Sustainable Urban Mobility (I_SUM) is among the tools developed for supporting this new concept implementation. It is a tool to assess the current mobility conditions of any city, which can also be applied for policy formulation. This study focus on the application of I_SUM in the city of Curitiba, Brazil. Considering that the city is known worldwide as a reference of successful urban and transportation planning, the index application must confirm it. An additional objective of the study was to evaluate the index itself, or the subjacent assessment method and reference values. A global I_SUM value of 0.747 confirmed that the city has indeed very positive characteristics regarding sustainable mobility policies. However, some deficiencies were also detected, particularly with respect to non-motorized transport modes. The application has also served to show that a few I_SUM indicators were not able to capture some of the positive aspects of the city, what may suggest the need of changes in their formulation. Finally, the index application in parts of the city suggests that the city provides fair and equitable mobility conditions to all citizens throughout the city. This is certainly a good attribute for becoming a benchmark of sustainable mobility, even if it is not yet the ideal model. (C) 2012 Elsevier Ltd. All rights reserved.

No-pole condition in Landau gauge: Properties of the Gribov ghost form factor and a constraint on the 2d gluon propagator

We study general properties of the Landau-gauge Gribov ghost form factor sigma(p(2)) for SU(N-c) Yang-Mills theories in the d-dimensional case. We find a qualitatively different behavior for d = 3, 4 with respect to the d = 2 case. In particular, considering any (sufficiently regular) gluon propagator D(p(2)) and the one-loop-corrected ghost propagator, we prove in the 2d case that the function sigma(p(2)) blows up in the infrared limit p -> 0 as -D(0) ln(p(2)). Thus, for d = 2, the no-pole condition sigma(p(2)) < 1 (for p(2) > 0) can be satisfied only if the gluon propagator vanishes at zero momentum, that is, D(0) = 0. On the contrary, in d = 3 and 4, sigma(p(2)) is finite also if D(0) > 0. The same results are obtained by evaluating the ghost propagator G(p(2)) explicitly at one loop, using fitting forms for D(p(2)) that describe well the numerical data of the gluon propagator in two, three and four space-time dimensions in the SU(2) case. These evaluations also show that, if one considers the coupling constant g(2) as a free parameter, the ghost propagator admits a one-parameter family of behaviors (labeled by g(2)), in agreement with previous works by Boucaud et al. In this case the condition sigma(0) <= 1 implies g(2) <= g(c)(2), where g(c)(2) is a "critical" value. Moreover, a freelike ghost propagator in the infrared limit is obtained for any value of g(2) smaller than g(c)(2), while for g(2) = g(c)(2) one finds an infrared-enhanced ghost propagator. Finally, we analyze the Dyson-Schwinger equation for sigma(p(2)) and show that, for infrared-finite ghost-gluon vertices, one can bound the ghost form factor sigma(p(2)). Using these bounds we find again that only in the d = 2 case does one need to impose D(0) = 0 in order to satisfy the no-pole condition. The d = 2 result is also supported by an analysis of the Dyson-Schwinger equation using a spectral representation for the ghost propagator. Thus, if the no-pole condition is imposed, solving the d = 2 Dyson-Schwinger equations cannot lead to a massive behavior for the gluon propagator. These results apply to any Gribov copy inside the so-called first Gribov horizon; i.e., the 2d result D(0) = 0 is not affected by Gribov noise. These findings are also in agreement with lattice data.

Exploring the coordination chemistry of isomerizable terpyridine derivatives for successful analyses of cis and trans isomers by travelling wave ion mobility mass spectrometry

The photochemical cis-trans isomerization of the 4-{4-[2-(pyridin-4-yl)ethenyl]phenyl}-2,2': 6',2''-terpyridine ligand (vpytpy) was investigated by UV-vis, NMR and TWIM-MS. Ion mobility mass spectrometry was performed pursuing the quantification of the isomeric composition during photolysis, however an in-source trans-to-cis isomerization process was observed. In order to overcome this inherent phenomenon, the isomerization of the vpytpy species was suppressed by complexation, reacting with iron(II) ions, and forming the [Fe(vpytpy)(2)](2+) complex. The strategy of "freezing" the cis-trans isomerizable ligand at a given geometric conformation was effective, preventing further isomerization, thus allowing the distinction of each one of the isomers in the photolysed mixture. In addition, the experimental drift times were related to the calculated surface areas of the three possible cis-cis, cis-trans and trans-trans iron(II) complex isomers. The stabilization of the ligand in a given conformation also allows us to obtain the cis-cis and cis-trans complexes exhibiting the ligand in the metastable cis-conformation, as well as in the thermodynamically stable trans-conformation.

Protomers: formation, separation and characterization via travelling wave ion mobility mass spectrometry

Travelling wave ion mobility mass spectrometry (TWIM-MS) with post-TWIM and pre-TWIM collision-induced dissociation (CID) experiments were used to form, separate and characterize protomers sampled directly from solutions or generated in the gas phase via CID. When in solution equilibria, these species were transferred to the gas phase via electrospray ionization, and then separated by TWIM-MS. CID performed after TWIM separation (post-TWIM) allowed the characterization of both protomers via structurally diagnostic fragments. Protonated aniline (1) sampled from solution was found to be constituted of a ca. 5:1 mixture of two gaseous protomers, that is, the N-protonated (1a) and ring protonated (1b) molecules, respectively. When dissociated, 1a nearly exclusively loses NH3, whereas 1b displays a much diverse set of fragments. When formed via CID, varying populations of 1a and 1b were detected. Two co-existing protomers of two isomeric porphyrins were also separated and characterized via post-TWIM CID. A deprotonated porphyrin sampled from a basic methanolic solution was found to be constituted predominantly of the protomer arising from deprotonation at the carboxyl group, which dissociates promptly by CO2 loss, but a CID-resistant protomer arising from deprotonation at a porphyrinic ring NH was also detected and characterized. The doubly deprotonated porphyrin was found to be constituted predominantly of a single protomer arising from deprotonation of two carboxyl groups. Copyright (C) 2012 John Wiley & Sons, Ltd.

Constraint-based analysis of gene interactions using restricted boolean networks and time-series data

Abstract Background A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the Boolean network model and time-series data. Actually, the Boolean network is restricted in the sense that only a subset of all possible Boolean functions are considered. We explore some mathematical properties of the restricted Boolean networks in order to avoid the full search approach. The problem is modeled as a Constraint Satisfaction Problem (CSP) and CSP techniques are used to solve it. Results We applied the proposed algorithm in two data sets. First, we used an artificial dataset obtained from a model for the budding yeast cell cycle. The second data set is derived from experiments performed using HeLa cells. The results show that some interactions can be fully or, at least, partially determined under the Boolean model considered. Conclusions The algorithm proposed can be used as a first step for detection of gene/protein interactions. It is able to infer gene relationships from time-series data of gene expression, and this inference process can be aided by a priori knowledge available.

Order induced charge carrier mobility enhancement in columnar liquid crystal diodes

Discotic molecules comprising a rigid aromatic core and flexible side chains have been promisingly applied in OLEDs as self-organizing organic semiconductors. Due to their potentially high charge carrier mobility along the columns, device performance can be readily improved by proper alignment of columns throughout the bulk. In the present work, the charge mobility was increased by 5 orders of magnitude due to homeotropic columnar ordering induced by the boundary interfaces during thermal annealing in the mesophase. State-of-the-art diodes were fabricated using spin-coated films whose homeotropic alignment with formation of hexagonal germs was observed by polarizing optical microscopy. The photophysical properties showed drastic changes at the mesophase-isotropic transition, which is supported by the gain of order observed by X-ray diffraction. The electrical properties were investigated by modeling the current−voltage characteristics by a space-charge-limited current transport with a field dependent mobility.