小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI
沉浸式翻译 immersive translate
数值分析中形式化验证与算法发现的博士后职位

陶哲轩博客发布Annalisa Buffa的客座文章,宣布EPFL数值建模与仿真教席招聘博士后,探索形式化验证与算法发现对数值分析的影响。研究方向包括用Lean形式化有限元稳定性与误差估计,或AI辅助发现新离散范式并形式验证。无固定项目,需主导新研究线并发表成果。申请需提交CV、动机信和两名推荐人,招满为止。

数值分析中形式化验证与算法发现的博士后职位

What's new by TerryTao What's new by TerryTao · 2026-10-05T19:56:16Z

本文讨论了GPU kernel的调试与数值正确性,主要包括内存/竞态错误和数值错误两类。使用compute-sanitizer工具检查内存问题,并通过与高精度参考实现对比来验证数值正确性。强调浮点运算的非结合性可能导致结果微小差异,需用容差比较。总结了常见的kernel错误及调试方法,确保正确性是关键。

【GPU 算子工程】调试与数值正确性:compute-sanitizer 与对齐测试

土法炼钢兴趣小组的博客 土法炼钢兴趣小组的博客 · 2026-06-28T00:00:00Z

NumPy是Python科学计算和机器学习的核心,优化代码性能至关重要。文章介绍了三种技巧:1. 使用向量化和广播替代显式循环,以提高计算速度;2. 利用就地操作和out参数减少内存分配;3. 理解视图与复制的区别,使用基本切片避免不必要的内存开销。这些技巧能显著提升数据处理效率。

提升数值性能的三种NumPy技巧

KDnuggets KDnuggets · 2026-06-12T12:00:36Z
从原始数值识别嵌入模型

嵌入模型生成的向量具有明显的模型指纹,能够区分不同的任务指令。使用小型变换器分类器,准确率达到87%。该方法通过将浮点数视为字符序列进行标记,避免了结构假设。研究结果表明,不同模型和任务的输出模式可以有效区分,具有审计向量数据库和验证API模型使用的实际价值。

从原始数值识别嵌入模型

Jina AI Jina AI · 2026-03-06T08:01:06Z

本文探讨了Rust的学习路径,包括基础知识和异步编程的crate选择。比较了Rust与Zig在WASM数值计算中的优缺点,并介绍了context-logger库,强调其与现有日志生态系统的兼容性及异步支持。

【Rust日报】2026-02-28 Rust 还是 Zig 用于小型 WASM 数值计算?

Rust.cc Rust.cc · 2026-03-01T19:03:43Z
Kubernetes v1.35:扩展容忍操作符以支持数值比较(Alpha)

Kubernetes v1.35引入了扩展容忍操作符,支持数值比较,允许根据失败概率等阈值进行调度,从而优化工作负载的成本和性能管理,提升集群管理的灵活性和安全性。

Kubernetes v1.35:扩展容忍操作符以支持数值比较(Alpha)

Kubernetes Blog Kubernetes Blog · 2026-01-05T18:30:00Z

中国团队推出SportsGPT,利用AI技术实现运动动作评估和专业指导,解决传统体育系统的不足。该框架采用MotionDTW和KISMAM算法,提供精准的运动分析和可执行的训练建议,标志着智能体育的重大进步。

AI体育教练来了!中国团队打造SportsGPT,完成从数值评估到专业指导的智能转身

量子位 量子位 · 2025-12-22T02:06:29Z

自1995年发布以来,Java语言和虚拟机支持浮点类型,JDK 1.1引入了BigDecimal和BigInteger。科学计算依赖线性代数,而机器学习需要更小的数值类型。IEEE SA工作组正在研究8位浮点格式的标准化。本文探讨了在Java平台上支持新数值类型的必要性及其权衡。

在Java平台上支持额外数值类型的路径 #JVMLS

insidejava insidejava · 2025-09-21T00:00:00Z
7个加速数值计算的NumPy技巧

本文介绍了七个使用NumPy加速数值计算的技巧,包括:用向量化操作替代循环、利用广播机制进行高效算术运算、使用np.where()进行条件逻辑、使用@进行矩阵乘法、利用np.dot()计算内积、使用np.random快速生成随机数据,以及用np.asarray()避免内存开销。这些技巧能显著提高大规模数据集的计算效率。

7个加速数值计算的NumPy技巧

MachineLearningMastery.com MachineLearningMastery.com · 2025-09-16T12:00:35Z

浮点常数(如无穷大、最大值、最小值和零)在数值算法和科学计算中至关重要。本文通过C++、CUDA和Python的代码示例,讨论了这些常数的特性和行为的验证。

