Constraints are a natural way to represent knowledge, and constraint programming is a declarative programming paradigm that has been successfully used to express and solve many …
Le développement de langages formels pour modéliser les systèmes biologiques ouvre la voie à la conception de nouveaux outils de raisonnement automatique destinés au biologiste …
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of …
Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the development of general purpose libraries. There are however …
One central issue in systems biology is the definition of formal languages for describing complex biochemical systems and their behavior at different levels. The biochemical …
Cancer treatments based on the administration of medicines at different times of the day have been shown to be more efficient against malign cells and less damaging towards …
BIOCHAM (the BIOCHemical Abstract Machine) is a software environment for modeling biochemical systems. It is based on two aspects: (1) the analysis and simulation of boolean, …
Most of the work on temporal representation issues in Machine Learning deals with the problem of learning/mining temporal patterns from a large set of temporal data. In this paper …
Beyond numerical simulation, the possibility of performing symbolic computation on bio-molecular interaction networks opens the way to the design of new automated reasoning tools …
With the advent of formal languages for modeling bio-molecu-lar interaction systems, the design of automated reasoning tools to assist the biologist becomes possible. The …
In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology. Biocham provides a precise …
Recent progress in high-throughput data-production technologies pushes research towardsystems biology, focusing on the global interaction between the components ofbiomolecular …
CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different contexts: …
We present a translation of the asynchronous pi-calculus into linear concurrent constraint languages (LCC), and use that translation and the recent advances in the logical …
In this thesis, we study the close links between linear logic and on current constraint programming, from the angle of semantics and more precisely of program verification. We …