Results 31 to 40 of about 12,379 (262)

Excitations in strict 2-group higher gauge models of topological phases

Journal of High Energy Physics, 2020
We consider an exactly solvable model for topological phases in (3+1) d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice Hamiltonian realisation of the Yetter homotopy 2-type topological
Alex Bullivant, Clement Delcamp
doaj   +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

A RESULT ON THE Σ-CS RING

Tạp chí Khoa học
Let 𝑅 be a ring such that 𝑅𝑅 = 𝑒1𝑅 ⊕ … ⊕ 𝑒𝑛𝑅 where each 𝑒𝑖𝑅 is a uniform right ideal with finite composition length, and {𝑒𝑖 | 𝑖 = 1, … , 𝑛 } is a set of idempotents. We consider the following condition on 𝑅𝑅: for all distinct 𝑖 and 𝑗, if 𝑙(𝑒𝑖𝑅) < 𝑙 (
Le Van An*, Nguyen Thi Hong
doaj   +1 more source

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]

Logical Methods in Computer Science, 2012
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
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

Graded near-rings

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2016
In this paper, we consider graded near-rings over a monoid G as generalizations of graded rings over groups, and study some of their basic properties.
Dumitru Mariana, Năstăsescu Laura, Toader Bogdan   +2 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

The bulk Hilbert space of double scaled SYK

Journal of High Energy Physics, 2022
The emergence of the bulk Hilbert space is a mysterious concept in holography. In [1], the SYK model was solved in the double scaling limit by summing chord diagrams.
Henry W. Lin
doaj   +1 more source

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

Physics‐Constrained Constitutive Learning of Rate‐Limiting Timescales for Efficient Hydrogen‐Based Direct Reduction for Green Steel Making

Advanced Science, EarlyView.
A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai, Barak Ratzker, Pasquale Cavaliere, Dierk Raabe   +3 more
wiley   +1 more source