2206 search results - page 20 / 442 » On the power of coercion abstraction |
ANTS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
MOC
2000
13 years 7 months ago
2000
Abstract. We show that an asymptotic summation method, recently proposed by the authors, can be conveniently applied to slowly convergent power series whose coefficients are ration...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—This paper describes a combined power and throughput performance study of WiFi and Bluetooth usage in smartphones. The study reveals several interesting phenomena and tr...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
DLT
2010
13 years 9 months ago
2010
Abstract. We prove that uniform and semi-uniform families of P systems with active membranes using only communication and nonelementary division rules are not computationally unive...