1
出版 2006
书本目录: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
获取全文
电子 电子书
2
出版 2013
书本目录: ... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...
获取全文
电子 电子书
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
出版 2012
书本目录: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
获取全文
电子 电子书
6
出版 2012
书本目录: ... Extensions for Dynamic Systems -- Service Management 1 -- Who Do You Call? Problem Resolution through Social...
获取全文
电子 电子书
7
出版 2008
书本目录: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
获取全文
电子 电子书
8
出版 2007
书本目录: ...Plenary & Keynote Papers -- Computational Methods Combining Large Eddy Simulation with Approximate...
获取全文
电子 电子书
9
出版 2008
书本目录: ... Programming -- GPU-Based Multigrid: Real-Time Performance in High Resolution Nonlinear Image Processing...
获取全文
电子 电子书
10
出版 2005
书本目录: ...: A New Method for Fitting Mesh Model to Given Object Surface -- Image-Based Deformation of Objects...
获取全文
电子 电子书
11
出版 2010
书本目录: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
获取全文
电子 电子书
12
出版 2006
书本目录: ... for High Resolution 3D Meshes -- A Comparison of Three Techniques to Interact in Large Virtual Environments...
获取全文
电子 电子书
13
出版 2013
书本目录: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
获取全文
电子 电子书
14
出版 2013
书本目录: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
获取全文
电子 电子书
15
出版 2008
书本目录: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
获取全文
电子 电子书
16
出版 2010
书本目录: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
获取全文
电子 电子书
17
出版 2007
书本目录: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
获取全文
电子 电子书
18
出版 2006
书本目录: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
获取全文
电子 电子书
19
出版 2013
书本目录: ...-Resolution by Enhanced Shift and Add -- Using Region-Based Saliency for 3D Interest Points Detection...
获取全文
电子 电子书
20
出版 2005
书本目录: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
获取全文
电子 电子书