理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 U.S. science相关记录22条 . 查询时间(0.28 秒)
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...
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...
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 ...
Linear mixed model is a popular and common modeling method in statistical analysis. It is computationally difficult to obtain parameter estimates in linear mixed model for big data. The current subsam...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...