258 search results - page 27 / 52 » Relational Correspondences for Lattices with Operators |
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
Any mapping S : C → K, where K is a field and C = (C, Σ) is a Σ-algebra, is called a KC-series. These series are natural generalizations of both formal series on strings over...
AGTIVE
2003
Springer
14 years 24 days ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
EDBT
2009
ACM
13 years 5 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
SIAMNUM
2010
13 years 2 months ago
2010
This paper deals with the approximation of the buckling coefficients and modes of a clamped plate modeled by the Reissner-Mindlin equations. These coefficients are related with the...
EDOC
2009
IEEE
14 years 2 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...