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]