Publications



3182 documents

  • Ronan Hamon, Pierre Borgnat, Patrick Flandrin, Céline Robardet. Transformation from Graphs to Signals and Back. Vertex-Frequency Analysis of Graph Signals, pp.111-139, 2019. 〈hal-01949745〉
  • Florian Bridoux. Sequentialization and Procedural Complexity in Automata Networks. MFCS2018, Aug 2018, Liverpool, France. 〈hal-01718527〉
  • Patrice Micouin, Pascal Paper, Louis Fabre, Thomas Razafimahefa, Roland Becquet, et al.. Property Model Methodology: A Landing Gear Operational Use Case.. INCOSE International Symposium 2018, Jul 2018, Washington DC, United States. 〈hal-01829910〉
  • Luigi Santocanale. The equational theory of the natural join and inner union is decidable. Springer. FOSSACS 2018, Apr 2018, Thessaloniki, Greece. 10803, pp.494--510, 2018, Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 〈10.1007/978-3-319-89366-2_27〉. 〈hal-01625134〉
  • Salim Ouchtati, Jean Sequeira, Aissa Belmeguenai, Djemili Rafik, Lashab Mohamed. Brain Tumors Classification From MR images Using a Neural Network and the Central Moments. International Conference on Advanced Systems and Electrical Technologies, Mar 2018, Hammamet, Tunisia. 〈hal-01773199〉
  • Aznam Yacoub, Gabriela Nicolescu, Maamar El Amine Hamri, Claudia Frydman. Towards using DEVS for modelling adaptive storytelling in virtual games. SummerSim '18 Proceedings of the 50th Computer Simulation Conference, Jul 2018, Bordeaux, France. 〈hal-01881349〉
  • Vincent Roger, Marius Bartcus, Faicel Chamroukhi, Herve Glotin. Unsupervised Bioacoustic Segmentation by Hierarchical Dirichlet Process Hidden Markov Model. Multimedia Tools and Applications for Environmental & Biodiversity Informatics, 2018. 〈hal-01879385〉
  • Ibtissem Daoudi, Raoudha Chebil, Wided Lejouad Chaari. A Novel Tool to Predict the Impact of Adopting a Serious Game on a Learning Process. 20th International Conference on Enterprise Information Systems, Mar 2018, Funchal, Portugal. SCITEPRESS - Science and Technology Publications, 〈10.5220/0006685905850592〉. 〈hal-01819300〉
  • Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, et al.. Optimal and Robust Controller Synthesis: Using Energy Timed Automata with Uncertainty. FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. Springer, FM 2018: Formal Methods, 10951, pp.203-221, LNCS. 〈10.1007/978-3-319-95582-7_12〉. 〈hal-01889222〉
  • Anaïs Ollagnier, Sébastien Fournier, Patrice Bellot. BIBLME RecSys: Harnessing Bibliometric Measures for a Scholarly Paper Recommender System. BIR 2018 Workshop on Bibliometric-enhanced Information Retrieval, Mar 2018, Grenoble, France. 〈hal-01770588〉
Tutelles