Results 71 to 80 of about 850,072 (303)
Nonmeasurable algebraic sums of sets of reals [PDF]
Colloquium Mathematicum, 2005 The author presents several results which generalize some known theorems on the existence of nonmeasurable (in various senses) sets of the form \(X+Y\). The main results: If \(\mathcal I\) is a \(\sigma\)-ideal of subsets of \(\mathbb R\) and \(\mathcal B\) is a family of sets containing \(\mathcal I\) such that every set \(B\in {\mathcal B}\setminus {\
openaire +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
Causal Structure Learning With One-Dimensional Convolutional Neural Networks
IEEE Access, 2021 Causal structure discovery has an important guiding role in explanatory artificial intelligence. In order to discover causal relationships from observed data and restore causal structure graphs, we propose the Directed Acyclic Graph structure learning ...
Chuanyu Xu, Wei Xu
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 +7 more
wiley +1 more source
Essential Convexity and Complexity of Semi-Algebraic Constraints [PDF]
Logical Methods in Computer Science, 2012 Let \Gamma be a structure with a finite relational signature and a first-order definition in (R;*,+) with parameters from R, that is, a relational structure over the real numbers where all relations are semi-algebraic sets.
Manuel Bodirsky +2 more
doaj +1 more source
Decomposed Mean Euler-Poincaré Characteristic Model for a Non-Gaussian Physiological Random Field
IEEE Access, 2021 This paper introduces a new approach of the mean Euler-Poincaré characteristic for nonGaussian random fields (NGRF), which is based on the decomposition by a basic function named motherwave.
Moises Ramos-Martinez +3 more
doaj +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
Positive trace polynomials and the universal Procesi-Schacher conjecture
, 2018 Positivstellensatz is a fundamental result in real algebraic geometry providing algebraic certificates for positivity of polynomials on semialgebraic sets.
Klep, Igor +2 more
core +1 more source
Advanced Science, EarlyView.A plasmonic optoelectronic memristor based on Te nanowires‐Au nanoparticles/ι‐carrageenan enables IR‐programmed and visiblelight‐erased non‐volatile conductance. The all‐photonic write/erase scheme supports in‐sensor logic and real‐time motion detection in darkness.
Jingyao Bian +7 more
wiley +1 more source
International Journal of Mathematics and Mathematical Sciences, 2001 Recent advances in CR (Cauchy-Riemann) geometry have raised interesting fine questions about the regularity of CR mappings between real analytic hypersurfaces.
Joël Merker
doaj +1 more source