Sciweavers

2373 search results - page 230 / 475
» On the Theory of Structural Subtyping
Sort
View
AUTOMATICA
2006
77views more  AUTOMATICA 2006»
15 years 6 months ago
PI control of discrete linear repetitive processes
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
Bartlomiej Sulikowski, Krzysztof Galkowski, Eric R...
CMOT
2007
87views more  CMOT 2007»
15 years 6 months ago
Modeling centralized organization of organizational change
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
Mark Hoogendoorn, Catholijn M. Jonker, Martijn C. ...
CORR
2007
Springer
95views Education» more  CORR 2007»
15 years 6 months ago
Support-Graph Preconditioners for 2-Dimensional Trusses
We use support theory, in particular the fretsaw extensions of Shklarski and Toledo [ST06a], to design preconditioners for the stiffness matrices of 2-dimensional truss structure...
Samuel I. Daitch, Daniel A. Spielman
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
JACM
2006
112views more  JACM 2006»
15 years 6 months ago
Linear work suffix array construction
Suffix trees and suffix arrays are widely used and largely interchangeable index structures on strings and sequences. Practitioners prefer suffix arrays due to their simplicity an...
Juha Kärkkäinen, Peter Sanders, Stefan B...