Sciweavers

1512 search results - page 293 / 303
» When Suboptimal Rules
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 10 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
ALIFE
2008
13 years 10 months ago
A Model of the Quorum Sensing System in Vibrio fischeri Using P Systems
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain ...
Francisco José Romero-Campero, Mario J. P&e...
BMCBI
2010
135views more  BMCBI 2010»
13 years 10 months ago
GIGA: a simple, efficient algorithm for gene tree inference in the genomic age
Background: Phylogenetic relationships between genes are not only of theoretical interest: they enable us to learn about human genes through the experimental work on their relativ...
Paul D. Thomas
BIOSYSTEMS
2008
107views more  BIOSYSTEMS 2008»
13 years 10 months ago
The linearity of emergent spectro-temporal receptive fields in a model of auditory cortex
The responses of cortical neurons are often characterized by measuring their spectro-temporal receptive fields (strfs). The strf of a cell can be thought of as a representation of...
Martin Coath, Emili Balaguer-Ballester, Sue L. Den...
BMCBI
2007
144views more  BMCBI 2007»
13 years 10 months ago
Robust regression for periodicity detection in non-uniformly sampled time-course gene expression data
Background: In practice many biological time series measurements, including gene microarrays, are conducted at time points that seem to be interesting in the biologist's opin...
Miika Ahdesmäki, Harri Lähdesmäki, ...