Sciweavers

1509 search results - page 60 / 302
» Processing with cell assemblies
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 4 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...
IANDC
2006
81views more  IANDC 2006»
15 years 3 months ago
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
Samy Abbes, Albert Benveniste
FPGA
2004
ACM
174views FPGA» more  FPGA 2004»
15 years 8 months ago
A compiled accelerator for biological cell signaling simulations
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
John F. Keane, Christopher Bradley, Carl Ebeling
EUROPAR
2008
Springer
15 years 5 months ago
Radioastronomy Image Synthesis on the Cell/B.E.
Abstract. Now that large radiotelescopes like SKA, LOFAR, or ASKAP, become available in different parts of the world, radioastronomers foresee a vast increase in the amount of data...
Ana Lucia Varbanescu, Alexander S. van Amesfoort, ...
119
Voted
ICCAD
2002
IEEE
149views Hardware» more  ICCAD 2002»
16 years 3 days ago
Battery-aware power management based on Markovian decision processes
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
Peng Rong, Massoud Pedram