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