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