Torthaí Cuardaigh - ((functions computational) or (structure function)) programming using methods tools*

1

Foilsithe 2006

Clár Ábhair: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Foilsithe 2012

Clár Ábhair: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Foilsithe 2008

Clár Ábhair: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Discrete Mathematics Using a Computer

le O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Foilsithe 2006

Clár Ábhair: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Foilsithe 2010

Clár Ábhair: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

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

Foilsithe 2015

Clár Ábhair: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Java Methods for Financial Engineering Applications in Finance and Investment /

le Barker, Philip., Barker, Philip.
Foilsithe 2007

Clár Ábhair: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Foilsithe 2014

Clár Ábhair: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Innovations in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Topology-aware hypergraph based approach to optimize scheduling of parallel applications onto distributed parallel architectures

le Koohi, Sina Zangbari
Foilsithe 2020

Ábhair: “...Parallel programming (Computer science) - Research...”
Faigh an téacs iomlán

Thesis

12

Towards the Internet of Services: The THESEUS Research Program

Foilsithe 2014

Clár Ábhair: “... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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

Foilsithe 2007

Clár Ábhair: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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

Foilsithe 2007

Clár Ábhair: “... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Protein Structure Prediction

Foilsithe 2014

Clár Ábhair: “... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Computational Social Network Analysis Trends, Tools and Research Advances /

Foilsithe 2010

Clár Ábhair: “...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Advanced Techniques in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng