Results 71 to 80 of about 19,352 (312)
A Perspective on Interactive Theorem Provers in Physics
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
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 Homology Theory of Operator Algebras
We investigate the cyclic homology and free resolution effect of a commutative unital Banach algebra. Using the free resolution operator, we define the relative cyclic homology of commutative Banach algebras. Lemmas and theorems of this investigation are
Alaa Hassan Noreldeen
doaj +1 more source
On Lie algebras all of whose minimal subalgebras are lower modular. [PDF]
The main purpose of this paper is to study Lie algebras L such that if a subalgebra U of L has a maximal subalgebra of dimension one then every maximal subalgebra of U has dimension one. Such an L is called lm(0)-algebra.
Kevin Bowman +5 more
core
Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method
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 +10 more
wiley +1 more source
We conducted two studies to investigate the extent to which brief, spaced, mastery practice on skills relevant to introductory physics affects student performance. The first study investigated the effect of practice of “specific” physics skills, each one
Qiaoyi Liu +2 more
doaj +1 more source
System of harmonic oscillators in a rotationally-invariant noncommutative phase space
Algebra with noncommutativity of coordinates and noncommutativity of momenta which is rotationally-invariant and equivalent to noncommutative algebra of the canonical type is considered.
V. M. Tkachuk, Kh. P. Gnatenko
doaj +1 more source
Some Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras [PDF]
In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $.
Mona Naroei Irani, Akbar Nazari
doaj +1 more source
Effect of Eng-Hau medium of instruction on Upper-Basic students’ achievement in Algebra
The perennial problem of poor performance of students in mathematics has made stakeholders in the education sector undertake several types of research, with diverse findings on the causes, with different recommendations for improvement. In this study Eng-
John Tyavbee Ajai +2 more
doaj +1 more source
Layers of generality and types of generalization in pattern activities [PDF]
Pattern generalization is considered one of the prominent routes for in-troducing students to algebra. However, not all generalizations are al-gebraic. In the use of pattern generalization as a route to algebra, we —teachers and educators— thus have to ...
Radford, Luis
core

