SCAN 2004

Schedule for October 7, Thursday

Room: Plaisir A Room: Ho-oh B

Invited Plenary Talks

9:00-9:45 Michael Plum

Enclosure Methods for Elliptic Partial Differential Equations

9:45-10:30 Nobito Yamamoto

Numerical Error Estimation with Guaranteed Accuracy for Finite Element Method

Coffee Break

PDE II Fundamentals of Interval Arithmetic I
11:00-11:25
Sunao Murashige

Numerical Verification of Fixed Points of an Infinite Dimensional Map for a Water Wave Problem
Shinya Miyajima and Masahide Kashiwagi

A Method Which Finds Maxima and Minima of a Multivariable Function Applying Mean Value Form
11:25-11:50
Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao

A Computer Assisted Proof for the Orr-Sommerfeld Problem
Tomasz Strek

Influence of Numerical Errors on Wrapping Effect
11:50-12:15
Piotr Zgliczynski

Method of Self-Consistent Bounds and Computer Assisted Proofs for Kuramoto-Sivashinsky PDE
Blagovest Sendov, Roumen Anguelov and Svetoslav Markov

The Linear Space of Hausdorff Continuous Functions
Lunch (attendees will be on their own)

Optimization II Linear Algebra II
13:30-13:55
A. E. Csallner and A. B. Kocsis

Handling Interval Constraints in Civil Engineering Problems
Siegfried M. Rump

Super-Fast Verification Methods
13:55-14:20
Tibor Csendes and Balázs Bánhelyi

A Verified Computational Technique to Locate Chaotic Regions of Hénon Systems
Takeshi Ogita, Siegfried M. Rump and Shin'ichi Oishi

Verified Solutions of Linear Systems without Directed Rounding
14:20-14:45
Youn-Kyung Kim, Pavel Snopok, Alexey Poklonskiy, Kyoko Makino and Martin Berz

Rigorous Stability Estimates for the Dynamics in the Tevatron via Nekhoroshev-Type Estimates Based on Normal Form Pseudo Invariants
Walter Krämer and Evgenija Popova

Inner and Outer Bounds for the Solution Set of Parametric Linear Systems
14:45-15:10
Leila Arraf and Bernd Tibken

Global Optimization of Polynomial Functions Subject to Polynomial Constraints
Tomohiro Sogabe and Shao-Liang Zhang

COCR Methods for Solving Complex Symmetric Linear Systems
Coffee Break

Applications I Linear Algebra III
15:40-16:05
Vladik Kreinovich, Luc Longpré, Scott A. Starks, Gang Xiang, Jan Beck, Raj Kandathi, Asis Nayak, Scott Ferson and Janos Hajagos

Interval Versions of Statistical Techniques, with Applications to Environmental Analysis, Bioinformatics, and Privacy in Statistical Databases
Masanobu Kakihara and Seiji Fujino

Estimation of Convergence Property of Diagonally Relaxed RICCG Method for a Variety of Realistic Problems
16:05-16:30
Kumiko Tsuji and Miki Aoyagi

Accuracy of an Eye Direction by Image Processings
R. Adout, J.-M. Chesneaux and F. Jezequel

A Reliable Hyblid Extrapolation Algorithm to Accelerate the Restarted GMRES Method
16:30-16:55
Martine Ceberio, Vladik Kreinovich, Luc Longpré, Emad Saad, Bertram Ludäscher, Chitta Baral and Hung T. Nguyen

Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems, with Applications to Geoinformatics and Computer Security
Hisashi Kotakemori, Kensaku Tomura, Toshiyuki Kohno and Hiroshi Niki

The Preconditioned Iterative Method with Related Accuracy
16:55-17:20
Matthew G. Averill, Kate C. Miller, G. Randy Keller, Vladik Kreinovich, Jan Beck, Roberto Araiza, Roberto Torres and Scott A. Starks

How Accurate is a Solution to the Seismic Inverse Problem
Linjie Zhang and Takashi Nodera

Modified GMRES(m) Method by Using Ritz Values
Break

ODE III Applications II
17:30-17:55
Kouji Hashimoto, Kenta Kobayashi and Mitsuhiro T. Nakao

Numerical Verification Methods of Solutions for One Dimensional Free Boundary Problems
Andreas Rauh, Marco Kletting, Harald Aschemann and Eberhard P. Hofer

Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes
17:55-18:20
Yuchi Kanzawa and Shin'ichi Oishi

A Numerical Method of Proving the Existence of Solutions for Nonlinear ODEs Using Green's Function Expression
Ekaterina Auer

Interval Modeling of Dynamics for Multibody Systems
18:20-18:45
(The presentation by Prof. A. N. Rogalyov has been canceled.)
(The presentation by Prof. Galina Shilo has been canceled.)

19:00-
Banquet in Nishitetsu Grand Hotel

