Chat_wordpress是一款基于WordPress的聊天插件，它可以帮助网站管理员与访客进行实时交流，提高用户体验和网站留存率。使用Chat_wordpress也很简单，我们…
Read More作者： fendouai
字符串上子句的等式定理证明 Equational Theorem Proving for Clauses over Strings
作者：Dohan Kim 尽管几十年来，关于字符串上方程的推理已经得到了广泛的研究，但关于字符串上一般子句的等式推理的研究却很少。本文介绍了一种新的带字符串的叠加微积分，并提出了一…
Read MoreAgda中系统T的强正规化定理的形式证明 A Formal Proof of the Strong Normalization Theorem for System T in Agda
作者：Sebastián Urciuoli 我们为一阶语法中lambda演算的形式元理论提供了一个框架，有两种名称，一种表示自由变量和绑定变量，另一种表示常量，并使用Stought…
Read More关于对偶连接和统计流形的扭转/曲率相似 On a Torsion/Curvature Analogue of Dual Connections and Statistical Manifolds
作者：Damianos Iosifidis 类似于非度量对偶连接的概念，这在定义统计流形中是必不可少的，我们发展了扭转对偶连接的定义。因此，我们说明了这种扭转对偶连接的几何意义，并…
Read More基于自旋轨道力矩的灵敏度和线性范围可调的单器件无偏移磁场传感原理 Single device offset-free magnetic field sensing principle with tunable sensitivity and linear range based on spin-orbit-torques
作者：Sabri Koraltan Christin Schmitt Florian Bruckner Claas Abert Klemens Prügl Michael Kirs…
Read More噪声对具有线性激活函数的递归神经网络的影响 Noise impact on recurrent neural network with linear activation function
作者：V. M. Moskvitin N. Semenova 近年来，神经网络领域越来越多的研究人员对创建硬件实现感兴趣，其中神经元及其之间的连接是物理实现的。人工神经网络的物理实…
Read More伪装而不破坏：实用性保护面部去识别 Disguise without Disruption: Utility-Preserving Face De-Identification
作者：Zikui Cai Zhongpai Gao Benjamin Planche Meng Zheng Terrence Chen M. Salman Asif Ziyan W…
Read MoreTAPS3D：基于伪监督的文本引导三维纹理形状生成 TAPS3D: Text-Guided 3D Textured Shape Generation from Pseudo Supervision
作者：Jiacheng Wei Hao Wang Jiashi Feng Guosheng Lin Kim-Hui Yap 在本文中，我们研究了一项开放的研究任务，即根据给定的文本…
Read More基于自由电子极化子阻断的通用超快量子计算 Universal and ultrafast quantum computation based on free-electron-polariton blockade
作者：Aviv Karnieli Shai Tsesses Renwen Yu Nicholas Rivera Ady Arie Ido Kaminer Shanhui Fan 腔…
Read MoreSINE：具有先验引导编辑字段的基于语义驱动的图像NeRF编辑 SINE: Semantic-driven Image-based NeRF Editing with Prior-guided Editing Field
作者：Chong Bao Yinda Zhang Bangbang Yang Tianxing Fan Zesong Yang Hujun Bao Guofeng Zhang Zh…
Read More