Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

42 résultats
Page :
triés par

Cartes Combinatoires Ouvertes

 Mathieu Poudret , Agnès Arnould , Yves Bertrand , Pascal Lienhardt
2007
Autre publication scientifique hal-00353772v1
Image document

Inference of geometric modeling operations

 Romain Pascual , Hakim Belhaouari , Agnès Arnould , Pascale Le Gall
Journées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France.
Poster de conférence hal-04068329v1
Image document

Topological consistency preservation with graph transformation schemes

 Romain Pascual , Pascale Le Gall , Agnès Arnould , Hakim Belhaouari
Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩
Article dans une revue hal-03380327v1
Image document

Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus

 Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall , Philippe Meseure , et al.
Theorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88
Article dans une revue hal-00352003v1
Image document

Génération de modeleurs géométriques à base topologique à l'aide de Jerboa

 Hakim Belhaouari , Agnès Arnould
GDR GPL, Jun 2014, Paris, France. 2014
Poster de conférence hal-01789875v1

Transformations de graphes pour les opérations topologiques en modélisation géométrique

 Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
Communication dans un congrès hal-00488533v1
Image document

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

 Romain Pascual , Pascale Le Gall , Hakim Belhaouari , Agnès Arnould
22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France
Communication dans un congrès hal-04185658v1

Jerboa: un modeleur géométrique à base de règles de transformations de graphes

 Hakim Belhaouari , Agnès Arnould
Journées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France
Communication dans un congrès hal-01286540v1
Image document

A Topological Approach for Automated Unstructured Meshing of Complex Reservoir

 Valentin Gauthier , Agnès Arnould , Hakim Belhaouari , Sébastien Horna , Michel Perrin , et al.
15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands
Poster de conférence hal-01789860v1

Designing a Topological Modeler Kernel: A Rule-Based Approach

 Thomas Bellet , Mathieu Poudret , Agnès Arnould , Laurent Fuchs , Pascale Le Gall
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France
Communication dans un congrès hal-00488171v1
Image document

Test de conformité : une approche algébrique

 Agnès Arnould , Pascale Le Gall
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (9), pp.1219-1242
Article dans une revue hal-00352131v1
Image document

Preserving consistency in geometric modeling with graph transformations

 Agnès Arnould , Hakim Belhaouari , Thomas Bellet , Pascale Le Gall , Romain Pascual
Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Article dans une revue hal-03821122v1
Image document

A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models

 Fatma Ben Salah , Hakim Belhaouari , Agnès Arnould , Philippe Meseure
Journal of WSCG, 2017, 25 (1), pp.39-48
Article dans une revue hal-01525488v1

Modélisation nD à base d'algèbres géométriques

 Thomas Bellet , Agnès Arnould , Sylvain Charneau , Laurent Fuchs
21ème journées de l'AFIG (AFIG 2008), Nov 2008, Toulouse, France
Communication dans un congrès hal-00354183v1

Transformations de graphes pour les opérations topologiques en modélisation géométrique

 Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall
Revue Electronique Francophone d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77
Article dans une revue hal-01137358v1
Image document

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

 Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould , et al.
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès hal-00348154v1
Image document

Testing from algebraic specifications: test data set selection by unfolding axioms

 Marc Aiguier , Agnès Arnould , Clément Boin , Pascale Le Gall , Bruno Marre
5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩
Communication dans un congrès hal-00341964v1

Polyhedral embedding of a topological structure

 Thomas Bellet , Agnès Arnould , Laurent Fuchs
Applied Geometric Algebras in Computer Science and Engineering (AGACSE 2010), Jun 2010, Amsterdam, Netherlands
Communication dans un congrès hal-00488183v1
Image document

Simulation de modèles mécaniques à base topologique à l'aide de règles de transformation de graphes

 Fatma Ben Salah , Hakim Belhaouari , Agnès Arnould , Philippe Meseure
29e Journées Françaises d'Informatique Graphique, Nov 2016, Grenoble, France
Communication dans un congrès hal-01457731v1
Image document

A general physical-topological framework using rule-based language for physical simulation

 Fatma Ben Salah , Hakim Belhaouari , Agnès Arnould , Philippe Meseure
12th International Conference on Computer Graphics Theory and Application (VISIGRAPP/GRAPP 2017), Feb 2017, Porto, Portugal. ⟨10.5220/0006119802200227⟩
Communication dans un congrès hal-01482733v1
Image document

Automatic generation of functional programs from CASL specifications

 Agnès Arnould , Marc Aiguier , Laurent Fuchs , Thibaud Brunet
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩
Communication dans un congrès hal-00341983v1

Un Générateur de Noyaux de Modeleurs

 Mathieu Poudret , Agnès Arnould , Yves Bertrand
18èmes Journées de l'Association Française d'Informatique Graphique et de l'Association Chapitre Français d'Eurographics (AFIG'05), Nov 2005, Strasbourg, France
Communication dans un congrès hal-00354148v1
Image document

Automatic detection of topological changes in modeling operations

 Maxime Gaide , David Marcheix , Agnès Arnould , Xavier Skapin , Hakim Belhaouari , et al.
Computer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩
Communication dans un congrès hal-04228069v1
Image document

Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)

 Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall
[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Rapport hal-01509832v1
Image document

Constraint-preserving labeled graph transformations for topology-based geometric modeling

 Thomas Bellet , Agnès Arnould , Pascale Le Gall
[Research Report] XLIM. 2017
Rapport hal-01476860v1

Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus

 Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould , et al.
Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008
Chapitre d'ouvrage hal-00353755v1

Test selection criteria for quantifier-free first-order specifications

 Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès hal-00353787v1
Image document

Topology-based Geometric Modelling for Biological Cellular Processes

 Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , Agnès Arnould , Philippe Meseure
International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508
Communication dans un congrès hal-00348152v1
Image document

Préservation de la cohérence des transformations topologiques et géométriques

 Valentin Gauthier , Thomas Bellet , Hakim Belhaouari , Agnès Arnould
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France
Communication dans un congrès hal-01817884v1

Exhaustive test sets for algebraic specification correctness

 Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet
Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue istex hal-01318362v1
Page :