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
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional analysis....
View full text
Electronic eBook
3
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
4
by Saeed, Walid
Published 2005
Subjects: ...Programming language(Electronic computer)...
View full text
Thesis
5
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
6
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
7
by Baharum, Nur Auni
Published 2023
... method paired with the appropriate numerical integration method. All the computational procedures were...
View full text
Thesis
8
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
9
Published 2007
Table of Contents: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
View full text
Electronic eBook
11
Table of Contents: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
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: ... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...
View full text
Electronic eBook
16
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
17
Published 2010
Table of Contents: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Methods for Shape-Preserving Interpolation, Option Price and Semi-Infinite Programs -- Hölder Regularity...
View full text
Electronic eBook