3145 search results - page 283 / 629 » Algebraic Linear Orderings |
170
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
166
Voted
MOC
2000
15 years 6 months ago
2000
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
211
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
207
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
203
click to vote
IACR
2011
14 years 6 months ago
2011
The Keccak hash function is one of the five finalists in NIST’s SHA-3 competition, and so far it showed remarkable resistance against practical collision finding attacks: Afte...