Результаты поиска - quantitative approximation programs program ((function https) OR (functions https))

1

Collateralized Debt Obligations A Moment Matching Pricing Technique based on Copula Functions /

по Marcantoni, Enrico., Marcantoni, Enrico.
Опубликовано 2014

Оглавление: “...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...”
Полный текст

Электронный ресурс eКнига

2

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU...

Опубликовано 2007

Оглавление: “... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”
Полный текст

Электронный ресурс eКнига

3

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Embedded Resources with Local Names -- Approximation Algorithms for Wavelength Assignment -- The Set Cover...”
Полный текст

Электронный ресурс eКнига

4

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Опубликовано 2015

Оглавление: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Полный текст

Электронный ресурс eКнига

5

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Опубликовано 2014

Оглавление: “... Cyber-Physical Systems (Track Introduction) -- Compositional, Approximate, and Quantitative Reasoning...”
Полный текст

Электронный ресурс eКнига

6

Simulation and Inference for Stochastic Differential Equations With R Examples /

по Iacus, Stefano M., Iacus, Stefano M.
Опубликовано 2008

Предметы: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

7

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Опубликовано 2015

Оглавление: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Полный текст

Электронный ресурс eКнига

8

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Опубликовано 2010

Оглавление: “... -- Semidefinite Programming and Approximation Algorithms: A Survey -- Strictly-Regular Number System and Data...”
Полный текст

Электронный ресурс eКнига

9

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

Опубликовано 2014

Оглавление: “... Processes via Finite Approximate Bisimulations -- An Operational Interpretation of Negative Probabilities...”
Полный текст

Электронный ресурс eКнига

10

Optimisation, Econometric and Financial Analysis

Опубликовано 2007

Оглавление: “... Information, with Application to Electricity Spot Markets -- An Approximate Winner Determination Algorithm...”
Полный текст

Электронный ресурс eКнига

11

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers /

Опубликовано 2014

Оглавление: “... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”
Полный текст

Электронный ресурс eКнига

12

Optimal Stochastic Control, Stochastic Target Problems, and Backward SDE

по Touzi, Nizar., Touzi, Nizar.
Опубликовано 2013

Оглавление: “... and Dynamic Programming -- 3. Optimal Stopping and Dynamic Programming -- 4. Solving Control Problems...”
Полный текст

Электронный ресурс eКнига

13

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard...”
Полный текст

Электронный ресурс eКнига

14

Unified Computational Intelligence for Complex Systems

по Seiffertt, John., Seiffertt, John., Wunsch, Donald C.
Опубликовано 2010

Оглавление: “... Scales Calculus -- Approximate Dynamic Programming on Time Scales -- Backpropagation on Time Scales...”
Полный текст

Электронный ресурс eКнига

15

Generalized Convexity and Related Topics

Опубликовано 2006

Оглавление: “... for Multiobjective Programming Involving (C, ?, ?, d) type-I Functions -- Contributed Papers -- Partitionable...”
Полный текст

Электронный ресурс eКнига

16

Controlled Markov Processes and Viscosity Solutions

по Fleming, Wendell H., Fleming, Wendell H., Soner, Halil Mete.
Опубликовано 2006

Оглавление: “... -- Finite Difference Numerical Approximations -- Applications to Finance -- Differential Games....”
Полный текст

Электронный ресурс eКнига

17

Numerical Mathematics

по Quarteroni, Alfio., Quarteroni, Alfio., Sacco, Riccardo., Saleri, Fausto.
Опубликовано 2007

Оглавление: “... -- 4 Iterative Methods for Solving Linear Systems -- 5 Approximation of Eigenvalues and Eigenvectors...”
Полный текст

Электронный ресурс eКнига

18

Information Processing in Medical Imaging 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Approximation in the Level Set Framework -- Liver Segmentation Using Sparse 3D Prior Models with Optimal Data...”
Полный текст

Электронный ресурс eКнига

19

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /

Опубликовано 2005

Оглавление: “...)-Approximability for the Multi-criteria TSP(1,2) -- Semantics -- Completeness and Compactness of Quantitative...”
Полный текст

Электронный ресурс eКнига

20

Integrated Uncertainty Management and Applications

Опубликовано 2010

Оглавление: “... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска