理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 图相关记录426条 . 查询时间(3.766 秒)
2024年12月11日,中国科学技术大学认知智能全国重点实验室教授刘淇指导的博士研究生张载熙,联合美国哈佛大学医学院教授Marinka Zitnik课题组,设计了基于图表示学习和蛋白质语言模型的深度生成算法PocketGen,生成了与小分子结合的蛋白质口袋序列和空间结构。实验验证显示,PocketGen在生成成功率和效率方面均超过传统方法。相关研究成果以Efficient Generation o...
2024年11月25日,中国科学院合肥物质院智能所智慧农业研究中心胡宜敏、许桃胜、王儒敬研究团队在针对小型分散农业地块的作物识别和制图领域取得重要进展,提出一种双分支网络结构时序遥感深度学习模型DBL,该模型针对亚洲部分代表性的散布不规则、边界模糊的小型地块作物类型识别具有显著应用价值。研究成果在遥感领域的国际顶级期刊Remote Sensing of Environment上发表。
2024年10月25日,中国科学院上海药物研究所陆晓杰课题组联合郑明月课题组合作在国际知名期刊Journal of Medicinal Chemistry上发表了题为“Enhancing the Predictive Power of Machine Learning Models through a Chemical Space Complementary DEL Screening Strat...
细胞在组织和器官内的空间位置与其功能紧密相关。新兴的空间转录组技术能够在组织中原位捕获转录信息,为研究人员解析基因表达谱从而解码细胞空间分布、破译组织的空间结构、理解复杂的生物学功能提供了条件。
在国家自然科学基金项目(批准号:81930121、82125008)等资助下,昆明理工大学陈永昌教授、季维智院士团队和广州实验室胡苹研究员团队合作,在罕见病杜氏肌营养不良症(Duchenne muscular dystrophy,DMD)模型构建与机制研究方面取得进展。研究成果以“应用非人灵长类模型揭示复合细胞功能缺陷导致DMD早期骨骼肌病变的机制(Profound cellular defect...
在国家自然科学基金项目(批准号:72202160、72342026)等资助下,同济大学王睿通助理教授和邱烨副教授在平台经济研究方面取得新进展。研究成果以“在线平台的双重角色与产品推荐策略(Dual Role and Product Featuring Strategy of Digital Platform)”为题,于2024年5月在《营销科学》(Marketing Science)在线发表。论文...
张映姜、1962.3、湖南洞口县、中共党员、教授、硕士。曾获得省教学成果二等奖二项(主要参与者),校教学成果一等奖一项,校优秀教师,校实习优秀指导教师,全国、省数学教育研究会论文评比一等奖多项。
《纯粹数学与应用数学》于1985年创刊,由陕西省教育厅主管,西北大学主办。现任主编为香港中文大学辛周平教授,名誉主编为王戍堂先生,编委会包括徐宗本院士、江松院士等国内外知名专家学者。
碳移除是21世纪末实现巴黎气候协定温度目标的关键手段。在其开展后,全球地表气温将在随后的若干年达峰。目前,耦合模式比较计划第六阶段(CMIP6)开展碳移除试验的数值模式较少,限制了科学界对碳移除下全球地表气温峰值出现时间的理解。
魏运,女 ,汉族,1961年4月出生,内蒙古呼和浩特市人,无党派人士,大学本科学历,数学学士学位,教授,2022年9月入职。
未央书院是清华大学为落实国家“强基计划”而特别成立的五个书院之一,主要负责“强基计划”数理基础科学(含工程衔接方向)专业的理工双学位本科人才培养。着重突出数学、物理学等基础学科在学生未来发展中的支撑引领作用,结合对学生在工程衔接方向的志趣引导,在国家亟需而清华一流的工程专业方向上,发挥清华大学的工科优势,积极探索“理+工”双学位的本科育人新方式,规模化培养数理基础扎实,发展潜力深厚,创新能力突出的...
邓婉璐副教授 地址:清华大学伟清楼203-C室 电话:010-62790581 邮箱:wanludeng@tsinghua.edu.cn 教育背景 北京大学统计学博士 宾夕法尼亚大学联合培养博士 复旦大学上海数学中心博士后 研究兴趣 因果推断、图模型、贝叶斯网络、神经影像数据分析 发表论文 Wang S,Isbell F,Deng W,et al.(2021)How comp...
近日,我院李旭英教授作为通讯作者、博士研究生王俊跃作为第一作者,在国际知名TOP期刊《Bioresource Technology》(中国科学院一区Top期刊,IF:11.4)发表了题为“Mathematical model for bale-density prediction in large steel roller-type round balers during bale rolling...
连续关系抽取从连续的非稳态数据流中逐步学习关系知识,在新增训练数据时保持模型的稳定。中国科学院计算机网络信息中心大数据部提出了一个DP-CRE框架,将训练目标解耦为旧知识的保存与新知识的获取两个任务,并通过分析新关系出现时数据嵌入空间的改变,改进了知识的保存和获取过程,实现了从非平稳数据流中增量学习关系知识,为连续关系抽取提供了新思路。实验结果表明该模型在多项指标上均取得显著提高。
2024年4月7日,中国科学院软件研究所基础软件国家工程研究中心团队的两篇论文被国际电子设计自动化(EDA)领域顶级会议Design Automation Conference(DAC 2024, CCF-A类)录用。研究成果聚焦于硬件模型检测领域,助力了处理器检测方法的改进和检测算法的性能提升。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...