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