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