#### Filter Results:

- Full text PDF available (18)

#### Publication Year

1986

2016

- This year (0)
- Last 5 years (9)
- Last 10 years (20)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Warwick Tucker
- Foundations of Computational Mathematics
- 2002

We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of interval arithmetic… (More)

- Warwick Tucker
- 1999

We prove that the Lorenz equations support a strange attractor, as conjectured by Ed-ward Lorenz in 1963. We also prove that the attractor is robust, i.e., it persists under small perturbations of… (More)

- Warwick Tucker, Vincent Moulton
- Reliable Computing
- 2006

In recent years, the modeling and simulation of biochemical networks has attracted increasing attention. Such networks are commonly modeled by systems of ordinary differential equations, a special… (More)

- Warwick Tucker
- 2002

We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of interval arithmetic… (More)

- Warwick Tucker, Philip R. Blanco, Sara Rappoport, D. Fabricant L. David, Emilio E. Falco
- 1998

We identify the extended Einstein IPC X-ray source, 1E0657-56, with a previously unknown cluster of galaxies at a redshift of z = 0.296. Optical CCD images show the presence of a gravitational arc in… (More)

- Zbigniew Galias, Warwick Tucker
- 2013 IEEE International Symposium on Circuits and…
- 2013

The problem of existence of stable periodic orbits (sinks) for the Hénon map in a neighborhood of classical parameter values is studied numerically. Several parameter values which sustain a sink are… (More)

- G F Chiara, Leo P. Semes, Jon W. Potter, Gary R. Cutter, Warwick Tucker
- Journal of the American Optometric Association
- 1989

Optometric services to outpatient clinics, nursing homes and hospitals require portable equipment for ocular assessment. Of the various tonometric methods available, Goldmann applanation tonometry… (More)

- Tomas Johnson, Warwick Tucker
- Automatica
- 2008

We present a method that – given a data set, a finitely parametrized system of ordinary differential equations (ODEs), and a search space of parameters – discards portions of the search space that… (More)

- Mioara Joldes, Valentina Popescu, Warwick Tucker
- SIGARCH Computer Architecture News
- 2014

Today, GPUs represent an important hardware development platform for many problems in dynamical systems, where massive parallel computations are needed. Beside that, many numerical studies of chaotic… (More)

- Warwick Tucker, Vincent Moulton
- WABI
- 2005

Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equations that involve… (More)