The 11th Int'l Conf. on Information Technology: New Generations
ITNG 2014
WWW.ITNG.INFO
April 7-9, 2014, Las Vegas, USA

(PROCEEDINGS TO BE PUBLISHED BY THE IEEE COMPUTER SOCIETY-CPS)

Special track on: Wavelets and Validated Numerics

http://www.itng.info/Wavelets%20and%20Validated%20Numerics_15.html

Scope:

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 session on Wavelets and Validated Numerics, we 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
Numerical analysis


Paper Submission:

Papers should be original and contain contributions of theoretical or
experimental nature, or be unique experience reports. Interested authors
should submit a 6-page summary of their original and unpublished work
including 5 keywords in the CPS format to the track chair. Electronic
submission in the PDF, PS or MS Word format is strongly encouraged. For
instructions on electronic submissions, Click here

Evaluation Process

Papers will be evaluated for originality, significance, clarity, and
soundness. Per ITNG policy, except for invited papers, all papers will
be reviewed by at least two independent reviewers. Accepted papers will
be published in the conference proceedings with an ISBN.

Best Student Paper:

The Best Student Paper will be awarded at the conference. To be
eligible, the student must be the sole author of the paper, or the first
author and primary contributor. (The winner of the award will present
the paper in a plenary session at the conference). A cover letter to the
General Chair/Track Chair must identify the paper as a candidate for
this competition at the time of submission.


IMPORTANT DATES:

Paper Submission Deadline: Oct. 11, 2013
Author Notification: Dec. 13, 2013
Advance Registration: Jan. 10, 2014
Camera Ready Deadline: Jan. 31, 2014
Conference Dates: April 7-9, 2014