Sciweavers

4894 search results - page 705 / 979
» Choices
Sort
View
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 6 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 6 months ago
Modeling Cultural Dynamics
EVOC (for EVOlution of Culture) is a computer model of culture that enables us to investigate how various factors such as barriers to cultural diffusion, the presence and choice o...
Liane Gabora
CORR
2008
Springer
227views Education» more  CORR 2008»
15 years 6 months ago
An experimental analysis of Lemke-Howson algorithm
We present an experimental investigation of the performance of the Lemke-Howson algorithm, which is the most widely used algorithm for the computation of a Nash equilibrium for bi...
Bruno Codenotti, Stefano De Rossi, Marino Pagan
CSDA
2008
128views more  CSDA 2008»
15 years 6 months ago
Assessing agreement of clustering methods with gene expression microarray data
In the rapidly evolving field of genomics, many clustering and classification methods have been developed and employed to explore patterns in gene expression data. Biologists face...
Xueli Liu, Sheng-Chien Lee, George Casella, Gary F...