Sciweavers

82 search results - page 3 / 17
» ab 2007
Sort
View
BMCBI
2005
136views more  BMCBI 2005»
14 years 9 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
15 years 3 months 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
15 years 3 months 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
15 years 1 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
15 years 3 months 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...