148 citations
- Institut national de recherche en sciences et technologies du numériqueFR10 papers
- Université Grenoble AlpesFR10 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Technische Universität BraunschweigDE2 papers
- Translational Innovation in Medicine and ComplexityFR2 papers
- Université Paris CitéFR2 papers
- University of OxfordGB2 papers
- Association for Symbolic LogicUS1 paper
- Canterbury Christ Church UniversityGB1 paper
- Centre Inria de l'Université Grenoble AlpesFR1 paper
- Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et TechnologiesFR1 paper
- Institut de Planétologie et d'Astrophysique de GrenobleFR1 paper
5 papers · 1 filter
Mass data exploration in oncology: An information synthesis approach
Julie Bourbeillon, Catherine Garbay, Françoise Giroud
New technologies and equipment allow for mass treatment of samples and research teams share acquired data on an always larger scale. In this context scientists are facing a major d…
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz +2
We describe a process calculus featuring high level constructs for component-oriented programming in a distributed setting. We propose an extension of the higher-order pi-calculus…
Quantization of Cellular Automata
Pablo Arrighi, Vincent Nesme
Take a cellular automaton, consider that each configuration is a basis vector in some vector space, and linearize the global evolution function. If lucky, the r esult could actuall…
A Mean Field Approach for Optimization in Particles Systems and Applications
Nicolas Gast, Bruno Gaujal
This paper investigates the limit behavior of Markov Decision Processes (MDPs) made of independent particles evolving in a common environment, when the number of particles goes to…
On finding multiplicities of characteristic polynomial factors of black-box matrices
Jean-Guillaume Dumas, Clément Pernet, B. David Saunders
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functio…