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