Torthaí Cuardaigh - functions computational ((programming secrets) OR (programming recursion)) arrays a*

1

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

Foilsithe 2005

Clár Ábhair: “... and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Introduction to C++ programming /

le Malik, D. S.
Foilsithe 2009

Clár Ábhair: “... -- Pointers -- Applications of arrays (searching and sorting) and the "class vector" -- Recursion....”

Leabhar

3

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Foilsithe 2015

Clár Ábhair: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Foilsithe 2012

Clár Ábhair: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Foilsithe 2015

Clár Ábhair: “... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

C++ for programmers /

le Deitel, Paul J.
Foilsithe 2009

Clár Ábhair: “... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...”

Leabhar

9

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

Foilsithe 2008

Clár Ábhair: “... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Foilsithe 2005

Clár Ábhair: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Advanced Topics in C Core Concepts in Data Structures /

le Kalicharan, Noel., Kalicharan, Noel.
Foilsithe 2013

Ábhair: “...Programming languages (Electronic computers)....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Mathematica®: A Problem-Centered Approach

le Hazrat, Roozbeh., Hazrat, Roozbeh.
Foilsithe 2015

Clár Ábhair: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Mathematica®: A Problem-Centered Approach

le Hazrat, Roozbeh., Hazrat, Roozbeh.
Foilsithe 2010

Clár Ábhair: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Advanced Topics in Java Core Concepts in Data Structures /

le Kalicharan, Noel., Kalicharan, Noel.
Foilsithe 2014

Ábhair: “...Java (Computer program language)....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Foilsithe 2015

Clár Ábhair: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Foilsithe 2010

Clár Ábhair: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Cystic Fibrosis Methods and Protocols

Foilsithe 2002

Clár Ábhair: “... and Inflammation -- Analysis of Lipid Abnormalities in CF Mice -- Bioelectric Measurement of CFTR Function in Mice...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng