1
Publicat 2006
Taula de continguts: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obtenir text complet
Electrònic eBook
3
per Nisio, Makiko., Nisio, Makiko.
Publicat 2015
Matèries: ...Functional analysis....
Obtenir text complet
Electrònic eBook
4
5
Publicat 2007
Taula de continguts: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
Obtenir text complet
Electrònic eBook
7
per Chesi, Graziano., Chesi, Graziano.
Publicat 2011
Taula de continguts: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Obtenir text complet
Electrònic eBook
8
Publicat 2010
Taula de continguts: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
Obtenir text complet
Electrònic eBook
9
Publicat 2008
Taula de continguts: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
Obtenir text complet
Electrònic eBook
10
Taula de continguts: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
Obtenir text complet
Electrònic eBook
11
Publicat 2008
Taula de continguts: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Obtenir text complet
Electrònic eBook
12
Publicat 2015
Taula de continguts: ... of the Conditional Tail Expectation of Heavy-tailed Distributions -- Erich Haeusler and Stefan Horni: On Sequential...
Obtenir text complet
Electrònic eBook
13
per Saeed, Walid
Publicat 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Obtenir text complet
Thesis
14
Taula de continguts: ... Languages -- Chap. 9 The Power of Linear Programming -- Chap. 10 Hybrid Tractability -- Chap. 11 Summary...
Obtenir text complet
Electrònic eBook
15
Publicat 2006
Taula de continguts: ... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...
Obtenir text complet
Electrònic eBook
16
per Baharum, Nur Auni
Publicat 2023
... method paired with the appropriate numerical integration method. All the computational procedures were...
Obtenir text complet
Thesis
17
per Baharum, Nur Auni
Publicat 2023
... with the appropriate numerical integration method. All the computational procedures were undertaken using the C...
Obtenir text complet
Thesis
18
Publicat 2010
Taula de continguts: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
Obtenir text complet
Electrònic eBook
19
per Srinivasan, R., Srinivasan, R.
Publicat 2014
Taula de continguts: ... Programming -- Chapter 3. The Simplex Method -- Chapter 4. Transportation Models and its Variants -- Chapter 5...
Obtenir text complet
Electrònic eBook
20
Publicat 2007
Taula de continguts: ... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...
Obtenir text complet
Electrònic eBook