Results 71 to 80 of about 2,240,617 (314)
The Weak Variable Sharing Property
Bulletin of the Section of Logic, 2023 An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property.
Tore Fjetland Øgaard
doaj +1 more source
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Postnikov extensions of ring spectra
, 2006 We give a functorial construction of k-invariants for ring spectra and use these to classify extensions in the Postnikov tower of a ring spectrum.Comment: This is the version published by Algebraic & Geometric Topology on 1 November ...
Baues +5 more
core +2 more sources
Fixpointed Idempotent Uninorm (Based) Logics
Mathematics, 2019 Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj +1 more source
On extensions of algebraic groups with finite quotient
, 2015 We obtain a lifting property for finite quotients of algebraic groups, and applications to the structure of these groups.Comment: Final version, to appear in Pacific Journal of Mathematics (Robert Steinberg Memorial ...
Brion, Michel
core +3 more sources
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 +7 more
wiley +1 more source
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 +12 more
wiley +1 more source
Algebraic Properties of Quandle Extensions and Values of Cocycle Knot Invariants
, 2016 Quandle 2-cocycles define invariants of classical and virtual knots, and extensions of quandles. We show that the quandle 2-cocycle invariant with respect to a non-trivial $2$-cocycle is constant, or takes some other restricted form, for classical knots ...
Clark, W. Edwin, Saito, Masahico
core +1 more source
Advanced Science, EarlyView.This study investigates how CTCs survive varying shear stress during hematogenous metastasis. We uncover a self‐protection mechanism, by which non‐adherent CTCs adapt to high shearing milieu through accumulated cytoplasmic myosin‐mediated disruption of myosin‐actin binding, attenuating force transmission into chromatin to protect CTCs from shear ...
Cunyu Zhang +10 more
wiley +1 more source