1
Table of Contents: ...Inverse analyses -- Optimization algorithms -- Proper Orthogonal Decomposition and Radial Basis...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Decomposition -- Computational Science in Armenia (Invited Talk) -- From Petri Nets to Polynomials: Modeling...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Multiparty Communication Complexity -- Session A5 -- An Optimal Decomposition Algorithm for Tree Edit...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... with Rank Constraint -- Cycle Detection and Correction -- Decomposition Width of Matroids -- Session 2-Track...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook