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