1
Published 2005
Table of Contents: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
View full text
Electronic eBook