Canlyniadau Chwilio - ((function computing) or (functions functional)) programming modeling methods case*

1

Stochastic Control Theory Dynamic Programming Principle /

gan Nisio, Makiko., Nisio, Makiko.
Cyhoeddwyd 2015

Pynciau: “...Functional analysis....”
Cael y testun llawn

Electronig eLyfr

2

Complex Data Modeling and Computationally Intensive Statistical Methods

gan Mantovan, Pietro., Mantovan, Pietro., Secchi, Piercesare.
Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- A parametric Markov chain to model age- and state-dependent wear processes -- Case studies...”
Cael y testun llawn

Electronig eLyfr

3

Stochastic Linear Programming Models, Theory, and Computation /

gan Kall, Peter., Kall, Peter., Mayer, János.
Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”
Cael y testun llawn

Electronig eLyfr

5

Computational Methods

Cyhoeddwyd 2006

Tabl Cynhwysion: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...”
Cael y testun llawn

Electronig eLyfr

8

Reflections on the Teaching of Programming Methods and Implementations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
Cael y testun llawn

Electronig eLyfr

9

Implementing Models in Quantitative Finance: Methods and Cases

gan Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Cyhoeddwyd 2008

Tabl Cynhwysion: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models...”
Cael y testun llawn

Electronig eLyfr

11

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

gan Saeed, Walid
Cyhoeddwyd 2005

Pynciau: “...Programming language(Electronic computer)...”
Cael y testun llawn

Thesis

12

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

gan Marcantoni, Enrico., Marcantoni, Enrico.
Cyhoeddwyd 2014

Tabl Cynhwysion: “...CDO: General Characteristics.- Credit Risk Modeling -- Copula Functions and Dependency Concepts...”
Cael y testun llawn

Electronig eLyfr

13

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

gan Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Modeling Longitudinal Responses using Generalized Least Squares -- Case Study in Data Reduction -- Overview...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Cael y testun llawn

Electronig eLyfr

17

Mathematical Methods in Engineering

Cyhoeddwyd 2014

Tabl Cynhwysion: “... SLAM Case Study -- 7 Generalized State-Space Modeling for m Level Diode-Clamped Multilevel Converters...”
Cael y testun llawn

Electronig eLyfr

18

Modeling Psychophysical Data in R

gan Knoblauch, Kenneth., Knoblauch, Kenneth., Maloney, Laurence T.
Cyhoeddwyd 2012

Tabl Cynhwysion: “...A First Tour through R by Example -- Modeling in R -- Signal Detection Theory (SDT...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Iterative Implicit Methods for Solving Nonlinear Dynamical Systems: Application of the Levitron -- Modeling...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad