Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
programming functionality » programming functional, programming functionals, program functionality
functionality setting » functionality testing, functionality securing, functional setting
code programming » cone programming, core programming, side programming
parallel code » parallel model, parallel 3d
setting https » being https, writing https, feeding https
programming functionality » programming functional, programming functionals, program functionality
functionality setting » functionality testing, functionality securing, functional setting
code programming » cone programming, core programming, side programming
parallel code » parallel model, parallel 3d
setting https » being https, writing https, feeding https
1
Foilsithe 2006
Clár Ábhair:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2005
Clár Ábhair:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2008
Clár Ábhair:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2006
Clár Ábhair:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2005
Clár Ábhair:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2010
Clár Ábhair:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2010
Clár Ábhair:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
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
11
Foilsithe 2008
Clár Ábhair:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2006
Clár Ábhair:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2014
Clár Ábhair:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Foilsithe 2006
Clár Ábhair:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2005
Clár Ábhair:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Foilsithe 2013
Clár Ábhair:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Clár Ábhair:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Clár Ábhair:
“...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2013
Clár Ábhair:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar