搜索结果: 1-15 共查到“数理逻辑与数学基础”相关记录44条 . 查询时间(0.275 秒)
中国科学院深圳先进技术研究院专利：建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院 专利 建筑物 三维模型 构建方法
2023/11/27
中国科学院深圳先进技术研究院专利：建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院专利：针头组件、注射装置及小鼠模型的建立方法
中国科学院深圳先进技术研究院专利：三维模型分割方法和系统
中国科学院深圳先进技术研究院 专利 三维模型 分割方法
2023/11/6
中国科学院深圳先进技术研究院专利：三维模型分割方法和系统
中国人民大学高瓴人工智能学院召开“大模型与生物医药”学术研讨会（图）
大模型 生物医药 学术研讨会
2024/1/31
2023年9月25日，由中国人民大学高瓴人工智能学院主办的“大模型与生物医药”学术研讨会顺利召开。中国人民大学高瓴人工智能学院执行院长文继荣教授出席会议并致辞。与会专家有沙特阿拉伯阿卜杜拉王国科技大学高欣教授、俄亥俄州立大学生物医学信息学系/计算机科学与工程系宁夏教授、清华大学智能产业研究院/电子工程系马剑竹副教授、深势科技机器学习算法负责人柯国霖研究院以及中国人民大学高瓴人工智能学院长聘副教授孙...
《资源环境数学模型手册 》
自然资源 环境数学 数学模型
2023/8/9
本书在全面总结和分析国内外资源环境领域主要期刊内容的基础上，选择了衫和有科学价值的数学模型和定量指标的精髓部分。本书中数学模型和定量指标共有3055组，其中包括地球信息类771组、自然地理学类674组、人文地理学类415组、生态学类1195组。在选编过程中，对书中数学模型和定量指标的错误之处均进行了严格修正。本书有很高的理论价值和实用价值，不仅可作为地理学、生态学、应用数学、气象学、地质学、经济学...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Minimal model program for generalized pairs
广义对 最小 模型程序
2023/4/23
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...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：On Bernstein Theorem of Affine Maximal Hypersurface
仿射 极大超曲面 伯恩斯坦定理
2023/4/13
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...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Review supply chain resilience and research prospect
供应链 弹性 研究前景 灾害影响分析 定量经济模型
2023/4/18
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...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Hard Lefschetz properties, complete intersections and numerical dimensions
莱夫谢茨数 性质 完整交集 数值尺寸
2023/4/19
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...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Analysis of score-based generative models
分数 生成 模型分析
2023/4/21
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领域的数学专委会等联合主办。研讨会旨在探讨和发挥数学在信息和通讯技术领域中的重要作用，加强与产业界的交流与...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：A decomposition of pollution intensity in China's value-added trade
中国 增值贸易 污染强度 分解
2023/4/24
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...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Large deviations principle for weighted means of a recursive numerical method for ergodic SDEs
遍历 SDE递归 数值方法 加权均值 大偏差原理
2023/4/24
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...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：An Unfitted Interface Penalty Partly DG Finite Element Method for Interface Problems
接口问题 未拟合 有限元法 部分DG惩罚 Nitsche方法
2023/4/24
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,...