Results 61 to 70 of about 600,804 (334)
Generalised Swan modules and the D(2) problem
, 2006 We give a detailed proof that, for any natural number n, each algebraic two complex over C_n \times C_\infty is realised up to congruence by a geometric complex arising from a presentation for the group.Comment: This is the version published by Algebraic
Bass +11 more
core +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
Analysis of Students’ Misconceptions on Solving Algebraic Contextual Problem
Risenologi, 2021 Students misconceptions in solving contextual algebraic problems is still often found in this educational world. This study aims to describe the forms of student’s misconceptions in solving algebraic contextual problems and explain the causes of these ...
Faoza Saaroh +2 more
doaj +1 more source
Splitting full matrix algebras over algebraic number fields
Journal of Algebra, 2012 Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is isomorphic to the algebra M_n(K) of n by n matrices over K for some positive integer n. Suppose that d, n and D are bounded.
Ivanyos, Gábor +2 more
openaire +2 more sources
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
Constructions of Dense Lattices of Full Diversity
Trends in Computational and Applied Mathematics, 2020 A lattice construction using Z-submodules of rings of integers of number fields is presented. The construction yields rotated versions of the laminated lattices A_n for n = 2,3,4,5,6, which are the densest lattices in their respective dimensions.
A. A. Andrade +3 more
doaj +1 more source
The Algebraic Approach to Phase Retrieval and Explicit Inversion at the Identifiability Threshold [PDF]
, 2014 We study phase retrieval from magnitude measurements of an unknown signal as an algebraic estimation problem. Indeed, phase retrieval from rank-one and more general linear measurements can be treated in an algebraic way.
Ehler, Martin, Király, Franz J
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
A Few Considerations on Structural and Logical Composition in Specification Theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms.
Axel Legay, Andrzej Wąsowski
doaj +1 more source
Robust C–V Ratio Technique for Profiling Defects in Proton‐Irradiated 4H‐SiC
Advanced Electronic Materials, EarlyView.A noise‐robust C–V ratio technique is introduced to profile radiation‐induced defects in proton‐irradiated 4H‐SiC Schottky diodes. By using analytical capacitance ratios instead of numerical differentiation, the method directly extracts trap‐density and effective trap‐energy profiles at room temperature.
Kibeom Kim +4 more
wiley +1 more source