1
Julkaistu 2006
Sisällysluettelo: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Nisio, Makiko., Nisio, Makiko.
Julkaistu 2015
Aiheet: ...Functional analysis....
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja
4
Tekijä Saeed, Walid
Julkaistu 2005
Aiheet: ...Programming language(Electronic computer)...
Hae kokoteksti
Opinnäyte
5
Tekijä Chesi, Graziano., Chesi, Graziano.
Julkaistu 2011
Sisällysluettelo: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Saeed, Walid
Julkaistu 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Hae kokoteksti
Opinnäyte
7
Julkaistu 2007
Sisällysluettelo: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
Hae kokoteksti
Elektroninen E-kirja
9
Sisällysluettelo: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Hae kokoteksti
Elektroninen E-kirja
12
Tekijä Baharum, Nur Auni
Julkaistu 2023
... method paired with the appropriate numerical integration method. All the computational procedures were...
Hae kokoteksti
Opinnäyte
13
Tekijä Baharum, Nur Auni
Julkaistu 2023
... with the appropriate numerical integration method. All the computational procedures were undertaken using the C...
Hae kokoteksti
Opinnäyte
14
Tekijä Živný, Stanislav., Živný, Stanislav.
Julkaistu 2012
Sisällysluettelo: ... Languages -- Chap. 9 The Power of Linear Programming -- Chap. 10 Hybrid Tractability -- Chap. 11 Summary...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...
Hae kokoteksti
Elektroninen E-kirja
16
Tekijä Srinivasan, R., Srinivasan, R.
Julkaistu 2014
Sisällysluettelo: ... Programming -- Chapter 3. The Simplex Method -- Chapter 4. Transportation Models and its Variants -- Chapter 5...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2010
Sisällysluettelo: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2007
Sisällysluettelo: ...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2005
Sisällysluettelo: ... Methods for Shape-Preserving Interpolation, Option Price and Semi-Infinite Programs -- Hölder Regularity...
Hae kokoteksti
Elektroninen E-kirja