Results 51 to 60 of about 23,180 (297)
Counting algebraic integers of fixed degree and bounded height
, 2014 Let k be a number field. For H→∞, we give an asymptotic formula for the number of algebraic integers of absolute Weil height bounded by H and fixed degree over ...
BARROERO, FABRIZIO
core +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
Computing degree based topological indices of algebraic hypergraphs
HeliyonTopological indices are numerical parameters that indicate the topology of graphs or hypergraphs. A hypergraph H=(V(H),E(H)) consists of a vertex set V(H) and an edge set E(H), where each edge e∈E(H) is a subset of V(H) with at least two elements.
Amal S. Alali +4 more
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
Hodge theory and algebraic cycles
, 2023 This thesis tackles different problems related to the connection between geometric and Hodge theoretic aspects of algebraic varieties. One of the main results, joint with Stefan Schreieder and Remy van Dobben de Bruyn, concerns the construction ...
Paulsen, Matthias Christoph Bernhard
core +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 +5 more
wiley +1 more source
The Critical Curvature Degree of an Algebraic Variety
Journal of Symbolic Computation, 2023 14 pages, 4 ...
openaire +3 more sources
The Algebraic Degree of Phase-Type Distributions
, 2010 This paper is concerned with properties of the algebraic degree of the Laplace-Stieltjes transform of phase-type (PH) distributions. The main problem of interest is: given a PH generator, how do we find the maximum and the minimum algebraic degrees of ...
Mark Fackrell +3 more
core +1 more source
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 +3 more
wiley +1 more source
Two open problems about the liner structure of rotation symmetric Boolean functions
Tongxin xuebao, 2013 One open problem that the balanced rotation symmetric Boolean functions with degree n− 1 on even number of variables have no non-zero linear structure was proved.
Ya-qun ZHAO, Xu LI
doaj