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