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
hal-01057115v1  Book sections
Mohamed ZouariMaria-Teresa SegarraKhalil Drira. Architectures logicielles et outils : gestion distribuée et coordonnée de la reconfiguration dynamique (Chap. 8)
Architectures logicielles : Principes, techniques et outils, Editions Hermes Sciences-Lavoisier, 44p., 2014, Informatique et systèmes d'information : Recherche, technologie, applications, 978-2-7462-4517-4
hal-01141938v2  Conference papers
Davide GrossiEmiliano LoriniFrançois Schwarzentruber. Ceteris Paribus Structure in Logics of Game Forms
Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, Jan 2013, Chennai, India. pp. 1-11
hal-01530163v1  Conference papers
Andreas HerzigEmiliano LoriniFaustine MaffreFrançois Schwarzentruber. Epistemic boolean games based on a logic of visibility and control
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp. 1116-1122
hal-01146747v1  Conference papers
Andreas HerzigPilar Pozos ParraFrançois Schwarzentruber. Belief merging in Dynamic Logic of Propositional Assignments
International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398
hal-01187760v1  Conference papers
Hans van DitmarschAndreas HerzigEmiliano LoriniFrançois Schwarzentruber. Listen to me! Public announcements to agents that pay attention - or not
4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp. 96-109
hal-00770563v1  Book sections
Andreas HerzigPhilippe Besnard. Représentation des connaissances : modalités, conditionnels et raisonnement non monotone
Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013
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⟩
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⟩