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