1
Publié 2015
Table des matières: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ... Cantilever with a Contact Boundary -- Frictional Impact of Planar Deformable Bodies -- Parallel Load Balanced...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Accéder au texte intégral
Électronique eBook
5
Publié 2013
Table des matières: ...Foreword --  Preface --  Part I Numerical Methods for Nonlinear Problems --  The Finite Element...
Accéder au texte intégral
Électronique eBook
6
Publié 2005
Table des matières: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Accéder au texte intégral
Électronique eBook
7
Publié 2014
Table des matières: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
Accéder au texte intégral
Électronique eBook
8
Publié 2015
Table des matières: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Accéder au texte intégral
Électronique eBook
10
Publié 2006
Table des matières: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
Accéder au texte intégral
Électronique eBook
11
Publié 2015
Table des matières: ... function, by Jaime Vega-Perez, Saul Vega-Pérez and Luis Castañeda-Aviña -- A robust control scheme against...
Accéder au texte intégral
Électronique eBook
12
Publié 2014
Table des matières: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Accéder au texte intégral
Électronique eBook
13
Publié 2006
Table des matières: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Accéder au texte intégral
Électronique eBook
14
Publié 2013
Table des matières: ...Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical...
Accéder au texte intégral
Électronique eBook
15
Publié 2014
Table des matières: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... Searching Amidst Uncertainty -- Logic Functions of the Genomic Cis-regulatory Code -- Structural DNA...
Accéder au texte intégral
Électronique eBook
18
Publié 2014
Table des matières: ... -- Task Allocation in Ant Colonies -- Agreement Problems -- Communication-Efficient Randomized Consensus...
Accéder au texte intégral
Électronique eBook
19
Publié 2015
Table des matières: ...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...
Accéder au texte intégral
Électronique eBook
20
Publié 2008
Table des matières: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Accéder au texte intégral
Électronique eBook