Sökresultat - ((functions computational) or (functions functional)) programming using methods case*

1

av Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Publicerad 2012

Innehållsförteckning: “... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...”
Hämta fulltext

Elektronisk E-bok

2

Stochastic Control Theory Dynamic Programming Principle /

av Nisio, Makiko., Nisio, Makiko.
Publicerad 2015

Ämnen: “...Functional analysis....”
Hämta fulltext

Elektronisk E-bok

3

Computational Methods

Publicerad 2006

Innehållsförteckning: “... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”
Hämta fulltext

Elektronisk E-bok

4

Reflections on the Teaching of Programming Methods and Implementations /

Publicerad 2008

Innehållsförteckning: “... Method — Experiences on PBL Cases and Tutoring -- Using On-Line Tutorials in Introductory IT Courses...”
Hämta fulltext

Elektronisk E-bok

5

Bio-Farms for Nutraceuticals Functional Food and Safety Control by Biosensors /

Publicerad 2010

Innehållsförteckning: “... -- Biosensors for Functional Food Safety and Analysis -- Biosensors for Secondary Metabolites, Two Case Studies...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2007

Innehållsförteckning: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Hämta fulltext

Elektronisk E-bok

7

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...”
Hämta fulltext

Elektronisk E-bok

8

Small signal oscillatory instability control of power system using posicast controller and evolutionary programming

av Mirfendereski, Shojaeddin
Publicerad 2014

Ämnen: “...Evolutionary programming (Computer science)...”
Hämta fulltext

Lärdomsprov

9

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

Publicerad 2012

Innehållsförteckning: “... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...”
Hämta fulltext

Elektronisk E-bok

10

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Publicerad 2015

Innehållsförteckning: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Hämta fulltext

Elektronisk E-bok

11

Stochastic Linear Programming Models, Theory, and Computation /

av Kall, Peter., Kall, Peter., Mayer, János.
Publicerad 2005

Innehållsförteckning: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Hämta fulltext

Elektronisk E-bok

12

Introduction to radar using Python and MATLAB / Lee Andrew Harrison.

av Harrison, Lee Andrew (Andy),
Publicerad 2020

Innehållsförteckning: “...Introduction to Radar Using Python and MATLAB -- Contents -- Preface -- Chapter 1 Introduction...”

Bok

13

Complex Data Modeling and Computationally Intensive Statistical Methods

av Mantovan, Pietro., Mantovan, Pietro., Secchi, Piercesare.
Publicerad 2010

Innehållsförteckning: “... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...”
Hämta fulltext

Elektronisk E-bok

14

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Publicerad 2015

Innehållsförteckning: “... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...”
Hämta fulltext

Elektronisk E-bok

15

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2008

Innehållsförteckning: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2010

Innehållsförteckning: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
Hämta fulltext

Elektronisk E-bok

18

Using SAS for data management, statistical analysis, and graphics /

av Kleinman, Ken.
Publicerad 2011

Ämnen: “...SAS (Computer program language)....”

Bok

19

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Publicerad 2006

Innehållsförteckning: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
Hämta fulltext

Elektronisk E-bok

20

Java Methods for Financial Engineering Applications in Finance and Investment /

av Barker, Philip., Barker, Philip.
Publicerad 2007

Innehållsförteckning: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen