1
Publicado 2007
Table of Contents: ... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...
Ligazón do recurso
Electrónico eBook
2
Publicado 2005
Table of Contents: ... Embedded Resources with Local Names -- Approximation Algorithms for Wavelength Assignment -- The Set Cover...
Ligazón do recurso
Electrónico eBook
3
Publicado 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Ligazón do recurso
Electrónico eBook
4
Publicado 2014
Table of Contents: ... Cyber-Physical Systems (Track Introduction) -- Compositional, Approximate, and Quantitative Reasoning...
Ligazón do recurso
Electrónico eBook
5
Publicado 2015
Table of Contents: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Ligazón do recurso
Electrónico eBook
6
Table of Contents: ...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...
Ligazón do recurso
Electrónico eBook
7
por Iacus, Stefano M., Iacus, Stefano M.
Publicado 2008
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...
Ligazón do recurso
Electrónico eBook
9
Publicado 2014
Table of Contents: ... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...
Ligazón do recurso
Electrónico eBook
10
Publicado 2007
Table of Contents: ... Information, with Application to Electricity Spot Markets -- An Approximate Winner Determination Algorithm...
Ligazón do recurso
Electrónico eBook
11
por Touzi, Nizar., Touzi, Nizar.
Publicado 2013
Table of Contents: ... and Dynamic Programming -- 3. Optimal Stopping and Dynamic Programming -- 4. Solving Control Problems...
Ligazón do recurso
Electrónico eBook
12
Publicado 2014
Table of Contents: ... Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities...
Ligazón do recurso
Electrónico eBook
13
Table of Contents: ... Scales Calculus -- Approximate Dynamic Programming on Time Scales -- Backpropagation on Time Scales...
Ligazón do recurso
Electrónico eBook
14
Table of Contents: ... -- Finite Difference Numerical Approximations -- Applications to Finance -- Differential Games....
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ... Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard...
Ligazón do recurso
Electrónico eBook
16
Publicado 2006
Table of Contents: ... for Multiobjective Programming Involving (C, ?, ?, d) type-I Functions -- Contributed Papers -- Partitionable...
Ligazón do recurso
Electrónico eBook
17
Table of Contents: ... -- 4 Iterative Methods for Solving Linear Systems -- 5 Approximation of Eigenvalues and Eigenvectors...
Ligazón do recurso
Electrónico eBook
18
Publicado 2005
Table of Contents: ...)-Approximability for the Multi-criteria TSP(1,2) -- Semantics -- Completeness and Compactness of Quantitative...
Ligazón do recurso
Electrónico eBook
19
Publicado 2007
Table of Contents: ... Approximation in the Level Set Framework -- Liver Segmentation Using Sparse 3D Prior Models with Optimal Data...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
Ligazón do recurso
Electrónico eBook