Results 41 to 50 of about 5,484 (263)
Covering Numbers in Linear Algebra
The American Mathematical Monthly, 2012 We compute the minimal cardinality of a covering (resp. an irredundant covering) of a vector space over an arbitrary field by proper linear subspaces. Analogues for affine linear subspaces are also given.
openaire +2 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
GIS spatial analysis of the distribution of snow depth: A study of western Rhodopes, Bulgaria [PDF]
Glasnik Srpskog Geografskog Društva, 2016 The aim of the present research is to show the advantages of information technology in investigating the snow cover. The snow data is usually taken from the measurement in meteorological stations which are often sparsely and insufficient.
Nikolova Valentina, Penkov Aleksandar
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
On the abelian Galois coverings of an algebra
Journal of Algebra, 1986 Let \(\Lambda\) be a finite dimensional algebra over an algebraically closed field \(k\), given by a pair \((Q,I)\), where \(Q\) is a finite oriented graph without double arrows and \(I\) is an admissible ideal of the path algebra \(kQ\) of \(Q\), \(\pi\) be its fundamental group and \({\tilde \Lambda}\) its universal Galois covering.
openaire +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
An exciting Approach to Theoretical Spectroscopy
Advanced Science, EarlyView.ABSTRACT Theoretical spectroscopy, and more generally, electronic‐structure theory, are powerful concepts for describing the complex many‐body interactions in materials. They cover methods from ground‐state properties to lattice excitations and light‐matter interaction, including time‐resolved variants.
Martí Raya‐Moreno +29 more
wiley +1 more source
On the Hilbert series of vertex cover algebras of Cohen-Macaulay bipartite graphs
Le Matematiche, 2010 We study the Hilbert function and the Hilbert series of the vertex cover algebra A(G), where G is a Cohen-Macaulay bipartite graph.
Cristian Ion
doaj
The projectable hull of an archimedean $ell$-group with weak unit [PDF]
Categories and General Algebraic Structures with Applications, 2017 The much-studied projectable hull of an $ell$-group $Gleq pG$ is an essential extension, so that, in the case that $G$ is archimedean with weak unit, ``$Gin {bf W}$", we have for the Yosida representation spaces a ``covering map" $YG leftarrow YpG$.
Anthony W. Hager, Warren Wm. McGovern
doaj
Applied Sciences, 2022 In this paper, an image analysis framework is formulated for Landsat-8 Operational Land Imager and Thermal Infrared Sensor (OLI/TIRS) scenes using the R programming language.
Polina Lemenkova, Olivier Debeir
doaj +1 more source