3145 search results - page 79 / 629 » Algebraic Linear Orderings |
127
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
114
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we present a general algebraic framework for analysing decentralized control systems. We consider systems defined by linear fractional functions over a commutative ...
103
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe an application of the Legendre transform to communication networks. The Legendre transform applied to max-plus algebra linear systems corresponds to the Fourier transf...
126
click to vote
IMECS
2007
15 years 5 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
119
click to vote
SIAMSC
2008
15 years 3 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...