Sciweavers

3122 search results - page 7 / 625
» A Theory of Network Equivalence
Sort
View
ASIAN
2006
Springer
134views Algorithms» more  ASIAN 2006»
15 years 1 months ago
Computational Soundness of Formal Indistinguishability and Static Equivalence
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
Gergei Bana, Payman Mohassel, Till Stegers
ICNP
1995
IEEE
15 years 1 months ago
Verification and diagnosis of testing equivalence and reduction relation
Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...
AML
2008
44views more  AML 2008»
14 years 9 months ago
Elementary equivalence of some rings of definable functions
We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theorie...
Vincent Astier
ENDM
2000
131views more  ENDM 2000»
14 years 9 months ago
Some Topological Methods in Graph Coloring Theory
Attempts to solve the famous Four Color Problem led to fruitful discoveries and rich coloring theories. In this talk, some old and some recent applications of tools from topology ...
Bojan Mohar
ICC
2011
IEEE
219views Communications» more  ICC 2011»
13 years 9 months ago
Deterministic Equivalents for the Performance Analysis of Isometric Random Precoded Systems
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
Jakob Hoydis, Romain Couillet, Mérouane Deb...