Sciweavers

7988 search results - page 69 / 1598
» A Useful Undecidable Theory
Sort
View
CCA
2005
Springer
14 years 2 months ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002
JECR
2002
125views more  JECR 2002»
13 years 8 months ago
Why Users Choose Particular Web Sites Over Others: Introducing a "Means-End" Approach to Human-Computer Interaction
means-end theory, widely used in market research, identifies three levels of abstraction
Deepak Prem Subramony
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
14 years 3 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog
CHI
2009
ACM
14 years 1 months ago
Interaction criticism and aesthetics
As HCI becomes more self-consciously implicated in culture, theories from cultural studies, in particular aesthetics and critical theory, are increasingly working their way into t...
Jeffrey Bardzell

Book
1709views
15 years 6 months ago
The Theory and Technique of Electronic Music
"This is a book about using electronic techniques to record, synthesize, process, and analyze musical sounds, a practice which came into its modern form in the years 1948-19...
Miller Puckette