-
AIGC激发生产力革命,“危”还是“机”?来看联想芮勇、复旦邱锡鹏等专家解析
2023-05-06本期数图焦点内容涵盖了ChatGPT和大语言模型相关的最新专家讲座和访谈,以及一些相关的参考图书,包括大语言模型,文本到语音合成,视觉问答技术。在一定程度上反映了当前AIGC和ChatGPT相关领域的最新研究动态和专家观点。
-
数图焦点合集一览,更多主题编选期待你的加入!
2023-04-17CCF数图焦点是为进一步提升会员服务,由CCF数图编审委员会推出的专家精选资料专辑。在编委成员及学会志愿者们的共同努力下,目前已经制作了三十多期,每一期都在精心编辑、整理CCF内部产生的高质量学术资源,主题涵盖计算机领域多个研究热点及前沿进展。
-
CNCC 2022资料开放会员浏览权限!
2023-03-13CNCC 2022首次以全线上方式在线召开,嘉宾汇聚两院院士、图灵奖得主,以及七百余位国内外名校学者、名企领军人物、各领域极具影响力的业内专家,是名副其实的学术界、产业界、教育界年度盛会。本届CNCC因为形式灵活,很多内容都是首次亮相,更为精彩。为了把这些前沿报告呈现给所有CCF会员,CCF数图目前已开放授权讲者的视频,CCF会员可免费观看,超600位专家的报告视频等你来!
-
会员权益升级!CCFLink APP上线!
2023-03-09CCFLink是以创造更多“联结”机会为目标,提供更全面的会员服务为宗旨,通过搭建丰富的线上学术交流、技术沟通和产业互动场景,并充分调动各类在线资源,为计算领域专业人士打造的数字化服务平台。
More+
龙星计划
- 2019-12-31集成电路设计自动化技术基础-August 8-6 -Sachin S. Sapatnekar
- 2019-12-31集成电路设计自动化技术基础-August 6-1 -Sachin S. Sapatnekar
- 2019-12-31集成电路设计自动化技术基础-August 5-1 -Sachin S. Sapatnekar
- 2019-12-31逻辑与形式化方法(基于BDD的模型验证、SAT求解、基于SAT的模型验证)1 -杨子江
- 2019-12-31逻辑与形式化方法(Explicit-State模型验证、偏序约减、Binary Decision Diagrams)1 -杨子江
- 2019-12-31逻辑与形式化方法(导论、时序逻辑、验证模型)1 -杨子江