Torthaí Cuardaigh - ((section computational) or (functions computation)) programming modeling methods tools*

Cuardaigh malartuithe:
section computational » prediction computational , design computational , effective computational
functions computation » function computation , functions composition , function composition
programming modeling » programming model , programming models , programming building
modeling methods » modern methods , models methods , counseling methods

Computational Methods

Foilsithe 2006

Clár Ábhair: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes /

Foilsithe 2014

Clár Ábhair: “...From Habits to Standards: Towards Systematic Design of Emotion Models and Affective Architectures...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Foilsithe 2006

Clár Ábhair: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Operations -- WOWA Enhancement of the Preference Modeling in the Reference Point Method -- Uninorms and Non...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... and Syllable Information in European Portuguese Grapheme-Phone Conversion -- A Model to Computational Speech...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

le Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Foilsithe 2015

Clár Ábhair: “...Introduction -- General Aspects of Fitting Regression Models -- Missing Data -- Multivariable...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

Foilsithe 2014

Clár Ábhair: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Foilsithe 2014

Clár Ábhair: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Modeling of Curves and Surfaces with MATLAB®

le Rovenski, Vladimir., Rovenski, Vladimir.
Foilsithe 2010

Clár Ábhair: “...Functions and Transformations -- Functions and Graphs -- Rigid Motions (Isometries) -- Affine...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

MATLAB Matrix Algebra

le Lopez, Cesar., Lopez, Cesar.
Foilsithe 2014

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

Leictreonach ríomhLeabhar

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Foilsithe 2010

Clár Ábhair: “... to Support the Teaching/Learning Process of Software Process Reference Models -- Harnessing ISO/IEC 12207...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

le Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Foilsithe 2015

Ábhair: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Foilsithe 2015

Clár Ábhair: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

Foilsithe 2012

Clár Ábhair: “... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng