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