1
Foilsithe 2006
Clár Ábhair: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Clár Ábhair: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2012
Clár Ábhair: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2006
Clár Ábhair: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2010
Clár Ábhair: ...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Foilsithe 2005
Clár Ábhair: ...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
7
Foilsithe 2012
Clár Ábhair: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
8
Foilsithe 2014
Clár Ábhair: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
9
Foilsithe 2005
Clár Ábhair: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
10
Foilsithe 2006
Clár Ábhair: ... Recursive Functions with Object Oriented Genetic Programming -- Negative Slope Coefficient: A Measure...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
11
Foilsithe 2015
Clár Ábhair: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
12
Foilsithe 2006
Clár Ábhair: ... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
13
Foilsithe 2010
Clár Ábhair: ... New Index for Temporal Information in Web Pages -- Rough Set Approximations on Granular Structures...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
15
Foilsithe 2008
Clár Ábhair: ... for Rewriting Approximations -- A Needed Rewriting Strategy for Data-Structures with Pointers -- Effectively...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
16
Foilsithe 2006
Clár Ábhair: ... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
Foilsithe 2006
Clár Ábhair: ...Fuzzy Sets and Systems -- Rough-Fuzzy Granular Computing, Case Based Reasoning and Data Mining...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
18
Foilsithe 2006
Clár Ábhair: ... and Dynamic Programming -- Document Mining Based on Semantic Understanding of Text -- Authorship Attribution...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
19
Foilsithe 2005
Clár Ábhair: ... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
20
Foilsithe 2007
Clár Ábhair: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar