1
Julkaistu 2006
Sisällysluettelo: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2013
Sisällysluettelo: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja
5
Sisällysluettelo: ... densities and prediction limits based on predictive likelihoods -- Computer-intensive conditional inference...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2013
Sisällysluettelo: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2006
Sisällysluettelo: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Otto, Steve., Otto, Steve., Denier, James P.
Julkaistu 2005
Sisällysluettelo: ...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2007
Sisällysluettelo: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... -- An Adaptive Multibiometric System for Uncertain Audio Condition -- Analysis of Performance Impact due...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ... Robust Method for Nose Detection under Various Conditions -- Segmentation of Moving Cells in Bright Field...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2006
Sisällysluettelo: ... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2005
Sisällysluettelo: ... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2010
Sisällysluettelo: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2007
Sisällysluettelo: ... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2007
Sisällysluettelo: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2015
Sisällysluettelo: ... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2008
Sisällysluettelo: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2010
Sisällysluettelo: ... -- An Approximate Reduction Algorithm Based on Conditional Entropy -- B-Spline Method for Solving Boundary Value...
Hae kokoteksti
Elektroninen E-kirja