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