Results 41 to 50 of about 26,683 (262)

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

Algebraic Methods and Bounded Formulas

Notre Dame Journal of Formal Logic, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +5 more sources

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

Discrete Cartesian Coordinate Transformations: Using Algebraic Extension Methods

Applied Sciences
It is shown that it is reasonable to use Galois fields, including those obtained by algebraic extensions, to describe the position of a point in a discrete Cartesian coordinate system in many cases. This approach is applicable to any problem in which the
Aruzhan Kadyrzhan, Dinara Matrassulova, Yelizaveta Vitulyova, Ibragim Suleimenov   +3 more
doaj   +1 more source

Improving the efficiency of using multivalued logic tools: application of algebraic rings

Scientific Reports, 2023
It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov, Yelizaveta S. Vitulyova, Sherniyaz B. Kabdushev, Akhat S. Bakirov   +3 more
doaj   +1 more source

Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method

Advanced Science, EarlyView.
A semi‐analytical viscoelastic traction force microscopy framework is introduced for quantifying time‐resolved cell tractions on flat finite‐thickness substrates. The method generalizes elastic traction force microscopy to Generalized Maxwell materials, identifies when elastic approximations remain valid and, when they do not, shows that inferred ...
Adrià Villacrosa‐Ribas, Daniëlle C. A. Duffhues, Pim van den Bersselaar, Sarah Pragnere, Bart G. W. Groenen, Mariana Azevedo Gonzalez Oliva, Giuseppe Ciccone, Manuel Salmeron‐Sanchez, Carlijn V. C. Bouten, Jose J. Muñoz, Vito Conte   +10 more
wiley   +1 more source

Extension of the Poincaré Symmetry and Its Field Theoretical Implementation

Symmetry, Integrability and Geometry: Methods and Applications, 2006
We define a new algebraic extension of the Poincaré symmetry; this algebra is used to implement a field theoretical model. Free Lagrangians are explicitly constructed; several discussions regarding degrees of freedom, compatibility with Abelian gauge ...
Adrian Tanasa
doaj  

Ultra‐Wide‐Field Noninvasive Imaging Through Scattering Media Via Physics‐Guided Deep Learning

Advanced Science, EarlyView.
We propose a physics‐guided adaptive dual‐domain learning method for ultra‐wide‐field noninvasive imaging through scattering media, namely UNI‐Net. Our method not only reduces the requirement for real experimental data by an order of magnitude but also enables clear imaging of complex scenes with an ultra‐large field of view, which is 164 times the OME
Lintao Peng, Mingwei He, Jeff Zhu, Sujit K. Sahoo, Liheng Bian, Cuong Dang   +5 more
wiley   +1 more source

The Doubling Method in Algebraic Families

International Mathematics Research Notices, 2022
Abstract We define the doubling zeta integral for smooth families of representations of classical groups. Following this we prove a rationality result for these zeta integrals and show that they satisfy a functional equation. Moreover, we show that there exists an appropriate normalizing factor that allows us to construct $\gamma ...
openaire   +2 more sources