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 in the IEEE format 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 IEEE Computer Society's Conference Publishing Services (CPS) and available on the IEEE digital library. 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.

Evaluation Process :
Papers will be evaluated for originality, significance, clarity, and soundness. 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.

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