Torthaí Cuardaigh - programming intern programs https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

le Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Foilsithe 2015

Clár Ábhair: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Foilsithe 2015

Clár Ábhair: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Web Programming with PHP and MySQL A Practical Guide /

le Bramer, Max., Bramer, Max.
Foilsithe 2015

Clár Ábhair: “...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Foilsithe 2008

Clár Ábhair: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

US Programs Affecting Food and Agricultural Marketing

Foilsithe 2013

Clár Ábhair: “... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

le van Haasteren, Rutger., van Haasteren, Rutger.
Foilsithe 2014

Clár Ábhair: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

The Square Kilometre Array: An Engineering Perspective

Foilsithe 2005

Clár Ábhair: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Foilsithe 2007

Clár Ábhair: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

A Beginner's Guide to Scala, Object Orientation and Functional Programming

le Hunt, John., Hunt, John.
Foilsithe 2014

Clár Ábhair: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Foilsithe 2006

Clár Ábhair: “... Scope Analysis for Generic Programs on Arrays....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Foilsithe 2005

Clár Ábhair: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng