工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 自动机理论 可计算性理论 计算机可靠性理论 算法理论 数据结构 数据安全与计算机安全 计算机科学技术基础学科其他学科
搜索结果: 1-15 共查到知识要闻 计算机科学技术基础学科相关记录891条 . 查询时间(1.225 秒)
在有机化学领域,新试剂和催化剂的发现往往是实验的偶然性而非理性设计。2019年,科学家在寻找新的六价硫氟交换点击化学砌块时,意外地发现氟磺酰叠氮(FSO2N3)可以作为重氮转移试剂对伯胺进行高效且高选择性的模块化重氮转移(MoDAT)反应。然而,该试剂对伯胺表现出高活性和选择性背后的原因与反应机制尚不明确。
中国科学院南海海洋研究所研究员林强团队在海洋生物物种分布模型构建中如何选择交叉验证方法方面取得进展。2024年9月17日,相关研究成果以Cross-validation matters in species distribution models: A case study with goatfish species为题,在线发表在《生态地理学》(Ecography)上。
2024年9月9日,集团公司举办2024年网络安全宣传周开幕式暨AI+安全驱动未来前沿交流,党组成员、总会计师周松出席并致辞。他强调,要进一步提高政治站位,切实肩负起新时代网信工作的使命任务,勇当能源革命的推动者和引领者,开拓创新、迎难而上,奋力开创“数智中国石油”建设新局面。
近日,南化公司数据中心模块化机房建成交付,这标志着数据中心机房项目的硬件实施部分已全部完成。数据中心机房项目是该公司信息基础设施提升项目中的重要项目。该项目按照“数据+平台+应用”模式建设,计划对信创资源池、桌面虚拟化、视频会议、网络安全、机房环境等进行优化提升。
2024年8月20日,国际学术期刊Journal of Molecular Cell Biology在线发表了中国科学院分子细胞科学卓越创新中心(生物化学与细胞生物学研究所)朱学良研究组联合上海交通大学医学院附属新华医院鄢秀敏团队的最新研究成果:“A polarized multicomponent foundation upholds ciliary central microtubules”。...
图灵奖获得者John Hopcroft教授将出席CNCC2024作特邀报告。John Hopcroft教授,这位在计算机科学界熠熠生辉的名字,不仅是中国科学院外籍院士,还同时荣膺美国国家科学院、工程院以及艺术与科学院三院院士的崇高荣誉!他的研究深耕于理论计算机科学领域,成就斐然,包括1986年的ACM图灵奖、2010年的IEEE冯诺依曼奖,以及2017年美国工程院的西蒙雷曼奖创始人奖等。
大模型在软件开发上表现出的全方位能力给工业界和学术界带来了极大的震撼,为我们打开了智能化软件工程的想象空间。本期专题围绕“大模型时代的软件工程新机遇”这一主题,邀请了多位来自学术界和工业界的学者、专家撰写文章,介绍相关技术原理以及研究与实践进展,并阐述各自的观点。
单颗粒冷冻电子显微镜技术(SPA)已较为成熟。SPA可以得到较多纯化获得的重要蛋白质复合物的高分辨率三维结构,但冷冻制样仍是SPA的瓶颈。其中,冷冻制样导致的取向优势问题是常见而难以解决的关键问题之一。重构过程需要来自各个方向的蛋白质投影,以覆盖整个倒易空间。然而,吸附在气液界面(AWI)上的蛋白质表现出取向优势,导致投影数据集不完整。也就是说,傅里叶空间存在缺失分量,此时蛋白质密度会发生不同程度...
尽管单颗粒冷冻电子显微镜技术(SPA)已经非常成熟,可以得到许多纯化获得的重要蛋白质复合物的高分辨率三维结构,而冷冻制样依然是SPA的最大瓶颈问题,其中冷冻制样导致的取向优势问题是最为常见的也是非常难以解决的关键问题之一。重构过程需要来自各个方向的蛋白质投影,以覆盖整个倒易空间。然而,吸附在气液界面(AWI)上的蛋白质表现出取向优势,这导致投影数据集不完整,即在傅里叶空间中存在缺失分量,此时蛋白质...
2024年7月24日,中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员(第一作者)的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods (FM 2024)接收。论文关注实时系统的不透明性(Opacity)这一信息安全性质,针对广泛使用的实时系统形式模型时间自动...
大数据杀熟并不是一个新话题,但近日相关条例的正式实施让它再次受到关注。日前,《中华人民共和国消费者权益保护法实施条例》(以下简称《条例》)已正式施行。
面对自然界多种多样的生物和非生物胁迫,植物进化出独特的适应机制,如通过气孔介导植物体与外界环境的气体交换来调控自身对环境变化的适应。气孔通过开闭运动控制水分散失和二氧化碳吸收,进而调节植物的蒸腾作用和光合作用。
2024年6月24日,2023年度国家科学技术奖在京揭晓,共评选出250个项目。其中,国家自然科学奖49项,一等奖1项,二等奖48项;国家技术发明奖62项,一等奖8项,二等奖54项;国家科技进步奖139项,特等奖3项,一等奖16项,二等奖120项。信息领域有多位CCF专家获奖,CCF向荣获2023年度国家科学技术奖的会员表示热烈祝贺!
东亚冬季风是全球最强的冬季风,也是北半球冬季北极冷空气向南运输的最主要通道。我国地处东亚季风区,显著地受到东亚冬季风的影响。西伯利亚高压是东亚冬季风环流系统的重要成员,探究西伯利亚高压对理解东亚冬季风和我国冬季天气气候至关重要。
网络和信息安全是事关国家安全和国家发展、事关广大人民群众工作生活的重大战略问题。上海科技大学信息科学与技术学院系统与安全中心(System and Security Center,以下简称SSC)长期关注计算机系统优化设计和保护信息安全与隐私,并开展相关研究。近期,SSC在信息安全与数据隐私等方面取得一系列重要进展,尤其在安全与隐私领域四大知名学术会议上,即IEEE S&P、ACM CCS、NDS...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...