1888 search results - page 172 / 378 » Proof theory and computational analysis |
105
click to vote
CIE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity status couldn't be solved by classifying it as being either NP-complete or solvabl...
105
Voted
JSW
2008
15 years 21 days ago
2008
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
67
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents an algorithm to perform the broadcasting of a packet to all the peers that are located into a convex region (Area of Interest) in a Voronoi based peer-topeer ne...
84
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
109
click to vote
Lecture Notes
"These lecture notes treat various versions of the so-called “fundamental theorem
of asset pricing”. Many students are familiar with statements about models for
financia...