Algebras of Distributions of Binary Formulas for Theories of Archimedean Solids
Известия Иркутского государственного университета: Серия "Математика", 2019 Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types.
D.Yu. Emelyanov
doaj +1 more source
Modularity of strong normalization and confluence in the algebraic-λ-cube [PDF]
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002 Contains fulltext : 104051.pdf (Author’s version preprint ) (Open Access)
Barbanera, F. +2 more
openaire +3 more sources
Complexes and exactness of certain Artin groups [PDF]
, 2011 In his work on the Novikov conjecture, Yu introduced Property A as a readily verified criterion implying coarse embeddability. Studied subsequently as a property in its own right, Property A for a discrete group is known to be equivalent to C*-exactness ...
Guentner, Erik +3 more
core +1 more source
Partitioning the n-cube into sets with mutual distance 1 [PDF]
, 1993 Blokhuis A, Metsch K, Moorhouse GE, Ahlswede R, Bezrukov SL. Partitioning the n-cube into sets with mutual distance 1. Applied Mathematics Letters.
Bezrukov, S. +7 more
core +2 more sources
Fourteen years of cube attacks [PDF]
, 2023 Algebraic Cryptanalysis is a widely used technique that tackles the problem of breaking ciphers mainly relying on the ability to express a cryptosystem as a solvable polynomial system. Each output bit/word can be expressed as a polynomial equation in the
Onofri E. +3 more
core +1 more source
Minimal Rational Interpolation and its Application in Fast Broadband Simulation
IEEE Access, 2019 Broad bandwidth simulation in frequency domain benefits from fast frequency sweep, and frequency-domain electromagnetic solvers are usually combined with asymptotic wave evaluation or interpolation techniques.
Jun Wei Wu, Tie Jun Cui
doaj +1 more source
Early algebra ideas about binomial expansion, Stephanie's interview seven of seven, Clip 3 of 7: Investigating the algebraic generalization for building Unifix-cube towers n-tall with exactly two red cubes from towers with exactly one red cube. [PDF]
, 1996 In the third clip in a series of seven from the seventh of seven interviews, 8th grader Stephanie continues to investigate the construction of Unifix towers four-cubes tall, selecting from red and yellow cubes, when moving from towers with exactly one ...
core +1 more source
Algebraic cycles and EPW cubes [PDF]
Mathematische Nachrichten, 2018 AbstractLet X be a hyperkähler variety with an anti‐symplectic involution ι. According to Beauville's conjectural “splitting property”, the Chow groups of X should split in a finite number of pieces such that the Chow ring has a bigrading. The Bloch–Beilinson conjectures predict how ι should act on certain of these pieces of the Chow groups.
openaire +2 more sources
Early Algebra Ideas About Binomial Expansion, Stephanie's Interview Six of Seven: Clip 7 of 11: Generating towers 4-cubes tall, selecting from blue and green cubes, from towers with exactly one green cube to towers with exactly two green cubes. [PDF]
, 1996 In the seventh clip in a series of eleven from the sixth of seven interviews, 8th grader Stephanie is asked by researchers Carolyn Maher and Robert Speiser to consider how the Unifix-cube towers 4-cubes tall, selecting from green and blue cubes, that ...
core +1 more source
Cube-Type Algebraic Attacks on Wireless Encryption Protocols [PDF]
Computer, 2009 Formally evaluating the strengths of a given cryptosystem will ensure that no flaws have crept into the application. During our investigation, we adopted Armknecht and Krause's approach to model the E0 encryption function, which does not depend on memory bits and will hold for every clock tick.
Nikolaos Petrakos +3 more
openaire +2 more sources