研究者
J-GLOBAL ID:201101034293133113   更新日: 2020年05月29日

AL AMEEN Mahmudul Faisal

AL AMEEN Mahmudul Faisal
所属機関・部署:
研究分野 (1件): 情報学基礎論
研究キーワード (4件): Separation Logic ,  Logic ,  Program Verification ,  Informatics
論文 (12件):
  • Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen. Completeness of Pointer Program Verification by Separation Logic. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS. 2009. 179-+
  • AL AMEEN, Mahmudul Faisal, ISLAM, Md. Didar, HOSSAIN, Syed Akhter. Algorithms for Synthesis and Average Distribution of Variable Sized MOS Components for Efficient Analog VLSI Devices. Proceedings of International Conference on Computer and Information Technology (ICCIT 2007). 2007
  • SIDDIKA, Nafisa, AL AMEEN, Mahmudul Faisal, UDDIN, Mohammad Shorif. Dynamic Memory Management in Multi-Dimensional Environment. Proceedings of National Conference on Electronics, Information and Telecommunication. 2007
  • AL AMEEN, Mahmudul Faisal, UDDIN, Mohammad Shorif. Development of an Artificial Neural Network Educational Tool with Operational Visualization. Proceedings of National Conference on Electronics, Information and Telecommunication. 2007
  • AL AMEEN, Mahmudul Faisal, UDDIN, Mohammad Shorif. An Educational Toolkit for Artificial Neural Network. Journal of Electronics and Computer Science (ISSN: 1680-6743). 2007. 9. 1
もっと見る
書籍 (1件):
  • Java Project: Games and Database Programming
    2006 ISBN:9843225430
講演・口頭発表等 (5件):
  • Development of an Artificial Neural Network Educational Tool with Operational Visualization
    (National Conference on Electronics, Information and Telecommunication 2007)
  • Partial Matching of Bangla Words
    (International Conference in Electrical and Computer Engineering 2006)
  • Introducing Vector Segmented Bangla Font (FZVSBF) For Small Hand held devices
    (International Conference in Electrical and Computer Engineering 2006)
  • EFCode: A new entropy coding scheme
    (International Conference in Electrical and Computer Engineering 2004)
  • Bangla Voice Data Coding using SVQ
    (SVQ, National Conference on Computer Processing of Bangla’2004 Proceedings 2004)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る