Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
interactive application » interactive applications, interaction applications, interactions application
application programs » application program, application problems, application programming
problem functional » problem functionals, problems functions, probing functional
programs problem » programs problems, program problem, programmes problems
functional https » functions https, function https, functional hop
interactive application » interactive applications, interaction applications, interactions application
application programs » application program, application problems, application programming
problem functional » problem functionals, problems functions, probing functional
programs problem » programs problems, program problem, programmes problems
functional https » functions https, function https, functional hop
1
Foilsithe 2015
Clár Ábhair:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2014
Clár Ábhair:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2014
Clár Ábhair:
“... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2015
Clár Ábhair:
“... Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2015
Clár Ábhair:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Ábhair:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2007
Clár Ábhair:
“... Substructural Type System for Delimited Continuations -- The Inhabitation Problem for Rank Two Intersection...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2008
Clár Ábhair:
“... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2005
Clár Ábhair:
“... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2015
Clár Ábhair:
“... Combinatorial Algorithm for the Planar Multi flow Problem with Demands Located on Three Holes -- Generalized LR...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2010
Clár Ábhair:
“...-Dimensional Flows in a High Pressure Turbine -- Application of Parallel Processing to the Simulation of Heart...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Clár Ábhair:
“.... Interactive Graphics -- 5. Testing and Debugging -- Part II: Applications -- 6. The Double Integrator -- 7...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2008
Clár Ábhair:
“... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2005
Clár Ábhair:
“... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2006
Clár Ábhair:
“... -- Application Issues of Genetic Programming in Industry -- Challenges in Open-Ended Problem Solving with Genetic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2008
Clár Ábhair:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2005
Clár Ábhair:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair:
“... -- EvoENVIRONMENT Contributions -- A Hyper-Heuristic Approach for the Unit Commitment Problem -- Application...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair:
“...-objective Programming Application for Time-Cost Trade-off of CPM in Project Management -- A Study on Two...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2010
Clár Ábhair:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar