Equivalence Between the Lagrangian and Hamiltonian Formalisms for Constrained Systems

The equivalence between the Lagrangian and Hamiltonian formalism is studied for constraint systems. A procedure to construct the Lagrangian constraints from the Hamiltonian constraints is given. Those Hamiltonian constraints that are first class with respect to the Hamiltonian constraints produce Lagrangian constraints that are FL-projectable.

Lee HWA Chung theorem for presympectic manifolds. Canonical transformations for constrained systems

We generalize the analogous of Lee Hwa Chungs theorem to the case of presymplectic manifolds. As an application, we study the canonical transformations of a canonical system (M, S, O). The role of Dirac brackets as a test of canonicity is clarified.

Hamilton-Jacobi theory for constrained systems

We extend the HamiltonJacobi formulation to constrained dynamical systems. The discussion covers both the case of first-class constraints alone and that of first- and second-class constraints combined. The HamiltonDirac equations are recovered as characteristic of the system of partial differential equations satisfied by the HamiltonJacobi function.

Computation of arbitrarily constrained synthetic discriminant functions

An algorithm for computing correlation filters based on synthetic discriminant functions that can be displayed on current spatial light modulators is presented. The procedure is nondivergent, computationally feasible, and capable of producing multiple solutions, thus overcoming some of the pitfalls of previous methods.

Pharmacokinetic variability of extended interval tobramycin in burn patients.

BACKGROUND: Aminoglycosides are mandatory in the treatment of severe infections in burns. However, their pharmacokinetics are difficult to predict in critically ill patients. Our objective was to describe the pharmacokinetic parameters of high doses of tobramycin administered at extended intervals in severely burned patients. METHODS: We prospectively enrolled 23 burned patients receiving tobramycin in combination therapy for Pseudomonas species infections in a burn ICU over 2 years in a therapeutic drug monitoring program. Trough and post peak tobramycin levels were measured to adjust drug dosage. Pharmacokinetic parameters were derived from two points first order kinetics. RESULTS: Tobramycin peak concentration was 7.4 (3.1-19.6)microg/ml and Cmax/MIC ratio 14.8 (2.8-39.2). Half-life was 6.9 (range 1.8-24.6)h with a distribution volume of 0.4 (0.2-1.0)l/kg. Clearance was 35 (14-121)ml/min and was weakly but significantly correlated with creatinine clearance. CONCLUSION: Tobramycin had a normal clearance, but an increased volume of distribution and a prolonged half-life in burned patients. However, the pharmacokinetic parameters of tobramycin are highly variable in burned patients. These data support extended interval administration and strongly suggest that aminoglycosides should only be used within a structured pharmacokinetic monitoring program.

Lee HWA Chung theorem for presympectic manifolds. Canonical transformations for constrained systems

We generalize the analogous of Lee Hwa Chungs theorem to the case of presymplectic manifolds. As an application, we study the canonical transformations of a canonical system (M, S, O). The role of Dirac brackets as a test of canonicity is clarified.

Cost limitation through constrained oviposition site in a plant-pollinator/seed predator mutualism

Mutualism often involves reciprocal exploitation due to individual selection for increased benefits even at the expense of the partner. Therefore, stability and outcomes of such interactions crucially depend on cost limitation mechanisms. In the plant, pollinator /seed predator interaction between Silene latifolia (Caryophyllaceae) and Hadena bicruris (Lepidoptera: Noctuidae), moths generate pollination benefits as adults but impose seed predation costs as larvae. We examined whether floral morphology limits over-exploitation by constraining oviposition site. Oviposition site varies naturally inside vs. outside the corolla tube, but neither its determinants nor its effect on the interaction have been investigated. In a common garden with plants originating from eight populations, corolla tube length predicted oviposition site, but not egg presence or pollination efficiency, suggesting that long corolla tubes constrain the moth to lay eggs on petals. Egg position was also predicted by the combined effect of corolla tube and moth ovipositor lengths, with shorter ovipositor than corolla tube resulting in higher probability for eggs outside. Egg position on a given plant was repeatable over different exposure nights. When egg position was experimentally manipulated, eggs placed on the petal resulted in significantly fewer successful fruit attacks compared with eggs placed inside the corolla tube, suggesting differences in egg/larval mortality. Egg position also differently affected larval mass, fruit mass and fruit development. Our results indicate that constraining oviposition site through a long corolla tube reduces seed predation costs suffered by the plant without negatively affecting pollination efficiency and, hence may act to limit over-exploitation. However, the net effects of corolla tube depth variation on this interaction may fluctuate with extrinsic factors affecting egg mortality, and with patterns of gene flow affecting trait matching between the interacting species. The intermediate fitness costs incurred by both plant and insect associated with the different egg positions may reduce selective pressures for this interaction to evolve towards antagonism, favouring instead a mutualistic outcome. While a role for oviposition site variation in cost limitation is a novel finding in this system, it may apply more generally also to other mutualisms involving pollinating seed predators.

Evidence of a critical time in constrained Kinetic Ising models

We study the relaxational dynamics of the one-spin facilitated Ising model introduced by Fredrickson and Andersen. We show the existence of a critical time which separates an initial regime in which the relaxation is exponentially fast and aging is absent from a regime in which relaxation becomes slow and aging effects are present. The presence of this fast exponential process and its associated critical time is in agreement with some recent experimental results on fragile glasses.

U.S.-Norway Comparison of Interval Breast Cancers

