Results 211 to 220 of about 884,879 (236)

Taylor models and other validated functional inclusion methods

The authors give a review of Taylor model methods for validated computation and compares the efficacy of a number of different approaches. Arithmetics for effective computation of Taylor model methods are presented along with a number of algorithms for computing a variety of analytic operations.
Makino, Kyoko, Berz, Martin
openaire   +2 more sources

Inclusion properties for a class of analytic functions defined by a second-order differential inequality

, 2018
R. Ali, S. Devi, A. Swaminathan
semanticscholar   +1 more source

MITC9 shell finite elements with miscellaneous through-the-thickness functions for the analysis of laminated structures

, 2016
E. Carrera, M. Cinefra, Guohong Li, G. Kulikov   +3 more
semanticscholar   +1 more source

Impact of Taylor‐Aris diffusivity on analyte and system zone dispersion in CZE assessed by computer simulation and experimental validation

Electrophoresis, 2015
J. Caslavska, R. A. Mosher, W. Thormann
semanticscholar   +1 more source

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

Reliable Computing, 1998
M. Berz, K. Makino
semanticscholar   +1 more source

Anti-plane problems of a piezoelectric inclusion with an elliptic hole or a crack in an infinite piezoelectric matrix

Symposium on Piezoelectricity, Acoustic Waves and Device Applications, 2015
Hai-Bing Yang, C. Gao
semanticscholar   +1 more source

A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty

Nonlinear dynamics, 2020
Liqun Wang, Zengtao Chen, Guolai Yang
semanticscholar   +1 more source

NYVAC: a highly attenuated strain of vaccinia virus.

Virology, 1992
J. Tartaglia, M. Perkus, Jill Taylor, E. Norton, J. Audonnet, W. Cox, S. Davis, Johanna Van Der Hoeven, B. Meignier, Michel Riviere, B. Languet, E. Paoletti   +11 more
semanticscholar   +1 more source

American Joint Committee on Cancer acceptance criteria for inclusion of risk models for individualized prognosis in the practice of precision medicine

Ca-A Cancer Journal for Clinicians, 2016
Michael W Kattan, Kenneth Hess, Mahul B Amin   +2 more
exaly  

Cognitive-graphic method for constructing of hierarchical forms of basic functions of biquadratic finite element

, 2016
I. Astionenko, O. Litvinenko, Nataliia Osypova, G. Tuluchenko, A. Khomchenko   +4 more
semanticscholar   +1 more source