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