Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functions computational » functions computation, function computation, directions computational
functions functional » equations functional
using methods » using method, nursing methods, aging methods
methods cases » methods case, methods classes, methods lasers
functions computational » functions computation, function computation, directions computational
functions functional » equations functional
using methods » using method, nursing methods, aging methods
methods cases » methods case, methods classes, methods lasers
1
2
Foilsithe 2006
Clár Ábhair:
“... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2008
Clár Ábhair:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2007
Clár Ábhair:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
le Mirfendereski, Shojaeddin
Foilsithe 2014
Ábhair:
“...Evolutionary programming (Computer science)...”Foilsithe 2014
Faigh an téacs iomlán
Thesis
6
Foilsithe 2015
Clár Ábhair:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Clár Ábhair:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
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
9
le Saeed, Walid
Foilsithe 2005
Ábhair:
“...Programming language(Electronic computer)...”Foilsithe 2005
Faigh an téacs iomlán
Thesis
10
Foilsithe 2010
Clár Ábhair:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2010
Clár Ábhair:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
13
Foilsithe 2014
Clár Ábhair:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2007
Clár Ábhair:
“.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Clár Ábhair:
“...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2008
Clár Ábhair:
“... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2007
Clár Ábhair:
“... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair:
“... of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Clár Ábhair:
“... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2012
Clár Ábhair:
“... programming methods -- Using interior-point methods within an outer approximation framework for mixed integer...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar