Sciweavers

FUIN
2010
76views more  FUIN 2010»
13 years 2 months ago
Church-Rosser Made Easy
The Church
Dexter Kozen
DM
1999
63views more  DM 1999»
13 years 4 months ago
A class of functions and their application in constructing semi-biplanes and association schemes
We give an alternative proof of the fact that a planar function cannot exist on groups of even order. The argument involved leads us to define a class of functions which we
Robert S. Coulter, Marie Henderson
DM
2008
145views more  DM 2008»
13 years 5 months ago
Clique coverings and partitions of line graphs
A clique in a graph G is a complete subgraph of G. A clique covering (partition) of G is a collection C of cliques such that each edge of G occurs in at least (exactly) one clique...
Bo-Jr Li, Gerard J. Chang
CORR
2010
Springer
62views Education» more  CORR 2010»
13 years 5 months ago
A Derandomized Sparse Johnson-Lindenstrauss Transform
Recent work of [Dasgupta-Kumar-Sarl
Daniel M. Kane, Jelani Nelson
CORR
2010
Springer
159views Education» more  CORR 2010»
13 years 5 months ago
An Alternative Proof for the Capacity Region of the Degraded Gaussian MIMO Broadcast Channel
We provide an alternative proof for the capacity region of the degraded Gaussian multiple-input multiple-output (MIMO) broadcast channel. Our proof does not use the channel enhanc...
Ersen Ekrem, Sennur Ulukus
AMC
2007
100views more  AMC 2007»
13 years 5 months ago
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived with...
Po Chih Chen, Chia-Ou Chang, W. T. Chang Chien
AAAI
2008
13 years 6 months ago
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
Fangzhen Lin, Pingzhong Tang