| 2022 |
Seyed Mohammad Reza Modaresi, Aomar Osmani, Mohammadreza Razzazi, Abdelghani Chibani |
EvalSeg: Multi Modal Evaluation For Medical Image Segmentation |
Link
|
| 2022 |
Massinissa Hamidi, Aomar Osmani |
Reduction of the Position Bias via Multi-Level Learning for Activity Recognition |
Link
|
| 2022 |
Seyed Mohammad Reza Modaresi, Aomar Osmani, Mohammadreza Razzazi, Abdelghani Chibani |
UnifiedAR: A Modular Platform for Activity Recognition from Sensor Data |
Link
|
| 2021 |
Massinissa Hamidi, Aomar Osmani |
Augmented Experiments in Material Engineering Using Machine Learning |
Link
|
| 2021 |
Seyed Mohammad Reza Modaresi, Aomar Osmani, Mohammadreza Razzazi, Abdelghani Chibani |
Auto Profiler: Automatic Interactive Tree-based Profiling of Python Scripts in Jupyter Notebook |
Link
|
| 2021 |
Seyed Mohammad Reza Modaresi, Aomar Osmani, Mohammadreza Razzazi, Abdelghani Chibani |
ConfJournalRank: Integrated Multi SourcesConference and Journal Information" |
Link
|
| 2021 |
Florent Forest, Mustapha Lebbah, Hanane Azzag, Jerome Lacaille |
DESOM : Deep Embedded Self-Organizing Map model |
Link
|
| 2021 |
Massinissa Hamidi, Aomar Osmani |
Hierarchical Learning of Dependent Concepts for Human Activity Recognition |
Link
|
| 2021 |
Seyed Mohammad Reza Modaresi, Aomar Osmani, Mohammadreza Razzazi, Abdelghani Chibani |
JCV2: Enabling Compatibility of OpenCV UI Components with Jupyter Notebooks |
Link
|
| 2021 |
Étienne Goffinet, Mustapha Lebbah, Hanane Azzag |
MultiCoclustering : 3 méthodes de CoClustering |
Link
|
| 2020 |
Massinissa Hamidi, Aomar Osmani |
Learning Mobility-Related Human Activities from Sensor-Rich Environments |
Link
|
| 2020 |
Antony Coutant, Étienne Goffinet, Mustapha Lebbah, Hanane Azzag |
spark-tss : une API pour le prétraitement de séries temporelles multi-variables |
Link
|
| 2018 |
Gael Beck, Mustapha Lebbah, Hanane Azzag, Antony Coutant |
Clustering4Ever : une API pour le clustering |
Link
|
| 2012 |
Bouthinon Dominique, Soldano Henry |
Lear |
Link
|
| 2010 |
Marc Champesme |
AlphaBetaGal |
Link
|
| 2010 |
Hamid Benhadda, Bennani Younès, Lebbah Mustapha, Grozavu Nistor |
SYSTEM FOR SEARCHING VISUAL INFORMATION. WO/2010/066774 |
|
| 2009 |
Younès Bennani |
METHODS FOR UPDATING AND TRAINING A SELF-ORGANISING MAP (WO/2009/081005 - PCT/FR2008/052288) |
|
| 2008 |
Guénaël Cabanes, Younès Bennani |
Density-based Simultaneous 2-Level - Self-Organizing Map (DS2L-SOM) |
|
| 2021 |
Camille Coti |
SKaMPI 6: an Extension of a Benchmark for MPI Libraries to support OpenSHMEM Libraries |
Link
|
| 2018 |
Julie Sliwak, Miguel Anjos, Lucas Ltocart, Emiliano Traversi, Manuel Ruiz |
MathProgComplex: A Tool for for polynomial optimization problems with complex variables |
Link
|
| 2018 |
Fabio Furini, Emiliano Traversi, Pietro Belotti, Antonio Frangioni, Ambros Gleixner, Nick Gould, Leo Liberti, Andrea Lodi, Ruth Misener, Hans Mittelmann, Nikolaos Sahinidis, Stefan Vigerske, Angelika Wiegele |
QPLIB: A Library of Quadratic Programming Instances |
Link
|
| 2017 |
Thi Thanh Huyen Nguyen, Csar Rodrguez, Camille Coti |
Tool DPU |
Link
|
| 2016 |
Christophe Crin, Leila Abidi, Jonathan Lejeune, Walid Saad, Yanik Ngoko |
RedisDG |
|
| 2014 |
Nathan Krislock, Jrme Malick, Frdric Roupin |
BiqCrunch, a semidefinite branch-and-bound method for solving binary quadratic problems |
|
| 2014 |
Camille Coti |
POSH: Paris OpenSHMEM |
|
| 2014 |
Franck Butelle, Ronald King, Frdric Toumazet |
Schur Group Theory Software |
|
| 2013 |
Christophe Crin, Jean-Christophe Dubacq, Heithem Abbes |
BonjourGrid |
|
| 2013 |
Christophe Crin, Jean-Christophe Dubacq, Heithem Abbes |
PastryGrid |
|
| 2012 |
Franck Butelle, Laurent Alfandari, Camille Coti, Lucian Finta, Lucas Ltocart, Grard Plateau, Frdric Roupin, Antoine Rozenknop, Roberto Wolfler Calvo |
Fast machine reassignment |
|
| 2011 |
Coti Camille, Crin Christophe, Dubacq Jean-Christophe |
Self Healing Overlay Network (SHON) |
|
| 2010 |
Nicolas Lerm, Franois Malgouyres, Lucas Ltocart |
Reduction of VISION GRAPHS. Patent No. FR2955408 (A1) |
|
| 2009 |
Alfandari Laurent, Jrme Bier, Nathan Godard, Olivier Laval, Ltocart Lucas, Anass Nagih, Agns Plateau, Alexandre Quivet, Sadki Fenzar Jalila, Touati Nora, Toulouse Sophie |
COlumn Generation In Transportation Optimization (COGITO). IDDN No. FR.001.050008.000.S.P.2009.000.30805 |
|
| 2019 |
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal |
Boltzmann-Brain: A standalone application for random generation of combinatorial structures. |
Link
|
| 2016 |
Axel Bacher |
MergeShuffle: A Very Fast, Parallel Random Permutation Algorithm |
|
| 2015 |
Thierry Monteil |
SageDebianLive: a Debian Live-based USB key for the Sage mathematics software |
|
| 2022 |
Sylvie Boldo, François Clément, Martin Vincent, Micaela Mayero, Florian Faissole, Houda Mouhcine, Louise Leclerc, Stephane Aubry |
coq-num-analysis opam package (Numerical Analysis in Coq) |
Link
|
| 2022 |
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
pymwp: MWP analysis in Python |
Link
|
| 2020 |
Jean-Vincent Loddo |
Mariotel, gestionnaire de salles de TP virtuelles sous GNU/Linux |
Link
|
| 2012 |
Jean-Vincent Loddo, Luca Saiu |
Marionnet |
|
| 2012 |
Jean-Vincent Loddo, Luca Saiu |
Ocamlbricks |
|
| 2007 |
Jean-Vincent Loddo, Thierry Hamon |
Marionnet/Iutoppix : un environnement pédagogique pour la simulation de réseaux locaux |
Link
|
| 2006 |
Jean-Vincent Loddo |
IUTOPPIX |
|
| 2006 |
Jean-Vincent Loddo |
Synopsys |
|
| 2005 |
Jean-Vincent Loddo |
Netxkiss |
|
| 2004 |
Jean-Vincent Loddo |
Knoppix4GTR |
|
| 2022 |
Moussa Kamal Eddine, Nadi Tomeh, Joseph Le Roux, Nizar Habash, Michel Vazirgiannis |
AraBART: a Pretrained Arabic Sequence-to-Sequence Model for Abstractive Summarization (code) |
Link
|
| 2022 |
Xudong Zhang, Joseph Le Roux, Thierry Charnois |
Basic Parser, linear and second order |
Link
|
| 2022 |
Davide Buscaldi, Danilo Dessì, Diego Reforgiato Recupero, Francesco Osborne, Enrico Motta |
CS-KG: A Large-Scale Knowledge Graph of Research Entities and Claims in Computer Science |
Link
|
| 2022 |
Urchade Zaratiana, Niama Elkhbir, Dennis Hernando Nunez Fernandez, Pierre Holat, Nadi Tomeh, Thierry Charnois |
DyREx: Dynamic Query Representation for Extractive Question Answering (code) |
Link
|
| 2022 |
Urchade Zaratiana, Nadi Tomeh, Pierre Holat, Thierry Charnois |
GNNer: Reducing Overlapping in Span-based NER Using Graph Neural Networks (code) |
Link
|
| 2022 |
Urchade Zaratiana, Niama Elkhbir, Pierre Holat, Nadi Tomeh, Thierry Charnois |
Global Span Selection for Named Entity Recognition (code) |
Link
|
| 2022 |
Urchade Zaratiana, Pierre Holat, Nadi Tomeh, Thierry Charnois |
Hierarchical Transformer Model for Scientific Named Entity Recognition (code) |
Link
|
| 2022 |
Xudong Zhang, Joseph Le Roux, Thierry Charnois |
Higher-Order Dependency Parsing for Arc-Polynomial Score Functions via Gradient-Based Methods and Genetic Algorithm (code) |
Link
|
| 2022 |
Jose Angel Gonzalez, Davide Buscaldi, Lluis Hurtado, Emilio Sanchis |
MBartCopyGenerator |
Link
|
| 2022 |
Urchade Zaratiana, Nadi Tomeh, Pierre Holat, Thierry Charnois |
Named Entity Recognition as Structured Span Prediction (code) |
Link
|
| 2022 |
Mark Daychman, Davide Buscaldi |
Prédiction de relations AIKG / Wordnet (sémantique) |
Link
|
| 2022 |
Ghazi Felhi, Joseph Le Roux, Djamé Seddah |
QKVAE : A model for Unsupervised Disentanglement of Syntax and Semantics (code) |
Link
|
| 2022 |
Dzhal Antonov, Davide Buscaldi |
Relation-prediction-from-embeddings |
Link
|
| 2021 |
Aude Grezka, Jorge Garcia Flores, Thierry Charnois |
ChêneTAL: plate-forme d'intégration d'outils de traitement automatique des langues |
Link
|
| 2021 |
Jessica Lopez Espejel, Gaël De Chalendar, Jorge Garcia Flores, Thierry Charnois, Ivan Vladimir Meza Ruiz |
GeSERA: General-domain Summary Evaluation by Relevance Analysis (code) |
Link
|
| 2021 |
Jessica Lopez Espejel, Pegah Alizadeh, Jorge Garcia Flores |
RENFO / DiasporasRL (code) |
Link
|
| 2021 |
Davide Buscaldi |
Sentence Representations based on Dependency Graphs and Graph Convolutional Networks (DG-GCN) |
Link
|
| 2021 |
Xudong Zhang, Joseph Le Roux, Thierry Charnois |
Strength in numbers: averaging and clustering effects in mixture of experts for graph-based dependency parsing (code) |
Link
|
| 2020 |
Yash Kankanampati, Joseph Le Roux, Nadi Tomeh, Dima Taji, Nizar Habash |
Multitask Easy-First Dependency Parsing: Exploiting Complementarities of Different Dependency Representations (code) |
Link
|
| 2019 |
Aude Grezka |
Morfetik, ressource morphologique |
Link
|
| 2019 |
Emmanuel Cartier |
Neoveille, plateforme de repérage et de suivi des néologismes en corpus dynamique (outil en ligne) |
Link
|
| 2019 |
Jorge Garcia Flores, Hugo Ferreira, Aziz Okotan, Fernando Mantilla, Fayaz Abdoulvahide |
Pamparios: Traducteur espagnol - Wixárika (langue amérindienne) (démo) |
Link
|
| 2019 |
Heba Kaddouh, Maroi Labiodh, Nouha Ghourabi, Jorge Garcia Flores, Alik Hafsa, Cylia Ourtirane |
YuCorrectMaya: validation app of comparable corpus for the Maya Yucatec language (code) |
Link
|
| 2018 |
Ivan Garrido Marquez, Jorge Garcia Flores, François Lévy, Adeline Nazarenko |
Kilroy: tag prediction and semantic indexing system (code) |
Link
|
| 2018 |
Davide Buscaldi |
Tweetaneuse @ AMI EVALITA2018: Character-based Models for the Automatic Misogyny Identification Task (code) |
Link
|
| 2017 |
Jorge Garcia Flores, Ivan Vladimir Meza Ruiz, Luis Alberto Pineda Cortes |
Golfred: Robot Experience Stories Generator (code) |
Link
|
| 2017 |
Ivan Vladimir Meza Ruiz, Gibran Fuentes-Pineda, Jorge Garcia Flores, Mohamed Chabouni, Zakaria Khezane |
min-hashing: Topic mining data processing and visualization (mostly on wikipedia) |
|
| 2012 |
Franck Butelle, Laurent Alfandari, Camille Coti, Lucian Finta, Lucas Létocart, Gérard Plateau, Frédéric Roupin, Antoine Rozenknop, Roberto Wolfler Calvo |
Fast machine reassignment |
|
| 2012 |
Sylvie Szulman |
Logiciel Terminae - Version 2012 |
Link
|
| 2007 |
Jean-Vincent Loddo, Thierry Hamon |
Marionnet/Iutoppix : un environnement pédagogique pour la simulation de réseaux locaux |
Link
|
| 2023 |
Jaime Arias, Kyungmin Bae, Laure Petrucci, Carlos Olarte, Peter Ölveczky, Fredrik Rømming |
PITPN2Maude: Rewriting Logic Semantics for Parametric Time Petri Nets with Inhibitor Arcs |
Link
|
| 2023 |
Jaime Arias, Mohamed Taha Bennani, Jörg Desel, Kais Klai, Hanène Ochi |
sogMBT: Symbolic Observation Graph-Based Generation of Test Paths |
Link
|
| 2022 |
Jaime Arias, Łukasz Maśko, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
ADT2Maude: A rewriting logic specification for modeling ADTree and solve the optimal scheduling problem |
Link
|
| 2022 |
Jaime Arias, Laure Petrucci, Van-François Le |
CosyDraw: An Open Source Extensible Verification Environment |
Link
|
| 2022 |
Carlos Olarte, Elaine Pimentel, Camilo Rocha |
L-Framework |
Link
|
| 2022 |
Jaime Arias, Kyungmin Bae, Laure Petrucci, Carlos Olarte, Peter Ölveczky, Fredrik Rømming |
PTA2Maude: Rewriting Logic Semantics for Parametric Timed Automata |
Link
|
| 2022 |
Sylvie Boldo, François Clément, Martin Vincent, Micaela Mayero, Florian Faissole, Houda Mouhcine, Louise Leclerc, Stephane Aubry |
coq-num-analysis opam package (Numerical Analysis in Coq) |
Link
|
| 2021 |
Étienne André |
A Benchmarks Library for Extended Timed Automata |
Link
|
| 2021 |
Étienne André, Jaime Arias, Laure Petrucci |
IMITATOR: Tool for Parametric Verification and Robustness Analysis of Real-Time Systems with Parameter |
Link
|
| 2021 |
Jaime Arias, Ikram Garfatta, Kais Klai |
Solidity2CPN: Formal Verification of Solidity Smart Contracts using Coloured Petri Nets |
Link
|
| 2021 |
Jaime Arias, Laure Petrucci |
Web user interface for IMITATOR |
Link
|
| 2020 |
Chiheb Ameur Abid, Jaime Arias, Kais Klai |
PMC-SOG: Parallel Model Checking using the Symbolic Observation Graph |
Link
|
| 2020 |
Jaime Arias, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
ADT2AMAS: Managing Agents in Attack-Defence Scenarios |
Link
|
| 2017 |
Etienne André |
IMITATOR Web page |
Link
|
| 2017 |
Thi Thanh Huyen Nguyen, César Rodríguez, Camille Coti |
Tool DPU |
Link
|
| 2012 |
Etienne André |
Imitator~II |
Link
|
| 2008 |
A Hamez, L Hillah, K Klai, F Kordon, L Petrucci, D Poitrenaud, Y Thierry-Mieg |
CoSyVerif: Complex Systems Verification |
|
| 2005 |
S Bardin, A Finkel, J Leroux, L Petrucci |
FAST: Fast Acceleration of Symbolic Transition systems |
|