66 citations
- Institut de Recherche en Informatique de ToulouseFR13 papers
- Université Toulouse-I-CapitoleFR13 papers
- Université Toulouse III - Paul SabatierFR13 papers
- Université Toulouse - Jean JaurèsFR13 papers
- Université de BordeauxFR12 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR10 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Château GombertFR6 papers
- Institut de Mathématiques de MarseilleFR6 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- Institut de Mathématiques de BordeauxFR2 papers
- Laboratoire de l'Intégration du Matériau au SystèmeFR2 papers
6 papers · 1 filter
Accelerated Data-Flow Analysis
Jérôme Leroux, Gregoire Sutre
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…
Indecomposable Permutations, Hypermaps and Labeled Dyck Paths
Robert Cori
Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecom…
Design of Cooperative Processes in a Customer-Supplier Relationship: An Approach Based on Simulation and Decision Theory
François Galasso, Caroline Thierry
Performance improvement in supply chains, taking into account customer demand in the tactical planning process is essential. It is more and more difficult for the customers to ensu…
Unifying Practical Uncertainty Representations: II. Clouds
Sebastien Destercke, Didier Dubois, Eric Chojnacki
There exist many simple tools for jointly capturing variability and incomplete information by means of uncertainty representations. Among them are random sets, possibility distribu…
Modélisation de la propagation dans une structure fermée surdimensionnée
François Demontoux, Fabrice Bonnaudin, Jean-Louis Miane
The propagation of an electromagnetic wave in closed structures led to numerous applications ranging from the characterization of materials in resonating cavities to the measuremen…
A functional central limit theorem for regenerative chains
G. Maillard, S. Schöpfer
Using the regenerative scheme of Comets, Fernández and Ferrari (2002), we establish a functional central limit theorem (FCLT) for discrete time stochastic processes (chains) with s…