1
Published 2006
Table of Contents: ... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Algorithm -- A Soft-computing Based Approach to Economic and Environmental Analysis of an Autonomous Power...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... and the Role of Medical Informatics in Stomatology -- Stability Analysis of an SVLI Epidemic Model -- A New...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Servomechanism with Backlash -- Stability on Type-1 and Type-2 Fuzzy Logic Systems -- Comparative Study of Type-1...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ...-insulated Signcryption -- Stability Analysis of a Rapid Scanning Worm Propagation Model with Quarantine...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... to Balanced Metric Labeling -- Fearful Symmetries: Quantum Computing, Factoring, and Graph Isomorphism...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Algorithm on Distributed Memory Computers -- Stability Problems in ODE Estimation -- A Fast, Parallel...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... Multifunctional Prosthesis Control -- SSVEP Based Brain-Computer Interface Controlled Functional Electrical...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...Ubiquitous Computing Frameworks -- An Efficient Method to Create Business Level Events Using...
View full text
Electronic eBook