1
Veröffentlicht 2006
Inhaltsangabe: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2007
Inhaltsangabe: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Volltext
Elektronisch E-Book
3
von Nisio, Makiko., Nisio, Makiko.
Veröffentlicht 2015
Schlagworte: ...Functional analysis....
Volltext
Elektronisch E-Book
4
von Saeed, Walid
Veröffentlicht 2005
Schlagworte: ...Programming language(Electronic computer)...
Volltext
Abschlussarbeit
5
Veröffentlicht 2007
Inhaltsangabe: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
Volltext
Elektronisch E-Book
7
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
8
Veröffentlicht 2010
Inhaltsangabe: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2015
Inhaltsangabe: ... of the Conditional Tail Expectation of Heavy-tailed Distributions -- Erich Haeusler and Stefan Horni: On Sequential...
Volltext
Elektronisch E-Book
13
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
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: ... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...
Volltext
Elektronisch E-Book
16
von Baharum, Nur Auni
Veröffentlicht 2023
... method paired with the appropriate numerical integration method. All the computational procedures were...
Volltext
Abschlussarbeit
17
von Baharum, Nur Auni
Veröffentlicht 2023
... with the appropriate numerical integration method. All the computational procedures were undertaken using the C...
Volltext
Abschlussarbeit
18
Veröffentlicht 2010
Inhaltsangabe: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
Volltext
Elektronisch E-Book
19
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
20
Veröffentlicht 2007
Inhaltsangabe: ... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...
Volltext
Elektronisch E-Book