1
出版 2006
書本目錄: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
獲取全文
電子 電子書
2
Li, Xingfeng., Li, Xingfeng.
出版 2014
書本目錄: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
獲取全文
電子 電子書
4
出版 2007
書本目錄: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
獲取全文
電子 電子書
5
出版 2010
書本目錄: ... Detection -- Vision-Based Vehicle Speed Measurement Method -- A Particle-Based Method for Large-Scale...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
獲取全文
電子 電子書
7
出版 2007
書本目錄: ... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...
獲取全文
電子 電子書
8
出版 2012
書本目錄: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
獲取全文
電子 電子書
9
出版 2012
書本目錄: ... Extensions for Dynamic Systems -- Service Management 1 -- Who Do You Call? Problem Resolution through Social...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...
獲取全文
電子 電子書
11
出版 2006
書本目錄: ... Surfaces -- Controllable Multi-phase Smoke with Lagrangian Particles -- An Approximate Image-Space Approach...
獲取全文
電子 電子書
12
出版 2013
書本目錄: ... and Enumeration for Automatic Sequences: A Survey -- Walking on Data Words -- Careful Synchronization of Partial...
獲取全文
電子 電子書
13
出版 2013
書本目錄: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
獲取全文
電子 電子書
14
出版 2010
書本目錄: ... with Salient Boundaries -- Fast Covariance Computation and Dimensionality Reduction for Sub-window Features...
獲取全文
電子 電子書
15
出版 2013
書本目錄: ...Table of Contents – Part II Classified-Distance Based Shape Descriptor for Application to Image...
獲取全文
電子 電子書
16
出版 2008
書本目錄: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
獲取全文
電子 電子書
17
出版 2015
書本目錄: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
獲取全文
電子 電子書
18
出版 2010
書本目錄: ... Constraints to Resolution Rules Part I : conceptual framework -- From Constraints to Resolution Rules Part II...
獲取全文
電子 電子書
19
出版 2006
書本目錄: ... Partial Combinatory Algebras -- Width Versus Size in Resolution Proofs -- Recent Progress in Quantum...
獲取全文
電子 電子書
20
出版 2008
書本目錄: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
獲取全文
電子 電子書