1
Published 2010
Table of Contents: ... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...
View full text
Electronic eBook
2
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
3
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
4
Published 2014
Table of Contents: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Version Space Algorithm for Acquiring Constraint Satisfaction Problems -- Estimation of Mixture Models...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... -- An evaluation of score descriptors combined with non-linear models of expressive dynamics in music -- Geo...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- Swap Edges of Shortest Path Tree in Parallel -- A New Approach for Parallel Discrete Fourier Transform...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... -- Biases of drug{target interaction network data -- Logol: Expressive Pattern Matching in sequences...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Communicating Functional Expressions from Mathematica to C-XSC....
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem -- Constant Approximation...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook