Publications

 

  1. H. Bakry and M. Hamada,
    A New High Speed Algorithm for Sub-Matrix Detection Using Cross Correlation and Matrix Decomposition.
    Submitted for publication.

  2. H. Bakry and M. Hamada,
    A New Implementation for Neural Networks in Fourier-Space.
    Chapter 12, in Abo et. al. (Editors), Foundations in Computational Intelligence, Vol. 1, Learning and Approximation. Series: Studies in Computational Intelligence, Vol. 201.
    ISBN: 978-3-642-01081-1, Springer-Verlag, 2009.

  3. Mohamed Hamada,
    Pushdown Automata Simulator. Edutainment 2009.
    Lecture Notes in Computer Science (LNCS) Vol. 5670, pp. 328-338, Springer-Verlag 2009.

  4. Mohamed Hamada,
    Ants-like Agents: a Model and Analysis Based on Natural Ants Behavior. KES-AMASTA 2009.
    Lecture Notes in Artificial Intelligence (LNAI) Vol. 5559, pp. 20-29, Springer-Verlag 2009.

  5. H. Bakry and M. Hamada,
    Fast Identification of Important Information in DNA sequence by using High Time Delay Speed Neural Networks.
    In KES 2009, Lecture Notes in Artificial Intelligence (LNAI) Vol. 5712 pp. 333-341, Springer-Verlag, 2009.

  6. H. Bakry and M. Hamada,
    Fast Principal Component Analysis for Face Detecting Using Cross-Correlation and Image Decomposition.
    In IJCNN'09, IEEE International Conference in Neural Networks, Atlanta, USA, pp. 751-756, IEEE 2009.

  7. H. Bakry and M. Hamada,
    Fast Record Detection in Large Database Using New High Speed Time Delay Neural Networks.
    In IJCNN'09, IEEE International Conference in Neural Networks, Atlanta, USA, pp. 757-763, IEEE 2009.

  8. Mohamed Hamada,
    An Integrated Virtual Environment for Active and Collaborative e-Learning in Theory of Computation.
    In the IEEE Transactions on Learning Technologies, Vol. 1, No. 2, pp. 1-14, 2008.

  9. Mohamed Hamada,
    Computer Engineering Education.
    In Wiley Encyclopedia of Computer Science and Engineering, (B. Wah, Edit.), John Wiley and Sons, Inc., 2008.

  10. Mohamed Hamada,
    An Example of Virtual Environment and Web-based Application in Learning.
    In International Journal of Virtual Reality, Vol. 7 No. 3, pp. 1-9, 2008.

  11. H. Bakry and M. Hamada,
    A New Implementation for High Speed Normalized Neural Networks in Frequency Space.
    In KES 2008, Lecture Notes in Artificial Intelligence (LNAI) Vol. 5177 pp. 121-132, Springer-Verlag. 2008.

  12. H. Bakry and M. Hamada,
    New Fast Decision Tree Classifier for Identifying Protein Coding Regions,
    In ISICA'08, Lecture Notes in Computer Science (LNCS) Vol. 5370, pp. 499-509, Springer-Verlag 2008.

  13. Mohamed Hamada,
    Web-based Environment for Active Computing Learners.
    ICCSA'08, Lecture Notes in Computer Science (LNCS) Vol. 5072, pp. 516-529, Springer-Verlag 2008.

  14. Mohamed Hamada,
    An Interactive Simulator for Information Communication Models.
    Edutainment'08, Lecture Notes in Computer Science (LNCS) Vol. 5093, pp. 88-99, Springer-Verlag 2008.

  15. Mohamed Hamada
    Communication Model Simulator: Tools for Active Learners.
    In Proc. Of the 8th IEEE International Conference on Advanced Learning Technologies, Madrid, Spain, pp. 283-288, July, 2008.

  16. Mohamed Hamada,
    Supporting Materials for Active e-Learning in Computation Models.
    ICCS'08, Lecture Notes in Computer Science (LNCS) Vol. 5102, pp. 678-687, Springer-Verlag 2008.

  17. Mohamed Hamada
    Web-based and Interactive e-learning tools for Automata Theory,
    Proc. Of the 7th IEEE International Conference on Advanced Learning Technologies, Niigata, Japan, pp. 877-880, July. 2007.

  18. Mohamed Hamada,
    An Integrated Virtual Environment for Active e-Learning in Theory of Computation.
    Edutainment'07, Lecture Notes in Computer Science (LNCS) Vol. 4469, pp. 422-432, Springer-Verlag 2007.

  19. Mohamed Hamada,
    A Web-based Tools for Active Learning in Information Theory.
    ACM SIGCSE Vol. 39, No. 1, pp. 60-66, 2007.

  20. Mohamed Hamada
    Visual Tools and Examples to Support Active E-Learning and Motivation with Performance Evaluation.
    Edutainment'06, Lecture Notes in Computer Science LNCS Vol. 3942, pp. 147-155, Springer-Verlag 2006.

  21. Mohamed Hamada
    A Model and Analysis for Ants-Like Agents
    Proc. Of the 2nd IEEE International Conference on Information and Communication Technologies: From Theory to Applications, pp. 1127-1138, April. 2006.

  22. Bhagyavati, Ghemri, Taylor, and M. Hamada
    Experiences Involving Undergraduates in Research
    Proc. of the 14th International Conference on Telecommunication Systems – Modeling and Analysis, help at Penn State University in October 2006.

  23. Mohamed Hamada
    Performance Evaluation of Visual Tools in Classrooms
    Proc. Of the 6th IEEE International Conference on Information Technology Based Higher Education and Training, pp. 14-18, July. 2005.

  24. Mohamed Hamada
    Performance Evaluation of Visual Tools in Classrooms
    Proc. Of the 6th IEEE International Conference on Information Technology Based Higher Education and Training, pp. 14-18, July. 2005.

  25. Mohamed Hamada and Kazuhiko Shiina
    A Classroom Experiment for teaching Automata
    ACM SIGCSE Bulletin, Vol. 36, No. 3, Sept. 2004.

  26. Rahman B. Mat and M. Hamada,
    Lookahead Algorithm for Selective Sampling in Active Naïve Euclidean Object Learning,
    Proc. of the Inter. Conference on Humans and Computers, The University of Aizu, 2004.

  27. Mohamed Hamada,
    A Study and Simulation of Random Walks
    World Scientific and Engineering Transactions On Systems (ISSN 1109-2777) Issue 2, Vol. 2, pp. 358-366, 2003    .

  28. Mohamed Hamada and Y. Nakamura,
    Visual Simulation of Ants Behavior,
    World Scientific and Engineering Transactions On Computers (ISSN 1109-2750) Issue 1, Vol. 2, pp. 111-116, 2003.

  29. I. Aminova, M. Hamada, and E. Morozov,
    Regenerative Simulation and Visualization of Some Queuing Networks,
    Proc. of DCCN’03, University of Moscow, pp. 73-78, 2003.

  30. Mohamed Hamada and Evsey Morozov,
    Network Performance Evaluation Based on Ants-Like Algorithm,
    Proc. of the XXIII International Seminar on Stability Problems for Stochastic Models, The Public University of Navarre, in Pamplona, Spain, pp. 81-83, 2003.

  31. Hamza Ali and Mohamed Hamada,
    A Simulation of Hand Written Characters using Neural Networks Techniques,
    Proceedings of the International Conference in Neural Networks and Applications, pp. 23-28, Swizerland, February, 2002.

  32. Aart Middeldorp, Taro Suzuki, and Mohamed Hamada
    Complete Selection Functions for a Lazy Conditional Narrowing Calculus
    Journal of Functional and Logic Programming, Vol. 2002, No. 3, (43 pages), 2002.

  33. Mohamed Hamada and Fayed Ghaleb,
    A Study and an Efficient Implementation of Some Symbolic Computation Algorithms,
    Journal of Advances in Modeling and Analysis, France, Vol. 6, no. 4, pp. 15-29, 2001.

  34. Mohamed Hamada
    Operational Semantics of Functional Logic Languages
    Journal of Software, Vol.12, No.9, pp.1279--1286, 2001.

  35. Mohamed Hamada
    Strong Completeness of a Narrowing Calculus for Conditional Rewrite Systems with extra variables
    Electronic Notes in Theoretical Computer Science, Vol 31, No. 1, Elsevier Science, 2001.

  36. Mohamed Hamada
    Visual Simulation and Analysis of Random Walk in d-Dimensional Lattice
    Proc. of the 4th St. Petersburg Workshop on Simulation, pp. 245-252.
    St. Petersburg State University, Russia, June 18-23, 2001.

  37. Fayed Ghaleb and Mohamed Hamada
    Efficient implementation of unification and critical pairs
    Proc. of the International Conferences of Artificial Intelligence,
    pp. 179-184, Nevada U. USA, June 2001.

  38. Mohamed Hamada and Fayed Ghaleb,
    A Study and an Efficient Implementation of Some Symbolic Computation Algorithms,
    Journal of Advances in Modeling and Analysis, France, Vol. 6, no. 4, pp. 15-29, 2001.

  39. Mohamed Hamada, Aart Middeldorp and Taro Suzuki
    Completeness Results for a Lazy Conditional Narrowing Calculus
    Australian Computer Science Communications, Vol 21, No. 3, 2000.

  40. Mohamed Hamada
    Improving Search Space in a Narrowing Calculus
    Proc. of the 10th International Conferences on Computing and Informatics,
    Kuwait University, Nov. 2000.

  41. Mohamed Hamada
    Functional Logic Languages: Semantics and Implementations (Invited paper).
    Proc. of the 4th World Multi-Conferences on: Circuits, Systems, Communications and Computers,
    Athens, Greece, July 9-16, 2000.

  42. Mohamed Hamada and Tetsuo Ida
    Deterministic and Non-deterministic Lazy Conditional Narrowing and their implementations
    Journal of Information Processing Society, Vol. 39 no. 3 March 1998.

  43. Mohamed Hamada and Tetsuo Ida
    Implementation of Lazy Narrowing Calculi in Mathematica
    SIGSAM Bulletin Volume 31, no. 2, June 1997.

  44. Mohamed Hamada and Tetsuo Ida
    A Deterministic Lazy Conditional Narrowing and its implementation in Mathematica
    Proceeding of the International Theorema workshop, 9-10 June
    1997, B. Buchberger, T. Ida, D. Vasaru edts,
    RISC, Castle of Hagenberg, Austria.

  45. Mohamed Hamada and Tetsuo Ida
    Implementation of Lazy Narrowing Calculi in Mathematica
    RISC report 97-02, January 1997, University of Linz, A-4040 Austria.

  46. Mohamed Hamada and Aart Middeldorp
    Strong Completeness of a Lazy Conditional Narrowing Calculus
    Proceedings of the 2nd Fuji International Workshop on Functional and
    Logic Programming, World Scientific, Singapore, 1997.

    Reports and Thesis

  47. Mohamed Hamada and Evsey Morozov,
    Queuing networks: regenerative analysis, simulation and ants-like approach,
    Technical Report B2003-1-005, The University of Aizu, 2003.

  48. Mohamed Hamada
    Lazy Conditional Narrowing Calculi and Their Implementation
    Doctoral thesis, University of Tsukuba, Tsukuba, Japan, March 1998.

  49. Mohamed Hamada
    On Rewriting Techniques and their Applications
    Master thesis, Ain Shams University, Cairo, Egypt 1993.