11484 search results - page 397 / 2297 » Modeling in the Large and Modeling in the Small |
164
click to vote
IBPRIA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Being an essential key in biological research, the DNA sequences are often shared between researchers and digitally stored for future use. As these sequences grow in volu...
152
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
178
click to vote
PACS
2000
Springer
15 years 10 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
210
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
150
click to vote
CSDA
2007
15 years 6 months ago
2007
Functional mixed-effects models are very useful in analyzing functional data. A general functional mixed-effects model that inherits the flexibility of linear mixed-effects model...