Sciweavers

98 search results - page 3 / 20
» An Effect System for Algebraic Effects and Handlers
Sort
View
87
Voted
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 3 months ago
Control interpretations of products in the Hopf algebra
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
Matthias Kawski
74
Voted
MOC
2000
79views more  MOC 2000»
14 years 10 months ago
On fundamental domains of arithmetic Fuchsian groups
Let K be a totally real algebraic number field and O an order in a quaternion algebra A over K. Assume that the group O1 of units in O with reduced norm equal to 1 is embedded into...
Stefan J. Johansson
BTW
2007
Springer
164views Database» more  BTW 2007»
15 years 5 months ago
Integrating Structural Joins into a Tuple-Based XPath Algebra
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
Christian Mathis
EDBTW
2006
Springer
15 years 1 months ago
The Importance of Algebra for XML Query Processing
Abstract. Relational algebra has been a crucial foundation for relational database systems, and has played a large role in enabling their success. A corresponding XML algebra for X...
Stelios Paparizos, H. V. Jagadish
IEE
2008
117views more  IEE 2008»
14 years 10 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...