Rekommenderade teman
Rekommenderade teman
Menade du:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming extending » programming building, programming learning, programming designing
extending methods » extensions methods, extension methods, embedding methods
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming extending » programming building, programming learning, programming designing
extending methods » extensions methods, extension methods, embedding methods
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
Innehållsförteckning:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Hämta fulltext
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



