3140 documents

  • Florian Bridoux. Sequentialization and Procedural Complexity in Automata Networks. MFCS2018, Aug 2018, Liverpool, France. 〈hal-01718527〉
  • 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〉
  • Konstantin Usevich, Valentin Emiya, David Brie, Caroline Chaux. Characterization of finite signals with low-rank STFT. BIOSIS. 2018. 〈hal-01717931〉
  • 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〉
  • Ugo Boscain, Roman Chertovskih, Jean-Paul Gauthier, Dario Prandi, Alexey Remizov. Cortical-inspired image reconstruction via sub-Riemannian geometry and hypoelliptic diffusion. 2018. 〈hal-01721718〉
  • 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〉
  • Engel Lefaucheux, Alessandro Giua, Carla Seatzu. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets 2018 - International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. Springer, pp.164-183, 〈10.1007/978-3-319-91268-4_9〉. 〈hal-01882129〉
  • Laurent Oxusoff, Pascal Prea, Yvan Perez. A complete logical approach to resolve the evolution and dynamics of mitochondrial genome in bilaterians. PLoS ONE, Public Library of Science, 2018, 13 (3), pp.e0194334. 〈10.1371/journal.pone.0194334〉. 〈hal-01765687〉