1
Publicerad 2006
Innehållsförteckning: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ... of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2013
Innehållsförteckning: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Hämta fulltext
Elektronisk E-bok
4
av Liu, G.R., Liu, G.R., Gu, Y.T.
Publicerad 2005
Innehållsförteckning: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2015
Innehållsförteckning: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2005
Innehållsförteckning: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2010
Innehållsförteckning: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2006
Innehållsförteckning: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2007
Innehållsförteckning: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2007
Innehållsförteckning: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2007
Innehållsförteckning: ... Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2005
Innehållsförteckning: ... Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2010
Innehållsförteckning: ... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2010
Innehållsförteckning: ... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2007
Innehållsförteckning: ... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2012
Innehållsförteckning: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ... in the Wavelet Domain -- Computer Vision Architectures -- Feature Extraction and Classification by Genetic...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2007
Innehållsförteckning: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2006
Innehållsförteckning: ... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...
Hämta fulltext
Elektronisk E-bok