Sciweavers

82 search results - page 3 / 17
» ab 2007
Sort
View
BMCBI
2005
136views more  BMCBI 2005»
13 years 6 months ago
Identification of clustered microRNAs using an ab initio prediction method
Background: MicroRNAs (miRNAs) are endogenous 21 to 23-nucleotide RNA molecules that regulate protein-coding gene expression in plants and animals via the RNA interference pathway...
Alain Sewer, Nicodème Paul, Pablo Landgraf,...
AB
2007
Springer
14 years 16 days ago
A Short Survey of Automated Reasoning
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
John Harrison
AB
2007
Springer
14 years 16 days ago
Attenuation Regulation as a Term Rewriting System
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
Eugene Asarin, Thierry Cachat, Alexander Seliverst...
AB
2007
Springer
13 years 10 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic
AB
2007
Springer
14 years 16 days ago
A Stochastic Pi Calculus for Concurrent Objects
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
Céline Kuttler, Cédric Lhoussaine, J...