Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
program functionality » protein functionality, programs functional, supra functionality
functionality code » functionality cloud, functionality lower, functional code
parallel ml » parallel _, parallel a, parallel 3d
ml program » xml programs, fly program, hol program
code https » care https, body https, models https
program functionality » protein functionality, programs functional, supra functionality
functionality code » functionality cloud, functionality lower, functional code
parallel ml » parallel _, parallel a, parallel 3d
ml program » xml programs, fly program, hol program
code https » care https, body https, models https
1
Foilsithe 2010
Clár Ábhair:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2008
Clár Ábhair:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2008
Clár Ábhair:
“... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2007
Clár Ábhair:
“... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2006
Clár Ábhair:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar