理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到知识要闻 数理逻辑与数学基础相关记录130条 . 查询时间(1.823 秒)
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)在线发表。论文...
碳移除是21世纪末实现巴黎气候协定温度目标的关键手段。在其开展后,全球地表气温将在随后的若干年达峰。目前,耦合模式比较计划第六阶段(CMIP6)开展碳移除试验的数值模式较少,限制了科学界对碳移除下全球地表气温峰值出现时间的理解。
2024年4月7日,中国科学院软件研究所基础软件国家工程研究中心团队的两篇论文被国际电子设计自动化(EDA)领域顶级会议Design Automation Conference(DAC 2024, CCF-A类)录用。研究成果聚焦于硬件模型检测领域,助力了处理器检测方法的改进和检测算法的性能提升。
在国家自然科学基金项目(批准号:71931008、72001220)等资助下,上海交通大学万国华教授团队、中山大学王杉助理教授与海外合作者对关键医疗资源的优化调配问题开展研究,取得如下创新成果:(1)利用一手数据,发现了大规模灾难(例如地震、洪水、战争等)情形下伤患健康状况随时间恶化的多种模式,揭示了不同类别伤患手术时长的显著差异和时变特性(图),为构建更有效的伤患救治方案提供了实证基础。(2)构...
渤海作为我国最北部的半封闭内陆海,地理位置和环境均较为特殊,平均水深较浅,是我国生态上脆弱的海区之一,也是我国易受到寒潮天气影响的海区。环渤海地区是我国主要的经济区之一,沿岸有多个重要港口,经济与人类活动密集,对环渤海的水动力及波浪动力过程的研究是认知海岸带环境过程与生态效应的基础。为此,中国科学院烟台海岸带研究所研究员毛淼华团队基于水动力与波浪模型,运用数据观测及数值模拟相结合的方式开展研究。
近期,中国科学院软件研究所研究员蔡少伟团队在逻辑约束求解器研究中取得多项进展,并在命题逻辑可满足性问题(SAT)、可满足性模理论问题(SMT)等多项竞赛中斩获佳绩。
2022年6月21日,浙江大学电气工程学院教师发展中心举办EE教学工作坊系列活动。浙江大学数学学院李方教授主持了沙龙的交流,并为老师们带来了主题为《离散、连续、对称与“基因”从历史角度理解教学与研究》的分享。
甲烷(CH4)是首要非二氧化碳温室气体。当前大气中的甲烷浓度已超过了1900ppbv,几乎是工业化前浓度水平的3倍,已经造成了约0.5℃的升温,所产生的温室效应在全球变暖中贡献约20%。在政府间气候变化专门委员会(IPCC)最新发布的第六次评估报告(AR6)中, IPCC在预警全球升温的严峻形势外,也首次阐述了甲烷排放控制对减缓气候变暖以及改善空气质量的作用。
近日,2021年度国际遗传工程机器设计大赛(iGEM)全球总决赛落下帷幕。由文理学院合成生物学研究团队指导,来自我校军事基础教育学院、空天科学学院、计算机学院等多个学院的25名学员组成“NUDT-CHINA”参赛队,在全球255个本科生参赛团队中脱颖而出,入围本科生队全球前十,并夺得该赛事金奖,获得最佳基础进展类项目提名奖和最佳元件集提名奖。
《北京数学杂志(英文)》(Peking Mathematical Journal)是由教育部主管、北京大学主办的英文数学期刊,于2018年9月正式创刊。期刊由北京国际数学研究中心和北京大学数学科学学院联合承办,主要刊登基础数学方面具有突出思想方法的高水平原创研究成果,旨在促进国内外学术交流,推动数学学科发展。
近日,第十二届全国大学生数学竞赛全国总决赛在吉林大学举行。来自清华大学、北京大学等高校的20余万大学生参加了初赛,668人进入决赛。在信息管理学院严淑梅、邓咏梅、邹玉仁等老师的指导下,2017级信息与计算科学专业邓振晨同学获数学专业组三等奖(系我校学子首次在数学专业组决赛中获奖),2018级物联网专业席杰同学获非数学组三等奖。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...