Torthaí Cuardaigh - function methods https development programs https

1

An Introduction to Meshfree Methods and Their Programming

le Liu, G.R., Liu, G.R., Gu, Y.T.
Foilsithe 2005

Clár Ábhair: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Cellular Programming and Reprogramming Methods and Protocols /

Foilsithe 2010

Clár Ábhair: “... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Reflections on the Teaching of Programming Methods and Implementations /

Foilsithe 2008

Clár Ábhair: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

A Beginner's Guide to Scala, Object Orientation and Functional Programming

le Hunt, John., Hunt, John.
Foilsithe 2014

Clár Ábhair: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

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

7

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Foilsithe 2010

Ábhair: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Introductory Statistical Inference with the Likelihood Function

le Rohde, Charles A., Rohde, Charles A.
Foilsithe 2014

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

Leictreonach ríomhLeabhar

9

Quantifying Functional Biodiversity

le Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Foilsithe 2012

Clár Ábhair: “...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods...

Foilsithe 2013

Clár Ábhair: “... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Upper and Lower Bounds for Stochastic Processes Modern Methods and Classical Problems /

le Talagrand, Michel., Talagrand, Michel.
Foilsithe 2014

Ábhair: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Lectures on the Nearest Neighbor Method

le Biau, Gérard., Biau, Gérard., Devroye, Luc.
Foilsithe 2015

Clár Ábhair: “... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Foilsithe 2010

Clár Ábhair: “... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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

15

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “..., Segmentation, and Tracking -- Analysis of the Interdependencies Among Plaque Development, Vessel Curvature...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Foilsithe 2008

Clár Ábhair: “... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Bayesian Statistics from Methods to Models and Applications Research from BAYSM 2014 /

Foilsithe 2015

Clár Ábhair: “...On Bayesian based adaptive confidence sets for linear functionals -- A new finite approximation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

19

Nonlinear Integer Programming

le Li, Duan., Li, Duan., Sun, Xiaoling.
Foilsithe 2006

Clár Ábhair: “... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Introduction to Stochastic Programming

le Birge, John R., Birge, John R., Louveaux, François.
Foilsithe 2011

Clár Ábhair: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng