理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 16-30 共查到数理逻辑与数学基础相关记录3077条 . 查询时间(0.416 秒)
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,...
针对缺失数据生成模型精度低和训练速度慢的问题,本文基于流模型框架提出了一种改进非线性独立成分估计(Nonlinear independent components estimation,NICE)的缺失时间序列生成方法.该方法依靠流模型框架生成模型精度高、训练过程速度快的优势,并结合粒子群优化算法(Particle swarm optimization,PSO)优化NICE生成网络采样的退火参数,...
实际工业过程中,量测数据除了在线仪表采集的快速率数据,还有离线化验等慢速率辅助量测数据.为了更好地利用离线化验数据,增加在线估计的精度,针对随机跳变系统,引入迁移学习思想,提出迁移交互多模型估计(Transfer interacting multiple model state estimator,IMM-TF)新策略.首先,将离线化验数据的边缘分布作为可以迁移的知识,迁移到贝叶斯后验分布,实现辅...
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 ...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...