2143 search results - page 172 / 429 » corr 2010 |
152
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...
124
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Michael Hochman showed that every 1D effectively closed subshift can be simulated by a 3D subshift of finite type and asked whether the same can be done in 2D. It turned out that t...
205
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
114
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The Zebrafish Model Organism Database (ZFIN) provides a Web resource of zebrafish genomic, genetic, developmental, and phenotypic data. Four different ontologies are currently used...
155
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We analyze TCP-controlled bulk file transfers in a single station WLAN with nonzero propagation delay between the file server and the WLAN. Our approach is to model the flow of pac...