1
por Kozen, Dexter C., Kozen, Dexter C.
Publicado 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ... Hedging of Electricity Retail Portfolios with CVaR Constraints -- Value Functions and Transversality...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ... Using O(logn) Parallel Moves -- Squaring the Circle with Weak Mobile Robots -- 4B Database -- Evaluation...
Ligazón do recurso
Electrónico eBook
5
Publicado 2015
Table of Contents: ... Swap Operations -- Hybrid Memetic Algorithm For FPGA Placement and Routing Using Parallel Genetic...
Ligazón do recurso
Electrónico eBook
6
Publicado 2007
Table of Contents: ...General Tracks -- A New Neural Network with Adaptive Activation Function for Classification of ECG...
Ligazón do recurso
Electrónico eBook
7
Publicado 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Ligazón do recurso
Electrónico eBook