Sciweavers

9521 search results - page 362 / 1905
» Compiling with continuations, continued
Sort
View
140
Voted
ITA
2008
150views Communications» more  ITA 2008»
15 years 4 months ago
A note on univoque self-Sturmian numbers
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interva...
Jean-Paul Allouche
JSYML
2008
98views more  JSYML 2008»
15 years 4 months ago
Combinatorial images of sets of reals and semifilter trichotomy
Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the inter...
Boaz Tsaban, Lyubomyr Zdomskyy
ENTCS
2007
122views more  ENTCS 2007»
15 years 4 months ago
Plugging a Space Leak with an Arrow
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
Hai Liu, Paul Hudak
SCL
2008
89views more  SCL 2008»
15 years 4 months ago
Cascade estimators for systems on a partial order
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
Domitilla Del Vecchio
AMC
2005
134views more  AMC 2005»
15 years 4 months ago
The Fourier spectral method for the Cahn-Hilliard equation
In this paper, a Fourier spectral method for numerically solving Cahn-Hilliard equation with periodic boundary conditions is developed. We establish their semi-discrete and fully d...
Xingde Ye, Xiao-Liang Cheng