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