Torthaí Cuardaigh - function computer program generation part https

1

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

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

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

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

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

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

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

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

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

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

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

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

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea...

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

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

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

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna...

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

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

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

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

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

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

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

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

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

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

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

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

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

Cuardach Cúng