1
2
le Saeed, Walid
Foilsithe 2005
.... The TIP model is based on translation of the discernibility relation of a Decision System (DS...
Faigh an téacs iomlán
Thesis
3
Foilsithe 2007
Clár Ábhair: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
5
Foilsithe 2008
Clár Ábhair: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
le Abdul Ghani, Pauziah Hanum
Foilsithe 2010
... immediate action. ES-RWQ was developed using the visual basic programming language as the tool that consists...
Faigh an téacs iomlán
Thesis
7
le Abdul Ghani, Pauziah Hanum
Foilsithe 2010
... immediate action. ES-RWQ was developed using the visual basic programming language as the tool that consists...
Faigh an téacs iomlán
Thesis
8
Foilsithe 2008
Clár Ábhair: ... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
Foilsithe 2010
Clár Ábhair: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
Foilsithe 2006
Clár Ábhair: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
Foilsithe 2007
Clár Ábhair: ... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2012
Clár Ábhair: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
Foilsithe 2007
Clár Ábhair: ...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Foilsithe 2007
Clár Ábhair: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
Foilsithe 2013
Clár Ábhair: ... Strategies Used to Handle Uncertainties in Speech Communication While Using GIS -- Gesture and Eye-Gaze Based...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair: ...-Based Reasoning and Bayesian Networks for Clinical Decision Support -- Event Extraction for Legal Case...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar