Sciweavers

806 search results - page 19 / 162
» Algebraic Structures of B-series
Sort
View
LISP
2002
78views more  LISP 2002»
13 years 7 months ago
Functional Geometry
An algebra of pictures is described that is sufficiently powerful to denote the structure of a well-known Escher woodcut, Square Limit. A decomposition of the picture that is reaso...
Peter Henderson
APLAS
2004
ACM
14 years 1 months ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
SSDBM
2003
IEEE
83views Database» more  SSDBM 2003»
14 years 25 days ago
PiQA: An Algebra for Querying Protein Data Sets
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
Sandeep Tata, Jignesh M. Patel
DBPL
1991
Springer
98views Database» more  DBPL 1991»
13 years 11 months ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
KI
2005
Springer
14 years 1 months ago
Dependency Calculus: Reasoning in a General Point Relation Algebra
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
Marco Ragni, Alexander Scivos