Sciweavers

1526 search results - page 163 / 306
» Computer algebra in systems biology
Sort
View
BMCBI
2004
112views more  BMCBI 2004»
15 years 7 months ago
MuTrack: a genome analysis system for large-scale mutagenesis in the mouse
Background: Modern biological research makes possible the comprehensive study and development of heritable mutations in the mouse model at high-throughput. Using techniques spanni...
Erich J. Baker, Leslie Galloway, Barbara Jackson, ...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
PERVASIVE
2004
Springer
16 years 13 days ago
Microbiology Tray and Pipette Tracking as a Proactive Tangible User Interface
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
Harlan Hile, Jiwon Kim, Gaetano Borriello
SIGGRAPH
1991
ACM
15 years 10 months ago
Reaction-diffusion textures
We present a method fortexturesynthesisbased on thesimulation of a process of local nonlinear interaction, called reaction-diffusion, which has been proposed as a model of biologi...
Andrew P. Witkin, Michael Kass
ICCMS
2009
118views more  ICCMS 2009»
15 years 4 months ago
Optimized Parallel Implementation of Gillespie's First Reaction Method on Graphics Processing Units
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
Cristian Dittamo, Davide Cangelosi