Oct. 4 Mon. Oct. 5 Tue. Oct. 6 Wed. Oct. 8 Fri.

List of Authors

	Room: Plaisir A	Room: Ho-oh B
	Invited Plenary Talks
9:00-9:45	Michael Plum Enclosure Methods for Elliptic Partial Differential Equations
9:45-10:30	Nobito Yamamoto Numerical Error Estimation with Guaranteed Accuracy for Finite Element Method
Coffee Break
	PDE II	Fundamentals of Interval Arithmetic I
11:00-11:25	Sunao Murashige Numerical Verification of Fixed Points of an Infinite Dimensional Map for a Water Wave Problem	Shinya Miyajima and Masahide Kashiwagi A Method Which Finds Maxima and Minima of a Multivariable Function Applying Mean Value Form
11:25-11:50	Yoshitaka Watanabe, Michael Plum and Mitsuhiro T. Nakao A Computer Assisted Proof for the Orr-Sommerfeld Problem	Tomasz Strek Influence of Numerical Errors on Wrapping Effect
11:50-12:15	Piotr Zgliczynski Method of Self-Consistent Bounds and Computer Assisted Proofs for Kuramoto-Sivashinsky PDE	Blagovest Sendov, Roumen Anguelov and Svetoslav Markov The Linear Space of Hausdorff Continuous Functions
Lunch (attendees will be on their own)
	Optimization II	Linear Algebra II
13:30-13:55	A. E. Csallner and A. B. Kocsis Handling Interval Constraints in Civil Engineering Problems	Siegfried M. Rump Super-Fast Verification Methods
13:55-14:20	Tibor Csendes and Balázs Bánhelyi A Verified Computational Technique to Locate Chaotic Regions of Hénon Systems	Takeshi Ogita, Siegfried M. Rump and Shin'ichi Oishi Verified Solutions of Linear Systems without Directed Rounding
14:20-14:45	Youn-Kyung Kim, Pavel Snopok, Alexey Poklonskiy, Kyoko Makino and Martin Berz Rigorous Stability Estimates for the Dynamics in the Tevatron via Nekhoroshev-Type Estimates Based on Normal Form Pseudo Invariants	Walter Krämer and Evgenija Popova Inner and Outer Bounds for the Solution Set of Parametric Linear Systems
14:45-15:10	Leila Arraf and Bernd Tibken Global Optimization of Polynomial Functions Subject to Polynomial Constraints	Tomohiro Sogabe and Shao-Liang Zhang COCR Methods for Solving Complex Symmetric Linear Systems
Coffee Break
	Applications I	Linear Algebra III
15:40-16:05	Vladik Kreinovich, Luc Longpré, Scott A. Starks, Gang Xiang, Jan Beck, Raj Kandathi, Asis Nayak, Scott Ferson and Janos Hajagos Interval Versions of Statistical Techniques, with Applications to Environmental Analysis, Bioinformatics, and Privacy in Statistical Databases	Masanobu Kakihara and Seiji Fujino Estimation of Convergence Property of Diagonally Relaxed RICCG Method for a Variety of Realistic Problems
16:05-16:30	Kumiko Tsuji and Miki Aoyagi Accuracy of an Eye Direction by Image Processings	R. Adout, J.-M. Chesneaux and F. Jezequel A Reliable Hyblid Extrapolation Algorithm to Accelerate the Restarted GMRES Method
16:30-16:55	Martine Ceberio, Vladik Kreinovich, Luc Longpré, Emad Saad, Bertram Ludäscher, Chitta Baral and Hung T. Nguyen Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems, with Applications to Geoinformatics and Computer Security	Hisashi Kotakemori, Kensaku Tomura, Toshiyuki Kohno and Hiroshi Niki The Preconditioned Iterative Method with Related Accuracy
16:55-17:20	Matthew G. Averill, Kate C. Miller, G. Randy Keller, Vladik Kreinovich, Jan Beck, Roberto Araiza, Roberto Torres and Scott A. Starks How Accurate is a Solution to the Seismic Inverse Problem	Linjie Zhang and Takashi Nodera Modified GMRES(m) Method by Using Ritz Values
Break
	ODE III	Applications II
17:30-17:55	Kouji Hashimoto, Kenta Kobayashi and Mitsuhiro T. Nakao Numerical Verification Methods of Solutions for One Dimensional Free Boundary Problems	Andreas Rauh, Marco Kletting, Harald Aschemann and Eberhard P. Hofer Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes
17:55-18:20	Yuchi Kanzawa and Shin'ichi Oishi A Numerical Method of Proving the Existence of Solutions for Nonlinear ODEs Using Green's Function Expression	Ekaterina Auer Interval Modeling of Dynamics for Multibody Systems
18:20-18:45	(The presentation by Prof. A. N. Rogalyov has been canceled.)	(The presentation by Prof. Galina Shilo has been canceled.)

19:00-	Banquet in Nishitetsu Grand Hotel