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