596 research outputs found

    Acoustic and relaxation processes in supercooled o-ter-phenyl by optical-heterodyne transient grating experiment

    Full text link
    The dynamics of the fragile glass-forming o-ter-phenyl is investigated by time-resolved transient grating experiment with an heterodyne detection technique in a wide temperature range. We investigated the dynamics processes of this glass-former over more then 6 decades in time with an excellent signal/noise. Acoustic, structural and thermal relaxations have been clearly identify and measured in a time-frequency window not covered by previous spectroscopic investigations. A detailed comparison with the density response function, calculated on the basis of generalized hydrodynamics model, has been worked out

    Proof Relevant Corecursive Resolution

    Full text link
    Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

    Nonlocal Form of the Rapid Pressure-Strain Correlation in Turbulent Flows

    Full text link
    A new fundamentally-based formulation of nonlocal effects in the rapid pressure-strain correlation in turbulent flows has been obtained. The resulting explicit form for the rapid pressure-strain correlation accounts for nonlocal effects produced by spatial variations in the mean-flow velocity gradients, and is derived through Taylor expansion of the mean velocity gradients appearing in the exact integral relation for the rapid pressure-strain correlation. The integrals in the resulting series expansion are solved for high- and low-Reynolds number forms of the longitudinal correlation function f(r)f(r), and the resulting nonlocal rapid pressure-strain correlation is expressed as an infinite series in terms of Laplacians of the mean strain rate tensor. The new formulation is used to obtain a nonlocal transport equation for the turbulence anisotropy that is expected to provide improved predictions of the anisotropy in strongly inhomogeneous flows.Comment: 11 pages, submitted to Phys. Rev.

    Relaxation Methods for Mixed-Integer Optimal Control of Partial Differential Equations

    Full text link
    We consider integer-restricted optimal control of systems governed by abstract semilinear evolution equations. This includes the problem of optimal control design for certain distributed parameter systems endowed with multiple actuators, where the task is to minimize costs associated with the dynamics of the system by choosing, for each instant in time, one of the actuators together with ordinary controls. We consider relaxation techniques that are already used successfully for mixed-integer optimal control of ordinary differential equations. Our analysis yields sufficient conditions such that the optimal value and the optimal state of the relaxed problem can be approximated with arbitrary precision by a control satisfying the integer restrictions. The results are obtained by semigroup theory methods. The approach is constructive and gives rise to a numerical method. We supplement the analysis with numerical experiments

    Fast interior point solution of quadratic programming problems arising from PDE-constrained optimization

    Get PDF
    Interior point methods provide an attractive class of approaches for solving linear, quadratic and nonlinear programming problems, due to their excellent efficiency and wide applicability. In this paper, we consider PDE-constrained optimization problems with bound constraints on the state and control variables, and their representation on the discrete level as quadratic programming problems. To tackle complex problems and achieve high accuracy in the solution, one is required to solve matrix systems of huge scale resulting from Newton iteration, and hence fast and robust methods for these systems are required. We present preconditioned iterative techniques for solving a number of these problems using Krylov subspace methods, considering in what circumstances one may predict rapid convergence of the solvers in theory, as well as the solutions observed from practical computations

    Cover to Volume 3

    Get PDF
    The fibroblast mitogen platelet-derived growth factor -BB (PDGF-BB) induces a transient expression of the orphan nuclear receptor NR4A1 (also named Nur77, TR3 or NGFIB). The aim of the present study was to investigate the pathways through which NR4A1 is induced by PDGF-BB and its functional role. We demonstrate that in PDGF-BB stimulated NIH3T3 cells, the MEK1/2 inhibitor CI-1040 strongly represses NR4A1 expression, whereas Erk5 downregulation delays the expression, but does not block it. Moreover, we report that treatment with the NF-ÎșB inhibitor BAY11-7082 suppresses NR4A1 mRNA and protein expression. The majority of NR4A1 in NIH3T3 was found to be localized in the cytoplasm and only a fraction was translocated to the nucleus after continued PDGF-BB treatment. Silencing NR4A1 slightly increased the proliferation rate of NIH3T3 cells; however, it did not affect the chemotactic or survival abilities conferred by PDGF-BB. Moreover, overexpression of NR4A1 promoted anchorage-independent growth of NIH3T3 cells and the glioblastoma cell lines U-105MG and U-251MG. Thus, whereas NR4A1, induced by PDGF-BB, suppresses cell growth on a solid surface, it increases anchorage-independent growth

    Serum S100A8/A9 and S100A12 Levels in Children With Polyarticular Forms of Juvenile Idiopathic Arthritis: Relationship to Maintenance of Clinically Inactive Disease During Anti–Tumor Necrosis Factor Therapy and Occurrence of Disease Flare After Discontinuation of Therapy

    Get PDF
    © 2018, American College of Rheumatology Objective: To determine the relationship between serum levels of S100A8/A9 and S100A12 and the maintenance of clinically inactive disease during anti–tumor necrosis factor (anti-TNF) therapy and the occurrence of disease flare following withdrawal of anti-TNF therapy in patients with polyarticular forms of juvenile idiopathic arthritis (JIA). Methods: In this prospective, multicenter study, 137 patients with polyarticular-course JIA whose disease was clinically inactive while receiving anti-TNF therapy were enrolled. Patients were observed for an initial 6-month phase during which anti-TNF treatment was continued. For those patients who maintained clinically inactive disease over the 6 months, anti-TNF was withdrawn and they were followed up for 8 months to assess for the occurrence of flare. Serum S100 levels were measured at baseline and at the time of anti-TNF withdrawal. Spearman\u27s rank correlation test, Mann-Whitney U test, Kruskal-Wallis test, receiver operating characteristic (ROC) curve, and Kaplan-Meier survival analyses were used to assess the relationship between serum S100 levels and maintenance of clinically inactive disease and occurrence of disease flare after anti-TNF withdrawal. Results: Over the 6-month initial phase with anti-TNF therapy, the disease state reverted from clinically inactive to clinically active in 24 (18%) of the 130 evaluable patients with polyarticular-course JIA; following anti-TNF withdrawal, 39 (37%) of the 106 evaluable patients experienced a flare. Serum levels of S100A8/A9 and S100A12 were elevated in up to 45% of patients. Results of the ROC analysis revealed that serum S100 levels did not predict maintenance of clinically inactive disease during anti-TNF therapy nor did they predict disease flare after treatment withdrawal. Elevated levels of S100A8/A9 were not predictive of the occurrence of a disease flare within 30 days, 60 days, 90 days, or 8 months following anti-TNF withdrawal, and elevated S100A12 levels had a modest predictive ability for determining the risk of flare within 30, 60, and 90 days after treatment withdrawal. Serum S100A12 levels at the time of anti-TNF withdrawal were inversely correlated with the time to disease flare (r = −0.36). Conclusion: Serum S100 levels did not predict maintenance of clinically inactive disease or occurrence of disease flare in patients with polyarticular-course JIA, and S100A12 levels were only moderately, and inversely, correlated with the time to disease flare

    The Shapes of Cooperatively Rearranging Regions in Glass Forming Liquids

    Full text link
    The shapes of cooperatively rearranging regions in glassy liquids change from being compact at low temperatures to fractal or ``stringy'' as the dynamical crossover temperature from activated to collisional transport is approached from below. We present a quantitative microscopic treatment of this change of morphology within the framework of the random first order transition theory of glasses. We predict a correlation of the ratio of the dynamical crossover temperature to the laboratory glass transition temperature, and the heat capacity discontinuity at the glass transition, Delta C_p. The predicted correlation agrees with experimental results for the 21 materials compiled by Novikov and Sokolov.Comment: 9 pages, 6 figure

    Adsorption of CO on a Platinum (111) surface - a study within a four-component relativistic density functional approach

    Get PDF
    We report on results of a theoretical study of the adsorption process of a single carbon oxide molecule on a Platinum (111) surface. A four-component relativistic density functional method was applied to account for a proper description of the strong relativistic effects. A limited number of atoms in the framework of a cluster approach is used to describe the surface. Different adsorption sites are investigated. We found that CO is preferably adsorbed at the top position.Comment: 23 Pages with 4 figure
    • 

    corecore