Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
programming representation » programming implementation, programmed presentation, preserving representation
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
representation logic » representation _, representation a, representation based
programming representation » programming implementation, programmed presentation, preserving representation
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
representation logic » representation _, representation a, representation based
1
Foilsithe 2015
Clár Ábhair:
“... in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum Circuits...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2005
Clár Ábhair:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2005
Clár Ábhair:
“... Fragment of Separation Logic -- Approximate Range Searching Using Binary Space Partitions -- Representable...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2015
Clár Ábhair:
“... Complexity -- First-Order Logic Definability of Free Languages -- Representation of (Left) Ideal Regular...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
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
6
Foilsithe 2005
Clár Ábhair:
“... of Two-Variable Least Fixed-Point Logics -- Languages Representable by Vertex-Labeled Graphs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2006
Clár Ábhair:
“... Problems -- An Expressive Temporal Logic for Real Time -- On Matroid Representability and Minor Problems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2007
Clár Ábhair:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2006
Clár Ábhair:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2006
Clár Ábhair:
“... -- Towards Practical Computable Functions on Context-Free Languages -- The Extended Probabilistic Powerdomain...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2006
Clár Ábhair:
“... Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2008
Clár Ábhair:
“... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2006
Clár Ábhair:
“... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2012
Clár Ábhair:
“... Satisfaction Problems -- Anytime Column Search -- Evolutionary Computation Genetic Programming for Biomarker...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2013
Clár Ábhair:
“... -- Conversion of 3D Triangular-Meshed Model to Dot Representation -- Image retrieval system base on EMD...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar