Sciweavers

91 search results - page 8 / 19
» amc 2006
Sort
View
AMC
2006
125views more  AMC 2006»
13 years 11 months ago
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
Seref Mirasyedioglu, Tolga Güyer
AMC
2006
91views more  AMC 2006»
13 years 11 months ago
Fast elliptic scalar multiplication using new double-base chain and point halving
The fast implementation of elliptic curve cryptosystems relies on the efficient computation of scalar multiplication. Based on the double-base chain representation of scalar using...
Kwok-Wo Wong, Edward C. W. Lee, L. M. Cheng, Xiaof...
AMC
2006
131views more  AMC 2006»
13 years 11 months ago
How much can analog and hybrid systems be proved (super-)Turing
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
Olivier Bournez
AMC
2006
115views more  AMC 2006»
13 years 11 months ago
Global stabilization for linear continuous time-varying systems
In this paper, stabilization problem via static output feedback controls for linear time-varying systems is investigated. Based on the Lyapunov function techniques, we show that f...
Vu N. Phat
AMC
2006
106views more  AMC 2006»
13 years 11 months ago
Selecting two different defective coins
In this paper, given a balance scale and the information that there are exactly two different defective coins present, the authors consider the problem of ascertaining the minimum...
Mingnan Qi, Sanyang Liu