Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
Abstract. We investigate the problem of finding frequent patterns in a continuous stream of transactions. It is recognized that the approximate solutions are usually sufficient and...
Bill Joy's deep pessimism is now famous. "Why The Future Doesn't Need Us," his defense of that pessimism, has been read by, it seems, everyone -- and many of t...
This paper considers the licensing of a quality-improving innovation. We analyze a duopoly model with heterogeneous firms and consumers. Firms compete in prices and face logit dem...