Call for Papers

Wavelets and Validated Numerics Track

Track Organizer： Teruya Minamoto, Department of Information Science, Saga University, JAPAN

Theme :

The wavelet transform is widely used in many fields such as signal processing, image processing and numerical computation of differential equations. Wavelet analysis theory is still ongoing and applied to many fields.

On the other hand, validated numerics is developed and expected to bridge the gap between a numerically observed phenomenon, and its mathematical counter-part. Main techniques and tools in this field are interval arithmetic, floating-point computations with switching rounding mode, symbolic approaches, formal proofs and so on.

Both wavelets and validated numerics are powerful tools in applied mathematics with applications such as image processing and numerical simulation. However, wavelets are not well known in the field of validated numerics and vice versa at the present.

In the track on Wavelets and Validated Numerics, I intend to share the recent and advanced wavelet theory and validated numerics, and discuss new possibilities for wavelets and validated numerics.

Topics :

Topics of interest include, but are not limited to:

Wavelet transforms
Wavelet-based signal and image processing
Wavelets in applied mathematics
Wavelets and its applications
Combining wavelets and validated numerics
Verified numerical computations
Computer-assisted proofs and verification for differential equations
Interval analysis and its applications
Industrial and scientific applications of verified numerical computations
Numerical computation and reliability

These related topics are also welcome.

Paper Submission :

Authors should submit a 6 page version of their original and unpublished work including 5 keywords to their respective track / session chair. Extra charges will apply if the final version of the paper exceeds six pages. Papers that do not fit the scope of any of the existing sessions, should be submitted to the ITNG General Track. Electronic submission in the PDF format or Word document is strongly encouraged. Per ITNG policy, all papers will be reviewed by at least two independent reviewers. Accepted papers will be included in the conference proceedings published by the Conference Publishing Services-CPS. Selected papers presented in the conference will be considered for publication in a special issue of an international journal.

For formatting and submission instructions, please refer to http://www.itng.info/submission.php.

Deadlines :

Submission Deadline: November 16, 2012 (Extended)
Author Notification: December 14, 2012 (Postponed)
Advance Registration: January 11, 2013
Camera Ready Paper: February 1, 2013

CLICK HERE FOR ITNG 2013 HOMEPAGE