Skip to Main content Skip to Navigation

hal-00763748v1  Conference papers
Jaume BaixeriesMehdi KaytoueAmedeo Napoli. Computing Functional Dependencies with Pattern Structures
The 9th International Conference on Concept Lattices and Their Applications - CLA 2012, Oct 2012, Malaga, Spain
hal-00842866v1  Conference papers
François DervauxIgor PeterlikJérémie DequidtStéphane CotinChristian Duriez. Haptic Rendering of Interacting Dynamic Deformable Objects Simulated in Real-Time at Different Frequencies
IROS 2013 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Nov 2013, Tokyo, Japan
inria-00552014v1  Journal articles
Abderrahman IggidrJean-Claude KamgangGauthier SalletJean-Jules Tewa. Global Analysis of New Malaria Intrahost Models with a Competitive Exclusion Principle
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2006, 67 (1), pp.260-278. ⟨10.1137/050643271⟩
hal-00765887v1  Journal articles
Jonathan LasalleFabrice BouquetBruno LegeardFabien Peureux. SysML to UML model transformation for test generation purpose
Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1-8. ⟨10.1145/1921532.1921560⟩
hal-00765596v1  Conference papers
Hala Skaf-MolliEmmanuel DesmontilsEmmanuel NauerGérôme CanalsAmélie Cordier et al.  Knowledge Continuous Integration Process (K-CIP)
WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop, Apr 2012, Lyon, France. pp.1075-1082
hal-00946363v1  Conference papers
Andrea GrossoBernardetta AddisGiuliana CarelloElena Tànfani. A rolling horizon framework for the OR planning under uncertain surgery duration: deterministic versus robust approach
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
inria-00549320v1  Directions of work or proceedings
Carlos ArecesPatrick Blackburn. Special Issue on Hybrid Logics
Areces, C. and Blackburn, P. 8, n° 4, Elsevier, pp.303-474, 2010
hal-00764764v1  Conference papers
Philippe AddaLéontine Nkague NkambaGauthier SalletLorenzo Castelli. A SVEIR model with Imperfect Vaccine
CMPD 3 Conference on Computational and Mathematical Population Dynamics, May 2010, Bordeaux, France
inria-00550267v1  Journal articles
Lenka JerabkovaGuillaume BousquetSébastien BarbierFrançois FaureJérémie Allard. Volumetric modeling and interactive cutting of deformable bodies
Progress in Biophysics and Molecular Biology, Elsevier, 2010, Special Issue on Biomechanical Modelling of Soft Tissue Motion, 103 (2-3), pp.217-224. ⟨10.1016/j.pbiomolbio.2010.09.012⟩
hal-00764986v1  Journal articles
Jérémie LefebvreAxel HuttViktor LeblancAndré Longtin. Reduced dynamics for delayed systems with harmonic or stochastic forcing
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2012, 22 (4), pp.043121. ⟨10.1063/1.4760250⟩
hal-00475642v1  Conference papers
Marie SawadogoDidier Anciaux. Intermodal transportation within the green supply chain: an approach based on the ELECTRE method
International Conference on Computers & Industrial Engineering, 2009. CIE 2009., Jul 2009, Troyes, France. pp.839 - 844, ⟨10.1109/ICCIE.2009.5223942⟩
inria-00601384v1  Conference papers
Souheil AyedSofiene DellagiNidhal Rezg. Optimisation d'une politique de maintenance intégrée sous une contrainte de sous traitance avec construction de stock
8ème Conférence Internationale de Modélisation et de Simulation - MOSIM 2010, May 2010, Hammamet, Tunisie
inria-00601419v1  Journal articles
Medhi RadhouiNidhal RezgAnis Chelbi. Joint quality control and preventive maintenance strategy for imperfect production processes
Journal of Intelligent Manufacturing, Springer Verlag (Germany), 2010, Special Issue on Intelligent and Cooperative Maintenance in Manufacturing Systems (ICMMS), 21 (2), pp.205-212. ⟨10.1007/s10845-008-0198-x⟩
hal-00681664v1  Conference papers
Constantinos MakassikisStéphane VialleXavier Warin. FT-GReLoSSS: a Skeletal-Based Approach towards Application Parallelization and Low-Overhead Fault Tolerance
20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing - PDP 2012, Feb 2012, Garching, Germany. 8 p
inria-00601451v1  Conference papers
Abderrahmane BensmaineLyes BenyoucefMohammed Dahane. Process plan generation in reconfigurable manufacturing systems using adapted NSGA-II and AMOSA
9th IEEE International Confernce on Industrial Informatics - INDIN'11, Jul 2011, Caparica, Portugal
inria-00601677v1  Conference papers
Houssam ChouikiAbdelhakim KhatabNidahl Rezg. A maintenance policy for a production system under environment constraints
International Conference on Industrial Engineering and System Management - IESM 2011, May 2011, Metz, France
inria-00600922v1  Conference papers
Zied HajjejSofiène DellagiNidahl Rezg. An Optimal Production/Maintenance Planning Under Stochastic Random Demand, Service level and Failure rate
5th IEEE Conference on automation science and engineering - CASE'09, Aug 2009, Bangalore, India. pp.292-297
inria-00601251v1  Journal articles
Ritesh Kumar SinghLyes Benyoucef. Fuzzy logic and interval arithmetic based TOPSIS method for multi-attribute reverse auctions
International Journal of Advanced Manufacturing Technology, Springer Verlag, 2011
inria-00601222v1  Conference papers
I.-B. SidibeKondo-Hloindo Adjallah. Kernel method for estimating the density function of random processes in repairable components
5th World Congress on Engineering Asset Management - WCEAM'2010, Oct 2010, Brisbane, Australia
inria-00601072v1  Book sections
Tran Duc QuynhLe Thi Hoai AnKondo-Hloindo Adjallah. DCA for Minimizing the Cost and Tardiness of Preventive Maintenance Tasks under Real-Time Allocation Constraint
Ngoc Thanh Nguyen and Manh Thanh Le and Jerzy Swiatek. Intelligent Information and Database Systems Second International Conference, ACIIDS Proceedings part II, 5991, Springer, pp.410-419, 2010, Lecture Notes in Computer Science, 978-3-642-12100-5. ⟨10.1007/978-3-642-12101-2_42⟩
inria-00601048v1  Journal articles
J. MayaSophie HennequinDorian W. RaigosaLeonel Castañeda Heredia. Fuzzy nonlinear regression model for ride quality railway systems
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2010
hal-00545496v1  Conference papers
Bruno Woltzenlogel Paleo. Proof Compression with the CIRes Method [Abstract]
Computability in Europa, Jun 2010, Ponta Delgada, Portugal
hal-00841571v1  Conference papers
Hadrien CourtecuisseJérémie Allard. Parallel dense gauss-seidel algorithm on many-core processors
HPCC'09 - 11th IEEE International Conference on High Performance Computing and Communications - 2009, Jun 2009, Seoul, South Korea. pp.139--147, ⟨10.1109/HPCC.2009.51⟩
inria-00601790v1  Conference papers
Ritesh Kumar SinghLyes Benyoucef. Fuzzy topsis based methodology for supply chain coordination problems
International Conference on Industrial Engineering and System Management - IESM 2011, May 2011, Metz, France
inria-00601282v1  Conference papers
Akram ZouggariLyes Benyoucef. Supplier selection using a simulation-based fuzzy approach
7th International Symposium on Intelligent and Manufacturing Systems - IMS 2010, Sep 2010, Sarajevo, Bosnia and Herzegovina
inria-00601304v1  Book sections
Lyes BenyoucefXiaolan Xie. Supply chain design using simulation-based NSGA-II approach
Lihui Wang and Amos H. C Ng and Kalyanmoy Deb. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing Multi-objective Evolutionary Optimisation for Product Design and Manufacturing, Springer, 2011, 978-0-85729-617-7
hal-00756809v1  Journal articles
Vishwesh VenkatramanDavid Ritchie. Flexible protein docking refinement using pose-dependent normal mode analysis
Proteins - Structure, Function and Bioinformatics, Wiley, 2012, 80 (9), pp.2262-2274. ⟨10.1002/prot.24115⟩
hal-00756564v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. On Positive TAGED with a Bounded Number of Constraints
CIAA - 17th International Conference on Implementation and Application of Automata 2012, Jul 2012, Porto, Portugal. pp.329-336, ⟨10.1007/978-3-642-31606-7_29⟩
hal-00836854v1  Conference papers
Imen JemaaKais Ouniyves LaprieSlim OuniJean-Paul Haton. A new Automatic Formant Tracking approach based on scalogram maxima detection using complex wavelets
CEIT - International Conference on Control, Engineering & Information Technology - 2013, Jun 2013, Sousse, Tunisia
hal-00756343v1  Conference papers
Walid BelkhirAlain Giorgetti. Lazy AC-Pattern Matching for Rewriting
10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.37-51, ⟨10.4204/EPTCS.82.3⟩
hal-00755578v1  Journal articles
Xavier AntoineChristophe BessePauline Klein. Absorbing Boundary Conditions for General Nonlinear Schrödinger Equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2011, 33 (2), pp.1008-1033. ⟨10.1137/090780535⟩
hal-00764639v1  Journal articles
Mathilde DargnatVincent ColotteKatarina BartkovaAnne Bonneau. Continuations intra- et interphrastiques du français : premiers résultats expérimentaux
SHS Web of Conferences, EDP Sciences, 2012, 3e Congrès Mondial de Linguistique Française, 1, pp.1471-1485. ⟨10.1051/shsconf/20120100142⟩
inria-00601292v1  Conference papers
Fouad MalikiLyes BenyoucefZaki Sari. Une approche d'optimisation-basée sur la simulation pour la conception d'un réseau de distribution stochastique multi fournisseurs
8ème Conférence Internationale de Modélisation et de Simulation - MOSIM 2010, May 2010, Hammamet, Tunisia
inria-00601255v1  Journal articles
Abderrahmane BensmaineLyes BenyoucefSari Zaki. Production-distribution network analysis using an intelligent simulator
International Journal of Services Operations and Informatics, Inderscience, 2011, 6 (1-2), pp.106-123. ⟨10.1504/IJSOI.2011.038318⟩
inria-00601237v1  Conference papers
Zouhang WangKondo-Hloindo Adjallah. Data and information collection process modeling for product lifecycle and health management
7th International Product Lifecycle Management Conference - PLM10, Jul 2010, Bremen, Germany
hal-00762089v1  Conference papers
Jean-Marie GauthierFabrice BouquetAhmed HammadFabien Peureux. Transformation of SysML structure diagrams to VHDL-AMS
dMEMS - 2nd Workshop on design, control and software implementation for distributed MEMS - 2012, Apr 2012, Besançon, France. pp.74-81, ⟨10.1109/dMEMS.2012.12⟩
hal-00764182v1  Conference papers
Xavier GoaocJiří MatoušekPavel PatákZuzana SafernováMartin Tancer. Simplifying inclusion-exclusion formulas
European Conference on Combinatorics, Graph Theory and Applications, Sep 2013, Pisa, Italy