Torthaí Cuardaigh - ((function computing) or (functions computational)) programming evaluation methods cases*

1

Foilsithe 2006

Clár Ábhair: “... -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

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

3

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

4

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

Foilsithe 2007

Clár Ábhair: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

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

Foilsithe 2008

Clár Ábhair: “... for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Advances in Communication and Computing

Foilsithe 2015

Clár Ábhair: “... Effect of Loads on the Transfer Function of Power Line -- On-Line and Off-Line Handwriting Recognition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Foilsithe 2014

Clár Ábhair: “... the Results of Pairwise Comparison Based Parametric Evaluation of Research Units -- Bagging of Instance...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held...

Foilsithe 2013

Clár Ábhair: “... Colonography: Pilot Evaluation -- Computer-aided Detection of Non-polypoid Flat Lesions in CT Colonography...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

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

10

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Foilsithe 2010

Clár Ábhair: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

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

12

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Foilsithe 2010

Clár Ábhair: “... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Development of an integrated scheduling model for handling equipment in automated port container terminals

le Sadeghian, Syed Hamidreza
Foilsithe 2014

Ábhair: “...Model-integrated computing...”
Faigh an téacs iomlán

Thesis

14

Automated model-based test case generation using UML activity diagram

le Monim, Md Abdul
Foilsithe 2018

Ábhair: “...Computer software...”
Faigh an téacs iomlán

Thesis

15

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Library Methods: An Evaluation of the Vector Space Model (VSM) and Latent Semantic Indexing (LSI...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Foilsithe 2012

Clár Ábhair: “... Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Foilsithe 2010

Clár Ábhair: “... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Modeling Psychophysical Data in R

le Knoblauch, Kenneth., Knoblauch, Kenneth., Maloney, Laurence T.
Foilsithe 2012

Clár Ábhair: “...) -- The Psychometric Function: Introduction -- The Psychometric Function: Continuation -- Classification Images...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng