搜索结果: 31-36 共查到“信息科学与系统科学 人工智能”相关记录36条 . 查询时间(0.176 秒)
中国科学院数学与系统科学研究院高小山研究员获吴文俊人工智能杰出贡献奖
中国科学院数学与系统科学研究院 高小山 研究员 吴文俊 人工智能 杰出贡献奖 数学机械化
2019/11/12
近日,第九届“吴文俊人工智能科学技术奖”揭晓,我院高小山研究员为吴文俊人工智能杰出贡献奖获得者之一。高小山现为中国科学院数学与系统科学研究院研究员、常务副院长。他主要从事数学机械化研究,对该领域的发展做出了重要贡献,被吴文俊称为数学机械化领域目前的“领军人物”。针对智能CAD、机器人、计算机视觉、智能数控加工等机器智能中的关键需求,高小山带领团队建立了微分差分系统机器证明若干基本方法、发展了几何约...
南京邮电大学自动化学院、人工智能学院2020年硕士研究生招生专业目录。
南开大学人工智能学院2019年硕士研究生控制综合基础考试大纲
南开大学人工智能学院 2019年 硕士研究生 控制综合基础 考试大纲
2018/9/29
南开大学人工智能学院2019年硕士研究生控制综合基础考试大纲。
2013年11月1至3日,第十届全国Web信息系统及其应用学术会议(WISA2013)在扬州召开。本届会议由中国计算机学会暨办公自动化专委会、IEEE计算机协会主办,扬州大学承办,扬州市科学技术协会和扬州市计算机学会协办。副校长范健教授,中国计算机学会办公自动化专业委员会荣誉主任徐宝文教授,专业委员会主任于戈教授,扬州市科协葛明顺副主席、专业委员会副主任孟小峰教授、齐勇教授、邢春晓教授、李瑞轩教授...