Sciweavers

66 search results - page 3 / 14
» High-speed Focusing of Cells using Depth-from-diffraction Me...
Sort
View
FMSB
2008
138views Formal Methods» more  FMSB 2008»
14 years 11 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
FMSB
2008
130views Formal Methods» more  FMSB 2008»
14 years 11 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
INFOCOM
2011
IEEE
14 years 1 months ago
Modeling residual-geometric flow sampling
Abstract—Traffic monitoring and estimation of flow parameters in high speed routers have recently become challenging as the Internet grew in both scale and complexity. In this ...
Xiaoming Wang, Xiaoyong Li, Dmitri Loguinov
BMCBI
2010
208views more  BMCBI 2010»
14 years 9 months ago
Using machine learning to speed up manual image annotation: application to a 3D imaging protocol for measuring single cell gene
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...
Zafer Aydin, John I. Murray, Robert H. Waterston, ...
SPRINGSIM
2008
14 years 11 months ago
In silico white blood cell: mechanisms underlying leukocyte rolling and adhesion during inflammation
We have used the synthetic modeling method to construct a multilevel, agent oriented, in silico analogue of an in vitro experimental system for studying leukocyte rolling, activat...
Jonathan Tang, C. Anthony Hunt