6   Artículos

 
en línea
Rick Voßwinkel and Klaus Röbenack    
This paper deals with systematic approaches for the analysis of stability properties and controller design for nonlinear dynamical systems. Numerical methods based on sum-of-squares decomposition or algebraic methods based on quantifier elimination are u... ver más
Revista: Algorithms    Formato: Electrónico

 
en línea
Max Bannach and Till Tantau    
Color coding is an algorithmic technique used in parameterized complexity theory to detect ?small? structures inside graphs. The idea is to derandomize algorithms that first randomly color a graph and then search for an easily-detectable, small color pat... ver más
Revista: Algorithms    Formato: Electrónico

 
usuarios registrados
Ioakimidis, N I     Pág. 103 - 134

« Anterior     Página: 1 de 1     Siguiente »