Contents

Marco BODRATO, Alberto ZANONI
    Grobner Bases Computation Using Syzygies: A Numerical Approach with Intervals (p. 13)

Bruno BUCHBERGER, Adrian Craciun
    Algorithm Synthesis for Lazy Thinking: using Problem Schemes (p. 31)

Gabriel CIOBANU
    Simulation and Verification of the Biomolecular Systems (p. 53)

Catalin DIMA
    On Timed Regular Languages Defined by Inverse Monoid Morphisms (p. 63)

Dan DUMITRESCU, Ferenc JARAI-SZABO, Karoly SIMON
    Link-Cell Method for Neighborhood Detection in Dynamic Evolutionary Clustering (p. 79)

Dan DUMITRESCU, Andras JOO
    Generalized Decision Trees Built with Evolutionary Techniques (p. 91)

Adrian LUPEI, Cristian NICULESCU, Adina Magda FLOREA
    PhantAgent: A Trading Agent for Supply Chain Management (p. 103)

Mircea MARIN, Temur KUTSIA
    A Rulre-Based Approach to the Implemenatation of Evaluation Strategies (p. 117)

Samuel MORISSET, Nathalie CHAIGNAUD, Jean-Pierre PECUCHET
    A MAS Design Methodology for Training Applications (p. 135)

Davy PREUVENEERS, Yolande BERBERS
    ACODYGRA: An Agent Algorithm for Coloring Dynamic Graphs (p. 151)

Carsten SCHNEIDER
    A Collection of Denominator Bounds to Solve Parameterized Linear Difference Equations in \Pi\Sigma - Extensions(p. 163)

Dumitru VULCANOV, Valentina VULCANOV
    Maple+GrTensorII Libraries for Cosmology (p. 181)