3228 search results - page 403 / 646 » Computationally Sound Proofs |
119
click to vote
CSR
2008
Springer
15 years 5 months ago
2008
Springer
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
160
click to vote
EUC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Signcryption is a cryptographic primitive that aims at providing confidentiality and authentication simultaneously. Recently in May 2008, a scheme for identity based thre...
125
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
128
Voted
GC
2008
Springer
15 years 3 months ago
2008
Springer
Gioan showed that the number of cycle reversing classes of totally cyclic orientations of a given graph can be calculated as an evaluation of the corresponding Tutte polynomial. We...
109
click to vote
IJON
2008
15 years 3 months ago
2008
Virtual neurons are essential in computational neuroscience to study the relation between neuronal form and function. One way of obtaining virtual neurons is by algorithmic genera...