Results 271 to 280 of about 678,166 (300)
Some of the next articles are maybe not open access.
Categorical abstract algebraic logic: The criterion for deductive equivalence
Mathematical Logic Quarterly, 2003AbstractEquivalent deductive systems were introduced in [4] with the goal of treating 1‐deductive systems and algebraic 2‐deductive systems in a uniform way. Results of [3], appropriately translated and strengthened, show that two deductive systems over the same language type are equivalent if and only if their lattices of theories are isomorphic via ...
openaire +2 more sources
IEEE Signal Processing Letters, 2010
The minimum error entropy (MEE) criterion in information theoretic learning is an efficient way to deal with non-Gaussian signal processing. And the minimum dispersion (MD) criterion has been widely applied in stable signal processing. In this letter, we show that there exists an equivalence between the MD criterion and the MEE criterion where ...
Aimin Song, Tianshuang Qiu
openaire +2 more sources
The minimum error entropy (MEE) criterion in information theoretic learning is an efficient way to deal with non-Gaussian signal processing. And the minimum dispersion (MD) criterion has been widely applied in stable signal processing. In this letter, we show that there exists an equivalence between the MD criterion and the MEE criterion where ...
Aimin Song, Tianshuang Qiu
openaire +2 more sources
Routh-Hurwitz stability criterion and its equivalents
IEE-IERE Proceedings - India, 1969This paper surveys the results of similar ways of approach by different persons to the same problem of stability of linear, lumped-parameter, time-invariant, continuous systems. It is possible to prove that all the stability criteria for the above type of systems are equivalent.
openaire +1 more source
Proceedings of the Ninth International Workshop on Dynamic Analysis, 2011
Dynamic analyses reason about a program's concrete heap and control flow and hence can report on actual program behavior with high or even perfect accuracy. But many dynamic analyses require extensive program instrumentation, often slowing down the analyzed program considerably.In the past, researchers have hence developed specialized static ...
openaire +2 more sources
Dynamic analyses reason about a program's concrete heap and control flow and hence can report on actual program behavior with high or even perfect accuracy. But many dynamic analyses require extensive program instrumentation, often slowing down the analyzed program considerably.In the past, researchers have hence developed specialized static ...
openaire +2 more sources
An Arithmetic Observable Equivalence Criterion for the Riemann Hypothesis
This paper establishes a new arithmetic observable equivalence criterion for the Riemann Hypothesis. Earlier stages of the program encountered several bottlenecks: weighted additive-energy obstructions, coefficient-provenance issues, and residual blockwise nontriviality assumptions.openaire +1 more source
An equivalence theorem for design optimality with respect to a multi-objective criterion
Statistical Papers, 2023Juan M. Rodríguez-Díaz, Chiara Tommasi
exaly
Multiaxial fatigue of rubber: Part I: equivalence criteria and theoretical aspects
Fatigue and Fracture of Engineering Materials and Structures, 2005William V Mars, A Fatemi
exaly
Criterion Equivalents of Ultimate Classroom Outcome
Psychological Reports, 1963openaire +1 more source