New Paradigm in AI and Concurrent Engineering: Proceedings of International Conference on AI and Concurrent Engineering (Aice 2025)
暫譯: 人工智慧與並行工程的新範式:國際人工智慧與並行工程會議(AICE 2025)論文集
Nakamatsu, Kazumi, Singh, Rupinder, Maity, Kalipada
商品描述
作者簡介
Dr. Kazumi Nakamatsu received the Ms. Eng. and Dr. Sci. from Shizuoka University and Kyushu University, Japan, respectively. He is a full Professor at School of Human Science and Environment, University of Hyogo, Japan. His research interests encompass various kinds of logic and their applications to Computer Science, especially paraconsistent annotated logic programs and their applications. He has developed some paraconsistent annotated logic programs called ALPSN(Annotated Logic Program with Strong Negation), VALPSN(Vector ALPSN), EVALPSN(Extended VALPSN) and bf-EVALPSN (before-after EVALPSN) recently, and applied them to various intelligent systems such as a safety verification based railway interlocking control system and process order control. He is an author of over 150 papers and 20 book chapters, and 10 edited books published by prominent publishers. Kazumi Nakamatsu has chaired various international conferences, workshops and invited sessions, and he has been a member of numerous international program committees of workshops and conferences in the area of Computer Science. He serves as Founding Editor of the International Journal of Reasoning-based Intelligent Systems(IJRIS) by Inderscience Publisher(UK) and an editorial board member of many international journals. He has contributed numerous invited lectures at international workshops, conferences, and academic organizations. He also is a recipient of some conference and paper awards, etc.
Dr. Rupinder Singh is a distinguished professor in Mechanical Engineering with expertise in non-traditional machining, metal casting, rapid prototyping/manufacturing, welding technology, and maintenance engineering. With over two decades of teaching and research experience, he has published 744 research papers, including 498 in international peer-reviewed journals. He has also authored several books and holds multiple granted and filed patents. His contributions to academia include supervising numerous Ph.D. and M.Tech students, serving as an editorial board member for reputed journals, and leading multiple sponsored research projects. Dr. Singh's excellence in teaching and research has been acknowledged with several prestigious accolades, including the AICTE Young Teacher Award, DST Young Scientist Award, and UGC Research Award. His professional affiliations include Fellow of the Institution of Engineers (India) and memberships in ASME, ISTE, and other esteemed organizations. He has been recognized nationally and internationally for his remarkable contributions to engineering education and research.
Dr. Kalipada Maity is currently acting as Professor, Department of Mechanical Engineering, National Institute of Technology, Rourkela and having more than 40 years of teaching and research. Conducted two National Conferences and one International Conference with a post conference workshop on Nanotechnology. Conducted three short term courses for Industry executives. Guided Eighteen Ph D, three M.Tech(Res), more than 40 M.Tech projects and around 100 B.Tech projects. Currently guiding seven Ph D students. Areas of specialisations include modelling of machining and forming, micro-machining, micro-forming, additive manufacturing, hot-machining, laser-machining, plasma-cutting. Visited United Kingdom, Sweden, New Zealand, Australia, Belgium, Italy, Tawian, France, Singapore, Solvenia, Canada, Dubai, Germany, USA for participating in International Conference, Training and as Visiting Professor. Received Mukherjee Memorial Gold Medal, Orissa Engineering Congress Gold Medal, Certificate for Gold Medal for best paper in Indian Institute of Metals.
作者簡介(中文翻譯)
Dr. Kazumi Nakamatsu 於日本靜岡大學和九州大學分別獲得碩士和博士學位。他是日本兵庫大學人文科學與環境學院的全職教授。他的研究興趣涵蓋各種邏輯及其在計算機科學中的應用,特別是非一致性註解邏輯程序及其應用。他最近開發了一些名為 ALPSN(帶強否定的註解邏輯程序)、VALPSN(向量 ALPSN)、EVALPSN(擴展 VALPSN)和 bf-EVALPSN(前後 EVALPSN)的非一致性註解邏輯程序,並將其應用於各種智能系統,例如基於安全驗證的鐵路聯鎖控制系統和過程訂單控制。他是超過 150 篇論文和 20 篇書章的作者,並且編輯了 10 本由知名出版社出版的書籍。Kazumi Nakamatsu 曾主持多個國際會議、研討會和邀請會議,並且是計算機科學領域多個國際研討會和會議的程序委員會成員。他擔任英國 Inderscience 出版社的《國際推理基礎智能系統期刊》(IJRIS)的創始編輯,並且是多本國際期刊的編輯委員會成員。他在國際研討會、會議和學術組織中貢獻了許多邀請講座。他也獲得了一些會議和論文獎等。
Dr. Rupinder Singh 是機械工程領域的傑出教授,專長於非傳統加工、金屬鑄造、快速原型製造/製造、焊接技術和維護工程。擁有超過二十年的教學和研究經驗,他已發表 744 篇研究論文,其中 498 篇在國際同行評審期刊上。他還著有幾本書籍,並擁有多項已授權和申請中的專利。他對學術界的貢獻包括指導眾多博士和碩士學生,擔任知名期刊的編輯委員會成員,以及領導多個贊助研究項目。Dr. Singh 在教學和研究方面的卓越表現獲得了多項著名獎項,包括 AICTE 年輕教師獎、DST 年輕科學家獎和 UGC 研究獎。他的專業隸屬包括印度工程師學會的院士,以及 ASME、ISTE 和其他知名組織的會員。他因其在工程教育和研究方面的卓越貢獻而在國內外受到認可。
Dr. Kalipada Maity 目前擔任國立技術學院(National Institute of Technology, Rourkela)機械工程系教授,擁有超過 40 年的教學和研究經驗。他主持過兩場國內會議和一場國際會議,並在會後舉辦了有關奈米技術的研討會。他為業界高管開設了三個短期課程,指導了 18 位博士生、3 位碩士(研究)生、超過 40 個碩士專案和約 100 個學士專案。目前正在指導 7 位博士生。專業領域包括加工和成形建模、微加工、微成形、增材製造、熱加工、激光加工和等離子切割。他曾訪問英國、瑞典、新西蘭、澳大利亞、比利時、義大利、台灣、法國、新加坡、斯洛維尼亞、加拿大、杜拜、德國和美國,參加國際會議、培訓及擔任訪問教授。他獲得了 Mukherjee 紀念金獎、奧里薩工程大會金獎,以及印度金屬學會最佳論文金獎證書。