会员服务
Principle · 相似度 · 讲稿 ·
2023 年 5 月 24 日
Preliminary investigations on induction over real numbers
翻译：暂无翻译
Gilles Dowek
Gilles Dowek

The induction principle for natural numbers expresses that when a property holds for some natural number a and is hereditary, then it holds for all numbers greater than or equal to a. We present a similar principle for real numbers.


翻译：暂无翻译
0
下载
关闭预览

相关内容

迄今为止，产品设计师最友好的交互动画软件。
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
专知会员服务
39+阅读 · 2022年10月10日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
【干货书】Python程序员编程，810页pdf，Python® for Programmers
【干货书】Python程序员编程，810页pdf，Python® for Programmers
专知会员服务
60+阅读 · 2020年8月6日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
57+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
40+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
19+阅读 · 2017年12月17日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】用Tensorflow理解LSTM
【推荐】用Tensorflow理解LSTM
机器学习研究会
36+阅读 · 2017年9月11日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
TMOD1调节actin聚合影响胰岛素信号转导的分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
Kronheimer-Nakajima quiver 模空间与有理曲面
国家自然科学基金
1+阅读 · 2013年12月31日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
石墨烯材料的太赫兹响应
国家自然科学基金
0+阅读 · 2012年12月31日
中缅边境疟疾患者G6PD基因突变型及恶性疟原虫基因分型研究
国家自然科学基金
0+阅读 · 2012年12月31日
不同基因型（p53codon72）鼻咽癌细胞放射敏感性差异的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
催化型氮杂Wittig反应合成多取代杂环的新方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
耐顺铂人肺腺癌细胞中miR-451调控PTEN蛋白抗凋亡的研究
国家自然科学基金
0+阅读 · 2009年12月31日
Hierarchical Classification of Research Fields in the "Web of Science" Using Deep Learning
Arxiv
0+阅读 · 2023年7月11日
Incentive Engineering for Concurrent Games
Arxiv
0+阅读 · 2023年7月11日
Strengthening Consistency Results in Modal Logic
Arxiv
0+阅读 · 2023年7月11日
Bayesian indicator variable selection of multivariate response with heterogeneous sparsity for multi-trait fine mapping
Arxiv
0+阅读 · 2023年7月10日
A Demand-Driven Perspective on Generative Audio AI
Arxiv
0+阅读 · 2023年7月10日
A Survey and Approach to Chart Classification
Arxiv
0+阅读 · 2023年7月9日
A Novel Explainable Artificial Intelligence Model in Image Classification problem
Arxiv
0+阅读 · 2023年7月9日
Generalizing Körner's graph entropy to graphons
Arxiv
0+阅读 · 2023年7月8日
Understanding Counterspeech for Online Harm Mitigation
Arxiv
0+阅读 · 2023年7月1日
A Survey on Automated Driving System Testing: Landscapes and Trends
Arxiv
12+阅读 · 2022年6月13日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Principle
相似度
讲稿
相关VIP内容
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
手册《兵棋推演：工具、技术和程序 》33页slides，Connections UK – Wargaming for Professionals
专知会员服务
39+阅读 · 2022年10月10日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
【干货书】Python程序员编程，810页pdf，Python® for Programmers
【干货书】Python程序员编程，810页pdf，Python® for Programmers
专知会员服务
60+阅读 · 2020年8月6日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
57+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
40+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
19+阅读 · 2017年12月17日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】用Tensorflow理解LSTM
【推荐】用Tensorflow理解LSTM
机器学习研究会
36+阅读 · 2017年9月11日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
相关论文
Hierarchical Classification of Research Fields in the "Web of Science" Using Deep Learning
Arxiv
0+阅读 · 2023年7月11日
Incentive Engineering for Concurrent Games
Arxiv
0+阅读 · 2023年7月11日
Strengthening Consistency Results in Modal Logic
Arxiv
0+阅读 · 2023年7月11日
Bayesian indicator variable selection of multivariate response with heterogeneous sparsity for multi-trait fine mapping
Arxiv
0+阅读 · 2023年7月10日
A Demand-Driven Perspective on Generative Audio AI
Arxiv
0+阅读 · 2023年7月10日
A Survey and Approach to Chart Classification
Arxiv
0+阅读 · 2023年7月9日
A Novel Explainable Artificial Intelligence Model in Image Classification problem
Arxiv
0+阅读 · 2023年7月9日
Generalizing Körner's graph entropy to graphons
Arxiv
0+阅读 · 2023年7月8日
Understanding Counterspeech for Online Harm Mitigation
Arxiv
0+阅读 · 2023年7月1日
A Survey on Automated Driving System Testing: Landscapes and Trends
Arxiv
12+阅读 · 2022年6月13日
相关基金
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
TMOD1调节actin聚合影响胰岛素信号转导的分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
Kronheimer-Nakajima quiver 模空间与有理曲面
国家自然科学基金
1+阅读 · 2013年12月31日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
石墨烯材料的太赫兹响应
国家自然科学基金
0+阅读 · 2012年12月31日
中缅边境疟疾患者G6PD基因突变型及恶性疟原虫基因分型研究
国家自然科学基金
0+阅读 · 2012年12月31日
不同基因型（p53codon72）鼻咽癌细胞放射敏感性差异的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
催化型氮杂Wittig反应合成多取代杂环的新方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
耐顺铂人肺腺癌细胞中miR-451调控PTEN蛋白抗凋亡的研究
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top