Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming computational » programming computation, program computational, processing computational
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
programming computational » programming computation, program computational, processing computational
functions computational » functions computation, directions computational, section computational
function computation » function computing, function decomposition, section computational
1
Udgivet 2006
Indholdsfortegnelse:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“...Basics of numerical analysis -- Solution of nonlinear equations -- Matrix methods...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Udgivet 2010
Indholdsfortegnelse:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2013
Indholdsfortegnelse:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2015
Indholdsfortegnelse:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2014
Indholdsfortegnelse:
“... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2013
Indholdsfortegnelse:
“... -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2008
Indholdsfortegnelse:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2007
Indholdsfortegnelse:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Fag:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Udgivet 2007
Indholdsfortegnelse:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Få fuldtekst
Electronisk
eBog