172 results  save search

hal-01852322v1  Conference papers
Joseph MorlierMauricio BerghLaurent Mevel. Modeshapes recognition using Fourier descriptors: a simple SHM example
IMAC XXX Conference and exposition on structural dynamics, Jan 2012, Jacksonville, United States. pp.0
hal-01298206v2  Conference papers
Caroline CollangeMioara JoldesJean-Michel MullerValentina Popescu. Parallel floating-point expansions for extended-precision GPU computations
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-01000314v1  Conference papers
Laurent MicletNelly BarbotHenri Prade. From analogical proportions in lattices to proportional analogies in formal concepts
ECAI - 21th European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic
hal-00908005v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Analogical proportions and the factorization of information in distributive lattices
10th International Conference on Concept Lattices and Their Applications (CLA), Oct 2013, La Rochelle, France
hal-00908020v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Proportions analogiques et factorisation de l'information dans les treillis distributifs
Journées d'Intelligence Artificielle Fondamentale (JIAF), Jun 2013, Aix en Provence, France
inserm-01102684v1  Journal articles
C PapagiannakiL SpelleA-C JanuelA BenaissaJ-Y Gauvrit et al.  WEB intrasaccular flow disruptor-prospective, multicenter experience in 83 patients with 85 aneurysms.
American Journal of Neuroradiology, American Society of Neuroradiology, 2014, pp.2106-11. ⟨10.3174/ajnr.A4028⟩
inria-00476906v1  Journal articles
Philippe BesnardMarie-Odile CordierYves Moinard. Ontology-based inference for causal explanation
Integrated Computer-Aided Engineering, IOS Press, 2008, 15 (4), pp.351-367
hal-01258358v1  Conference papers
Benoit CombemaleCédric BrunJoël ChampeauXavier CrégutJulien Deantoni et al.  A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
inria-00434346v1  Journal articles
Yuhong YanPhilippe DagueYannick PencoléMarie-Odile Cordier. A Model-based Approach for Diagnosing Faults in Web Service Processes
International Journal of Web Services Research JWSR, Idea Group Publishing, 2009
hal-01375576v1  Conference papers
Angeliki KritikakouThibaut MartyClaire PagettiChristine RochangeMichaël Lauer et al.  Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden
hal-01982609v1  Journal articles
Yi LiJuan CortésThierry Simeon. Enhancing systematic protein-protein docking methods using ray casting: Application to ATTRACT
Proteins - Structure, Function and Bioinformatics, Wiley, 2011, 79 (11), pp.3037-3049. ⟨10.1002/prot.23127⟩
hal-02186292v1  Journal articles
Nelly BarbotLaurent MicletHenri Prade. Analogy between concepts
Artificial Intelligence, Elsevier, In press, 275, pp.487-539. ⟨10.1016/j.artint.2019.06.008⟩
hal-01264836v1  Conference papers
Olivier PivertHenri Prade. A Certainty-Based Approach to the Cautious Handling of Suspect Values
11th International Conference on Flexible Query Answering Systems (FQAS'15), Oct 2015, Cracow, Poland
hal-00356418v1  Journal articles
Hervé DebarBenjamin MorinFrédéric CuppensFabien AutrelLudovic Mé et al.  Détection d'intrusions : corrélation d'alertes
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 23, 32 p
hal-00911238v1  Conference papers
Sébastien GambsMarc-Olivier KillijianIzabela MoiseMiguel Nuñez del Prado Cortez. MapReducing GEPETO or Towards Conducting a Privacy Analysis on Millions of Mobility Traces
2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, May 2013, Cambridge, United States. pp.1937-1946, ⟨10.1109/IPDPSW.2013.180⟩
hal-01511374v1  Journal articles
Sandrine VatonFlorence Sédès. Egalité Femmes-Hommes & « numérique » : le point de vue de Sandrine Vaton, référente égalité à Télécom Bretagne (propos recueillis par Florence Sédès)
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2017, Hors Série numéro 2: Femmes & Informatique (2), pp.83 - 88
hal-01196819v1  Book sections
Alfonso Gazo CerveroMichele ChincoliLars DittmannAndreas FischerAlberto E. Garcia et al.  Green Wired Networks
Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.41-80, 2015, 9781118864630. ⟨10.1002/9781118981122.ch3⟩
hal-01097882v1  Journal articles
Jérôme FehrenbachJacek NarskiJiale HuaSamuel LemercierAsja Jelic et al.  Time-delayed Follow-the-Leader model for pedestrians walking in line
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2015, 10 (3), pp.579-608. ⟨10.3934/nhm.2015.10.579⟩
hal-01427247v1  Journal articles
Emna CharfiCédric GueguenLamia ChaariBernard CousinLotfi Kamoun. Dynamic Frame Aggregation Scheduler for Multimedia applications in IEEE 802.11n Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2016, pp.1 - 17. ⟨10.1002/ett.2942⟩
hal-01427027v1  Journal articles
Hela MlikiLamia ChaariLotfi KamounBernard Cousin. Enhanced ethernet congestion management scheme for multicast traffic
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2016, 27, pp.1563 - 1579. ⟨10.1002/ett.3097⟩
inria-00462985v1  Conference papers
Marie-Odile CordierYannick PencoléLouise Travé-MassuyèsThierry Vidal. Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer
RFIA'08 (16ème Congrès Reconnaissance des Formes et Intelligence Artificielle), 2008, Amiens, France
hal-01063462v1  Conference papers
Olivier PivertHenri Prade. Skyline queries in an uncertain database model based on possibilistic certainty
8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.280-285