13913 search results - page 234 / 2783 » models 2007 |
206
click to vote
APBC
2004
15 years 8 months ago
2004
This paper describes the core theories and enabling technologies developed for molecular imaging at the BMIT Group and the CMSP Center over the last 10 years, in the areas of dyna...
149
click to vote
APAL
2006
15 years 7 months ago
2006
Abstract. Solovay's random-real forcing ([1]) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, ...
176
click to vote
JUCS
2007
15 years 7 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
204
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Serial Analysis of Gene Expressions (SAGE) produces gene expression measurements on a discrete scale, due to the finite number of molecules in the sample. This means t...
165
Voted
ICWN
2003
15 years 8 months ago
2003
Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Pet...