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