Results 41 to 50 of about 1,101 (266)

Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System

Advanced Science, EarlyView.
A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu, Bowen Zhu, Shicheng Zhang, Keren Li, Xianchen Wu, Yazhi Pi, Jie Yan, Daigao Chen, Bingli Guo, Xi Xiao, Lei Wang, Xiaochuan Xu, Xuwei Xue, Shanguo Huang, Zizheng Cao, Shaohua Yu   +15 more
wiley   +1 more source

Admissibility in Finitely Generated Quasivarieties [PDF]

Logical Methods in Computer Science, 2013
Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable ...
George Metcalfe, Christoph Röthlisberger   +1 more
doaj   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Pseudo-free families of computational universal algebras

Journal of Mathematical Cryptology, 2020
Let Ω be a finite set of finitary operation symbols. We initiate the study of (weakly) pseudo-free families of computational Ω-algebras in arbitrary varieties of Ω-algebras.
Anokhin Mikhail
doaj   +1 more source

On dynamical systems induced by p-adic number fields [PDF]

Opuscula Mathematica, 2015
In this paper, we construct dynamical systems induced by \(p\)-adic number fields \(\mathbb{Q}_{p}\). We study the corresponding crossed product operator algebras induced by such dynamical systems.
Ilwoo Cho
doaj   +1 more source

On the Category of EQ-algebras

Bulletin of the Section of Logic, 2021
In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case ...
Narges Akhlaghinia, Mona Aaly Kologani, Rajab Ali Borzooei, Xiao Long Xin   +3 more
doaj   +1 more source

Selective Targeting of Immune Checkpoints HLA‐G and CD47 Using Novel Dual Signaling Protein DSP216 Promotes Innate Anticancer Immunity

Advanced Science, EarlyView.
The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob, Liat Tamir, Mufeed Abdeen, Ami Tamir, Alexandra Aronin, Itai Bloch, Roy Kahn, Iris Pecker, Mark Tykocinski, Gerwin Huls, Yaron Pereg, Ayelet Chajut, Edwin Bremer   +12 more
wiley   +1 more source

On the nilpotent Leibniz–Poisson algebras

Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2012
In this article Leibniz and Leibniz–Poisson algebras in terms of correctness of different identities are investigated. We also examine varieties of these algebras. Let K be a base field of characteristics zero.
S. M. Ratseev, O. I. Cherevatenko
doaj   +3 more sources

Free Spectra of Equivalential Algebras with Conjunction on Dense Elements

Bulletin of the Section of Logic
We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety.
Sławomir Przybyło, Katarzyna Słomczyńska   +1 more
doaj   +1 more source