理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到会议中心 数理逻辑与数学基础相关记录90条 . 查询时间(4.828 秒)
2023年9月25日,由中国人民大学高瓴人工智能学院主办的“大模型与生物医药”学术研讨会顺利召开。中国人民大学高瓴人工智能学院执行院长文继荣教授出席会议并致辞。与会专家有沙特阿拉伯阿卜杜拉王国科技大学高欣教授、俄亥俄州立大学生物医学信息学系/计算机科学与工程系宁夏教授、清华大学智能产业研究院/电子工程系马剑竹副教授、深势科技机器学习算法负责人柯国霖研究院以及中国人民大学高瓴人工智能学院长聘副教授孙...
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...
Bernstein problem for affine maximal type hypersurfaces has been a core problem in affine geometry. A conjecture proposed firstly by Chern (Proc. Japan-United States Sem., Tokyo, 1977, 17-30) for enti...
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...
In this talk, we discuss the positivity of complete intersections of nef classes, including sufficient and necessary characterizations of the hard Lefschetz property on a compact complex torus and the...
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...
2023年2月16日至17日,“2023ICT领域的数学基础春季研讨会”在中国科学院大学雁栖湖校区国际会议中心举办。本次研讨会由中科院数学与系统科学研究院、华为无线技术实验室、中科院数学院-华为π实验室、华为公司算法能力提升工作组&ICT研究与算法分委会、华为北研高校系统部、CSIAM-ICT领域的数学专委会等联合主办。研讨会旨在探讨和发挥数学在信息和通讯技术领域中的重要作用,加强与产业界的交流与...
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...
For ergodic SDEs, their ergodic limits are usually approximated by the suitable means of numerical methods. To reveal the numerical asymptotic behavior, we study the large deviations principle (LDP) f...
An unfitted interface penalty finite element method is proposed for the interface problems, in which Nitsche's method together with the ideas of merging elements and harmonic weighing fluxes are used,...
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 1990, Gambaudo introduced the notion of linking of two invariant sets of a surface self-map. Most of the known results of linked periodic orbits are about an orbit linked with a fixed point. In thi...
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...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...