C++、CUDA和Python中的浮点常数值

Lei Mao's Log Book Lei Mao's Log Book · 2025-08-22T07:00:00Z

Sdcb.Arithmetic库已实现全平台发布,基于GMP和MPFR,提供高精度数值计算,支持无限精度整数和浮点数运算,适用于科学计算和金融建模,覆盖Windows、Linux、macOS和Android等主流平台,为.NET开发者提供高效、精确的计算解决方案。

高精度.NET数值计算库Sdcb.Arithmetic全平台发布

dotNET跨平台 dotNET跨平台 · 2025-07-15T00:01:20Z
数值的奴隶

随着智能设备的普及,数字信息激增,电话和短信逐渐失去重要性。微信从社交工具转变为工作工具,使人们感到厌倦。尽管追求数字成就感,设备常常出现问题,最终使人们成为数字的奴隶。

数值的奴隶

obaby@mars obaby@mars · 2025-05-26T01:55:42Z

本文介绍了DOM对象的valueAsNumber和valueAsDate属性,前者用于获取数值输入框的数值,后者用于日期输入框返回Date对象。测试表明,普通输入框不支持valueAsNumber,而datetime-local类型不支持valueAsDate。文章强调了Web开发中的细节和学习的重要性。

你知道吗,输入框的value值也能直接返回数值类型

张鑫旭-鑫空间-鑫生活 张鑫旭-鑫空间-鑫生活 · 2025-05-22T16:13:39Z

该研究旨在解决有限资源大学研究小组在复制AI驱动的全球天气预报模型方面遇到的挑战。通过采用NVIDIA的FourCastNetv2模型和GPU,本文展示了资源受限的研究小组如何高效地进行天气预测,并探讨了数据管理、训练效率和模型验证的问题。研究表明,通过合理利用高性能计算资源,可以推动AI天气预报的民主化,为其他学术研究团队和相关课程提供指导。

人工智能数值天气模型的民主化:使用大学研究实验室的GPU进行全球预测的FourCastNetv2示例

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-04-23T00:00:00Z

本研究关注知识图谱中数值属性的推理问题,填补了现有方法未能充分利用逻辑路径的空白。提出的ChainsFormer框架通过构建逻辑链和引入关系-属性链(RA-Chains),使多跳推理更为有效。此外,该方法在推理准确性及透明度上有显著提升,实验结果显示性能提高可达20.0%。

链变换器:从链的角度进行知识图谱的数值推理

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-04-19T00:00:00Z
那些年,我们没想过的数值稳定算法

深度学习模型训练中,数值计算误差传播可能导致梯度爆炸或消失。本文探讨了提高数值稳定性的方法,包括重写数学公式、采用不同算法、提高计算精度和限制输入范围等策略,以增强计算结果的准确性和稳定性。

那些年,我们没想过的数值稳定算法

Fatescript Fatescript · 2025-04-06T15:59:00Z
Angular中的小数值输入

要输入小数时,使用digitOnly会出现问题。可以通过设置step="0.01"来解决,这样添加后值将为数字。

Angular中的小数值输入

DEV Community DEV Community · 2025-03-16T06:16:37Z

中尺度涡旋是海洋动能的主要载体,影响海水流速、温度和盐度。吴立新院士团队研发的「问海」大模型,结合物理海洋学与人工智能,显著提升了海洋环境预报的准确性和效率,优于传统数值模型。

计算效率提升3000倍!崂山实验室等提出海洋环境智能预报大模型「问海」,性能优于数值海洋预报

HyperAI超神经 HyperAI超神经 · 2025-03-14T06:51:18Z

本研究解决了当前深度学习模型在物体绑定方面的不足,影响了多物体有效表示的问题。通过将复数值表示与Kuramoto动力学相结合,我们提出了一种新颖的方法来促进特征相位对齐,从而改善物体编码。结果表明,使用同步机制的模型在处理多物体图像时性能显著优于传统模型,显示了同步驱动机制在深度学习中的潜力。

通过复数值表示和Kuramoto同步动力学增强深度神经网络

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-02-28T00:00:00Z
对25匹马中前三名问题的数值验证

有25匹马在5条跑道上比赛,通过7场比赛找出3匹最快的马。首先将马分为5组,每组5匹,进行5场比赛。然后从每组的胜者中选出6场比赛,确定第一名。最后进行第7场比赛,确定第二和第三名。

对25匹马中前三名问题的数值验证

DEV Community DEV Community · 2025-02-22T16:02:43Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码