Results 51 to 60 of about 122,674 (274)

Boolean Algebras with Semigroup Operators: Free Product and Free Objects

Journal of Mathematics, 2023
Two important algebraic structures are S-acts and Boolean algebras. Combining these two structures, one gets S-Boolean algebras, equipped with a compatible right action of a monoid S which is a special case of Boolean algebras with operators.
H. Barzegar
doaj   +1 more source

Free Semigroupoid Algebras

, 2003
Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a structure theory for the weak operator topology closed algebras generated by these representations, which we call free ...
Kribs, David W., Power, Stephen C.
openaire   +3 more sources

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Supersymmetric ground states of 3d $\mathcal{N}=4$ SUSY gauge theories and Heisenberg algebras

SciPost Physics, 2023
We consider 3d $\mathcal{N}=4$ theories on the geometry $\Sigma \times \mathbb{R}$, where $\Sigma$ is a closed and connected Riemann surface, from the point of view of a quantum mechanics on $\mathbb{R}$.
Andrea E. V. Ferrari
doaj   +1 more source

$C^*$-algebras from planar algebras I: canonical $C^*$-algebras associated to a planar algebra [PDF]

, 2014
From a planar algebra, we give a functorial construction to produce numerous associated $C^*$-algebras. Our main construction is a Hilbert $C^*$-bimodule with a canonical real subspace which produces Pimsner-Toeplitz, Cuntz-Pimsner, and generalized free ...
Hartglass, Michael, Penneys, David
core  

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

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

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

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