936 search results - page 104 / 188 » Mathematical Models of Endocrine Systems |
95
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Co-citation (number of nodes linking to both of a given pair of nodes) is often used heuristically to judge similarity between nodes in a complex network. We investigate the relat...
95
Voted
CN
2004
15 years 16 days ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
105
click to vote
ICALT
2003
IEEE
15 years 6 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
118
Voted
STTT
2010
14 years 11 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
89
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...