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