排序方式: 共有45条查询结果,搜索用时 15 毫秒
1.
倪明选教授 广州市香港科大霍英东研究院院长
香港科技大学校长特别助理、广州市香港科大霍英东研究院院长、计算机科学与工程系讲座教授;兼任上海交通大学讲席教授,北京清华大学讲席教授及新竹清华大学讲席教授。 相似文献
2.
2006年9月24—27日,由中山大学逻辑与认知研究所主办的第2届国际逻辑化方法建模会议在广州举行,学术牵头人为赵希顺教授。参加本次学术研讨会的有来自美国、德国、法国、意大利、英国、奥地利、葡萄牙、荷兰等8个国家的15名国外代表,以及中国科学院、香港科技大学、北京大学、南京大学、贵州大学、广西师范大学、中山大学等国内高校及科研机构的26名专家学者。会议收到的24篇论文,涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题。 相似文献
3.
4.
5.
7.
8.
南沙,风景如画,恬静宜人。2007年,这方远离城市喧嚣的净土成为众人瞩目的焦点:在霍英东基金会的捐款资助下,广州市香港科大霍英东研究院(简称"香港科大霍英东研究院")正式奠基成立。作为香港科技大学(简称"香港科大")在中国内地发展的重要平台之一,香港科大霍英东研究院肩负起向内地,尤其是珠三角地区实施技术转移、提供技术服务与培养高素质科技人才三大任务。 相似文献
9.
10.
杨永福 《文山师范高等专科学校学报》2005,18(1):16-16
1.2005年3月7日,由文山州人民政府主办,文山州三七特产局等单位协办,文山州三七研究所承办的“首届文山三七科技产业发展论坛”在我州成功举办。文山师范高等专科学校作为分会场,成功地邀请了北京大学屠鹏飞教授、香港科技大学詹华强教授等知名专家到校作了精彩的报告。他们从不同的层面和角度,介绍了三七科研与发展的最新成果、最新动态和今后的发展趋势,对我州的三七科研、系列产品开发和三七产业的发展具有很好的实践指导意义,对我校生物资源开发专业的学科建设、人才培养等工作也具有较大的启示。 相似文献