245 citations
- Centre National de la Recherche ScientifiqueFR3 papers
- Université Côte d'AzurFR3 papers
- Brown UniversityUS2 papers
- Institutt for Grafiske MedierNO2 papers
- Laboratoire d'Informatique Gaspard-MongeFR2 papers
- Cardiff UniversityGB1 paper
- Epistem (United Kingdom)GB1 paper
- European Society for Paediatric OncologyBE1 paper
- Fondation Sophia AntipolisFR1 paper
- GIPSA-LabFR1 paper
- Illinois Eastern Community CollegesUS1 paper
- Institute of Informatics and StatisticsSK1 paper
23 papers
Local negative circuits and fixed points in Boolean networks
Adrien Richard
To each Boolean function F from {0,1}^n to itself and each point x in {0,1}^n, we associate the signed directed graph G_F(x) of order n that contains a positive (resp. negative) ar…
On the typical rank of real binary forms
Pierre Comon, Giorgio Ottaviani
We determine the rank of a general real binary form of degree d=4 and d=5. In the case d=5, the possible values of the rank of such general forms are 3,4,5. The existence of three…
Initialization Free Graph Based Clustering
Laurent Galluccio, Olivier J. J. Michel, Pierre Comon +2
This paper proposes an original approach to cluster multi-component data sets, including an estimation of the number of clusters. From the construction of a minimal spanning tree w…
The Connectivity of NK Landscapes' Basins: A Network Analysis
Sébastien Verel, Gabriela Ochoa, Marco Tomassini
We propose a network characterization of combinatorial fitness landscapes by adapting the notion of inherent networks proposed for energy surfaces. We use the well-known family of…
Simulations between triangular and hexagonal number-conserving cellular automata
Katsunobu Imai, Bruno Martin
A number-conserving cellular automaton is a cellular automaton whose states are integers and whose transition function keeps the sum of all cells constant throughout its evolution.…
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
This report describes experimental results for a set of benchmarks on program verification. It compares the capabilities of CPBVP "Constraint Programming framework for Bounded Prog…