1
Udgivet 2006
Indholdsfortegnelse: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...
Få fuldtekst
Electronisk eBog
5
af Barker, Philip., Barker, Philip.
Udgivet 2007
Indholdsfortegnelse: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Få fuldtekst
Electronisk eBog
6
Udgivet 2007
Indholdsfortegnelse: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Få fuldtekst
Electronisk eBog
7
8
Udgivet 2006
Indholdsfortegnelse: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
Få fuldtekst
Electronisk eBog
10
Fag: ...Computational intelligence....
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Få fuldtekst
Electronisk eBog
13
Udgivet 2015
Indholdsfortegnelse: ... on Non-Invasive Computed Tomography Images -- Formal and Heuristic Model Averaging Methods for Predicting...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ... -- Building a Fuzzy Ontology of Edutainment Using OWL -- A Modeling and Assessing Method Based on Bayesian...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...
Få fuldtekst
Electronisk eBog