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