首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏AI科技评论

    智能陈相羽:数据才是当下具身智能的痛点

    有趣的是,智能主攻「数据」,其创始人陈相羽,却是一位经验丰富、不折不扣的硬核「本体派」。 2023年五四青年节,智能(IO-AI.tech)成立,致力于具身智能数据服务,为 AI 和机器人研发提供全面的数据支持和验证方案。 智能数采头盔 1 All in 数据的「本体派」 AI 科技评论:当时是什么契机促使你决定出来创业的呢? AI 科技评论:那么智能有哪些创新点呢? 黄仁勋在 Computex 2024上的讲演 AI 科技评论:可以分享一下智能的愿景吗?

    99610编辑于 2024-06-17
  • 来自专栏腾讯云存储

    数据为翼,云端赋能——腾讯云存储联合智能发布具身智能数据平台

    腾讯云对象存储(COS)与具身智能数据领军企业智能(IO-AI)宣布战略合作,联合推出一站式数据平台,打通数据采集到仿真推理的全链路闭环。 合作双方 智能(IO-AI)是国际领先的具身智能数据服务商,核心产品覆盖通用遥操作系统和数据平台。 端侧数采 — 智能数据平台 兼容50+机器人形态,支持视觉、运动学、触觉、音频多模态同步采集,内置格式标准化与初步质检,采集数据直接推送至用户的腾讯云 COS 存储桶。 结语 具身智能的竞争,本质是数据与算法的竞争。腾讯云与智能以"专业数采 + 云原生存储 + 高性能算力 + 具身模型推理"的完整方案,为机器人企业铺设从数据到智能的高速公路。 数据是具身智能的燃料,云是具身智能的引擎——期待与更多机器人企业携手,共同推动具身智能产业加速走向规模化商业落地。

    41930编辑于 2026-03-09
  • 来自专栏OI

    YbtOJ 915「拉函数」

    YbtOJ 915「拉函数」拉 题目链接:YbtOJ #915 小 A 有两个正整数 n,k。 由于小 A 特别喜欢拉,他定义一个序列 a 的权值 F(a)=\phi(\operatorname{lcm}(a_1,a_2,\cdots,a_k))。 题目即求: \prod_{i_1=1}^n\prod_{i_2=1}^n\cdots\prod_{i_n=1}^n\phi(\operatorname{lcm}(i_1,i_2,\cdots,i_n)) 把拉函数拆开

    65920编辑于 2022-09-19
  • 来自专栏大数据文摘

    为何伦·图灵想让AI智能体故意犯错

    1950年,数字时代初期,伦·图灵发表了他最著名的文章“计算机器与智能”,并提出了一个问题,“机器可以思考吗?” 图灵并没有试图定义“机器”和“思考”,他描述了另一种来回答这个问题的防范。 “不是无休止地争论思维的终极本质和要义,” Dennett写道,“我们无法否认,无论智能的本质如何,任何可以通过测试的东西就是智能体” 但仔细阅读图灵的论文会发现一个小细节,测试中引入了模糊性,这表明也许图灵更多想用它引发哲学讨论 在“计算机器和智能”的一个部分中,图灵用想象中的未来智能计算机模拟了测试的情景。 (人在问问题,电脑在回答。) 问:请给我写一篇关于Forth Bridge主题的十四行诗。 答:饶了我吧。 也许图灵测试并不能真正评估机器是否智能,只是我们是否愿意接受该机器是否有智能的判断标准。正如图灵自己所说:“智能的概念本身就是情感而非数学。 我们认为某物有智能行为的程度,既取决于所考虑对象的属性,也取决于我们的心态和受到的训练。” 也许智能不是可以编程到机器中的东西,图灵似乎是在这样暗示——而是通过社交互动构建的特质。

    67120发布于 2019-05-15
  • 来自专栏数据结构与算法

    拉回路与拉路径

    拉回路与拉路径 如果图G中的一个路径包括每个边恰好一次,则该路径称为拉路径(拉通路)。 如果一个回路是拉路径,则称为拉回路(Euler circuit)。 说的直白点,拉回路就是从一个点出发,经过每一条边恰好一次,最后能回到这个点的路径 例如下图中的红色路径组成了一个拉回路 ? 存在条件 拉回路的充要条件 无向图:所有点的度数都为偶数 有向图:所有点的入度都等于出度 拉路径的充要条件 无向图:除两点(起点与终点)外其余所有点的度数都为偶数 有向图:除两点(起点入度+1=出度 ,终点入度-1等于出度)外,其余所有点的入度等于出度 判断方法 利用并查集判断 若给出的图满足拉回路/拉路径的重要条件且并查集成功合并的 次数\(>=\)点数\(-1\),则证明含有拉回路/拉路径 拉路径:洛谷P1333 拉回路:HDU 1878 dfs 如果要求输出方案,那么只能用dfs UOJ 117 拓展 这里再补充一种两笔画问题 解决方法比较简单 有解当且仅当度数为奇数的点不超过4个

    2.4K90发布于 2018-04-10
  • 来自专栏科技版

    智合机器人:构筑智能工厂物流脉搏

    作为工业移动机器人领军企业,优智合基于移动机器人及软件应用一体化解决方案,实现生产流程全环节的物流自动化与数据闭环,形成智能工厂建设的关键支撑。 优智合从2018年起就专注于复合移动机器人的研发与落地应用,是国内复合移动机器人发展最早、技术最为成熟、应用积累最深厚的企业。 2021年3月,优智合发布了针对半导体行业上游晶圆生产和封测环节的复合移动机器人,同时拿下多个国际知名企业晶圆项目,在全球芯片产能亟待提升的紧张形势下,助力芯片智能制造,实现效率与效益的双提升。 从单体的机器人系统Youipilot到机器人多机调度系统YouiFleet,再到场内物流管控系统YOUI TMS,针对仓储到车间,车间到产线的全流程物料流转过程中的物流数据割裂问题,优智合智能物流管控平台进行有效的采集分析处理 以场景需求为核心,以底层数据闭环为基础,优智合始终秉持“移动机器人赋能传统产业升级”的初心,引领移动机器人产业发展,构筑智能工厂物流脉搏,助力中国智能制造。

    50450编辑于 2022-02-14
  • 来自专栏wym

    拉函数(拉筛)--模板

    #include <stdio.h> #include <string.h> #include <algorithm> using namespace std; typedef long long llong; const int MAXN = 25000000 + 10; llong phi[MAXN + 200]; llong prime[MAXN + 200]; bool book[MAXN + 200]; void phi_prime (int n) { int i, j; mems

    50920发布于 2018-08-30
  • 来自专栏数据猿

    京东智能&瑞咨询:2016年智能行业平稳增长 但仍存明显问题

    <数据猿导读> 京东智能瑞咨询联合发布的中国智能硬件系列研究报告显示,2016年智能硬件将朝着更加平稳的态势增长,用户群体也更加丰富和多元,同时由一线城市向全国扩展。 数据猿消息,2016年4月12日,京东智能联合瑞咨询举办了一场主题为“大智汇、大未来”2016中国智能硬件趋势分享会,这也是京东智能瑞咨询联合发布的中国智能硬件系列研究报告的一次总结。 京东智能品牌运营部总监李俊周先生与瑞咨询智能行业分析师在会上纷纷表示,智能硬件的用户需求,随着智能硬件行业的发展在发生着改变。一些热门产品,随着用户新鲜感的下降在回归理性,这也暴露出了相应的问题。 大环境利于智能硬件发展但仍存在明显问题 来自艾瑞咨询的智能领域分析师张凤女士表示:“智能行业在政策上得到政府发力支持、标准正在完善;经济上智能硬件投资回归理性;社会上生活趋向互联网化、智能化;技术上日渐成熟都为智能硬件行业发展提供了良好的环境 未来市场规模稳步增长巨头争相做生态 良好的外部环境,以及广阔的市场前景,使得越来越多的创业者、传统企业和互联网巨头参与进来,这无疑会进一步促进智能硬件的发展,对此瑞咨询研究公司智能领域分析师于丁一女士表示

    57840发布于 2018-04-19
  • 来自专栏全栈程序员必看

    数论 拉函数_数论拉函数

    大家好,又见面了,我是你们的朋友全栈君 拉函数: 就是对于一个正整数n,小于n且和n互质的正整数(包括1)的个数,记作φ(n) 。 拉函数的通式:φ(n)=n*(1-1/p1)(1-1/p2)(1-1/p3)*(1-1/p4)……(1-1/pn) 其中p1, p2……pn为n的所有质因数,n是不为0的整数。 打表求拉函数: 听说这样比较快。。。。 void euler() { for(int i=2;i<maxn;i++){ if(! E[j])E[j]=j; E[j]=E[j]/i*(i-1); } } } 当然,还有百度百科版的:( 拉筛素数同时求拉函数) void phi[ i*prime[j] ] = phi[i] * (prime[j]-1); } } } } 拉函数的一些性质

    56020编辑于 2022-09-23
  • 来自专栏智药邦

    伯维和Cerebras合作加速人工智能生物医药研究

    2022年5月5日,AI计算领域的先驱Cerebras Systems和伯维 (AbbVie) 宣布,伯维的人工智能工作取得了里程碑式的成就。 在生物医学自然语言处理 (NLP) 模型上使用Cerebras CS-2,伯维实现了超过图形处理单元 (GPU) 128倍的性能,而能耗只有1/3。 伯维人工智能负责人Brian Martin称,伯维在编程和训练BERT LARGE模型时遇到的一个常见挑战是在足够长的时间内提供足够的GPU集群资源。 伯维采用大型、复杂的AI语言模型来构建其机器翻译服务Abbelfish。

    38230编辑于 2022-06-08
  • 来自专栏程序人生 阅读快乐

    伦·图灵传

    伦·图灵是现代计算机科学之父,在24岁时奠定了计算机的理论基础。二战期间,他为盟军破译密码,为结束战争做出巨大贡献。战后,他开创性地提出人工智能的概念,并做了大量的前期工作。

    1K20发布于 2018-10-10
  • 来自专栏点滴科技资讯

    瑞咨询:中国人工智能+金融行业研究报告

    注:本报告来源于网络,仅供学习参考

    3.4K20发布于 2018-12-17
  • 【acm】【数论】拉定理与拉函数

    拉定理 定义 图片 证明 拉定理的证明与费马小定理的证明类似,需要以下引理。 图片 tips 此引理的证明使用反证法即可。 下证拉定理。 图片 拉函数 定义 上面所提及的 图片 即为拉函数,表示小于m且与m互素的正整数的个数。 其有以下计算公式。 图片 证明 拉函数可由由积性函数的性质得出。 证明所需要引理。 引理2 对一切正整数n, 有 图片 图片 实现 给定整数n,求得其拉函数的一个实现如下。 此时可以用拉定理降幂,降幂公式如下。 有些题目也需要转化为带有拉函数的公式。

    93620编辑于 2022-10-31
  • 来自专栏饶文津的专栏

    拉函数

    定义 拉函数ϕ(n)是不超过n且和n互质的正整数的个数。 下面直观地看看拉函数: n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 φ(n) 1 1 2 2 4 2 6 4 6 4 10 4 12 6 8 定理 定理0 算术函数f 定理3 若m、n互质,ϕ(mn)=ϕ(m)ϕ(n),所以拉函数是积性函数。 因为mn互质,和m互质的数乘上和n互质的数就会和mn互质。 对于素数p,ϕ(p)=p−1,大于2的素数是奇数,那么它的拉函数就是偶数。 ∑d|nϕ(d)表示所有n的约数的拉函数值求和,Cd是gcd(n,x)==d的x(1≤x≤n)的集合,d不同的Cd集合不相交。   

    1.2K30发布于 2020-05-31
  • 来自专栏科技版

    智合引领智能制造浪潮

    智能制造的浪潮正在快速向前奔涌,作为自动化产线上不可或缺的存在,机器人的市场应用也在迅速拓展。  尽管目前如海外四大家族机器人,仍占据了国内超半数的市场份额。 目前在半导体领域,优智合已经成为行业头部供应商,是众多国内外知名企业的合作伙伴,且持续稳定的复购亦彰显了对优智合专业性的认可。   一方面,优智合通过自主研发的激光SLAM导航标准化移动机器人,并搭载了协同管控系统及业务应用系统,从而形成针对整个行业的一体化智能升级解决方案;另一方面,优智合依靠算法能力和硬件设计,在大量案例打磨中 如半导体行业等智能制造转型升级的大量需求,让国内移动机器人迎来了快速发展的历史机遇。不论是技术能力还是行业扩张,国产机器人超车的机遇都在日益凸显。 作为国内领先的机器人公司,优智合也将持续以专业可靠的解决方案赋能智能制造,成为国产机器人迅猛发展潮流的中坚力量。

    48760编辑于 2023-03-22
  • 来自专栏艾体宝

    体宝案例 | Domo智能决策:餐饮战略定价告别“人肉采集”时代

    直到引入Domo后,他们通过AI驱动的数据自动化与智能分析,实现了从“人海战术”到“智能决策”的跨越式转型。 Domo是一款云原生的综合性商业智能分析工具,能够将所有数据、BI和工作流都整合到应用程序中,其具有可定制的交互仪表板,有1000+接口实现数据集成,可以构建自定义应用程序并通过Buzz实现共享和协作。

    28510编辑于 2025-09-16
  • 来自专栏全栈程序员必看

    拉函数

    解:用拉函数求解 φ(n),一般被称为拉函数。其定义为:小于n的正整数中与n互质的数的个数。    = φ(n) * p,     若p为不为n的约数,则φ(n*p) = φ(n) * (p-1) 根据这两条,当我们得到一个 n 时,可以枚举质数 p 来递推的求解φ(n*p)   因此我们只需要在拉筛代码的基础上做一个小改动 ,就可以得到递推求解φ(n)的算法: isPrime[] = true primeList = [] phi = [] // phi[n]表示n的拉函数 primeCount = 0 For i primeCount = primeCount + 1 primeList[ primeCount ] = i phi[i] = i - 1 // 质数的拉函数为 ){ int l,r,min=N-1; cin >> l >> r; for(int i=0;i<=r;i++){ ou[i]=i; } //求拉函数

    62530编辑于 2022-09-06
  • 来自专栏hotarugaliの技术分享

    拉函数

    拉函数定义 拉函数 表示的是小于等于 且和 互质的正整数的个数。(易知 ) 2. 拉函数公式 对于任意整数 ,若其质因数分解结果为 ,则拉函数公式为 ϕ(n)=n(1−1p1)(1−1p2)⋯(1−1pn)\begin{array}{c} \phi(n) = n(1-{ 拉函数性质 (1)拉函数为积性函数。 ϕ(p)=p−1\begin{array}{c} \phi(p) = p-1 \end{array} ϕ(p)=p−1​ (6)对于质数 , 的拉函数公式为 ϕ(pk)=(p−1)pk− ,即 n=∑d∣nϕ(d)\begin{array}{c} n = \sum_{d|n}\phi(d) \end{array} n=∑d∣n​ϕ(d)​ (8)拉定理:若 ,则 。

    1.5K20编辑于 2022-03-13
  • 来自专栏全栈程序员必看

    拉 函数

    拉函数 一、拉函数引入 二、拉函数的定义 三、拉函数一些公式,性质 四、三种求解方法 五、 题目 一、月月给华华出题 二、Poj2407(套用模板,简单题) 三、Poj2478(模板求和问题 什么是拉函数 任意给定正整数n,请问在小于等于n的正整数之中,有多少个与n构成互质关系。 计算这个值的方法叫做拉函数,用φ(n)表示。 二、拉函数的定义 定义: 拉函数φ(n)是一个定义在正整数集上得函数,φ(n)的值等于序列0,1,2,…,n-1中与n互素的数的个数。 三、拉函数一些公式,性质 p为质数,n为大于0自然数 φ( p)=p-1 拉函数是积性函数,但不是完全积性函数。 拉函数,拉定理,拉降幂 五、 题目 一、月月给华华出题 牛客:月月给华华出题 题目描述 因为月月是个信息学高手,所以她也给华华出了一题,让他求: ∑Ni=1igcd(i,N)∑i=1Nigcd

    73910编辑于 2022-09-23
  • 来自专栏hotarugaliの技术分享

    拉图

    定义 1.1 拉通路 & 拉回路 通过图(无向图或有向图)中所有边一次且仅一次行遍所有顶点的通路称作拉通路。 通过图(无向图或有向图)中所有边一次且仅一次行遍所有顶点的回路称作拉回路。 【注】规定平凡图是拉图。 1.2 拉图 & 半拉图 具有拉回路的图称为拉图。 具有拉通路而无拉回路的图称作半拉图。 2. 性质 无向图 是拉图当且仅当 是连通图且没有奇度顶点。 无向图 是半拉图当且仅当 是连通的且恰有两个奇度顶点。 有向图 是拉图当且仅当 是强连通的且每个顶点的入度等于出度。 无向图 是非平凡的拉图当且仅当 是连通的且是若干个边不重的圈的并。

    1.1K30编辑于 2022-03-01
领券