Background: Publications from the International Breast Screening Network (IBSN) have shown that varying definitions create hurdles for comparison of screening performance. Interval breast cancer rates are particularly affected. Objective: to test whether variations in definition of interval cancer rates (ICR) affect comparisons of international ICR, specific to a comparison of ICR in Norway and North Carolina (NC). Methods: An interval cancer (IC) was defined as a cancer diagnosed following a negative screening mammogram in a defined follow-up period. ICR was calculated for women ages 50-69, at subsequent screening in Norway and NC, during the time period 1996 - 2002. ICR was defined using three different denominators (negative screens, negative final assessments and all screens) and three different numerators (DCIS, invasive cancer and all cancers). ICR was then calculated with two methods: 1) number of ICs divided by the number of screens, and ICs divided by the number of women-years at risk for IC. Results: There were no differences in ICR depending on the definition used. In the 1-12 month follow up period ICR (based on number of screens) were: 0.53, 0.54, and 0.54 for Norway; and 1.20, 1.25 and 1.17 for NC, for negative screens, negative final assessment and all screens, respectively: The same trend was seen for 13-24 and 1-24 months follow-up. Using women-years for the analysis did not change the trend. ICR was higher in NC compared to Norway under all definitions and in all follow-up time periods, regardless of calculation method. Conclusion: The ICR within or between Norway and NC did not differ by definition used. ICR were higher in NC than Norway. There are many potential explanations for the difference.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Stereoselective block of hERG channel by (S)-methadone and QT interval prolongation in CYP2B6 slow metabolizers.

Methadone inhibits the cardiac potassium channel hERG and can cause a prolonged QT interval. Methadone is chiral but its therapeutic activity is mainly due to (R)-methadone. Whole-cell patch-clamp experiments using cells expressing hERG showed that (S)-methadone blocked the hERG current 3.5-fold more potently than (R)-methadone (IC50s (half-maximal inhibitory concentrations) at 37 degrees C: 2 and 7 microM). As CYP2B6 slow metabolizer (SM) status results in a reduced ability to metabolize (S)-methadone, electrocardiograms, CYP2B6 genotypes, and (R)- and (S)-methadone plasma concentrations were obtained for 179 patients receiving (R,S)-methadone. The mean heart-rate-corrected QT (QTc) was higher in CYP2B6 SMs (*6/*6 genotype; 439+/-25 ms; n=11) than in extensive metabolizers (non *6/*6; 421+/-25 ms; n=168; P=0.017). CYP2B6 SM status was associated with an increased risk of prolonged QTc (odds ratio=4.5, 95% confidence interval=1.2-17.7; P=0.03). This study reports the first genetic factor implicated in methadone metabolism that may increase the risk of cardiac arrhythmias and sudden death. This risk could be reduced by the administration of (R)-methadone.

A new heuristic method for solving spatially constrained forest planning problems based on mitigation of infeasibilities radiating outward from a forced choice

[Abstract]

Comparing interval breast cancer rates in Norway and North Carolina: results and challenges.

OBJECTIVE: To compare interval breast cancer rates (ICR) between a biennial organized screening programme in Norway and annual opportunistic screening in North Carolina (NC) for different conceptualizations of interval cancer. SETTING: Two regions with different screening practices and performance. METHODS: 620,145 subsequent screens (1996-2002) performed in women aged 50-69 and 1280 interval cancers were analysed. Various definitions and quantification methods for interval cancers were compared. RESULTS: ICR for one year follow-up were lower in Norway compared with NC both when the rate was based on all screens (0.54 versus 1.29 per 1000 screens), negative final assessments (0.54 versus 1.29 per 1000 screens), and negative screening assessments (0.53 versus 1.28 per 1000 screens). The rate of ductal carcinoma in situ was significantly lower in Norway than in NC for cases diagnosed in both the first and second year after screening. The distributions of histopathological tumour size and lymph node involvement in invasive cases did not differ between the two regions for interval cancers diagnosed during the first year after screening. In contrast, in the second year after screening, tumour characteristics remained stable in Norway but became prognostically more favorable in NC. CONCLUSION: Even when applying a common set of definitions of interval cancer, the ICR was lower in Norway than in NC. Different definitions of interval cancer did not influence the ICR within Norway or NC. Organization of screening and screening performance might be major contributors to the differences in ICR between Norway and NC.

Intermittent atrial tachycardia facilitates atrial fibrillation by a shortening of activation recovery interval

Introduction: We recently observed in a chronic ovine model that a shortening of action potential duration (APD) as assessed by the activation recovery interval (ARI) may be a mechanism whereby pacing-induced atrial tachycardia (PIAT) facilitates atrial fibrillation (AF), mediated by a return to 1:1 atrial capture after the effective refractory period has been reached. The aim of the present study is to evaluate the effect of long term intermittent burst pacing on ARI before induction of AF.Methods: We specifically developed a chronic ovine model of PIAT using two pacemakers (PM) each with a right atrial (RA) lead separated by ∼2cm. The 1st PM (Vitatron T70) was used to record a broadband unipolar RA EGM (800 Hz, 0.4 Hz high pass filter). The 2nd was used to deliver PIAT during electrophysiological protocols at decremental pacing CL (400 beats, from 400 to 110ms) and long term intermittent RA burst pacing to promote electrical remodeling (5s of burst followed by 2s of sinus rhythm) until onset of sustained AF. ARI was defined as the time difference between the peak of the atrial repolarization wave and the first atrial depolarization. The mean ARIs of paired sequences (before and after remodeling), each consisting of 20 beats were compared.Results: As shown in the figure, ARIs (n=4 sheep, 46 recordings) decreased post remodeling compared to baseline (86±19 vs 103±12 ms, p<0.05). There was no difference in atrial structure as assessed by light microscopy between control and remodeled sheep.Conclusions: Using standard pacemaker technology, atrial ARIs as a surrogate of APDs were successfully measured in vivo during the electrical remodeling process leading to AF. The facilitation of AF by PIAT mimicking salvos from pulmonary veins is heralded by a significant shortening of ARI.