Results 31 to 40 of about 250,497 (280)

Alexander-Conway and bracket polynomials of a family of pretzel links

open access: yesRevista Integración
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

open access: yesJournal of Applied Mathematics, 2013
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]

open access: yesAdvances in Applied Mathematics, 2018
v2: change of title and some ...
Thomas Krajewski   +2 more
openaire   +3 more sources

Polynomial algebras and higher spins [PDF]

open access: yesPhysics Letters A, 1996
8 pages ...
Chaichian, M., Demichev, A. P.
openaire   +3 more sources

Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs

open access: yes, 2020
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

open access: yesTheoretical Computer Science, 1990
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

open access: yesAdvanced 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

Local maxima of a random algebraic polynomial

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 2001
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]

open access: yes, 1977
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

open access: yes, 2007
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

Home - About - Disclaimer - Privacy