Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming querying » programming merging, programming query, programming turing
querying methods » queueing methods, quenching methods, drying methods
methods cases » methods case, methods classes, methods lasers
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming querying » programming merging, programming query, programming turing
querying methods » queueing methods, quenching methods, drying methods
methods cases » methods case, methods classes, methods lasers
1
Foilsithe 2007
Clár Ábhair:
“... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
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
4
Foilsithe 2007
Clár Ábhair:
“... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2014
Clár Ábhair:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2010
Clár Ábhair:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2008
Clár Ábhair:
“... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2010
Clár Ábhair:
“... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2006
Clár Ábhair:
“... -- Block Matching for Ontologies -- A Relaxed Approach to RDF Querying -- Mining Information for Instance...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2007
Clár Ábhair:
“... Dependencies -- Querying Incomplete Data with Logic Programs: ER Strikes Back -- Prioritized Preferences...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2007
Clár Ábhair:
“... Uncertainty -- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2005
Clár Ábhair:
“... a CBR-Agents Approach -- A Comparative Analysis of Query Similarity Metrics for Community-Based Web...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar



