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