Torthaí Cuardaigh - ((functions computation) or (functions computational)) programming using theory case*

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

Foilsithe 2008

Clár Ábhair: “... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Stochastic Linear Programming Models, Theory, and Computation /

le Kall, Peter., Kall, Peter., Mayer, János.
Foilsithe 2005

Clár Ábhair: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- Clique-Width for Four-Vertex Forbidden Subgraphs -- Computational Game Theory -- On the Complexity...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Stochastic Control Theory Dynamic Programming Principle /

le Nisio, Makiko., Nisio, Makiko.
Foilsithe 2015

Ábhair: “...Functional analysis....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...

Foilsithe 2013

Clár Ábhair: “... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Foilsithe 2008

Clár Ábhair: “... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

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

12

Convex Functions and their Applications A Contemporary Approach /

le Niculescu, Constantin., Niculescu, Constantin., Persson, Lars-Erik.
Foilsithe 2006

Clár Ábhair: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Genetic Programming Theory and Practice III

Foilsithe 2006

Clár Ábhair: “...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Foilsithe 2007

Clár Ábhair: “... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Foilsithe 2007

Clár Ábhair: “... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Foilsithe 2008

Clár Ábhair: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng