正则化深度学习及其在机器人环境感知中的应用

深度学习技术在图像分析、语音识别、自然语言理解等难点问题中都取得了十分显著的应用成果。然而该技术在机器人感知领域的应用相对而言仍然不够成熟，主要源于深度学习往往需要大量的训练样本来避免过拟合、...

被遗忘的乘法

方程求解与机器证明 基于MMP的问题求解

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

控制论 关于动物和机器的控制与传播科学 英文

1947年10月，维纳写出划时代的著作《控制论》，1948年出版后，立即风行世界。维纳的深刻思想引起了人们的极大重视。它揭示了机器中的通信和控制机能与人的神经、感觉机能的共同规律；为现代科学技术研究提供了崭新...

控制论 关于动物和机器的控制与传播科学 中文·英文 双语版 第2版

控制论（cybernetics）的诞生是20世纪最伟大的科学成就之一。现代社会的许多新概念和新技术都与控制论有密切联系。控制论是自动控制、电子技术、无线电通讯、计算机技术、神经生理学、数理逻辑、语言等多种学...

分子器件与分子机器 纳米世界的概念和前景 原著第2版

本书是关于分子器件与分子机器领域的一本学术专著，由意大利著名学者V·Balzani教授等人结合国际上最新的科研成果撰写而成。作者深入浅出地从一些基本概念和相关术语开始，贯穿一条通向纳米世界的捷径的主线，分...

感知化学动向

本书概述了原子物理学的基本内容，以及它对物理理论的改进的重要意义。

感知物理哲学

本书概述了原子物理学的基本内容，以及它对物理理论的改进的重要意义。

数理逻辑与机器证明