计算机学院冷拓副教授团队在人工智能国际顶会IJCAI2025上发表机器证明FormalGeo系列最新研究成果
近期,人工智能领域国际学术会议IJCAI2025(中国计算机学会CCFA类会议)公布审稿结果,沙巴博彩公司,沙巴体育在线计算机工程与科学学院冷拓副教授课题组的研究成果“FGeo-HyperGNet:GeometricProblemSolvingIntegratingFormalGeoSymbolicSystemandHypergraphNeuralNetwork”被该会议接收录用,计算机工程与科学学院2024级博士研究生张效凯为论文第一作者,冷拓副教授为唯一通讯作者。IJCAI全称为国际人工智能联合会议(InternationalJointConfere...
2025.05.09
沙巴博彩公司,沙巴体育在线中瑞先进技术研究院参与欧盟INT2ACT项目
近日,沙巴博彩公司,沙巴体育在线中瑞先进技术研究院正式入选欧盟INT2ACT项目国际合作伙伴,研究院执行院长、微电子学院教授张磊担任中方项目合作负责人。这一项目由欧盟顶级科研资助计划“玛丽·居里行动”(MarieSk?odowska-CurieActions,MSCA)支持,总资助金额高达460万欧元,聚焦核酸技术在生物医学诊断与临床治疗中的前沿应用,旨在通过跨学科、跨国界的协同研究,加速核酸平台技术向临床转化的进程。在激烈的国际竞争中,INT2ACT项目从全...
2025.04.30
材料学院朱波教授团队在《ACS sensors》上发表最新成果
近日,沙巴博彩公司,沙巴体育在线材料科学与工程学院朱波教授团队在开发可于复杂生物环境中实时监测生物标志物的即用型OECT生物传感器的相关研究中取得了重要进展,研究成果以“Ready-to-UseOECTBiosensortowardRapidandRealtimeProteinDetectioninComplexBiologicalEnvironments”为题发表在国际化学一区顶刊《ACSsensors》(影响因子8.3)。高分子材料系博士生张守燕为论文第一作者,高分子材料系朱波教授、电子信息材料系唐可老师,土耳其埃格...
2025.04.29
国家自然科学基金委创新研究群体项目“海洋自主智能无人艇系统理论、技术及应用”启动会召开
近日,国家自然科学基金委创新研究群体项目“海洋自主智能无人艇系统理论、技术及应用”启动会在上海召开。国家自然科学基金委信息科学部常务副主任刘克,信息科学部综合与战略规划处处长张丽佳,信息科学部二处处长吴国政、副处长王志衡等基金委领导出席会议,会议邀请中国工程院院士、湖南大学教授王耀南,南京航空航天大学校长姜斌教授等13位项目指导专家莅临指导。项目依托单位沙巴博彩公司,沙巴体育在线党委书记成旦红、副校长张建华、科研...
2025.04.28
马克思主义学院张富文教授在《马克思主义研究》发表最新研究成果
近日,马克思主义学院张富文教授在《马克思主义研究》期刊(2025年第4期)发表理论文章,题目为《新时代以人民为中心理论向度的体系化探析》。《新时代以人民为中心理论向度的体系化探析》是张富文教授主持的2024年国家社科基金重点项目“中国共产党坚持以人民为中心发展思想的历史演进与基本经验研究”(24AKS008)的阶段性研究成果。本文立足辩证唯物主义与历史唯物主义,以习近平总书记的相关文献为基础,坚持逻辑与历史相统...
2025.04.25