This paper proposes a secure sealed-bid auction schemes which adopt threshold cryptosystem without a third party. In the previous proposed sealed-bid auction schemes, an auctioneer is responsible for opening bids. However, malicious auctioneers can conspire with malicious bidders by revealing all bidding prices before the bid opening stage for bidding optimal bidding price to win the auction. T...

There are some lessons to be learned from 25 years of coronary interventional cardiology. One of the most fundamental and important lessons learnt has been the need for an extensive understanding and knowledge of a specific disease process prior to the successful design of a targeted interventional treatment. The rapid development of sophisticated imaging equipment in interventional cardiology ...

We report on a technique for interfacing an untyped logic language to a statically poly-morphically typed functional language. Our key insight is that polymorphic types can be interpreted as \need to know" speciications on function arguments. This leads to a criterion for liberally yet safely invoking the functional language to reduce application terms as required during uniication in the logic...

In this paper, we study mergers in oral or second-price auctions and compare them to mergers in sealed-bid or rst-price auctions. We use an adaptation of the logit qualitative choice model to characterize the underlying bidder value distributions. In second-price auctions, this model has a closed-form relationship between winning bids (prices) and the probabilities of winning (shares), and this...