Sciweavers

34229 search results - page 462 / 6846
» Power-aware computing systems
Sort
View
171
Voted
DIS
2007
Springer
16 years 1 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
153
Voted
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
16 years 1 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
HICSS
2006
IEEE
75views Biometrics» more  HICSS 2006»
16 years 28 days ago
Computer Security Risks in the Internet Era: Are Small Business Owners Aware and Proactive?
This article empirically examines the awareness, concern, and actions of home-based small business owners regarding Internet-based computer security risks. A scientific, Internet-...
David W. Johnson, Harold Koch
180
Voted
TLCA
2005
Springer
16 years 10 days ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
175
Voted
VL
2003
IEEE
129views Visual Languages» more  VL 2003»
16 years 4 days ago
Context-aware computing support for the educationally disadvantaged
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...
Timothy Sohn