fl-ARTICLE.bib
@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: bib2bib fl.bib -c '$type = "ARTICLE"' -ob htmlbiblio/fl-ARTICLE.bib}}
@article{LMPX10,
author = {Fran{\c{c}}ois Lemaire and Marc {Moreno Maza} and
Wei Pan and Yuzhen Xie},
title = {When does (T) equal sat(T)?},
journal = {Journal of Symbolic Computation},
year = 2010,
note = {Special Issue for ISSAC 2008},
abstract = { Given a regular chain T, we aim at finding an
efficient way for computing a system of generators
of Sat(T), the saturated ideal of T. A natural idea
is to test whether the equality =Sat(T) holds,
that is, whether T generates its saturated ideal.
By generalizing the notion of primitivity from
univariate polynomials to regular chains, we
establish a necessary and sufficient condition,
together with a Gröbner basis free algorithm, for
testing this equality. Our experimental results
illustrate the efficiency of this approach in
practice. },
x-international-audience = {Yes},
x-language = {EN}
}
@article{BLM09,
author = {Fran{\c{c}}ois Boulier and Fran{\c{c}}ois Lemaire
and Marc {Moreno Maza}},
title = {Computing Differential Characteristic Sets by Change
of Ordering},
journal = {Journal of Symbolic Computation},
year = 2010,
abstract = { We describe an algorithm for converting a
characteristic set of a prime differential ideal
from one ranking into another. This algorithm was
implemented in many different languages and has been
applied within various software and projects. It
permitted to solve formerly unsolved problems. },
volume = 45,
number = 1,
pages = {124--149},
publisher = {Academic Press, Inc.},
address = {Duluth, MN, USA},
issn = {0747-7171},
x-international-audience = {Yes},
x-language = {EN}
}
@article{BLSU09,
author = {Fran{\c{c}}ois Boulier and Fran{\c{c}}ois Lemaire
and Alexandre Sedoglavic and Asl{\i{}}
{\"U}rg{\"u}pl{\"u}},
title = {Towards an automated reduction method for polynomial
ODE models of biochemical reaction systems},
journal = {Mathematics in Computer Science},
note = {Special Issue on Symbolic Computation in Biology},
year = 2009,
url = {http://hal.archives-ouvertes.fr/hal-00307915/fr},
abstract = {This paper presents the first version of an
algorithmic scheme dedicated to the model reduction
problem, in the context of polynomial ODE models
derived from generalized chemical reaction
systems. This scheme, which relies on computer
algebra, is implemented within a new MAPLE
package. It is applied over an example. The
qualitative analysis of the reduced model is
afterwards completely carried out, proving the
practical relevance of our methods.},
x-international-audience = {Yes},
x-language = {EN}
}
@article{MTLVPL09,
title = {{O}scillations in the expression of a self-repressed
gene induced by a slow transcriptional dynamics},
author = {{M}orant, {P}ierre-{E}mmanuel and {T}hommen,
{Q}uentin and {L}emaire, {F}ran{\c{c}}ois and
{V}andermo{\"e}re, {C}onstant and {P}arent,
{B}enjamin and {L}efranc, {M}arc},
abstract = {{W}e revisit the dynamics of a gene repressed by its
own protein in the case where the transcription rate
does not adapt instantaneously to protein
concentration but is a dynamical variable. {W}e
derive analytical criteria for the appearance of
sustained oscillations and find that they require
degradation mechanisms much less nonlinear than for
infinitely fast regulation. {D}eterministic
predictions are also compared with stochastic
simulations of this minimal genetic oscillator.},
pages = 068104,
journal = {{P}hysical {R}eview {L}etters },
volume = 102,
number = {6 },
note = {{A}ccepted for publication in {P}hysical {R}eview
{L}etters. },
audience = {international},
year = 2009,
url = {http://hal.archives-ouvertes.fr/hal-00268097/en/},
x-international-audience = {Yes},
x-language = {EN}
}
@article{Lemaire02c,
author = {Fran{\c{c}}ois Lemaire},
title = {{An orderly linear PDE system with analytic initial
conditions with a non analytic solution}},
journal = {Journal of Symbolic Computation},
note = {Special Issue on Computer Algebra and Computer
Analysis },
year = 2003,
volume = 35,
number = 5,
pages = {487-498},
abstract = { We give a linear PDE system, with analytic initial
conditions given w.r.t an orderly ranking, the
solution of which is not analytic (moreover the
solution is not Gevrey for any order). This
examples proves that the analyticity Riquier theorem
(generalization of the Cauchy-Kovalevskaya theorem)
does not generalize to PDE systems endowed with
orderly rankings.},
x-international-audience = {Yes},
x-language = {EN}
}