Torthaí Cuardaigh - constructive computation programming theory concepts a

1

Drawing Programs: The Theory and Practice of Schematic Functional Programming

le Addis, Tom., Addis, Tom., Addis, Jan.
Foilsithe 2010

Clár Ábhair: “... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

Foilsithe 2012

Clár Ábhair: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2015

Clár Ábhair: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

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

6

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyond /

le Carsetti, A., Carsetti, A.
Foilsithe 2013

Clár Ábhair: “... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

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

Foilsithe 2006

Clár Ábhair: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Concurrent Programming: Algorithms, Principles, and Foundations

le Raynal, Michel., Raynal, Michel.
Foilsithe 2013

Clár Ábhair: “... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Foilsithe 2006

Clár Ábhair: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Measure Theory and Probability Theory

le Athreya, Krishna B., Athreya, Krishna B., Lahiri, Soumendra N.
Foilsithe 2006

Ábhair: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Foilsithe 2013

Clár Ábhair: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Guide to Scientific Computing in C++

le Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Foilsithe 2012

Clár Ábhair: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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

Foilsithe 2007

Clár Ábhair: “... the Partition into Perfect Matchings Problem in Halin Graphs -- A Graph-Theory Algorithm for WCET Estimation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Transactions on Computational Science II

Foilsithe 2008

Clár Ábhair: “... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Higher-Order Computability

le Longley, John., Longley, John., Normann, Dag.
Foilsithe 2015

Clár Ábhair: “...Introduction and Motivation -- Historical Survey -- Theory of Computability Models -- Theory...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Network Performance Analysis Using the J Programming Language /

le Holt, Alan., Holt, Alan.
Foilsithe 2008

Clár Ábhair: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Handbook of Intelligence Evolutionary Theory, Historical Perspective, and Current Concepts /

Foilsithe 2015

Clár Ábhair: “... -- Intelligence in Humans -- The Origins of Intelligence as a Conceptual Construct: Plato, Pascal and Philosophy...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng