杏吧直播app污下载安卓
课程名称: 教师:
当前位置:
 >> 
课程列表  
主讲教师:张健 人气:860 更新时间: 2019年11月14日
科大84级少年班校友、国家杰青、中科院软件所张健研究员回科大,给王小谟网络空间科技英才班的学生们开讲,时间:11月12日下午3:55,题目是:软件缺陷及软件质量保障。报告人简介:张健,中国科学院软件研究所研究员。主要研究兴趣包括:自动推理、约束求解、软件测试与分析、形式化方法等。在一阶逻辑公式可满足性判定、软件测试数据自动生成、基于符号执行的程序分析等方面取得了-系列重要成果。曾获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。目前担任《中国科学:信息科学》,《计算机学报》,JCST,FrontiersofCS,IEEETrans.onReliabilit,《计算机科学与探索》编委。曾任国家自然科学基金委员会“可信软件基础研究”重大研究计划的指导专家组成员。报告摘要:本报告将简要介绍几种程序缺陷和漏洞,然后介绍提高软件质量的多种手段(包括程序分析、验证与测试)以及相关的软件开发标准。其中,将提及我们在程序分析和测试方面的若干研究内容及成果。
主讲教师:张健 人气:2744 更新时间: 2017年10月24日
张健,博士、副教授。现就职于澳大利亚悉尼科技大学。1999年自澳大利亚新南威尔士大学获得博士学位。他的研究兴趣包括多媒体信号处理、计算机视觉、模式识别、视觉信息挖掘、人机交互等。学术兼职包括TCSVT、TMM等期刊编委、ICME2012大会主席等.Countingpedestriansandmeasuringcrowddensityplayanessentialroleforcrowdmonitoringapplicationsincludingphysicalsecurity,publicspacemanagement,andretailspacedesign.Forthepopulardensity-map-estimationbasedcountingframework,therearemainlytwoquestionsinvolvedforaccuratecountingresult:i).accuraterecognitionoftargetobjectandbackground;ii).preciseestimationofdensityvaluesoftargetobjects.Thistalkfirstbeginswithaliteraturereviewofcrowdcountingalgorithms:includingtraditionalhand-craftedfeaturebasedmethodstothenewlyemergingdeeplearningbasedcrowdcountingmethods,andthenwepresentourworktowardsthetwofatalproblemsmentionedabove.
主讲教师:张健 人气:3213 更新时间: 2017年04月27日
中科院软件研究所张健研究员学术报告会题目:程序分析时间:2017年4月24日10:00地点:西区电三楼632学术报告厅
主讲教师:张健 人气:2303 更新时间: 2015年12月01日
摘要:WeusequantumexterioralgebrastogiveanewandelementaryformulationofquantumPfaffiansandgeneralizedquantumPfaffiansbasedonquantumPlückerrelations.Inthisapproach,thequantumPfaffiansareforanysquarematrixsatisfyingasimplequadraticrelation.Inparticular,weprovethefundamentalidentityexpressinganyquantumdeterminantasaquantumPfaffian.
共4条记录,每页显示10条,到第页 [首页] [上一页] [下一页] [尾页]
课程搜索
类  型:
学科方向:
学科分类:
院  系:
内  容:
教  师:
讲座专家
Aranda Pino
Profesor of Department of Algebra, Geometry and Topology Science Faculty, University of Málaga, Spain. Research Interests: Leavitt path
Nikos Hadjichristidis
Prof. Nikos Hadjichristidis, Department of Chemistry, University of Athens.
蔡荣根
中国科学院理论物理所研究员,博士生导师。中国引力和相对论天体物理学会副理事长(2008-) 中国科学技术大学交叉学科理论研究中心兼职教授
欧阳钟灿
欧阳钟灿,中国科学院院士。1968年清华大学自控系毕业,1981年清华大学物理系固体物理专业获硕士学位,1984年获光学专业理学博士学位。1985-1986年在理论物理所
Manuela M. Veloso
Manuela M. Veloso教授是国际人工智能和自主机器人领域的主要学界领导人和学术带头人之一,取得了一系列杰出成就,其中部分成果产生了深远的影响。
庄小威
庄小威,华裔美籍生物物理学家,美国国家科学院院士, 哈佛大学化学与化学生物、物理学教授,创办有庄小威实验室。
课件总访问人次:21910772
中国科学技术大学研究生网络课堂试运行版,版权属于中国科学技术大学研究生院。
本网站所有内容属于中国科学技术大学,未经允许不得下载传播。
地址:安徽省合肥市金寨路96号;邮编:230026。TEL:+86-551-63602929;E-mail:wlkt@ustc.edu.cn。

扫一扫,手机版

香蕉app污下载安卓 黄瓜视频app污版下载网站 月色直播app污版下载网站 小公主直播app污下载安卓 花姬app污版下载网站 红娘直播app污下载安卓 花粥直播app污版下载网站 咪哒直播下载app视频污版 食色短视频下载app视频污版 美岁直播app污下载安卓 幸福宝app污版下载网站 心上人直播app污版下载网站 蝶恋花直播app污版下载网站 卖肉直播下载app视频污版 豌豆直播app污下载安卓 香蕉视频app污版下载网站 盘他app污版下载网站 午夜直播app污下载安卓 豌豆直播app污下载安卓 月光宝盒直播app污下载安卓 黄瓜app污下载安卓 橘子视频app污下载安卓 水晶直播app污版下载网站 夜巴黎直播下载app视频污版 年华直播下载app视频污版 丝瓜草莓视频下载app视频污版 69视频app污版下载网站 七仙女直播app污下载安卓 樱花直播app污下载安卓 乐购直播app污下载安卓 小奶猫app污下载安卓 小喵直播app污版下载网站 成版人抖音富二代app污版下载网站 压寨直播下载app视频污版 麻豆传媒视频app污版下载网站 MM直播下载app视频污版 棉花糖直播下载app视频污版 幸福宝下载app视频污版 月亮视频app污版下载网站 么么直播app污版下载网站 夜遇直播号app污下载安卓 泡泡直播app污下载安卓 花狐狸直播app污下载安卓 富二代f2抖音下载app视频污版 9uuapp污版下载网站 红杏视频下载app视频污版 荔枝app污下载安卓 番茄直播app污下载安卓 繁花直播app污下载安卓 荔枝下载app视频污版 爱爱视频下载app视频污版