3273 search results - page 34 / 655 » types 2007 |
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
AMC
2006
14 years 12 months ago
2006
The Fisher equation, which arises in the study of reaction diffusion waves in biology, does not display a high level of symmetry properties. Consequently, only travelling wave sol...
EJC
2008
14 years 12 months ago
2008
A partial linear space is a non-empty set of points, provided with a collection of subsets called lines such that any pair of points is contained in at most one line and every lin...
JOT
2007
14 years 11 months ago
2007
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...
VISSYM
2007
15 years 2 months ago
2007
With the ubiquity of typed text, the style and much of the personality of handwriting has been lost from general communication. To counter this we introduce an artistic real-time ...