A note on the convergence of parametrised non-resonant invariant manifolds

Truncated Taylor series representations of invariant manifolds are abundant in numerical computations. We present an aposteriori method to compute the convergence radii and error estimates of analytic parametrisations of non-resonant local invariant manifolds of a saddle of an analytic vector field, from such a truncated series. This enables us to obtain local enclosures, as well as existence results, for the invariant manifolds

Gravitation Physics at BGPL

We report progress on a program of gravitational physics experiments using cryogenic torsion pendula undergoing large-amplitude torsion oscillation. This program includes tests of the gravitational inverse square law and of the weak equivalence principle. Here we describe our ongoing search for inverse-square-law violation at a strength down to $10^{-5}$ of standard gravity. The low-vibration environment provided by the Battelle Gravitation Physics Laboratory (BGPL) is uniquely suited to this study.Comment: To be published in The Proceedings of the Francesco Melchiorri Memorial Conference as a special issue of New Astronomy Review

Probabilistically Accurate Program Transformations

18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. ProceedingsThe standard approach to program transformation involves the use of discrete logical reasoning to prove that the transformation does not change the observable semantics of the program. We propose a new approach that, in contrast, uses probabilistic reasoning to justify the application of transformations that may change, within probabilistic accuracy bounds, the result that the program produces. Our new approach produces probabilistic guarantees of the form ℙ(|D| ≥ B) ≤ ε, ε ∈ (0, 1), where D is the difference between the results that the transformed and original programs produce, B is an acceptability bound on the absolute value of D, and ε is the maximum acceptable probability of observing large |D|. We show how to use our approach to justify the application of loop perforation (which transforms loops to execute fewer iterations) to a set of computational patterns.National Science Foundation (U.S.) (Grant CCF-0811397)National Science Foundation (U.S.) (Grant CCF-0905244)National Science Foundation (U.S.) (Grant CCF-1036241)National Science Foundation (U.S.) (Grant IIS-0835652)United States. Dept. of Energy (Grant DE-SC0005288

On a computer-aided approach to the computation of Abelian integrals

An accurate method to compute enclosures of Abelian integrals is developed. This allows for an accurate description of the phase portraits of planar polynomial systems that are perturbations of Hamiltonian systems. As an example, it is applied to the study of bifurcations of limit cycles arising from a cubic perturbation of an elliptic Hamiltonian of degree four

Clinical Pharmacokinetics, Pharmacodynamics, Safety and Efficacy of Liposomal Amphotericin B

Item does not contain fulltextSince its introduction in the 1990s, liposomal amphotericin B (LAmB) continues to be an important agent for the treatment of invasive fungal diseases caused by a wide variety of yeasts and molds. This liposomal formulation was developed to improve the tolerability of intravenous amphotericin B, while optimizing its clinical efficacy. Since then, numerous clinical studies have been conducted, collecting a comprehensive body of evidence on its efficacy, safety, and tolerability in the preclinical and clinical setting. Nevertheless, insights into the pharmacokinetics and pharmacodynamics of LAmB continue to evolve and can be utilized to develop strategies that optimize efficacy while maintaining the compound's safety. In this article, we review the clinical pharmacokinetics, pharmacodynamics, safety, and efficacy of LAmB in a wide variety of patient populations and in different indications, and provide an assessment of areas with a need for further clinical research

Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity

International audienceA new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), has recently been proposed. Mohc exploits monotonicity of functions to better filter variable domains. Embedded in an interval-based solver, Mohc shows very high performance for solving systems of numerical constraints (equations or inequalities) over the reals. However, the main drawback is that its revise procedure depends on two user-defined parameters. This paper reports a rigourous empirical study resulting in a variant of Mohc that avoids a manual tuning of the parameters. In particular, we propose a policy to adjust in an auto-adaptive way, during the search, the parameter sensitive to the monotonicity of the revised function

M-theory and Characteristic Classes

In this note we show that the Chern-Simons and the one-loop terms in the M-theory action can be written in terms of new characters involving the M-theory four-form and the string classes. This sheds a new light on the topological structure behind M-theory and suggests the construction of a theory of `higher' characteristic classes.Comment: 8 pages. Error in gravitational term fixed; minor corrections; reference and acknowledgement adde