工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 人工智能 计算机系统结构 计算机软件 计算机工程 计算机应用 计算机科学技术其他学科
搜索结果: 1-15 共查到计算机科学技术 mathematics相关记录72条 . 查询时间(0.312 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:The Development of Science: Past and Present What about the future? A publisher’s point of view.
In this talk, we will consider the distributed sparse identification problem over wireless sensor networks such that all sensors cooperatively estimate the unknown sparse parameter vector of stochasti...
The Grobner basis for a zero-dimensional polynomial ideal comprises a univariate polynomial in the least variable. The elimination process in Buchberger's algorithm unnecessarily involves the least va...
In the first part, I shall present a new way to construct highly stiff stable schemes. Traditional time discretization schemes are usually based on Taylor expansions at $t_{n+\beta}$ with $\beta\in [0...
AI领域发展迅速,今天看似先进的大模型,几年后可能会被视为落后的小模型。然而,无论技术如何演化,基于第一性原则的结论却能长久有效。在这个报告中,我们将研究如何利用神经网络进行一阶法加速和求解混合整数优化问题,并通过数学推导得到神经网络所必须具备的结构,从而起到简化训练并提升稳定性的作用。
Decentralized optimization algorithms save remarkable communication overheads in distributed deep learning since each node averages locally with neighbors. The network topology connecting all nodes de...
心脑血管急性事件70%发生在医院以外,其短期预测与防控是临床中的最大挑战,主要难点在于全天候连续健康信息获取难、多维度大数据挖掘精度不足。本研究面向心脑血管健康状态的全生命周期泛在感知、智能诊断、精准预测等多学科交叉的难点问题,应用医学知识驱动的人工智能技术,系统研究了多种生理信号“无感”检测的新理论,推动全天候监测的智能可穿戴设备研制;提出了可穿戴心电、血流动力学特征的智能计算和诊断算法,融合心...
本文提出了经济学计算机化这一新观念,从范式角度分析了经济学数学化与经济学计算机化的联系与区别,简介了计算机算法和算法有效性等概念,简要分析了先驱人物和有关机构对经济学计算机化的影响。本文还考察了几种典型计算机算法对经济理论的影响,分析了计算机对生活方式和生产方式的变革怎样影响到经济学发展,推测了经济学计算机化的未来发展方向。此外,本文还介绍了用计算机算法分析从众行为的案例。
我们考虑梯度下降法训练的较宽的深层全连接神经网络的泛化能力。 我们首先将论证在宽度足够大时,对于一维数据,由梯度下降训练的两层神经网络的泛化能力在适当的早停策略下可以达到极小极大率,而由梯度下降训练至过拟合的两层神经网络没有泛化能力。基于这个结果,我们对Benign Overfitting现象提出了一个新的解释。 随后,对于更一般的数据或者高维数据,我们将会简单介绍一下我们组与深层神经网络的泛化能...
Using knowledge-driven trajectory prediction is difficult to describe complex reasoning processes, and the use of expert prior knowledge can add too many subjective factors to the judgment process, wh...
计算机图形学中的求交、最近距离计算、碰撞检测等问题,涉及到非线性方程或方程组的求根。首先针对单变量非线性方程的求根计算,提出了一种基于插值的多项式包围盒构造方法,可用于快速排除不含根的小区间。其次,为了简化逼近函数后得到的方程组,采用了有理多项式逼近的思想,改进了相应的收敛阶。最后,将上述思路推广到多变量非线性方程组的求解。
Quantum artificial intelligence (Quantum AI) is an emergent interdisciplinary field that explores the interplay between artificial intelligence and quantum physics. On the one hand, judiciously design...
The private information retrieval (PIR) problem was first proposed by Chor et al. in 1995, and it is a canonical problem in the study of privacy issues that arise from the retrieval of information fro...
Clock synchronization is a widely discussed topic in the engineering literature. Ensuring that individual clocks are closely aligned is important in network systems, since the correct timing of variou...
量刑问题关乎刑罚公正,是刑事正义的终极体现。为了“努力让人民群众在每一个司法案件中感受到公平正义”,国家持续推进量刑规范化改革,发展智能审判辅助系统,这对量刑计算的可解释性和可靠性等提出了很高要求。针对目前深度学习的可解释性缺陷和通用线性模型的适用性局限,我们以我国刑法及量刑指导意见为依据,建立了具有可解释性的非线性量刑模型, 提出了新的非线性递推辨识算法, 证明了在一般数据条件下算法的全局收敛性...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...