Sökresultat - ((functions computational) or (functions functional)) programming solving methods cases*

Menade du:
functions computational » functions computation , function computation , directions computational
functions functional » equations functional
programming solving » programming evolving , programming solutions , programming building
solving methods » cooking methods , modelling methods , modeling methods
methods cases » methods case , methods classes , methods lasers

Computational Methods

Publicerad 2006

Innehållsförteckning: “... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Hämta fulltext

Elektronisk E-bok

Stochastic Linear Programming Models, Theory, and Computation /

av Kall, Peter., Kall, Peter., Mayer, János.
Publicerad 2005

Innehållsförteckning: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Hämta fulltext

Elektronisk E-bok

Parallel Execution of Runge-Kutta Methods for Solving Ordinary Differential Equations

av Siri, Zailan
Publicerad 2004

“... evaluations do not depend on the previous function evaluations. The second family of Runge-Kutta method...”
Hämta fulltext

Lärdomsprov

Parallel Execution of Runge-Kutta Methods for Solving Ordinary Differential Equations

av Siri, Zailan
Publicerad 2004

“... evaluations do not depend on the previous function evaluations. The second family of Runge-Kutta method...”
Hämta fulltext

Lärdomsprov

Diagonally implicit multistep block method for solving delay volterra integro-differential equation

av Baharum, Nur Auni
Publicerad 2023

“... method paired with the appropriate numerical integration method. All the computational procedures were...”
Hämta fulltext

Lärdomsprov

Diagonally implicit multistep block method for solving delay Volterra integro-differential equation

av Baharum, Nur Auni
Publicerad 2023

“... with the appropriate numerical integration method. All the computational procedures were undertaken using the C...”
Hämta fulltext

Lärdomsprov

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

Implementing Models in Quantitative Finance: Methods and Cases

av Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Publicerad 2008

Innehållsförteckning: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Hämta fulltext

Elektronisk E-bok

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Hämta fulltext

Elektronisk E-bok

Domain of Attraction Analysis and Control via SOS Programming /

av Chesi, Graziano., Chesi, Graziano.
Publicerad 2011

Innehållsförteckning: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Hämta fulltext

Elektronisk E-bok

Mixed Integer Nonlinear Programming

Publicerad 2012

Innehållsförteckning: “... programming -- Using piecewise linear functions for solving MINLPs -- An algorithmic framework for MINLP...”
Hämta fulltext

Elektronisk E-bok

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Publicerad 2014

Innehållsförteckning: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Hämta fulltext

Elektronisk E-bok

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Publicerad 2007

Innehållsförteckning: “... Computer and Its Communication Protocol -- A Branch-and-Bound Algorithm to Solve Large Scale Integer...”
Hämta fulltext

Elektronisk E-bok

Optimization—Theory and Practice

av Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
Publicerad 2010

Innehållsförteckning: “... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
Hämta fulltext

Elektronisk E-bok

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicerad 2010

Innehållsförteckning: “... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...”
Hämta fulltext

Elektronisk E-bok

Automated model-based test case generation using UML activity diagram

av Monim, Md Abdul
Publicerad 2018

Ämnen: “...Computer software...”
Hämta fulltext

Lärdomsprov

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Hämta fulltext

Elektronisk E-bok

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...”
Hämta fulltext

Elektronisk E-bok

Advance in Structural Bioinformatics

Publicerad 2015

Innehållsförteckning: “... Prediction of Biological Macromolecules -- The Biological Macromolecules in Computational Biology...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen