Results 51 to 60 of about 1,782,193 (256)
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences [PDF]
Scientific Annals of Computer Science, 2016 We present a formal system for proving the partial correctness of a single-pass instruction sequence as considered in program algebra by decomposition into proofs of the partial correctness of segments of the single-pass instruction sequence concerned ...
J.A. Bergstra, C.A. Middelburg
doaj +1 more source
Graphics calculators and algebra [PDF]
, 1999 The personal technology of the graphics calculator is presently the only one likely to be available widely enough to influence curriculum design and implementation on a large scale.
Kissane, B.
core
Advanced Science, EarlyView.Electroforming‐free, self‐rectifying switching with polarity‐dependent threshold modulation is realized in selector‐only memory through Cu‐ion migration in a bilayer stacked dual functional materials. Ultrafast rupturing of Cu filament enables drift‐free operation with high stability.
Jae‐Kyeong Kim +7 more
wiley +1 more source
On paranormed type fuzzy I -convergent double multiplier sequences
Kuwait Journal of Science, 2013 In this article, we introduce the classes of fuzzy real valued double sequences and , where is a multiplier sequence of non-zero real numbers and is a double sequence of bounded strictly positive numbers.
M. SEN, S. ROY
doaj
Karpatsʹkì Matematičnì Publìkacìï, 2017 It is known that the so-called elementary symmetric polynomials $R_n(x) = \int_{[0,1]}(x(t))^n\,dt$ form an algebraic basis in the algebra of all symmetric continuous polynomials on the complex Banach space $L_\infty,$ which is dense in the Fr\'{e}chet ...
T.V. Vasylyshyn
doaj +1 more source
, 2014 In this paper, we begin the study of zero-dimensional field theories with fields taking values in a semistrict Lie 2-algebra. These theories contain the IKKT matrix model and various M-brane related models as special cases.
Saemann, Christian; id_orcid +3 more
core +1 more source
Advanced Science, EarlyView.The protein aggregates and gene expression in the middle temporal gyrus (MTG) and somatosensory cortex (SOM) of the postmortem brains of 13 Alzheimer's disease patients were studied in detail, revealing that small hyperphosphorylated tau aggregates increase with Braak stage driven by microglial inflammation.
Elizabeth A. English +9 more
wiley +1 more source
Journal of Inequalities and Applications, 2023 We study Orlicz sequence algebras and their properties. In particular, we fully characterize biflat and biprojective Orlicz sequence algebras as well as weakly amenable and approximately (semi-)amenable Orlicz sequence algebras. As a consequence, we show
Paweł Foralewski, Krzysztof Piszczek
doaj +1 more source
Advanced Science, EarlyView.Temozolomide treatment activates GSK3β, driving DNMT1 phosphorylation, destabilization, and CD47 promoter hypomethylation in glioblastoma. This epigenetic shift upregulates CD47, enabling TMZ‐treated GBM cells to evade macrophage phagocytosis, survive chemotherapy, and acquire resistance.
Jie Li +11 more
wiley +1 more source
Algebra and technology: Emerging issues [PDF]
, 2001 Although there are a number of technologies related to school algebra, it is only the personal technology of the graphics calculator that seems likely to be available widely enough to influence curriculum design and implementation on a large scale.
Kissane, B.
core