Sciweavers

7988 search results - page 69 / 1598
» A Useful Undecidable Theory
Sort
View
CCA
2005
Springer
15 years 8 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»
15 years 2 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»
15 years 9 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
15 years 8 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
228
Voted

Book
1709views
17 years 16 days 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