Results 51 to 60 of about 4,125 (289)

A characterization of $A_5$ by its average order [PDF]

International Journal of Group Theory
Let $o(G)$ be the average order of a finite group $G$. M. Herzog, P. Longobardi and M. Maj [M. Herzog, P. Longobardi and M. Maj, Another criterion for solvability of finite groups, J. Algebra, 597 (2022) 1-23.] showed that if $G$ is non-solvable and $o(G)
Marius Tarnauceanu
doaj   +1 more source

Omega Ideals in Omega Rings and Systems of Linear Equations over Omega Fields

Axioms, 2023
Omega rings (Ω-rings) (and other related structures) are lattice-valued structures (with Ω being the codomain lattice) defined on crisp algebras of the same type, with lattice-valued equality replacing the classical one.
Jorge Jimenez, María Luisa Serrano, Branimir Šešelja, Andreja Tepavčević   +3 more
doaj   +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

Combination of interval set and soft set [PDF]

International Journal of Computational Intelligence Systems, 2013
Soft set theory and interval set theory are all mathematical tools for dealing with uncertainties. This paper is devoted to the discussion of soft interval set and its application.
Keyun Qin, Dan Meng, Zheng Pei, Yang 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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Tense operators on frameable equality algebras [PDF]

Soft Computing, 2021
Abstract Abstract: In this paper, we introduce the frameable equality algebras and use the concept of tense operators on them to define tense equality algebras. We investigate some algebraic properties of tense equality algebras and prove the representation theory for strict strong tense equality algebras.
openaire   +1 more source

Traction Force Microscopy for Viscoelastic Substrates: A Semi‐Analytical Method

Advanced Science, EarlyView.
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, Daniëlle C. A. Duffhues, Pim van den Bersselaar, Sarah Pragnere, Bart G. W. Groenen, Mariana Azevedo Gonzalez Oliva, Giuseppe Ciccone, Manuel Salmeron‐Sanchez, Carlijn V. C. Bouten, Jose J. Muñoz, Vito Conte   +10 more
wiley   +1 more source

Regular Expression Matching and Operational Semantics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the ...
Asiri Rathnayake, Hayo Thielecke
doaj   +1 more source

Senior high school students’ understanding of mathematical inequality

Jurnal Elemen, 2022
Mathematics inequality is an essential concept that students should fully understand since it is required in mathematical modeling and linear programming.
Evangelista Lus Windyana Palupi, Sylvana Novilia Sumarto, Mayang Purbaningrum   +2 more
doaj   +1 more source

Layers of generality and types of generalization in pattern activities [PDF]

, 2010
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