Proceedings of the
4th WSEAS International Conference on
APPLIED MATHEMATICS and COMPUTER SCIENCE

-AMCOS `05-

 

Rio de Janeiro, Brazil, April 25-27, 2005

 

 

 

MONDAY, APRIL 25, 2005

 

Keynote Lecture:

 

Vision Simulated Imaging

 

Professor Brian A. Barsky
Computer Science Division and School of Optometry
University of California
Berkeley, California, USA

E-mail:  [email protected]

 

Vision-simulated imaging (VSI) is the computer generation of synthetic images to simulate a subject's vision, by incorporating the characteristics of a particular individual's entire optical system.  Using measured aberration data from a Shack-Hartmann wavefront aberrometry device, VSI modifies input images to simulate the appearance of the scene for the individual patient. Each input image can be a photograph, synthetic image created by computer, frame from a video, or standard Snellen acuity eye chart -- as long as there is accompanying depth  information. An eye chart is very revealing, since it shows what the patient would see during an eye examination, and provides an accurate picture of his or her vision.  Using wavefront aberration measurements, we determine a discrete blur function by sampling at a set of focusing distances, specified as a set of depth planes that discretize the three-dimensional space.

For each depth plane, we construct an object-space blur filter.  VSI methodology comprises several steps:  (1) creation of a set of depth images, (2) computation of blur filters, (3) stratification of the image, (4) blurring of each depth image, and (5) composition of the blurred depth images to form a single vision-simulated image.
VSI provides images and videos of simulated vision to enable a patient's eye doctor to see the specific visual anomalies of the patient. In addition to blur, VSI could reveal to the doctor the multiple images or distortions present in the patient's vision that would not otherwise be apparent from standard visual acuity measurements. VSI could educate medical students as well as patients about the particular visual effects of certain vision disorders (such as keratoconus and monocular diplopia) by enabling them to view images and videos that are generated using the optics of various eye conditions. By measuring PRK/LASIK patients pre- and post-op, VSI could provide doctors with extensive, objective, information about a patient's vision before and after surgery.  Potential candiates contemplating surgery could see simulations of their predicted vision and of various possible visual anomalies that could arise from the surgery, such as glare at night. The current protocol, where patients sign a consent form that can be difficult for a layperson to understand fully, could be supplemented by the viewing of a computer-generated video of simulated vision showing the possible visual problems that could be engendered by the surgery.

 

Plenary Lecture:

 

Neuroprocessing in Silicon

 

Professor James F. Frenzel

Electrical & Computer Engineering

POB 441023

University of Idaho

Moscow, ID 83844-1023 USA

www.uidaho.edu/~jfrenzel

 

Despite phenomenal advancements in semiconductor technology over the last five decades, today’s computers still struggle with certain tasks that are easily performed by a young child. One of the first electronic implementations of a pulsed neuron was introduced in 1937 and since then research efforts have covered a wide spectrum, ranging from single-transistor models to powerful parallel processors comprised of digital signal processors. This talk will highlight some of the recent developments in the field of hardware-based neurocomputing and then present work from the University of Idaho. For the last three years, an interdisciplinary team from engineering and computer science has been working toward the development of CMOS circuits capable of mimicking the biological and signal mechanisms observed in the human nervous system. This work, funded by the National Science Foundation, is part of a larger effort within the Neuroscience program at the University of Idaho (www.grad.uidaho.edu/neuro). 

 

 

  

Special Session: Challenges in Real World Optimization Using Meta-Heuristics

 

Chair: Prof. Ana Madureira

 

 

Scheduling Support System based on Meta-Heuristics for Dynamic Manufacturing Scheduling

By Ana Madureira [494-307]

 

Scatter Search and Bionomic Algorithms for the Aircraft Landing Problem

By J. E. Beasley [494-201]

 

Problem formulation and solution for a real-world sports scheduling problem

By Mike B. Wright [494-178]

 

Solving real school timetabling problems with meta-heuristics

By Fernando Melicio, Paulo Caldeira, Agostinho Rosa [494-220]

 

Combining Metaheuristics and Constraint Programming to Solve a Scheduling Problem

By Nuno Gomes, Zita Vale, Carlos Ramos [494-143]

 

Multi-Agent System for Dynamic Manufacturing Scheduling using Meta-Heuristics

By Ana Madureira [494-193]

 

Multi-Criterion Optimization for the EWMA and MEWMA Quality Control Charts Employing Genetic Algorithms

By Francisco Aparisi, J. Carlos García-Díaz [494-163]

 

Scheduling of Thermal Power Systems with Emission Constraints:

A Multiobjective approach

By V. Mendes, J. C. Quadrado, J. Catalao, S. Mariano, L. Ferreira [494-153]

 

 

 

Session: System Theory and Modelling

 

Chair: Prof. Ana Madureira, Prof. Damjan Zazula

 

 

A neuro fuzzy technique for modelling climatic variations in the plio-pleistocene

By F. O. Souza, R. A. Miranda, E. M. A. M. Mendes, R. M. Palhares [494-297]

 

Generic model for revenue maximization

By Antti Niemi, Jyrki Joutsensalo, Timo Hamalainen [494-248]

 

A Comparison of Hooking with Snatch Method for an Error Detection on Multimedia Collaboration Environment

By Eung-Nam Ko [494-234]

 

Performance evaluation of programming paradigms and languages using multithreading on digital image processing

By Penha D. [494-295]

 

How to achieve the stock control of a corporation

By Marcos Antonio Masnik Ferreira [494-207]

 

Experimental investigation of a mathematical model for traveling wave ultrasonic motors

By Hassanein A [494-199]

 

Hybrid Statecharts to model continuous and discrete behavior in engineering systems

By J. A. Ferreira [494-184]

 

FPGA-based Implementation of Safe Petri Nets Models

By V. Ababii, E. Gutuleac, V. Sudacevschi, D. Odobesco [494-181]

 

Issues with Representing Software Architectures in the Unified Modeling Language

By Sasa Baskarada [494-155]

 

Model-Driven Refinement of Software Architectures with Pi-ARL

By Flavio Oquendo [494-146]

 

 

 

 TUESDAY, APRIL 26, 2005

 

Keynote Lecture:

 

 

Space-Time Evolution of Instabilities in Plasma and Continua

 

Professor Abraham Bers

M.I.T. Room 38-260

U.S.A.

Email: [email protected]

 

This lecture entails the general theory and analysis for distinguishing between absolute and convective evolutions of instabilities in the electrodynamics of waves in plasmas and waves in continua in general.

 

 

 

Session: Computer and Wireless Networks

 

Chair: Prof. Andrzej Izworski, Prof. Petr Ekel

 


PEPD: A Priority Based Packet Discard Scheme to Provide Service Differentiation in Internet

By Mohammed Atiquzzaman, Hongjun Su [494-099]

 

A Hybrid Software Architecture for a Web Based Multimedia Distance Education System with URL Synchronization Function

By Eung-Nam Ko [494-290]

 

Distributed Agent Architecture for Packet Filtering & Monitoring in Networked Computers

By Ghulam Ali, Ahmed Rafiq, Zubair [494-245]

 

Improvement of DSG Method

By M. Jahanshahi , M. Gholipour , M. Kordafshari , M. Dehghan [494-204]

 

CDMA Channel Estimation with Adaptive Fuzzy Filters

By Antti Niemi, Timo Hamalainen, Jyrki Joutsensalo [494-192]

  

On the Security of a Digital Signature with Message Recovery Using Self-certified Public Key

By Jianhong Zhang, Dan Chen, Yumin Wang [494-190]

 

Effectively finding Relevant Web Pages from the World Wide Web

By N.P.Gopalan, Asst Prof. J. Akilandeswari, P.Gabriel Sagaya Selvam [494-168]

 

Impact of Retransmission Mechanisms on the Performance of SCTP and TCP

By Mohammed Atiquzzaman [494-167]

 

Security Association in Mobile Ad Hoc Networks Through Self-Organized Public Key Certification

By D.S. Thenmozhi, Murugan Ramasamy [494-134]

 

 

 

Session: Applied Mathematics and Numerical Methods

 

Chair: Prof. Sharif Guseinov, Prof. J. Beasley

 

 

The Problem of Boundary Conditions in Seismic Excitation of Inhomogeneous Infinite Waveguides

By I.Špacapan [494-306]

 

A robust method for estimating Weibull parameters

By Vincenzo Niola, Rosario Oliviero, Giuseppe Quaremba [494-302]

 

Equivalent Transformations for Invariant Parallel Functions

By Mark Trakhtenbrot [494-229]

 

Algorithm for Rapid Particle Tracing in Arbitrarily Mixed Meshes

By Andreas Hieke [494-224]

 

Classification of injective mappings and number sequences

By Alexander M. Sukhotin,Tatijana A. Sukhotina [494-206]

 

Partitions of difference sets and code synchronization

By Vladimir D. Tonchev [494-197]

 

On one method of determining the coefficients of thermal diffusivity in the multilayered areas

By Sharif Guseinov [494-135]

 

Comments on magnetohydrodynamic unsteady flow of a non-Newtonian fluid through a porous medium

By Mostafa A.A. Mahmoud [494-130]

 

Contour Compression Using Centroid Method

By Andrzej Dziech,  Remigiusz Baran,  Ali Ukasha [492-225]

 

A new key exchange scheme based on extended Chebyshev polynomials

By Wang Dahu, Wei Xueye [494-133]

 

On The Efficiency of a Random Search Method

By G. Perez-Lechuga, J.C.S. Tuoh-Mora, E. Morales-Sanchez, M. M. Alvarez Suarez [494-113]

 

Evaluation on the Urban Spatial Shape of Wuhan

By Luo Minghai [494-111]

 

 

WEDNESDAY, APRIL 27, 2005

 

Plenary Lecture:

 

Dr. Ahmad Bahai

National Semiconductor Fellow

Chief Technology Officer and Director of 3G Group

 

 

Session: Data Quality and Management

 

Chair: Prof. Jorge Ferreira, Prof. Reinaldo Palhares

 


Data Quality Enhancing Software for Asset Management – State of the Art Evaluation

By Sasa Baskarada, Jing Gao, Shien Lin, Ging Sun Yeoh, Andy Koronios [494-309]

 

The Application of WBEM Standard in Database Management Systems Administration Tasks

By Marcelo da Mota Lopes, Jorge Rady de Almeida Júnior [494-139]

 

A Pattern Language for Data Warehouse Schema

By Hany M. Harb [494-116]

 

 

 

Session: Optimization, Pattern Recognition and Machine Learning

 

Chair: Prof. Jose Carlos Quadrado, Prof. Andreas Hieke

 


A New Approach to Finger Print Matching Technique

By D. M. Akbar Hussain, Henrik Legid Larsen, Shaiq A. Haq [494-269]

 

A constructive procedure for finding good starting solutions to the network design problem with uncertain parameters

By Ada M. Alvarez, Fernando Pérez, Karim De Alba [494-232]

 

Parallel Learning Using Decision Trees: A Novel Approach

By Sattar Hashemi, Mohammad R. Kangavari [494-198]

 

Pattern Matching Using the Hausdorff Distance

By Yi Fang, Shengwu Xiong [494-186]

 

A new solution encoding for solving the resource constrained project scheduling problem with genetic algorithms

 By Javier Alcaraz Concepcion Maroto [494-176]