Sciweavers

3145 search results - page 78 / 629
» Algebraic Linear Orderings
Sort
View
CSL
2010
Springer
15 years 5 months ago
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
Barnaby Martin, Jos Martin
ISIPTA
2003
IEEE
140views Mathematics» more  ISIPTA 2003»
15 years 9 months ago
A Second-Order Uncertainty Model of Independent Random Variables: An Example of the Stress-Strength Reliability
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
Lev V. Utkin
JCAM
2010
90views more  JCAM 2010»
14 years 10 months ago
Approximation order of interpolatory nonlinear subdivision schemes
Linear interpolatory subdivision schemes of Cr smoothness have
Nira Dyn, Philipp Grohs, Johannes Wallner
FSE
2004
Springer
155views Cryptology» more  FSE 2004»
15 years 9 months ago
Algebraic Attacks on SOBER-t32 and SOBER-t16 without Stuttering
This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obt...
Joo Yeon Cho, Josef Pieprzyk
FSE
2004
Springer
82views Cryptology» more  FSE 2004»
15 years 7 months ago
Resistance of S-Boxes against Algebraic Attacks
Abstract. We develop several tools to derive linear independent multivariate equations from algebraic S-boxes. By applying them to maximally nonlinear power functions with the inve...
Jung Hee Cheon, Dong Hoon Lee 0002