Arama Sonuçları - ((function computing) or (functions functional)) programming modeling methods case*

1

Stochastic Control Theory Dynamic Programming Principle /

Yazar: Nisio, Makiko., Nisio, Makiko.
Baskı/Yayın Bilgisi 2015

Konular: “...Functional analysis....”
Tam Metin Erişim

Elektronik Ekitap

2

Complex Data Modeling and Computationally Intensive Statistical Methods

Yazar: Mantovan, Pietro., Mantovan, Pietro., Secchi, Piercesare.
Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- A parametric Markov chain to model age- and state-dependent wear processes -- Case studies...”
Tam Metin Erişim

Elektronik Ekitap

3

Stochastic Linear Programming Models, Theory, and Computation /

Yazar: Kall, Peter., Kall, Peter., Mayer, János.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions...”
Tam Metin Erişim

Elektronik Ekitap

4

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”
Tam Metin Erişim

Elektronik Ekitap

5

Computational Methods

Baskı/Yayın Bilgisi 2006

İçindekiler: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Tam Metin Erişim

Elektronik Ekitap

6

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...”
Tam Metin Erişim

Elektronik Ekitap

7

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...”
Tam Metin Erişim

Elektronik Ekitap

8

Reflections on the Teaching of Programming Methods and Implementations /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
Tam Metin Erişim

Elektronik Ekitap

9

Implementing Models in Quantitative Finance: Methods and Cases

Yazar: Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Tam Metin Erişim

Elektronik Ekitap

10

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models...”
Tam Metin Erişim

Elektronik Ekitap

11

Twofold Integer Programming Model for Improving Rough Set Classification Accuracy in Data Mining.

Yazar: Saeed, Walid
Baskı/Yayın Bilgisi 2005

Konular: “...Programming language(Electronic computer)...”
Tam Metin Erişim

Tez

12

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

Yazar: Marcantoni, Enrico., Marcantoni, Enrico.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...”
Tam Metin Erişim

Elektronik Ekitap

13

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

Yazar: Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Modeling Longitudinal Responses using Generalized Least Squares -- Case Study in Data Reduction -- Overview...”
Tam Metin Erişim

Elektronik Ekitap

14

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Tam Metin Erişim

Elektronik Ekitap

15

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Tam Metin Erişim

Elektronik Ekitap

16

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Tam Metin Erişim

Elektronik Ekitap

17

Mathematical Methods in Engineering

Baskı/Yayın Bilgisi 2014

İçindekiler: “... SLAM Case Study -- 7 Generalized State-Space Modeling for m Level Diode-Clamped Multilevel Converters...”
Tam Metin Erişim

Elektronik Ekitap

18

Modeling Psychophysical Data in R

Yazar: Knoblauch, Kenneth., Knoblauch, Kenneth., Maloney, Laurence T.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...A First Tour through R by Example -- Modeling in R -- Signal Detection Theory (SDT...”
Tam Metin Erişim

Elektronik Ekitap

19

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Iterative Implicit Methods for Solving Nonlinear Dynamical Systems: Application of the Levitron -- Modeling...”
Tam Metin Erişim

Elektronik Ekitap

20

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt