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