理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 模型论 >>>
搜索结果: 1-15 共查到模型论相关记录31条 . 查询时间(2.25 秒)
近日,我院李旭英教授作为通讯作者、博士研究生王俊跃作为第一作者,在国际知名TOP期刊《Bioresource Technology》(中国科学院一区Top期刊,IF:11.4)发表了题为“Mathematical model for bale-density prediction in large steel roller-type round balers during bale rolling...
中国科学院深圳先进技术研究院专利:建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院专利:针头组件、注射装置及小鼠模型的建立方法
中国科学院深圳先进技术研究院专利:三维模型分割方法和系统
2023年9月25日,由中国人民大学高瓴人工智能学院主办的“大模型与生物医药”学术研讨会顺利召开。中国人民大学高瓴人工智能学院执行院长文继荣教授出席会议并致辞。与会专家有沙特阿拉伯阿卜杜拉王国科技大学高欣教授、俄亥俄州立大学生物医学信息学系/计算机科学与工程系宁夏教授、清华大学智能产业研究院/电子工程系马剑竹副教授、深势科技机器学习算法负责人柯国霖研究院以及中国人民大学高瓴人工智能学院长聘副教授孙...
本书在全面总结和分析国内外资源环境领域主要期刊内容的基础上,选择了衫和有科学价值的数学模型和定量指标的精髓部分。本书中数学模型和定量指标共有3055组,其中包括地球信息类771组、自然地理学类674组、人文地理学类415组、生态学类1195组。在选编过程中,对书中数学模型和定量指标的错误之处均进行了严格修正。本书有很高的理论价值和实用价值,不仅可作为地理学、生态学、应用数学、气象学、地质学、经济学...
Generalized pairs are a natural structure in birational geometry that first appeared in Kodaira’s canonical bundle formula for elliptic fibrations. They were formally introduced by Birkar and Zhang in...
In this paper, we review the different dimensions of supply chain resilience and propose that supply chain resilience should be measured in a more integrated way. We review the quantitative economic m...
Score-based generative modeling (SGM) is a highly successful approach for learning a probability distribution from data and generating further samples, based on learning the score function (gradient o...
Based on a multi-regional input-output model, this study explores the temporal changes and driving forces of China's environmental losses relative to its economic gains from international trade with e...
In this talk, we investigate a stochastic nutrient-phytoplankton model which incorporates the effect of white noise on phytoplankton growth. The global existence and uniqueness of a positive solution,...
The pathogenesis of breast cancer is not the same in all countries and regions; therefore, some existing breast cancer risk assessment models are not well adapted to all countries and regions, includi...
In the 2nd part of the series talks, I will introduce the new phenomena of weak-kink and its interaction with regular peakons which we recently developed. Such models include cubic Camassa-Holm (CH) t...
In this talk, I will majorly focus on the scalar peakon models developed in the last 30 years. Most integrable peakon equations come from the negative order flow in the hierarchy. I will take some exa...
The Borel conjecture considers the obstruction from homotopy equivalence to homeomorphism for aspherical manifolds. The torus is the first computed case of Borel conjecture with the idea of splitting ...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...