Results 31 to 40 of about 250,497 (280)
Alexander-Conway and bracket polynomials of a family of pretzel links
Polynomial invariants constitute a dynamic and essential area of study in knot theory. From the pioneer Alexander polynomial, the revolutionary Jones polynomial, to the collectively discovered HOMFLYPT polynomial (just to mention a few), these algebraic
Alan Samuel Hernández Flores +1 more
doaj +1 more source
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
We propose a verification solution based on characteristic set of Wu’s method towards SystemVerilog assertion checking over digital circuit systems. We define a suitable subset of SVAs so that an efficient polynomial modeling mechanism for both circuit ...
Xinyan Gao +3 more
doaj +1 more source
Hopf algebras and Tutte polynomials [PDF]
v2: change of title and some ...
Thomas Krajewski +2 more
openaire +3 more sources
Polynomial algebras and higher spins [PDF]
8 pages ...
Chaichian, M., Demichev, A. P.
openaire +3 more sources
A system of polynomial ordinary differential equations (ODEs) is specified via a vector of multivariate polynomials, or vector field, $F$. A safety assertion $\psi\rightarrow[F]\phi$ means that the trajectory of the system will lie in a subset $\phi ...
Boreale, Michele
core +1 more source
Algebras, polynomials and programs
The paper is directed to an audience of computer scientists with some knowledge of elementary category theory. It presents applications of ideas from universal algebra and category theory to the definition and semantics of programming languages, and to the study of iteration and recursion. Some of the topics covered are: many-sorted universal algebras,
openaire +2 more sources
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
Local maxima of a random algebraic polynomial
We present a useful formula for the expected number of maxima of a normal process ξ(t) that occur below a level u. In the derivation we assume chiefly that ξ(t),ξ′(t), and ξ′′(t) have, with probability one, continuous 1 dimensional distributions and ...
K. Farahmand, P. Hannigan
doaj +1 more source
Municipal Insolvency: The New Chapter IX of the Bankruptcy Act [PDF]
In this report we give an introduction to a constructive way of treating systems of polynomial equations and inequalities. We present a method called cylindrical algebraic decomposition (CAD) discovered 1973 by Collins.
King, Lawrence P.
core +1 more source
A Matrix Ring Description for Cyclic Convolutional Codes
In this paper, we study convolutional codes with a specific cyclic structure. By definition, these codes are left ideals in a certain skew polynomial ring.
Gluesing-Luerssen, Heide +1 more
core +2 more sources

