Abstract Intervals have been considered by mathematicians for a while, in the study of numerical functions and numerical analysis, But only in the 1960s Moore had the Idea ...

A Gaussian integer is an expression of the form x+yⅉ, where x and y are (rational) integers, and ⅉ is defined by ⅉ2=-1. The Gaussian integers form the ...

We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive ...

A key issue in heavy-ion beam inertial confinement fusion is target interaction, especially implosion symmetry. In this paper the two-dimensional beam irradiation ...

Complex System Reliability presents a state-of-the-art treatment of complex multi-channel system reliability assessment and provides the requisite tools, techniques and ...

The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6 · 1023 objects with up to 12 derivatives of ...

Based on a highly popular, well-established course taught by the authors, Stochastic Processes: An Introduction, Second Edition discusses the modeling and analysis of random ...

Modeling some behaviors of a system is a complex multi-step and multi-layered description process closely related to the numerical simulation and visualization of these ...

A numerical simulation program able to simulate nuclear quadrupole resonance (NQR) as well as nuclear magnetic resonance (NMR) experiments is presented, written using the ...

We present a semidefinite programming approach for computing optimally conditioned positive definite Hankel matrices of order n. Unlike previous approaches, our method is ...