79 search results - page 8 / 16 » Groupoids and Conditional Symmetry |
ICDCS
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper investigates under which conditions information can be reliably shared and consensus can be solved in unknown and anonymous message-passing networks that suffer from cr...
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
A coded modulation system is considered in which nonbinary coded symbols are mapped directly to nonbinary modulation signals. It is proved that if the modulator-channel combination...
100
click to vote
COMBINATORICS
2006
14 years 9 months ago
2006
We define incidence matrices to be zero-one matrices with no zero rows or columns. We are interested in counting incidence matrices with a given number of ones, irrespective of th...
170
click to vote
CCECE
2011
IEEE
13 years 9 months ago
2011
IEEE
—An array of resistively and capacitively shunted Josephson junctions with nonsinusoidal currentphase relation is considered for modelling the resistive transition in high-Tc sup...