Search Results - parallel function programs function stability https

Search alternatives:
function stability » functions stability , functional stability , function usability
parallel function » parallel functional , parallel auction , parallel union
function programs » functions programs , function program , functional programs
programs function » programs functional , programme function , programs fiction
stability https » summability https , disability https , reliability https

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

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

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
View full text

Electronic eBook

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
View full text

Electronic eBook

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... Differential Equations.-On the Asymptotic Stabilization of an Uncertain Bioprocess Model.-Reachable Sets...”
View full text

Electronic eBook

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

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

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Relax-and-Cut for Capacitated Network Design -- On the Price of Anarchy and Stability of Correlated...”
View full text

Electronic eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Service Using China Multimedia Mobile Broadcasting -- Double Reduction Factors Approach to the Stability...”
View full text

Electronic eBook

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

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

Classification and Data Science in the Digital Age

Published 2023

Table of Contents: “... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”
Open Access Book. Read online

Electronic eBook

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

by Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Published 2014

Table of Contents: “...Introduction to Takagi‒Sugeno Fuzzy Systems -- Stabilization of Takagi‒Sugeno Fuzzy Systems...”
View full text

Electronic eBook

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
View full text

Electronic eBook

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Published 2008

Table of Contents: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
View full text

Electronic eBook

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

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

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

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

Mathematical Methods in Engineering

Published 2014

Table of Contents: “... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...”
View full text

Electronic eBook

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

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

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
View full text

Electronic eBook

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Published 2008

Table of Contents: “... Algorithm on Distributed Memory Computers -- Stability Problems in ODE Estimation -- A Fast, Parallel...”
View full text

Electronic eBook

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Published 2012

Table of Contents: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
View full text

Electronic eBook

Narrow Search