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