Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
program generation » program execution
function computer » functions computer, functional computer, function computing
generation part » regeneration part, generation plant, generation power
part https » sport https, arts https, care https
program generation » program execution
function computer » functions computer, functional computer, function computing
generation part » regeneration part, generation plant, generation power
part https » sport https, arts https, care https
1
Foilsithe 2010
Clár Ábhair:
“... Handheld Haptic Interface -- A Multi-functional Rehabilitation Device to Assist Forearm/Wrist and Grasp...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2006
Clár Ábhair:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
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
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
Foilsithe 2008
Clár Ábhair:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Foilsithe 2014
Clár Ábhair:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Foilsithe 2010
Clár Ábhair:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2010
Clár Ábhair:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2010
Clár Ábhair:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2010
Clár Ábhair:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2015
Clár Ábhair:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2014
Clár Ábhair:
“... Predecessor -- G4LTL-ST: Automatic Generation of PLC Programs -- Concurrency -- Automatic Atomicity...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2010
Clár Ábhair:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2010
Clár Ábhair:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair:
“...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Foilsithe 2015
Clár Ábhair:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2007
Clár Ábhair:
“... Near-Field Computations -- Efficient Generation of Parallel Quasirandom Faure Sequences Via Scrambling...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2007
Clár Ábhair:
“... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar



