Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
1989 Modélisation des circuits VLSI et conception en vue de leur testabilité
2012-01 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2008 SCIL processor : a common intermediate language processor for embedded systems
2008 Modélisation et implémentation des patrons de conception
2002 Évaluation de la performance dans la modélisation SystemC de systèmes multiprocesseur à base de processeur réseau
2008 Design et implémentation sur FPGA d'un algorithme DES
2008 Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel
2009 Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable
1996 Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques
2013-04 Parallelization of SAT on Reconfigurable Hardware
1991 Analyse de pannes multiples utilisant une technique d'élimination rapide
2004 De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel
2001 Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC
2009-12 Timing verification in transaction modeling
2003 ARM processor modeling at a cycle accurate level in systemC
2003 Understanding retargeting compilation techniques for network processors
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
1989 Testabilité et tolérance aux fautes des circuits logiques à structure régulière
1992 Analyse et génération de vecteurs du test pour les pannes multiples
1993 Multi-partitionnement des réseaux pour des applications en VLSI
2004 Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
1999 Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes
2004 Réutilisation des processus d'affaires pour le développement de systèmes d'information
2006 Distribution d'objets avec les techniques de développement orientées aspects
2009 Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2004 The co-design methodologies on click router application system
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
1998 Estimation des performances du système PULSE V1 pour des applications de nature itérative
2001 Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques
2001 Optimisation de circuits lors de la synthèse à partir de langages de haut niveau
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2000 Covérification des systèmes intégrés
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2023-10 Parameter-efficient modeling and robust automatic evaluation of image captioning
2020-08 Towards privacy preserving cooperative cloud based intrusion detection systems
2000 Improvements brought to graphical user interfaces for insurance illustration systems
2009-07 Papyres : un système de gestion et de recommandation d’articles de recherche
2003 PCFinfer : an intelligent product recommendation agent for electronic commerce
2010-07 Web2.0, knowledge sharing and privacy in E-learning
2003 Bimodal adaptive hypermedia and interactive multimedia a web-based learning environment based on Kolb's theory of learning style
2020-09 A game theoretical model for a collaborative e-learning platform on privacy awareness
2005 BLED : système d'aide à la recherche d'informations sur Internet
2018-04 Vers une plateforme holistique de protection de la vie privée dans les services géodépendants
2012-11 Mures : Un système de recommandation de musique
2019-12 Mise en oeuvre d’une approche sociotechnique de la vie privée pour les systèmes de paiement et de recommandation en ligne
2007 LORESA : un système de recommandation d'objets d'apprentissage basé sur les annotations sémantiques
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2005 HELP : localisation et recommandation d'experts pour le développement d'un système d'aide collaborative
2019-03 Sensibilisation à la protection de la vie privée dans un contexte d’utilisation de dispositifs portables intelligents
2004 IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning
2021-06 Self-disclosure model for classifying & predicting text-based online disclosure
2006 UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation
2016-01 Priv-C : une politique de confidentialité personnalisable
2006 RARE : un système de recommandation de cours basé sur les régles d'association
2016-02 Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants
2001 Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire
2001 XMLFinder : an intelligent agent based on CBR for E-Commerce
2023-08 A multi-agent nudge-based approach for disclosure mitigation online
2024-03 FACTS-ON : Fighting Against Counterfeit Truths in Online social Networks : fake news, misinformation and disinformation
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
2022-08 Personalized fake news aware recommendation system
2022-08 DS-Fake : a data stream mining approach for fake news detection
2022-08 A personality aware recommendation system
2022-06 Vers la sécurité des conteneurs : les comprendre et les sécuriser
2023-06 ZeroAbuse, a serious game to prevent child maltreatment
1998 Le raisonnement à base de cas dans la planification financière
2005 DIA : un système de recommandation de livres dans un contexte pédagogique
2021-06 Image forgery detection using textural features and deep learning
2017-10 “WARES”, a Web Analytics Recommender System
2021-08 Personalized question-based cybersecurity recommendation systems
2023-04 Enhancing cybersecurity awareness through educational games : design of an adaptive visual novel game
2014-10 Évaluation et amélioration du rendement de la formation en entreprise : vers une démarche basée sur la gestion des processus d’affaires
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
2005 Vie privée en commerce électronique
2002 A socio-technological approach to sharing knowledge across disciplines
2016-04 Un modèle rétroactif de réconciliation utilité-confidentialité sur les données d’assurance
2001 Conversion d'informations de protection dans les réseaux optiques
2013-08 Un outil d’évaluation neurocognitive des interactions humain-machine
2002 Weighted finite-state transducers in speech recognition : a compaction algorithm for non-determinizable transducers
2023-07 Towards privacy-preserving and fairness-enhanced item ranking in recommender systems
2000 White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles
2000 Optimisation des interactions au sein d'un réseau de connaissances
1997 Étude et réalisation d'un système d'aide à la modélisation des tâches
1995 Un système tutorial intelligent basé sur un système critique
1999 Étude et modélisation des connaissances et raisonnement de l'apprenant dans un STI
2012-04 Towards a Privacy-enhanced Social Networking Site
2012-08 Impacts and Detection of Design Smells
2004 MyHouse : un système de négociation multi-critères dans le commerce électronique, appliqué au domaine du courtage immobilier
2020-03 Personal information prediction from written texts
2023-10 Training large multimodal language models with ethical values
2017-12 Caractérisation et étude de l’impact des permissions dans les applications mobiles
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
2021-05 IIRC : Incremental Implicitly-Refined Classification
2021-07 PatchUp : a feature-space block-level regularization technique for convolutional neural networks
2022-07 Benchmarking bias mitigation algorithms in representation learning through fairness metrics
2023-08 Towards adaptive deep model-based reinforcement learning
2024-01 The role of continual learning and adaptive computation in improving computational efficiency of deep learning
2002 Network information discovery and structural optimization in the WOS's context by using distributed algorithms
2002 Resource Warehouses : a distributed information management infrastructure
1996 Spécification formelle de systèmes d'information interactifs par la technique des scénarios
2024-07 Domain adaptation in reinforcement learning via causal representation learning
2022-08 Sample efficient reinforcement learning for biological sequence design
2024-01 Beyond the horizon : improved long-range sequence modeling, from dynamical systems to language
2022-12 Accelerated algorithms for temporal difference learning methods
2023-04 Model-based hyperparameter optimization
2021-08 Learning neural ordinary differential equations for optimal control
2021-08 Steepest descent as Linear Quadratic Regulation
2021-08 Parsimonious reasoning in reinforcement learning for better credit assignment
2024-08 Parameter, experience, and compute efficient deep reinforcement learning
2022-12 Stabilizing Q-Learning for continuous control
2017-09 Évaluation de politiques de séquençage d'arrivées d'avions par Simulation Monte Carlo
2018-03 Estimation of Noisy Cost Functions by Conventional and Adjusted Simulated Annealing Techniques
2012-09 A dynamic sequential route choice model for micro-simulation
2012-12 Revisiting optimization algorithms for maximum likelihood estimation
2022-01 Measuring RocksDB performance and adaptive sampling for model estimation
2020-05 Leveraging deep reinforcement learning in the smart grid environment
2016-08 Development of new scenario decomposition techniques for linear and nonlinear stochastic programming
2020-01 Programmation stochastique à deux étapes pour l’ordonnancement des arrivées d’avions sous incertitude
2022-11 Génération de données : de l’anonymisation à la construction de populations synthétiques
2020-05 European day-ahead electricity price forecasting
2015-07 Investigating the Impact of Personal, Temporal and Participation Factors on Code Review Quality
1996 Contributions à l'étude du non-déterminisme restreint
2022-11 Imitation from observation using behavioral learning
2022-12 Re-weighted softmax cross-entropy to control forgetting in federated learning
2024-07 Learning optimizers for communication-efficient distributed learning
2017-08 Dealing with heterogeneity in the prediction of clinical diagnosis
2021-08 Evolving‌ ‌artificial‌ ‌neural‌ ‌networks‌‌ ‌to‌ ‌imitate‌ ‌human‌ ‌behaviour‌‌ ‌in‌ ‌Shinobi‌ ‌III‌ ‌:‌ ‌return‌ ‌of‌ ‌the‌ ‌Ninja‌ ‌master‌
2023-04 Multi-task learning for joint diagnosis of CNVs and psychiatric conditions from rs-fMRI
2023-07 AI-based modeling of brain and behavior : combining neuroimaging, imitation learning and video games
2022-11 Brain decoding of the Human Connectome Project Tasks in a Dense Individual fMRI Dataset
2023-11 Building sample-efficient reinforcement learning
1990 Modèle de distribution d'énergie électrique avec structure de réseau
1991 Outil graphique d'aide à la décision pour la résolution du problème de la distribution de l'énergie électrique
2003 Accélérer l'entraînement d'un modèle non-paramétrique de densité non normalisée par échantillonnage aléatoire
2011-03 Incorporating complex cells into neural networks for pattern classification
2003 Les algorithmes d'apprentissage appliqués aux risques financiers
2020-08 Entity-centric representations in deep learning
2020-10 Advances in deep learning methods for speech recognition and understanding
2020-12 A deep learning theory for neural networks grounded in physics
2012-09 Algorithmes d'apprentissage pour la recommandation
2003 Généralisation d'algorithmes de réduction de dimension
2003 Modèles à noyaux à structure locale
2020-08 Neural approaches to dialog modeling
2023-08 Advances in uncertainty modelling : from epistemic uncertainty estimation to generalized generative flow networks
2004 Méthodes à noyaux appliquées à la gestion de portefeuille
2000 Critères d'optimisation d'algorithmes d'apprentissage en gestion de portefeuille
2016-09 Bidirectional Helmholtz Machines
1999 Utilisation d'hyper-paramètres pour la sélection de variables
2021-08 Towards computationally efficient neural networks with adaptive and dynamic computations
2012-03 Apprentissage machine efficace : théorie et pratique
2010-10 Understanding deep architectures and the effect of unsupervised pre-training
2022-08 Latent data augmentation and modular structure for improved generalization
2022-10 Contributions to generative models and their applications
2009-11 Échantillonnage dynamique de champs markoviens
2022-10 From specialists to generalists : inductive biases of deep learning for higher level cognition
2009-08 Training deep convolutional architectures for vision
2015-06 Advances in scaling deep learning algorithms
2009-11 Sequential Machine learning Approaches for Portfolio Management
2014-11 Apprentissage des réseaux de neurones profonds et applications en traitement automatique de la langue naturelle
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2014-05 On Recurrent and Deep Neural Networks
2020-01 On sample efficiency and systematic generalization of grounded language understanding with deep learning
2006 Collaborative filtering techniques for drug discovery
2004 Segmentation hiérarchique du domaine sémantique pour l'accélération d'un modèle de langage
2018-10 Sequence-to-sequence learning for machine translation and automatic differentiation for machine learning software tools
2007 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
2008 Avancées théoriques sur la représentation et l'optimisation des réseaux de neurones
2017-08 Feedforward deep architectures for classification and synthesis
2018-02 Reparametrization in deep learning
2018-07 Difference target propagation
2023-12 Towards an extension of causal discovery with generative flow networks to latent variables models
2018-05 Learning and time : on using memory and curricula for language understanding
2018-04 On Deep Multiscale Recurrent Neural Networks
2007 TONGA : un algorithme de gradient naturel pour les problèmes de grande taille
2018-08 Analyzing the benefits of communication channels between deep learning models
2019-08 Deep neural networks for natural language processing and its acceleration
2008 Étude de techniques d'apprentissage non-supervisé pour l'amélioration de l'entraînement supervisé de modèles connexionnistes
2018-11 Improved training of generative models
2001 Contributions à la compression de données
2018-08 Prédiction et génération de données structurées à l'aide de réseaux de neurones et de décisions discrètes
2018-10 Auto-Encoders, Distributed Training and Information Representation in Deep Neural Networks
2011-08 Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant
2018-08 Applications of complex numbers to deep neural networks
2004 Réducation de dimensionnalité non linéaire et vorace
1999 Modèles statistiques comme algorithmes d'apprentissage et MMCCs : prédiction de séries financières
2019-04 Recurrent neural models and related problems in natural language processing
2019-07 Learning competitive ensemble of information-constrained primitives
2019-06 Improved training of energy-based models
2014-08 Leveraging noisy side information for disentangling of factors of variation in a supervised setting
2013-12 Improving sampling, optimization and feature extraction in Boltzmann machines
2014-04 Deep learning of representations and its application to computer vision
2016-12 Sequential modeling, generative recurrent neural networks, and their applications to audio
2014-08 Distributed conditional computation
2017-12 Exploring Attention Based Model for Captioning Images
2017-12 Learning visual representations with neural networks for video captioning and image generation
2018-09 Representation Learning for Visual Data
2020-05 Méta-enseignement : génération active d’exemples par apprentissage par renforcement
2000 Architecture et programme d'entraînement pour agents qui apprennent par renforcement
2021-03 Locality and compositionality in representation learning for complex visual tasks
2009-12 Modèle informatique du coapprentissage des ganglions de la base et du cortex : l'apprentissage par renforcement et le développement de représentations
2004 Réduction de dimension pour modèles graphiques probabilistes appliqués à la désambiguïsation sémantique
2020-07 Towards better understanding and improving optimization in recurrent neural networks
2003 Quelques modèles de langage statistiques et graphiques lissés avec WordNet
2019-11 On challenges in training recurrent neural networks
2019-09 Natural image processing and synthesis using deep learning
2023-06 Learning and planning with noise in optimization and reinforcement learning
2016-01 Designing Regularizers and Architectures for Recurrent Neural Networks
2016-08 Structured prediction and generative modeling using neural networks
2014-04 Modeling High-Dimensional Audio Sequences with Recurrent Neural Networks
2024-07 Intrinsic exploration for reinforcement learning beyond rewards
2023-07 Deep learning on signals : discretization invariance, lossless compression and nonuniform compression
2022-07 Stability-aware simplification of curve networks
1997 Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
1999 Cadre conceptuel pour la composition des objets et la spécification du comportement
1992 The LOTOS language :distributed implementation and fairness
1991 Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
1994 Traduction d'un sous-ensemble de SDL en Estelle
2000 Vers la construction automatique d'un module inconnu dans un système composé
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
1996 Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
1994 Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
1998 Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
1992 Synthèse de spécifications de protocole à partir de spécifications de service
1997 Implantation du protocole de signalisation ATM en utilisant une spécification SDL
1997 Routage inter-domaines dans les réseaux ATM
1989 Analyse automatique de résultats de tests appliquée aux protocoles de communication
1991 Analyse en ligne de traces d'exécution appliquée au protocole de transport
1998 Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation
1990 Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices
1992 Implantation en C++ d'une spécification Mondel du Répertoire OSI
1995 Construction incrémentielle de spécifications pour systèmes distribués
2000-01 Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
1993 Interconnexion des réseaux assurant le service de communication personnalisé
1993 Étude de traduction entre les langages de spécification SDL et VHDL
1993 Évaluation du flux de données couvert par une suite de tests
1996 Formal method for the design of real-time communicating subsystems and controllers
1992 Diagnostic tests for protocol implementations modeled by finite state machines
1992 Sélection de tests pour les protocoles de communication
1992 Modification dynamique des spécifications dans un environnement orienté-objets
1993 Génération de tests pour le service de communication personnalisé
1993 Développement d'un environnement de test et de diagnostique
1992 Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents
1997 Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués
1992 Synthèse d'algorithmes de contrôle pour environnement réparti
1988 Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
1997 Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau
1995-11 Un cadre d'application pour interfaces de gestion OSI
1987 Contribution à la description et à la réalisation de systèmes interactifs
1991 Évaluation du langage de spécification MONDEL à la description de protocoles de communication
1996 On the development of conformance test suites in view of their fault coverage
1997 On conformance testing of systems communicating by Rendezvous
1991 Générateur intelligent de tests adapté au domaine des protocoles de communication
2002 Génération de modèles de langage compacts pour la reconnaissance vocale
2001 Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine
1989 Génération de questions adaptées à l'usager pour un système de consultation médicale
2000 Système de configuration des politiques de gestion de réseaux
1995 Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes
1991 Extraction de chaînes phonémiques à l'aide de modèles de Markov en reconnaissance automatique de la parole
1990 Transformations de programmes logiques : Bases sémantiques et applications
1989 Chronolog, un langage de représentation des connaissances temporelles
1991 Modélisation de réactions émotives et application à la génération de récits
1993 La théorie des catégories en informatique : notions de base et application
2008 Categorical quantum computation
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
1989 Méthodes d'échanges pour problèmes d'affectation
1990 La conception de logiciels d'assistance dans un contexte d'apprentissage
1990 Algorithmes de transformations d'images 2D et recherche d'esthétique
1991 Le problème de réconciliation en cryptographie
2020-07 Apprentissage de circuits quantiques par descente de gradient classique
2008 Apprentissage quantique
2017-08 L'équivalence entre le local-réalisme et le principe de non-signalement
2016-12 Automates cellulaires quantiques et relativité déformée
1993 Applications du probabilisme à l'algorithmique
1996 La sécurité des protocoles de la cryptographie quantique
2003 De computatione quantica
2011-04 Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)
1992 Signature incontestable et factorisation
1993 Une étude de quatre mesures de complexité algorithmique
1993 Le principe des boîtes noires en cryptologie : application et limites
1992 Anonymat des correspondants dans les réseaux de communication
2000 Les codes correcteurs quantiques et leurs applications cryptographiques
2012-08 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
1995 Simulation de protocoles de cryptographie quantique
1997 Towards a formal definition of security for quantum protocols
1995 Évaluation de fonctions sur données privées
1999 Analyse et comparaison de protocoles de purification de l'intrication quantique
1997 Variations sur la transmission inconsciente en cryptographie quantique
2015-03 Échantillonnage des distributions continues non uniformes en précision arbitraire et protocole pour l'échantillonnage exact distribué des distributions discrètes quantiques
2023-08 Entanglement-assisted communication complexity and nonlocal games
2003 A survey of graph and subgraph isomorphism problems
2009-11 The decoupling approach to quantum information theory
1994 La génération pseudo-aléatoire cryptographiquement sécuritaire et ses considérations pratiques
1989 Algorithme pour trouver les composantes 3-connexes d'un graphe
1999 Informatique quantique : algorithmes et complexité de la communication
1991 Complexité des relations sémantiques dans les systèmes de programmation
2020-01 The art of post-truth in quantum cryptography
2023-02 Variations sur le protocole BB84 avec bases de polarisation secrètes
2012-08 Key agreement against quantum adversaries
2013-01 Amplification de l'amplitude : analyse et applications
2021-09 Les circuits quantiques paramétrés universels comme modèles d'apprentissage automatique
2015-04 Interactive quantum information theory
1990 Édition et simulation interactives de partitions en notation Laban
1989 Gestionnaire de notation Laban et animation de figurines humaines
1998 L'utilisation de vecteurs de liens bibliographiques comme descripteurs de documents juridiques dans un système de recherche d'information
1996 Topoï, un système de production d'argumentations dialectiques
1993 L'application des systèmes hypertextes dans un cadre juridique
1993 Mise à jour automatique des textes de loi
1994 Navigation et repérage d'information dans les hypertextes de grande taille
2020-08 The multilevel critical node problem : theoretical intractability and a curriculum learning approach
2022-04 City decision-making : optimization of the location and design of urban green spaces
2024-01 Dynamic capacities and priorities in stable matching
2023-12 Methods for solving combinatorial pricing problems
2023-08 Weak core solution for the non-transferable utility kidney exchange game
2021-08 Towards fairness in Kidney Exchange Programs
2023-08 Maximum flow-based formulation for the optimal location of electric vehicle charging stations
2022-08 A stochastic integer programming approach to reserve staff scheduling with preferences
2024-05 Strategic planning of intracity electric vehicle charging station locations with integrated advanced demand dynamics
2022-04 Game theoretical characterization of the multi-agent network expansion game
2022-11 Mixed-integer programming representation for symmetrical partition function form games
2020-08 Optimizing ANN Architectures using Mixed-Integer Programming
2023-11 Small batch deep reinforcement learning
1993 Mise à jour automatique des cartes forestières à partir d'images satellites
1993 Classification de conformations macromoléculaires
1990 La prédiction des structures macromoléculaires par une approche symbolique
1991 Compactage bidimensionnel de circuits intégrés selon la méthode de graphe de contraintes
1997 Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes
1993 Application de machines à états étendues à la vérification et à la synthèse du matériel
2001 Integrating MDG variable ordering in a VHDL-MDG design verification system
2001 Un générateur CP pour la vérification temporelle des contrôleurs d'interfaces
1991 Un modèle de simulation au niveau des commutateurs à contrôle réparti
1993 Analyse des systèmes modulaires asynchrones avec délais à intervalle fixe
2001 Compositional verification using interface recognizers/suppliers (IRS)
1997 Logiciel pour la vérification par simulation de la spécification de haut niveau de systèmes matériels
1991 Un modèle de simulation basé sur les graphes de contraintes hiérarchiques
1989 Système de conception symbolique pour circuits intégrés à très grande échelle
1997 Construction des machines à état abstrait à partir des modèles VHDL
1999 Méthode de simulation aléatoire guidée par un algorithme génétique pour la vérification du design de circuits numériques
1995 Modèles des portes logiques pour l'analyse de délai par la méthode de réduction des intervalles
1989 Un simulateur distribué de circuits intégrés à synchronisation mixte
2002 Waveform narrowing : a constraint-based framework for timing analysis
1990 Une méthode efficace pour la compaction bidimensionnelle de circuits intégrés
1999 Modèles et algorithmes pour la simulation des systèmes à temps réel
2000 Timing verification of interface specifications and controllers
1996-03 Un outil pour la spécification de matériel et la génération de modèles exécutables
2000 ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles
2002 Synthèse de EFSM observatrices à partir de spécifications HAAD
1992 Compaction hiérarchique bidimensionnelle de circuits intégrés
1992 Une méthode de gestion du processus de design des circuits intégrés
1990 Fault-tolerant sorting networks
1992 Génération de vecteurs de test pour circuits combinatoires par observabilité transversale
1999 Bounding of switching activity in logic circuits
1996 Multiway decision graphs and their applications in automatic formal verification of RTL designs
1999 Model checking for a first-order temporal logic using multiway decision graphs
2001 Model reductions in MDG-based model checking
2021-06 Self-supervision for data interpretability in image classification and sample efficiency in reinforcement learning
2021-10 Better representation learning for TPMS
2020-12 Recommandation conversationnelle : écoutez avant de parlez
1997 Conception de logiciels de communication testables
1989 Inférences sur plusieurs mesures de liaison entre deux vecteurs aléatoires et algorithmes de sélection de variables
1989 Le modèle d'indépendance dans le contexte de variables ordinales
2000 Allotment of aircraft spare parts using genetic algorithms
1994 Planification des réseaux de distribution électrique avec contraintes de fiabilité
1989 Méthodologies de dimensionnement de réservoirs hydroélectriques utilisant des approches déterministe et stochastique
1992 Étude comparative de méthodologies de layout orienté
1993 Partitionnement de circuits pour la simulation distribuée en temps virtuel
1993 Auto-apprentissage, à l'aide de réseaux de neurones, de fonctions heuristiques utilisées dans les jeux stratégiques
1992 Optimisation des circuits intégrés par des réseaux de neurones
1996 Réseaux de neurones à faible précision et réalisation sur ordinateur à logique programmable
1993 Optimisation d'une règle d'apprentissage pour réseaux de neurones artificiels
1993 Évaluation du potentiel d'un modèle connexionniste pour la classification de textures échographiques médicales
2002 Modèle d'équilibre dans les réseaux de transport en commun : le cas des capacités explicites des services
2023-07 Differentiable best response shaping
2023-08 Improving predictive behavior under distributional shift
2023-08 Coordination in generative modeling, automatic differentiation and multi-agent learning
2023-05 Emergence of language-like latents in deep neural networks
2024-03 Self-supervision for reinforcement learning
2023-08 Sequential decision modeling in uncertain conditions
2016-08 Influencing the Properties of Latent Spaces
2023-10 Probability flows in deep learning
2018-08 Latent variable language models
2017-08 Generative models for natural images
2018-04 Sequence to sequence learning and its speech applications
2019-12 Representation learning in unsupervised domain translation
2024-06 Promoting robustness and compositionality in machine learning with insights from cognitive bottlenecks
2020-03 Deep learning and reinforcement learning methods for grounded goal-oriented dialogue
2019-12 Emerging communication between competitive agents
2020-09 Estimation neuronale de l'information mutuelle
2020-08 On improving variational inference with low-variance multi-sample estimators
2018-12 Advances in deep learning with limited supervision and computational resources
2019-07 Towards learning sentence representation with self-supervision
2019-08 No Press Diplomacy
2022-08 Syntactic inductive biases for deep learning methods
2021-12 AI alignment and generalization in deep learning
2022-01 On iterated learning for task-oriented dialogue
2018-07 Generative models : a critical review
2022-08 On discovering and learning structure under limited supervision
2017-12 Deep Learning for Video Modelling
2021-04 Continuous coordination as a realistic scenario for lifelong learning
2022-05 Advances in generative models for dynamic scenes
2024-05 Beyond the status quo in deep reinforcement learning
2019-05 Representation learning for dialogue systems
2016-05 Towards deep semi supervised learning
2016-12 Speech synthesis using recurrent neural networks
2024-10 Beyond top line metrics : understanding the trade-off between model size and generalization properties
2020-12 Towards deep unsupervised inverse graphics
2001 Évaluation de la performance d'une application de type commerce électronique
1989 Une approche de restriction basée sur une méthode primale-duale pour résoudre le problème de localisation-distribution avec échanges interdépôts
1996 Reconstruction d'itinéraires optimaux dans un réseau multimodes-multiproduits
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
1990 Implantations parallèles d'un algorithme de séparation et évaluation progressive pour résoudre le problème de localisation avec équilibrage
1998 Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides
2001 Modélisation des effets réseaux dans le transport des matières dangereuses
2003 Modèles et algorithmes pour les enchères combinatoires
1999 Une librairie orientée-objet pour la simulation des réseaux stochastiques dynamiques
2003 Étude des propriétés polyédrales du problème de conception de réseaux multiproduits, avec coût fixe et capacité
2001 Heuristiques basées sur la programmation mathématique pour le problème de conception de réseaux avec coûts fixes et capacités
2001 CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C
1999 Modélisation UML pour une architecture coopérative appliquée au problème de tournées de véhicules avec fenêtres de temps
1994 La planification de la production d'un système hydro-électrique en contexte déterministe
2023-10 Multi-attribute deterministic and stochastic two echelon location routing problems
2018-09 Learning-Based Matheuristic Solution Methods for Stochastic Network Design
2014-06 Meta-heuristic Solution Methods for Rich Vehicle Routing Problems
2014-06 Solution Methods for Service Network Design with Resource Management Consideration
1997 Approches de parallélisation basées sur l'organisation de la mémoire pour des méthodes de séparations et évaluations progressives
2002 Hypothèses calculatoires en cryptographie quantique
2000 Calculs multipartites
2000 Protocoles cryptographiques avec des participants limités en espace mémoire
1997 Les procédés cryptographiques de monnaie électronique : design, fonctionnalités et usages
2000 Sur des méthodes et algorithmes de factorisation et leur application en cryptologie
1989 Approches de résolution du problème de programmation fractionnaire généralisée
2009 Recherche d'éléments répétés par analyse des distributions de fréquences d'oligonucléotides
2006 Phylogenetic shadowing using a model selection process
2006 Methods for multi-class segmentation of molecular sequences
1992 Algorithmes répartis de calcul et de minimalisation d'arbres sous-tendants
2008 Compilation efficace pour FPGA reconfigurable dynamiquement
2003 ESys.Net : a new .Net based system-level design environment
2005 Implémentation de la multiplication des grands nombres par FFT dans le contexte des algorithmes cryptographiques
1992 Système multimédia pour l'enseignement de la médecine dentaire
1993 Analyse de radiographies de la main pour l'estimation de l'âge osseux
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
1992 Aménagement optimal d'un bassin hydraulique pour fin de production d'électricité
1990 Planification à moyen terme de l'entretien préventif des équipements de production d'un système hydroélectrique
2023-10 Predicting viral respiratory tract infections using wearable garment biosensors
2023-04 Investigating intra and inter-subject performance with deep learning for gait on irregular surfaces
2024-07 A LiDAR and Camera Based Convolutional Neural Network for the Real-Time Identification of Walking Terrain
2010-08 Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
2002 Simulation des effets de détérioration de surfaces rigides pour un rendu réaliste
2003 Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP
2000 Quality of services adaptation model for distributed multimedia application based on RTP protocol on IP network
2002 Compilation de scénarios dans un environnement d'intégration
2000 Diagnostic des protocoles de communication fondé sur les automates à états finis étendus
2000 An H.323-based adaptive QoS architecture
2000 QoS architecture and monitoring for videoconferencing applications
1997 Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web
2001 Le filtrage du protocole SMB
2001 Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées
2001 Environnement de test d'un serveur de négociations électroniques
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2001 "Principes et implantation de vues dans les langages Orientés-objets"
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
1999 Allocation et tarification des accès réseaux
1997 Dérivation de spécification à partir de scénarios d'interaction
2011-11 Génération efficace de graphes d’appels dynamiques complets
2013-05 Rétro ingénierie des modèles d’objets dynamiques pour JavaScript
2013-12 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2011-12 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2023-04 Toward trustworthy deep learning : out-of-distribution generalization and few-shot learning
1992 Système intégré de spectroscopie automatisée
2006 Apprentissage à base de gradient pour l'extraction de caractéristiques dans les signaux sonores complexes
2009-12 Non-negative matrix decomposition approaches to frequency domain analysis of music audio signals
2005 Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique
2011-08 Espaces de timbre générés par des réseaux profonds convolutionnels
2009-12 Algorithmes de recommandation musicale
2006 Algorithms for classifying recorded music by genre
2012-05 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2005 Automatic music classification using boosting algorithms and auditory features
2009 Apprentissage statistique pour l'étiquetage de musique et la recommandation
2010-04 Modélisation de l'interprétation des pianistes & applications d'auto-encodeurs sur des modèles temporels
2004 Construction d'ensembles de points basée sur des récurrences linéaires dans un corps fini de caractéristique 2 pour la simulation Monte Carlo et l'intégration quasi-Monte Carlo
2006 Optimisation stochastique pour l'affectation du personnel polyvalent dans un centre d'appels téléphoniques
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2003 Réarrangement de génomes par inversions et analyse de l'ensemble des solutions minimales
2012-02 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2020-06 Assessing the robustness of genetic codes and genomes
2001 Recherche de structures secondaires dans les séquences biologiques
2020-08 Edit distance metrics for measuring dissimilarity between labeled gene trees
2016-08 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2002 Algorithmes pour le réarrangement des génomes par inversions
2016-10 Évolution des génomes par mutations locales et globales : une approche d’alignement
2020-09 Articulating design-time uncertainty with DRUIDE
2020-01 Towards using fluctuations in internal quality metrics to find design intents
2019-03 Modelling and Reasoning with Software Product Lines with Design Choices
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2023-11 Fairness through domain awareness : mitigating popularity bias for music discovery
2023-06 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
2023-11 Fair vaccination strategies with influence maximization : a case study on COVID-19
2000 La compilation de patrons de filtrage sous Erlang
2021-08 Reusable semantics for implementation of Python optimizing compilers
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2002 Demand-driven type analysis for dynamically-typed functional languages
1996 Un système de programmation Scheme pour micro-contrôleur
2002 Compilation statique de Java
2002 YADL : a general purpose SDSM system
2002 Un protocole de communication pour applications transactionnelles distribuées
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2014-08 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
1999 Un générateur de code machine pour le compilateur Gambit
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2015-12 On the fly type specialization without type analysis
1997 Conception et réalisation d'une variante parallèle de C basée sur la création paresseuse de tâche
2002 Compilation optimisante à l'aide de métaheuristiques
2023-07 Adding hygiene to gambit scheme
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2010-08 Implantation des futures sur un système distribué par passage de messages
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
1999 Analyse et optimisation globales de modules compilés séparément
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
2006 Conception d'un langage de programmation pour applications distribuées
2015-04 FPGA-based object detection using classification circuits
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
1991 Heuristique de planification d'un réseau privé commuté par paquets
1989 Générateur d'itinéraires d'enlèvement de la neige
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
1998 Analyse de différents opérateurs de croisement dans le cadre de l'algorithme génétique appliqué au problème de la coloration de graphe
2000 Planification de l'exploitation forestière par des méthodes heuristiques
1993 Variantes de la méthode du Recuit Simulé pour la coloration des graphes
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
1996 Problèmes multicritère avec contraintes d'affectation
1994 Algorithmes génétiques hybrides pour l'optimisation combinatoire
1993 La technique de recherche Tabou adaptée au problème de la classification automatique avec contrainte supplémentaire sur la capacité des classes
2016-09 An adaptive neighborhood search algorithm for optimizing stochastic mining complexes
2014-06 Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
2013-01 La résolution du problème de formation de cellules dans un contexte multicritère
2007 Problème de planification des tournées des intervenants pour les visites à domicile
2015-08 A heuristic algorithm for the Capacitated Vehicle Routing Problem with Synchronized Pick-ups and Drop-offs : a case study for medications delivery and supervision in DR Congo
2002 Heuristique d'évaporation de pénalités dans une méthode de décomposition pour trouver la plus grande clique d'un graphe
2002 Confection automatisée des horaires de médecins dans une salle d'urgence
1998 Planification de l'horaire des médecins dans une salle d'urgence
1990 Conception d'un réseau privé de transmission par paquets
2016-04 Interrelated product design activities sequencing with efficient tabu search algorithms
1993 Variantes de la méthode Tabou pour la coloration de graphes
1989 Implantation exacte de transactions à l'aide de machines séquentielles
1999 Scatter Search pour le problème du voyageur de commerce
1993 Contribution à l'optimisation globale
2012-02 « Resolution Search » et problèmes d’optimisation discrète
1993 Planification d'horaires du personnel infirmier dans un établissement hospitalier
1997 Confection d'horaires en soins infirmiers pour les infirmières des équipes volantes-secteur
1996 Application d'une méthode exacte pour la génération d'horaire en soins infirmiers
1995 Horaires du personnel infirmier générés avec approches heuristiques
2016-04 Algorithmique et complexité des systèmes à compteurs
1999 Symétrie et sens de l'orientation dans les graphes
2006 Simulation dynamique du trafic routier urbain et optimisation des contrôles
2006 Étude numérique d'algorithmes d'affectation d'équilibre de réseaux : modèles statiques à coûts symétriques avec demandes fixes dans l'espace des chemins
2003 Le calcul parallèle des plus courts chemins temporels
1990 Des implantations parallèles de l'algorithme d'approximation linéaire pour la résolution du problème d'affectation du trafic
2000 Un algorithme de chargement dynamique des réseaux : mésosimulation du flot dynamique avec capacités explicites
1998 Le calcul des plus courts chemins statiques et temporels : synthèse, implantations séquentielles et parallèles
1991 A study of monotone variational inequalities and their application to network equilibrium problems
2000 A discrete flow model for dynamic network loading
1992 L'optimisation des fréquences d'un réseau de transport en commun
1992 Comparaison de méthodes d'ajustement de matrices origine-destination à partir des flots des véhicules observés
1994 Nouvelles méthodes séquentielles et parallèles pour l'optimisation de réseaux à coûts linéaires et convexes
2000 The cell-transmission model : a new look at a dynamic network loading model
1988 Le problème de répartition optimale des puissances pour les systèmes d'énergie électrique en régime permanent
1993 Étude de deux méthodes d'ajustement de matrices origine-destination à partir des flots des véhicules observés
1990 Calcul simultané de la matrice de demande et des flots optimaux de marchandises sur un réseau multimodal
1993 Bilevel programming problems: analysis, algorithms and applications
2000 L'optimisation des fréquences d'un réseau de transport en commun avec congestion
2000 Problème d'affectation dynamique sur un réseau de transport
2021-05 Virtual reality therapy for Alzheimer’s disease with speech instruction and real-time neurofeedback system
2018-08 Détection et contrôle de l’indice d’intérêt dans support publicitaire
2000 Spécifications en XML d'un langage de génération d'exercices pédagogiques
2017-12 Using electroencephalograms to interpret and monitor the emotions
2009 Effet des actions pédagogiques sur l'état émotionnel de l'apprenant dans un système tutoriel intelligent
1998 Un modèle de tâche favorisant la production de conseils au cours d'une simulation
1996 Étude et réalisation d'un système conseiller
2007 C.A.M.E.L.E.O. : a cultural adaptation methodology for E-learning environment optimization
2005 QUERI : un système de question-réponse collaboratif et interactif
2002 Magellan : un agent pour simplifier les achats sur internet
2019-02 Analyse visuelle et cérébrale de l’état cognitif d’un apprenant
2009-08 L’analyse de composants émotionnels dans des stratégies d’apprentissage
1998 Étude et réalisation d'un environnement de développement de curriculum
1995 Interface iconique pour un système d'aide au diagnostic médical à base de cas
2018-03 Virtual Sophrologist : un système de formation de relaxation par neurofeedback en réalité virtuelle
2000 Développement de cours pour un environnement distribué de formation à distance
2010-04 Impact des émotions sur les performances
1998 Étude et réalisation d'un environnement d'apprentissage de tâches coopératives
2014-09 Modélisation de l’engagement et de la charge mentale de travail dans les Systèmes Tutoriels Intelligents
2000 Étude et réalisation d'un agent pédagogique explicatif
2016-12 Détection et amélioration de l'état cognitif de l'apprenant
2017-05 Reconnaissance de l'émotion thermique
2020-05 Study and experimentation of cognitive decline measurements in a virtual reality environment
2008 Influence des facteurs émotionnels sur la résistance au changement dans les organisations
2010-11 Configuration et exploitation d'une machine émotionnelle
2007 Motivation et culture en e-learning
2023-04 Detection, recuperation and cross-subject classification of mental fatigue
2004 Cooperative agents for enhancing learner practice
1990 Modélisation et réalisation d'un système tutoriel intelligent
1990 Système d'aide à la décision et à la formation en matière de planification de réseaux téléphoniques
1989 Réalisation d'un système intelligent de manipulation de bases de données
1990 Étude et réalisation de planificateurs de systèmes tutoriels intelligents
2021-10 Extraction de comportements reproductibles en avatar virtuel
2022-12 Attention, concentration, and distraction measure using EEG and eye tracking in virtual reality
2020-10 Theseus : a 3D virtual reality orientation game with real-time guidance system for cognitive training
2007 Vers un système d'enseignement à distance efficace
2021-03 A study of virtual reality-mediated affective state and cognitive decline in Alzheimer’s disease
2023-08 Analysis and evaluation of the pilot attentional model
2020-09 Real-time human action and gesture recognition using skeleton joints information towards medical applications
2016-12 Analyse des émotions dans un jeu vidéo
1998 Conception d'un langage de description d'agents cognitifs
2020-06 An intelligent real-time help system for clinical reasoning in virtual reality environment based on emotional analysis
1996-04 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
2013-08 Modélisation des émotions de l’apprenant et interventions implicites pour les systèmes tutoriels intelligents
2009-10 Processus cérébraux adaptés aux systèmes tutoriels intelligents
2021-10 Creation of a vocal emotional profile (VEP) and measurement tools
1993 Performance et optimisation des systèmes de bases de données orientées objet
1995 Un modèle de l'apprenant basé sur les tâches
2009 Modélisation des réactions émotionnelles dans un système tutoriel intelligent
2021-04 Système intelligent pour le suivi et l’optimisation de l’état cognitif
1998 Étude et réalisation d'un système convivial de télé-apprentissage
2004 Systèmes tutoriels émotionnellement intelligents
2014-08 Environnement virtuel générateur d’émotions
2016-06 Environnement d’adaptation pour un jeu sérieux
2013-03 Contribution de la motivation dans les jeux sérieux
1993 Interface graphique de modélisation de connaissances dans un système de conception de cours
2004 Nego : a virtual negociation market
2017-03 Modélisation et maintien de l’engagement dans un environnement du jeu vidéo émotionnel
1996 Vers une architecture portable et distribuée de systèmes tutoriels intelligents : étude dans le cadre du projet SAFARI
2022-08 Évaluation de la charge mentale des pilotes en manœuvre aérienne
2012-09 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2023-12 Detecting pre-error states and process deviations resulting from cognitive overload in aircraft pilots
2002 Pacha : marché virtuel pour agents mobiles
2000 Agent émotif dans un système tutoriel intelligent
2021-12 Content-based automatic fact checking
2019-04 Environnements virtuels émotionnellement intelligents
1991 Un modèle de représentation de l'information géographique dans un système d'analyse spatiale automatisée du terrain
1998 Planification de l'enseignement individualisé dans un système turoriel intelligent à grande échelle
1996 Modélisation des connaissances de la matière dans un système tutoriel intelligent : modèles, outils et applications
1989 Intégration des systèmes tutoriels traditionnels et des systèmes tutoriels intelligents
2004 Théorie et pratique de la construction humaine supervisée du sens
1999 Interactive visual management of curriculum
1998 Le modèle de l'apprenant dans les architectures de systèmes tutoriels intelligents SAFARI et TrainingOffice
1998 Un système multi-agent pour l'enseignement et la simulation de tâches coopératives
2013-06 Une approche multi-agents pour le développement d'un jeu vidéo
2007 Une approche d'ingénierie ontologique pour l'acquisition et l'exploitation des connaissances à partir de documents textuels : vers des objets de connaissances et d'apprentissage
2018-12 Load sequencing for double-stack trains
2021-11 On inverse reinforcement learning and dynamic discrete choice for predicting path choices
2023-08 An exploratory study of decision-focused learning for mutli-commodity network design in transportation
2015-07 The berth allocation problem at port terminals : a column generation framework
2020-07 On two sequential problems : the load planning and sequencing problem and the non-normal recurrent neural network
2023-10 On choice models in the context of MDPs
2015-12 Dynamic Programming Approaches for Estimating and Applying Large-scale Discrete Choice Models
2020-10 A rolling horizon approach for the locomotive routing problem at the Canadian National Railway Company
2023-08 Efficient reformulations for deterministic and choice-based network design problems
2020-04 The load planning problem for double-stack intermodal trains
2021-12 Forecasting for operational planning of M1M systems
2020-05 Tactical block planning for intermodal rail transportation
2014-08 Analyse du comportement hétérogène des usagers dans un réseau
2020-01 Traffic prediction and bilevel network design
2019-06 Route choice and traffic equilibrium modeling in multi-modal and activity-based networks
1999 Le principe, le théorème et les fonctions de Bloch
1991 Une coquille de système expert multimédia pour micro-ordinateurs
1990 Structuration des bases de connaissances par généralisation
1993 Système réparti de fichiers multimédia pour application pédagogique
1996 Environnement auteur exploitant les bases de connaissances dans un système tutoriel intelligent
1992 MédiÉval: un outil multimédia pour l'évaluation des connaissances linguistiques
1992 InterFaces : un gestionnaire d'agents d'interface avec synthèse vocale et animation faciale
1991 Visionnaire : un outil multimédia pour l'apprentissage des langues
1990 Navigation visuelle dans une base de données multimédia
1996 Protocole et interface usager pour la négociation de la qualité de service
1994 Utilisation des méthodes de recherche d'information pour le filtrage des News de Usenet
1992 Montage de film assisté par ordinateur
1994 Une nouvelle approche connexionniste pour la recherche de documents
1999 Enrichissement d'un curriculum par recherche sur Internet
1992 Outil pour le développement de programmes pour la composition de musique électro-acoustique
1991 Étude de l'oubli dans un modèle connexionniste de mémoire associative
2008 Algorithmes pour le problème de repositionnement
2004 Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités
2010-08 Scheduled service network design for integrated planning of rail freight transportation
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
2008 Parallel metaheuristics for stochastic capacitated multicommodity network design
2007 Mise en oeuvre des mécanismes de Vickrey-Clarke-Groves sur des réseaux
2013-03 Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires
2012-09 Heuristic solution methods for multi-attribute vehicle routing problems
2013-12 Tactical Vehicle Routing Planning with Application to Milk Collection and Distribution
2020-10 Statistical physics of constraint satisfaction problems
1998 Une méthode de recherche avec tabous pour la localisation de stations d'inspection sur un réseau de transport
1993 Problèmes stochastiques de tournées de véhicules
1996 Résolution du problème de tournées de véhicules à flotte hétérogène à l'aide de la recherche avec tabous
1990 Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées
2009 Heuristiques efficaces pour l'optimisation de la performance des systèmes séries-parallèles
2002 Gestion de flotte avec fenêtres horaires : approches de résolution mixtes utilisant la programmation par contraintes
2001 Problèmes de gestion de flottes de véhicules en temps réel
2010-08 Méthodes exactes et heuristiques pour le problème de tournées de véhicules avec fenêtres de temps et réutilisation de véhicules
2000 Système de colonie de fourmis GENI pour le problème du voyageur de commerce
2005 Heuristiques pour l'expansion multi-périodes de la capacité d'un réseau local de télécommunications
2017-09 Recourse policies in the vehicle routing problem with stochastic demands
1998 A study on two arc routing problems
1994 Applications de la méthode de recherche avec tabous à divers problèmes d'optimisation combinatoire
2006 Design optimal de réseau multipoint survivable
2003 Le problème du postier chinois cumulatif
2006 Accélération de méthodes de résolution classiques par l'utilisation de stratégies de séparation locale comme outil d'hybridation
2000 Procédure de diversification pour la résolution des problèmes stochastiques de tournées de véhicules par l'algorithme tabou
2011-12 Développement d’un algorithme de branch-and-price-and-cut pour le problème de conception de réseau avec coûts fixes et capacités
2002 Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités
2013-12 Lagrangian-informed mixed integer programming reformulations
2015-12 Algorithme de branch-and-price-and-cut pour le problème de conception de réseaux avec coûts fixes, capacités et un seul produit
2015-04 L'algorithme de Branch and Price and Cut pour le problème de conception de réseaux avec coûts fixes et sans capacité
2014-05 Méthode de génération de colonnes pour les problèmes de conception de réseaux avec coûts d’ajout de capacité
2021-05 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
2005 Heuristique basée sur des méthodes de montée duale et de voisinage variable pour la résolution d'un problème de localisation dans un système de distribution
2011-07 Models and algorithms for the capacitated location-routing problem
2014-05 Dynamic Facility Location with Modular Capacities : Models, Algorithms and Applications in Forestry
2016-04 Une heuristique de recherche à voisinage variable pour le problème du voyageur de commerce avec fenêtres de temps
2018-09 Lagrangian-based methods for single and multi-layer multicommodity capacitated network design
2009-08 Planification de la récolte et allocation des produits aux usines
2015-08 Modèles et méthodes pour la planification de la récolte forestière
2016-08 Conception du réseau de distribution d’une entreprise de livraison de courrier rapide
2016-04 Optimization models and methods for real-time transportation planning in forestry
2006 Nouveaux algorithmes, bornes et formulations pour les problèmes de la clique maximum et de la coloration minimum
2014-08 Algorithmes heuristiques et exacts pour le problème de l’ensemble dominant connexe minimum
2005 Énumération des rayons extrêmes d'un cône et applications en minimisation concave
2001 Développement d'une méthode de recherche avec tabous pour un problème de chargement de réseaux de télécommunications
2024-07 Performative prediction : expanding theoretical horizons
1992 Modélisation et positionnement de mannequins anthropométriques
1995 Un outil pour la conception et l'évaluation de hiérarchies de classes dans un modèle orienté-objet
2008 Analyse, à l'aide d'oculomètres, de techniques de visualisation UML de patrons de conception pour la compréhension de programmes
2009-12 Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
2005 A quality model considering program architecture
2008 Identification of behavioral and creational design patterns through dynamic analysis
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2010-04 Patterns and quality of object-oriented software systems
2008 DECOR : détection et correction des défauts dans les systèmes orientés objet
2006 Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code
2010-11 An empirical study of the impact of two antipatterns on program comprehension
2012-08 Evaluating Design Decay during Software Evolution
2006 Application d'algorithmes de bio-informatique à la recherche de patrons de conception
2005 Analyse du comportement des programmes à l'aide des matrices d'adjacence
2024-06 Distributed fog load balancing to support IoT applications : a reinforcement learning approach
2013-12 Gestion des ressources dans les réseaux cellulaires sans fil
2006 Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs
2008 Un outil de conception pour les réseaux maillés sans fil
2011-04 Métriques de routage dans les réseaux maillés sans fil
2018-04 Quality of service aware data dissemination in vehicular Ad Hoc networks
2017-11 Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
2019-08 Prediction of the transaction confirmation time in Ethereum Blockchain
2017-04 Reliable Message Dissemination in Mobile Vehicular Networks
2011-04 Un protocole de diffusion des messages dans les réseaux véhiculaires
2006 Qualité de service dans les services Web
2016-10 SLA violation prediction : a machine learning perspective
2007 Multicast explicite dans les réseaux ad hoc : implémentation, analyse et simulations d'un nouveau protocole multicast pour MANETs
2012-04 Le support de VoIP dans les réseaux maillés sans fil WiMAX en utilisant une approche de contrôle et d'assistance au niveau MAC
2010-12 Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet
2011-04 Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
2008 Novel multicast protocols in ad-hoc networks
2007 Localisation des noeuds dans les réseaux de capteurs sans fil
2010-12 Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique
2010-01 Conception des réseaux maillés sans fil à multiples-radios multiples-canaux
2008 Allocation optimale des ressources pour les applications et services de grille de calcul
2013-03 Routage adaptatif et stabilité dans les réseaux maillés sans fil
2010-08 Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
2010-08 Routage adaptatif et qualité de service dans les réseaux optiques à commutation de rafales
2017-02 Enhancing infotainment applications quality of service in vehicular ad hoc networks
2021-09 Renforcement de la sécurité à travers les réseaux programmables
2019-07 Mobile data and computation offloading in mobile cloud computing
2009-12 Integrated Management of Interface Power (IMIP) Framework
2024-04 Scalable and robust fog-computing design & dimensioning in dynamic, trustless smart cities
2014-08 Modèle de confiance et ontologie probabiliste pilotés par réseaux bayésiens pour la gestion des accords de services dans l’environnement de services infonuagiques
1989 Le problème des reines : thème et variations
1999 La Charrue - pour une représentation des données dans l'interface homme-machine
2004 Jeu de poursuite sur des modèles du web et généralisation
2005 Études du jeu de poursuite dans les graphes
2006 Jeu de poursuite sur graphe non réflexif
2005 Contribution à la conjecture d'Erdos-Farber-Lovász
1992 Homomorphisms and the star chromatic number of a graph
2006 Reconnaissance des graphes policier-gagnants
2002 Problèmes de routages dans les réseaux optiques
2006 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2012-04 Complexité des homomorphismes de graphes avec listes
1992 Codage d'image par automates à états finis, du tétrarbre à l'automate
2022-03 Une étude des graphes jumeaux via l'auto-abritement
2019-04 Étude combinatoire et algorithmique de la médiane de permutations sous la distance de Kendall-Tau
2018-10 Étude algorithmique et combinatoire de la méthode de Kemeny-Young et du consensus de classements
2007 De nouveaux algorithmes de tri par transpositions
2024-07 HarmonyCo : développement d'une bibliothèque Python pour le calcul optimisé de la médiane de permutations
2013-08 Analysing artefacts dependencies to evolving software systems
2015-12 Étude de la médiane de permutations sous la distance de Kendall-Tau
2010-04 Algorithmes pour la réconciliation d’un arbre de gènes avec un arbre d’espèces
2022-08 Controllable music performance synthesis via hierarchical modelling
2002 Text prediction for translators
2004 Ordonnancement des flots agrégés dans les réseaux IP multiservices
2009-08 Optimization of p-cycle protection schemes in optical networks
2007 Protection partagée pour les réseaux de transport multidomaines
2011-03 Groupage et protection du trafic dynamique dans les réseaux WDM
2004 Groupage de trafic à coût minimum dans les réseaux anneaux WDM
2004 Protocoles de routage pour les réseaux ad hoc
2004 Routing and dimensioning of 3G multi-service networks
2004 Routage par déflexion dans les réseaux tout optique à commutation de bursts
2005 Accès et routage optique en mode de commutation de rafales
2010-02 Planification et dimensionnement des réseaux optiques de longues distances
2005 Dimensionnement GRWA et protection par segment dans les réseaux optiques WDM
2005 Une métaheuristique pour le problème d'affectation de longueurs d'onde, de groupage et de routage du trafic dans les réseaux optiques WDM
2014-07 Domain/Multi-Domain Protection and Provisioning in Optical Networks
2023-06 Towards the reduction of greenhouse gas emissions : models and algorithms for ridesharing and carbon capture and storage
2021-10 Assessing neural network dynamics under normal and altered states of consciousness with MEG : methodological challenges and proposed solutions for atypical power spectra
2004 Apprentissage semi-supervisé par réduction de dimensionnalité non linéaire
2007 Boosting hierarchique et construction de filtres
2002 Agents à base de règles pour les négociations électroniques : concepts et infrastructure
2002 Tool support for context-based comprehension of large-scale software systems
2002 Alimentation d'un dépôt de code source pour l'analyse détaillée de systèmes de taille industrielle
2002 Combined negotiations in E-commerce : concepts, architecture, and implementation
2000 Évaluation qualitative et quantitative d'outils de visualisation logicielle
2001 RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels
1996 Developing network management applications using application frameworks and literate programming
1998 Détection des patrons de conception dans les systèmes orientés objet
2003 Un cadre d'application pour la visualisation des métriques orientées objet
2000 Support informatique à la compréhension des logiciels orientés objet de taille industrielle
2000-05 Vers un paradigme transformationnel dans le développement orienté objet
2004 Workflow technology for complex socio-technical systems
2000 Architecture et services pour la distribution de charge dans les systèmes distribués objet
1998 Change impact analysis in object-oriented systems : conceptual model and application to C++
2002 Changeabilité des logiciels orientés objet : propriétés architecturales et indicateurs de qualité
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2001 State abstraction in SDL
1999 Architecture de bibliothèque numérique multi-agents à services extensibles
1993 Expression de la localisation temporelle dans un générateur de texte
1994 Étude sur la planification de texte : application au sous-domaine de la population active
1992 Génération automatique de procédés anaphoriques dans les textes d'assemblage
2002 Le système de question-réponse QUANTUM
2003 Conception d'un modèle de création générique d'agents de médiation
2006 Équilibrage de charge dans un réseau pair-à-pair structuré : une méthode dynamique intégrée
2003 Architecture de communication générique pour un système de bus du commerce électronique
2003 SecAdvise : un aviseur de mécanismes de sécurité
2003 SecAdvise - un aviseur de mécanismes de sécurité : implantation, validation et expérimentation du modèle proposé
2003 Un modèle de validation automatique de mécanismes de sécurisation des communications
2006 Recherches coopératives pour la résolution de problèmes d'optimisation combinatoire
2004 Développement d'un outil générique de simulation distribuée de marchés électroniques basés sur les enchères
2005 Une solution facilitant l'accessibilité et la classification des images Web pour les mal voyants
2024-08 On PI controllers for updating lagrange multipliers in constrained optimization
2020-07 Multi-player games in the era of machine learning
2021-12 Some phenomenological investigations in deep learning
2022-09 Towards meaningful and data-efficient learning : exploring GAN losses, improving few-shot benchmarks, and multimodal video captioning
2024-06 Constrained optimization for machine learning : algorithms and applications
2022-04 Optimization tools for non-asymptotic statistics in exponential families
2021-07 Acceleration and new analysis of convex optimization algorithms
2019-12 Hierarchical Bayesian optimization of targeted motor outputs with spatiotemporal neurostimulation
2020-12 Modeling functional brain activity of human working memory using deep recurrent neural networks
2022-08 Dynamics of learning and generalization in neural networks
2022-09 Inductive biases for efficient information transfer in artificial networks
2022-12 Regroupement de textes avec des approches simples et efficaces exploitant la représentation vectorielle contextuelle SBERT
2022-12 Automatic taxonomy evaluation
2024-02 Evaluating approaches to solving proportional sentence analogies
2005 Projection d'un analyseur grammatical via alignement bilingue de mots
2014-01 Utilisation de représentations de mots pour l’étiquetage de rôles sémantiques suivant FrameNet
2024-03 Sur la génération d'exemples pour réduire le coût d'annotation
2023-08 Méthodes d'évaluation en extraction d'information ouverte
2023-04 Détection de tableaux dans des documents : une étude de TableBank
2023-12 Traitement automatique du langage naturel pour les textes juridiques : prédiction de verdict et exploitation de connaissances du domaine
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2024-02 Génération de données synthétiques pour l'adaptation hors-domaine non-supervisée en réponse aux questions : méthodes basées sur des règles contre réseaux de neurones
2010-08 Déploiement automatique d’une application de routage téléphonique d’une langue source vers une langue cible
2016-06 Coreference resolution with and for Wikipedia
2022-04 Créer un corpus annoté en entités nommées avec Wikipédia et WikiData : de mauvais résultats et du potentiel
2016-03 Amélioration a posteriori de la traduction automatique par métaheuristique
2002 Étude de transformations grammaticales pour l'entraînement de grammaires probabilistes hors-contexte
2020-08 Open source quality control tool for translation memory using artificial intelligence
2020-05 Prediction of Alzheimer's disease and semantic dementia from scene description: toward better language and topic generalization
2020-03 Leveraging distant supervision for improved named entity recognition
2020-03 Un système de question-réponse simple appliqué à SQuAD
2003 Comparaison de deux techniques de décodage pour la traduction probabiliste
2010-08 Moranapho : apprentissage non supervisé de la morphologie d'une langue par généralisation de relations analogiques
2021-11 Utilisation du plongement du domaine pour l’adaptation non supervisée en traduction automatique
2010-08 Traduction statistique par recherche locale
2010-04 Intégration du contexte en traduction statistique à l’aide d’un perceptron à plusieurs couches
2003 Désambiguïsation de corpus monolingues par des approches de type Lesk
2019-04 Empirical study and multi-task learning exploration for neural sequence labeling models
2019-04 Protocoles d'évaluation pour l'extraction d'information libre
2019-08 Comparaison de systèmes de traduction automatique pour la post édition des alertes météorologique d'Environnement Canada
2012-02 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2018-08 Predictive models for career progression
2012-06 L’extraction de phrases en relation de traduction dans Wikipédia
2016-12 Visualisation de données dans le domaine de l’E-recrutement
2013-07 Alignement de phrases parallèles dans des corpus bruités
2021-08 Étude de modèles neuronaux de questions-réponses
2012-07 Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique
2017-07 Induction de lexiques bilingues à partir de corpus comparables et parallèles
2017-12 Extraction de phrases parallèles à partir d’un corpus comparable avec des réseaux de neurones récurrents bidirectionnels
2017-08 WikiGames : une plateforme de jeux dédiée à la validation d’une base de connaissances produite à partir de techniques d’extraction d’information ouverte
2018-07 Apprendre à résoudre des analogies de forme
2021-09 Alzheimer prediction from connected speech extracts : assessment of generalisation to new data
2023-06 Vers la mitigation des biais en traitement neuronal des langues
2021-08 Méthodologies pour la détection de diachronies sémantiques et leurs impacts
2021-11 Job dissatisfaction detection through progress note
2004 Étude de la traduction automatique des bulletins météorologiques
2019-05 Personality extraction through LinkedIn
2004 Modèles de langue en recherche d'information
2013-12 Projection multilingue d'annotations pour dialogues avancés
1993 Synthèse automatique de l'algorithme d'Ibarra, Kim et Palis pour la programmation dynamique
1992 Algorithmes systoliques pour l'analyse syntaxique de langages hors-contextes sur la Connection Machine
2001 Extraction automatique de filtres dans le cadre de la production automatique de résumés
1994 La génération automatique de descriptions de systèmes dynamiques
1991 Un environnement d'expérimentation des grammaires de Montague
2002 Classification automatique de courrier électronique
1989 Un environnement de mise au point de programmes écrits dans un langage fonctionnel à évaluation paresseuse
2000 Génération automatique de résumés par analyse sélective
1996 Génération intégrée de textes et de graphiques statistiques
1998 Sélection de l'information pour la génération d'un texte associé à un graphique statistique
1990 Génération intégrée de textes et de graphiques
1990 Expression de concepts temporels en génération automatique de textes
1991 Détection rapide des erreurs lexicales et syntaxiques en français
1990 Réduction de graphe parallèle et spéculative d'un langage fonctionnel
2008 An anonymizable entity finder in judicial decisions
2013-05 Génération de résumés par abstraction
2004 Résumé automatique de texte arabe
2017-02 Génération automatique de lettres de recrutement
2016-10 Narrative generation by associative network extraction from real-life temporal data
2006 Architecture question-réponse pour l'automatisation des services d'information
2006 Résumé automatique des commentaires de consommateurs
2014-11 Développement et implémentation du jeu des vingt questions
2014-11 L'ingénierie des documents d'affaires dans le cadre du web sémantique
2009 Système symbolique de création de résumés de mise à jour
2012-04 Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
2016-12 Utilisation des citations pour le résumé automatique de la contribution d'articles scientifiques
2014-06 Présentation personnalisée des informations environnementales
2016-04 Développement d’un système d’appariement pour l’e-recrutement
2014-10 Détection d'évènements à partir de Twitter
2004 Une approche CBR textuel de réponse au courrier électronique
2013-09 JSreal : un réalisateur de texte pour la programmation web
2013-09 Représentation OWL de la ressource lexicale LVF et son utilisation dans le traitement automatique de la langue
2004 Extraction d'information à partir de transcription de conversations téléphoniques spécialisées
2004 Résumé automatique de textes juridiques
2004 Adaptation de modèles de traduction dans le cadre du projet TransType
2010-12 Annotation syntaxico-sémantique des actants en corpus spécialisé
1998 Modélisation de langages à classes à l'aide de Proto-Reflex
1997 Réutilisation de méthodes de résolution de problèmes dans les systèmes à base de connaissances
1993 Agents et systèmes, une nécessaire unité
1991 Un environnement de travail pour le langage de programmation ObjVProlog
1990 Conception et implantation d'un langage de programmation intégrant trois paradigmes: la programmation logique, la programmation par objets et la programmation répartie
2023-08 Remote sensing representation learning for a species distribution modeling case study
2023-07 Learned interpreters : structural and learned systematicity in neural networks for program execution
2023-09 Contextual cues for deep learning models of code
2000 Des générateurs récursifs multiples combinés rapides avec des coefficients de la forme ±2p1 ±2p2
2020-01 Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée
1998 Estimation du taux de perte de réseaux ATM via la simulation et le changement de mesure
2000 Générateurs de nombres pseudo-aléatoires utilisant des récurrences linéaires modulo 2
2000 L'utilisation de règles de réseau en simulation comme technique de réduction de la variance
2001 Générateurs pseudo-aléatoires combinant des récurrences linéaires et non linéaires
2021-02 Randomized Quasi-Monte Carlo Methods for Density Estimation and Simulation of Markov Chains
2016-08 Prédiction du délai d'attente en temps réel et modélisation des durées de service dans les centres d'appels multi-compétences
2009 Simulation de centres de contacts
2013-09 Optimisation des horaires des agents et du routage des appels dans les centres d’appels
2015-08 Logiciel de génération de nombres aléatoires dans OpenCL
2008 Modélisation et optimisation d'un centre d'appels téléphoniques : étude du processus d'arrivée
2017-07 Stochastic mesh approximations for dynamic hedging with costs
2005 Conception et implantation d'une bibliothèque pour la simulation de centres de contacts
2019-12 Stochastic optimization of staffing for multiskill call centers
2013-12 Staffing optimization with chance constraints in call centers
1997 Intervalles de confiance bootstrap pour la simulation de processus regénératifs
2002 SSJ : un cadre d'application pour la simulation stochastique en Java
1996 Estimation fonctionnelle dans le cadre de politiques de remplacement dans un système à plusieurs composantes
1994 IcoBase, une interface contextuelle orientée "utilisateur" pour bases de données relationnelles
1991 Teachart, un système tutoriel intelligent basé sur l'utilisation de la logique modale
2023-09 Deep learning algorithms for database-driven peptide search
2022-01 Traitement des données scRNA-seq issues de la technologie Drop-Seq : application à l’étude des réseaux transcriptionnels dans le cancer du sein
2022-02 Apprentissage d'atlas cellulaires par la méthode de Factorized embeddings
2024-08 Enhancing agent learning through world dynamics modeling
2023-08 Low-resource suicide ideation and depression detection with multitask learning and large language models
2022-08 Learning to compare nodes in branch and bound with graph neural networks
2023-06 Data-driven optimization of bus schedules under uncertainties
2000 Gestionnaire de connaissances pour systèmes hybrides objets-règles
2002 Enhancing and evolving a rule-based system using historical data : a neuro-fuzzy approach
1998 Décomposition des systèmes d'information : étude exploratoire des facteurs d'influence
1993 Évaluation de trois méthodes de décomposition de systèmes d'information
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
1993 Contribution au développement d'un environnement pour les objets coopératifs
1989 La puissance de tests d'ajustement avec des données censurées
1989 Énumération et génération d'arbres et d'arborescences binaires sous contraintes
2000 Extraction et intégration des données à partir des pages WEB
2005 Analyse des données d'expression de gènes
2020-12 Modélisation des réseaux de régulation de l’expression des gènes par les microARN
2007 Un dictionnaire pour faciliter la recherche des gènes dans la littérature et sur Internet
1999 Modélisation des boucles dans les protéines
2023-07 La reconnaissance automatique des brins complémentaires : leçons concernant les habiletés des algorithmes d'apprentissage automatique en repliement des acides ribonucléiques
2017-01 Unfolding RNA 3D structures for secondary structure prediction benchmarking
2004 Modélisation tridimensionnelle des ARN par exploration de l'espace conformationnel et satisfaction de contraintes
2001 Modélisation automatisée de la structure 3-D des ARNs
2009-10 A new paradigm for the folding of ribonucleic acids
2014-05 Une signature du polymorphisme structural d’acides ribonucléiques non-codants permettant de comparer leurs niveaux d’activités biochimiques
2000 Définition d'une mesure de compatibilité séquence-structure dans les protéines à l'aide de modèles probabilistes graphiques et de réseaux de neurones artificiels
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
1998-12 Modélisation de la structure 3-D des ARN par satisfaction de contraintes
1997 Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques
2008 Prédiction structurale de biomolécules à l'aide d'une construction d'automates cellulaires simulant la dynamique moléculaire
2001 Sélection d'oligonucléotides pour la fabrication de biopuces d'ADN
2004 Prédiction de la structure commune aux ARN messagers codant pour la protéine STG
2001 Un algorithme génétique pour l'arrimage moléculaire
2005 Les feuillets beta dans les protéines : annotation, comparaison et construction
2005 Prédiction des pré-miARN basée sur la conservation de structure dans les pri-miARN
2002 Recherche de motifs structuraux dans les complexes acides ribonucléiques/protéines
2011-08 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
1999 Étude des environnements de microsimulation économique avec agents partiellement rationnels
1998 Phylogénétique basée sur les cassures du génome
1994 Visualisation d'objets en milieu réflexif : le cas du browser à la Smalltalk-80
1994 Réflexion de comportement et évaluation partielle en prolog
2001 Tarification et conception de réseau en télécommunication
2008 Network pricing problems : complexity, polyhedral study and solution approaches
2018-08 Algorithmic contributions to bilevel location problems with queueing and user equilibrium : exact and semi-exact approaches
2002 Affectation statique et dynamique des usagers dans un réseau de transport avec capacités rigides
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2011-12 Tarification logit dans un réseau
2004 Intégration de la tarification et de l'allocation de la capacité en transport aérien : une approche bi-niveau à grande échelle
2021-08 Reduced collision fingerprints and pairwise molecular comparisons for explainable property prediction using Deep Learning
2018-08 Programmes de branchement catalytiques : algorithmes et applications
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018-04 Le produit direct de fonctions et les programmes de branchement avec oracle
2012-01 Complexité raffinée du problème d'intersection d'automates
2006 Programmes de génération et machines de Turing algébriques
2001 Programmes de branchement restreints pour un problème P-complet
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1990 Complexité, langages hors-contexte et structures algébriques non associatives
2012-11 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2011-04 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2018-05 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2015-04 From Word Embeddings to Large Vocabulary Neural Machine Translation
2001 Réhaussement d'une séquence échographique par filtrage non-linéaire spatio-temporel
2023-01 Analysis of the human corneal shape with machine learning
2003 Atlas numérique tridimensionnel pour le dépistage des chirurgies laser de la cornée humaine
1992 Segmentation et reconstruction tridimensionnelle de coupes histologiques du coeur
1992 Analyse d'images stéréoscopiques basée sur la détermination du flux optique
1993 Reconstruction tridimensionnelle du ventricule gauche à partir de deux projections orthogonales en angiographie biplan
2012-12 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2014-08 Video-based postural sway analysis in a controlled environment
2012-08 Détection des chutes par calcul homographique
2014-12 Video-based analysis of Gait pathologies
1993 Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermination du flux optique
2010-03 Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
1993 Application d'une approche structurelle pour l'évaluation du développement dentaire
2004 Système de vidéosurveillance et de monitoring
2017-01 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
1999 Calibration, rectification et stéréoscopie
2004 Méthode structurelle pour le suivi automatique des artères coronaires en ciné-angiographie
2015-08 Analyse quantifiée de l'asymétrie de la marche par application de Poincaré
2011-12 Analyse de mouvements faciaux à partir d'images vidéo
1999 Extraction de paramètres hémodynamiques par traitement d'images en cinéangiographie
1999 Classification d'images SPECT du cerveau basée sur une analyse de la texture
2024-06 Mobility anomaly detection with intelligent video surveillance
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
2003 3D reconstruction of a catheter path from a single view X-ray sequence
2003 Réalité augmentée en chirurgie : développement d'un pointeur intelligent
2013-04 Détection de chute à l'aide d'une caméra de profondeur
2019-08 Analysis of 3D human gait reconstructed with a depth camera and mirrors
2015-12 Analyse de maillages surfaciques par construction et comparaison de modèles moyens et par décomposition par graphes s’appuyant sur les courbures discrètes : application à l’étude de la cornée humaine
2002 Analyse des champs de déformation pour la classification d'images SPECT 3D du cerveau
2000 Graphes de flot et coupes en restauration bayesienne d'images
1993 Visualisation de données électrophysiologiques dynamiques sur un modèle tridimensionnel du coeur
2009 Reconstruction 3D des artères par imagerie intravasculaire ultrasonore (IVUS) et angiographie monoplan
2003 Atlas numérique spatio-temporel des artères coronaires
1999 Construction et utilisation de modèles anatomiques
1995 Études de bornes inférieures pour le problème d'affectation quadratique
1990 Résolution du problème du sac à dos quadratique en variables binaires par des méthodes lagrangiennes
1996 Automatisation de plans de chargement en transport aérien commercial
2013-09 Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
2018-03 Débruitage d’image par fusion de filtrage spatio-fréquentielle
2023-06 Estimation de cartes d'énergie du bruit apériodique de la marche humaine avec une caméra de profondeur pour la détection de pathologies et modèles légers de détection d'objets saillants basés sur l'opposition de couleurs
2013-12 Reconnaissance des actions humaines à partir d'une séquence vidéo
2017-08 Contributions à la fusion de segmentations et à l’interprétation sémantique d’images
2002 Détection non-supervisée de contours et localisation de formes à l'aide de modèles statistiques
2007 Reconstruction polyédrique de scènes en trois dimensions à partir de cartes de profondeurs
2006 Étude de contraintes spatiales bas niveau appliquées à la vision par ordinateur
2018-05 Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
2008 Évaluation d'un modèle a priori basé sur un seuillage de la TCD en super-résolution et comparaison avec d'autres modèles a priori
2015-08 Détection de mouvement par modèle biologique de fusion de donnée inspiré de la rétine humaine
2014-12 Evaluating perceptual maps of asymmetries for gait symmetry quantification and pathology detection
2021-11 Contributions à la sonification d’image et à la classification de sons
2019-04 Détection de changement en imagerie satellitaire multimodale
2016-04 Estimation de cartes d'énergie de hautes fréquences ou d'irrégularité de périodicité de la marche humaine par caméra de profondeur pour la détection de pathologies
2008 Segmentation non-supervisée d'images couleur par sur-segmentation Markovienne en régions et procédure de regroupement de régions par graphes pondérés
2015-08 Reconnaissance des actions humaines : méthode basée sur la réduction de dimensionnalité par MDS spatio-temporelle
2006 Estimation de paramètres de champs markoviens cachés avec applications à la segmentation d'images et la localisation de formes
2021-07 Une nouvelle approche pour l’identification des états dynamiques de la parcellisation fonctionnelle cérébrale individuelle
2022-08 Segmentation des images radiographiques à rayon-X basée sur la fusion entropique et Reconstruction 3D biplanaire des os basée sur la modélisation statistique non-linéaire
2005 Intégration d'une nouvelle approche sémantique basée sur les caractéristiques visuelles des concepts dans un système de recherche d'images par contenu et par texte
2008 Architecture et filtres pour la détection des chenaux dans la glace de l'océan Arctique
2022-08 Understanding, improving, and generalizing generative models
2019-12 On the bias-variance tradeoff : textbooks need an update
2024-04 Generative models, theory and applications
2024-05 The shifting landscape of data : learning to tame distributional shifts
2021-05 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2017-03 Implémentation d'un langage fonctionnel orienté vers la méta programmation
2023-04 Amélioration des messages d'erreurs Typer par algorithme génétique
2024-05 Quotient Types in Typer
2021-05 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2022-12 Gestion manuelle et sécuritaire de la mémoire en Typer
2022-04 Développement d’un serveur LSP pour Typer
2011-06 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2015-04 Abitbol : un langage sur mesure pour la métaprogrammation
2009-10 A Type-Preserving Compiler from System F to Typed Assembly Language
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2012-05 A Compiler for the dependently typed language Beluga
1990 Minimisation d'entropie pour un système de grande taille
2003 A domain-specific search engine for the construction sector
2006 Modèles de langue appliqués à la recherche d'information contextuelle
2015-11 Relating Dependent Terms in Information Retrieval
2023-08 Automatic symbolic melody generation from lyrics
2016-03 Learning representations for Information Retrieval
2003 Domain-specific question answering system : an application to the construction sector
1993 Indexation syntaxique dans la recherche d'informations
2024-08 Rule-based data augmentation for document-level medical concept extraction
2003 Mémoires de traduction sous-phrastiques
2003 Using domain-specific knowledge to improve information retrieval performance
2006 Feature selection and term weighting beyond word frequency for calls for tenders documents
2015-08 Concept oriented biomedical information retrieval
2004 Compound terms for information retrieval
2015-06 Diversified query expansion
2024-09 The equivalence of contrastive learning and graph convolution in collaborative filtering
2008 Extracting and exploiting word relationships for information retrieval
2008 Recherche d'information translinguistique sur les documents en arabe
2012-04 Apprentissage automatique pour la détection de relations d'affaire
2007 Context-sensitive information retrieval
2022-03 Incorporating health factors into food recommendation : experiments on real-world data from a weight-loss app
1993 Indexation sémantique de documents : application à un corpus technique
1998 Utilisation d'un thésaurus manuel pour la recherche d'information
2010-12 Désambiguisation de sens par modèles de contextes et son application à la Recherche d’Information
2021-07 Dialogue systems based on pre-trained language models
2022-08 Local differentially private mechanisms for text privacy protection
2016-12 Classification automatique de textes pour les revues de littérature mixtes en santé
2000 Parallel text mining for cross-language information retrieval using a statistical translation model
2023-03 Context-aware ranking : from search to dialogue
2001 Filtering parallel texts to improve translation model and cross-language information retrieval
2020-05 VGCN-BERT : augmenting BERT with graph embedding for text classification : application to offensive language detection
2021-12 Tailored deep learning techniques for information retrieval
2002 Expansion de requête dans la recherche d'information : comparaison des ressources et des méthodes
2002 XML-based distributed authoring tool with ontology representing the domain knowledge
2015-08 Theory and numerical integration of subsurface light transport
2021-04 Efficient frequency-space methods for light transport caching
2021-05 Extended distribution effects for realistic appearance and light transport
2019-12 Accurate and efficient strategies for the appearance filtering of complex materials
2014-10 Hessian-based occlusion-aware radiance caching
2014-10 Une approche fréquentielle pratique pour l'échantillonnage adaptatif en espace image
2018-02 Iterative Solvers for Physics-based Simulations and Displays
2015-04 Logarithme d'harmoniques sphériques pour le rendu d'ombres douces de champs de hauteurs et de maillages
2014-08 Flou de mouvement réaliste en temps réel
2017-05 Placement automatique de sondes d’irradiance
2016-12 Étude des techniques d’estimation de densité et du tracé de chemins pour le rendu des milieux participatifs
2016-12 Turbulence de surface pour des simulations de fluides basées sur un système de particules
2011-08 Le rendu en demi-ton avec sensibilité à la structure
2009-12 Rendu d'images en demi-tons par diffusion d'erreur sensible à la structure
2004 Échantillonnage basé sur les Tuiles de Penrose et applications en infographie
2007 Échantillonnage de produits de fonctions
2004 Rendu non-photoréaliste de chevelures
2007 Amélioration de la perception spatiale et émotive d'un environnement virtuel interactif par la gestion cinématographique des prises de vue
2007 Illustration non-photoréaliste de séquences de captures de mouvements
2024-04 Searching for Q*
2020-12 Deep reinforcement learning for multi-modal embodied navigation
2023-07 Conditional generative modeling for images, 3D animations, and video
2019-12 Balancing signals for semi-supervised sequence learning
2024-04 Enhancing factuality and coverage in summarization via referencing key extracted content
2019-09 Real-Time Reinforcement Learning
2019-08 Towards Understanding Generalization in Gradient-Based Meta-Learning
2019-08 Unsupervised representation learning in interactive environments
2019-04 Visual question answering with modules and language modeling
2021-08 On representation learning for generative models of text
2022-12 Reinforcement learning applied to the real world : uncertainty, sample efficiency, and multi-agent coordination
2020-07 Look-ahead meta-learning for continual learning
2021-10 Lifelong topological visual navigation
2024-06 Leveraging foundation models towards semantic world representations for robotics
2019-08 Deep active localization
2023-03 Fear prediction for training robust RL agents
2021-07 Variational aleatoric uncertainty calibration in neural regression
2023-04 Calibrated uncertainty estimation for SLAM
2023-05 Leveraging self-supervision for visual embodied navigation with neuralized potential fields
2021-04 On quantifying the value of simulation for training and evaluating robotic agents
2020-08 Lifelong learning of concepts in CRAFT
2022-01 Differentiable world programs
2020-04 Programming tools for intelligent systems
2020-08 On learning and generalization in unstructured taskspaces
1993 Test generation based on an FSM model with timers and counters
2008 Recherche tabou pour un problème de tournées de véhicules avec une flotte privée et un transporteur externe
1992 Un environnement interactif-graphique pour le développement d'algorithmes de génération automatique d'arbres de décisions
1996 Approches génétiques pour le problème de répartition de véhicules
1993 Affectation de clients dans des routes de véhicules à l'aide de réseaux neuronaux
2016-04 Méthode de recherche à grand voisinage pour un problème de tournées de véhicules avec flotte privée et transporteur externe
2003 Gestion de l'information en temps réel pour un répartiteur de véhicules
2009-04 Une heuristique à grand voisinage pour un problème de confection de tournée pour un seul véhicule avec cueillettes et livraisons et contrainte de chargement
2004 Planification de tournées de véhicules pour le problème de livraison à domicile
2006 Approches heuristiques pour le problème d'ordonnancement de véhicules
2017-12 Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens
2022-03 Résolution d’un problème de collecte et livraison dynamique sur un réseau routier avec temps de parcours variables
2014-02 Problèmes de tournées de véhicules avec contraintes de chargement
2006 Application de la recherche opérationnelle à deux problèmes industriels : ordonnancement d'un laminoir et gestion de barrages hydroélectriques
2008 Étude d'un problème de tournées de véhicules sur les arcs avec contraintes de capacité et coûts de service dépendants du temps
2004 Expansion multi-périodes d'un réseau local de télécommunications
2007 Problèmes de tournées multicritères dans des graphes
2024-02 Metaheuristics for vehicle routing problems : new methods and performance analysis
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
1991 Simulation des prises de décision d'un répartiteur par la programmation mathématique
1995 Neural networks for the vehicle dispatching problem
1997 Texture volumique multi-échelle pour l'affichage de scènes complexes
2014-01 Simulation des fonctions de texture bidirectionnelles
2011-08 Modélisation procédurale par composants
2022-09 Semi-transparent textures based on opaque and transparent texels augmented with a thickness
1999 Représentation hiérarchique de flux lumineux
2022-10 Neural probabilistic path prediction : skipping paths for acceleration
2007 Traitement interactif de plis dans la simulation de tissus
2007 Analyse des espaces de lignes pour la capture de cartes d'environnement
2000 Simplification et morphisme en temps réel de modèles articulés
2000 Construction et utilisation de bloqueurs pour l'accélération des requêtes de visibilité
2010-04 Simulation de flammes interactives en temps réel
2002 Modélisation interactive par points d'objets complexes à partir d'images
2000 Propagation et rendu de feu
2005 Animation interactive de mouvements secondaires par simulation de surfaces élastiques
2004 Utilisation de miroirs dans un système de reconstruction interactif
2018-07 Simulation du transport de neige
1999 Mouvements et interactions de la chevelure par mèches déformables
2006 Rééclairage par génération de cartes de normales en composition vidéo numérique
2018-11 Real-time rendering of cities at night
2012-06 Rendu de matériaux semi-transparents hétérogènes en temps réel
2004 Reconstruction interactive de modèles hiérarchiques par sculpture d'espace
2005 Animation de fluides viscoélastiques à base de particules
2007 Compression de données d'animation acquises par capture de mouvements
1997 Composition automatique d'expressions faciales synthétiques à partir de capture de postures faciales
2005 Rendu interactif de détails de surface par textures 3D semi-transparentes
2015-01 Transformations quasi-conformes de maillages volumiques et applications en infographie
2008 Génération et édition de textures géométriques représentées par des ensembles de points
2012-12 Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
2009-08 Peinture de lumière incidente dans des scènes 3D
1997 Simulation de l'écoulement et de la forme de gouttes sur des surfaces
1998 Excursions en rendu par champ de lumière : champ de visibilité et ré-illumination
1998 Reconstruction interactive de scènes tridimensionnelles à partir d'images
2000 Analyse et synthèse de textures structurelles
1998 Extraction et unification de textures en provenance d'images
1997 Représentation hiérarchique et efficace des sources lumineuses dans le cadre du rendu d'images
2008 Images géométriques de genre arbitraire dans le domaine sphérique
2023-12 Sketch-based interactive shape deformation using shading isophotes
2014-12 Création interactive de mondes virtuels : combiner génération procédurale et contrôle utilisateur intuitif
2023-10 Représentations géométriques de détails fins pour la simulation d’éclairage
2021-09 Tools for fluid simulation control in computer graphics
2017-05 Matrix-based Parameterizations of Skeletal Animated Appearance
2015-09 Photorealistic Surface Rendering with Microfacet Theory
2004 Génération d'ombres floues provenant de sources de lumière surfaciques à l'aide de tampons d'ombre étendus
2021-12 Hybrid and data-driven methods for efficient and realistic particle-based liquid simulations
2014-04 Modélisation procédurale de mondes virtuels par pavage d'occultation
2009-09 Modes de représentation pour l'éclairage en synthèse d'images
2022-01 On the VC-dimension of Tensor Networks
2022-10 Adaptive learning of tensor network structures
2020-08 Estimating the probability of a fleet vehicle accident : a deep learning approach using conditional variational auto-encoders
2023-12 Towards a unified model for speech and language processing
2022-06 Agent abstraction in multi-agent reinforcement learning
2023-09 Predicting stock market trends using time-series classification with dynamic neural networks
2023-08 Toward causal representation and structure learning
2021-10 Towards causal federated learning : a federated approach to learning representations using causal invariance
2022-08 Renormalization group theory, scaling laws and deep learning
2022-06 Problem hierarchies in continual learning
2023-02 On impact of mixing times in continual reinforcement learning
2024-09 Exploring multivariate adaptations of the Lag-Llama univariate time series forecasting approach
2022-09 Improving information subsampling with local inhibition
2022-08 (Out-of-distribution?) : generalization in deep learning
2023-08 Rethinking continual learning approach and study out-of-distribution generalization algorithms
2024-07 Advancing adversarial robustness with feature desensitization and synthesized data
2023-04 Sur l’application de la structure de graphes pour le calcul automatique de nombres de reproduction dans les modèles à compartiments déterministes
2022-08 Generalization in federated learning
2023-11 Neurobiologically-inspired models : exploring behaviour prediction, learning algorithms, and reinforcement learning
2022-04 Parametric Scattering Networks
1993 Tests d'indépendance de deux séries chronologiques multivariées
1992 Contribution à l'analyse des séries chronologiques multivariées
1989 Prévision à court terme de la demande d'électricité à l'aide de modèles de séries chronologiques
2021-04 Estimation de pose 2D par réseau convolutif
2015-07 Multi-view 3D reconstruction using virtual cameras
2002 Construction d'une mosaïque à partir d'une séquence vidéo
2009-12 Calibration de systèmes de caméras et projecteurs dans des applications de création multimédia
2005 Reconstruction volumétrique par l'algorithme du flot maximum dans un graphe
2022-04 Cyclopean optical flow
2007 Reconstruction active et passive en vision par ordinateur
2016-11 Comparing of radial and tangencial geometric for cylindric panorama
2020-11 Introduction à la reconstruction 3D par lumière structurée
2018-08 Scanner 3D à lumière non structurée non synchronisé
2013-02 Reconstruction tridimensionnelle pour projection sur surfaces arbitraires
2005 Calibration de la distorsion radiale
2011-12 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2003 Estimation probabiliste du mouvement de caméra
2007 Reconstruction of the surface of the Sun from stereoscopic images
2023-12 Apprentissage de descripteurs locaux pour l’amélioration des systèmes de SLAM visuel
2004 Une approche globale à l'estimation du mouvement de caméra pour des scènes encombrées
2007 Mise en correspondance active et passive pour la vision par ordinateur multivue
2014-04 Reconstruction active par projection de lumière non structurée
2019-08 Calibrage de caméra fisheye et estimation de la profondeur pour la navigation autonome
2003 Réalité augmentée automatique à partir d'une séquence vidéo et utilisant la stéréoscopie dense
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2002 Reconnaissance de visages à partir de modèles tridimensionnels
2016-12 Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours
2010-06 Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction
2023-08 Few-shot prompt learning for automating model completion
2013-06 Improving automation in model-driven engineering using examples
2022-11 Extraction of UML class diagrams from natural language specifications
2001 Obje[c]t identification using conceptual clustering
2023-07 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
2014-12 Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
2003 Software stability assessment using multiple prediction models
2020-11 Towards using intelligent techniques to assist software specialists in their tasks
2023-07 Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds
2015-03 Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos
2001 Identification des objets dans les applications léguées basée sur les algorithmes génétiques
2018-11 From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
2015-04 Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels
2016-08 Inferring API Usage Patterns and Constraints : a Holistic Approach
2002 001_correct : un environnement de restructuration des programmes objets piloté par la qualité
2024-03 Microservices identification in existing applications using meta-heuristics optimization and machine learning
2018-06 Détection des utilisations à risque d’API : approche basée sur le système immunitaire
2010-11 Modelling software quality : a multidimensional approach
2002 A case-based reasoning diagnosis system for AHU (Air-Handling Unit)
2024-09 Aligning language models to code : exploring efficient, temporal, and preference alignment for code generation
2022-12 Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
2015-07 Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
2007 Évaluation de la qualité des applications web : approche probabiliste
2016-11 Using goal-driven assistants for software visualization
2011-02 Transformation by example
2011-06 Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
2003 Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
2007 Modélisation pour la gestion de modèles
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2014-11 A Mono- and Multi-objective Approach for Recommending Software Refactoring
2010-11 Formulation interactive des requêtes pour l’analyse et la compréhension du code source
2011-08 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2004 Estimation de l'impact du changement dans les programmes à objets
2003 Determination of software quality through a generic model
2004 Estimation de caractéristiques externes de qualité à partir de mesures d'attributs internes : bilan et perspectives
2005 Estimation de la qualité du produit logiciel : réseaux Bayésiens
2007 Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents
2009-07 Développement logiciel par transformation de modèles
2006 Formal checking of web based applications
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2007 Un système d'aide à la visualisation interactive de logiciels
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2010-08 Rétro-ingénierie des diagrammes de séquence par visualisation interactive
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2021-11 Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
2006 Visualisation de la qualité des logiciels de grandes taille
2015-02 A unified framework for the comprehension of software's time dimension
2010-12 Intégration de la visualisation à multiples vues pour le développement du logiciel
2012-06 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2021-05 Pattern-based refactoring in model-driven engineering
2023-10 Optimizing vertical farming : control and scheduling algorithms for enhanced plant growth
2005 Migrating legacy system towards object technology
2018-08 Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
2011-04 Détection de la retransmission sélective sur les réseaux de capteurs
2016-08 Sur l’identification des états produits par une source quantique maximalement décorrélée
2017-12 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2016-08 La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
2015-04 Étude comparative des moyens de paiement
2009-08 Multi-Prover and parallel repetition in non-classical interactive games
2015-04 On Space-Time Trade-Off for Montgomery Multipliers over Finite Fields
1994 Système d'aide multicritère à la décision et hypertexte : une alliance intéressante
1991 Traitement de l'incertitude : une implantation de la théorie de Dempster-Shafer en Smalltalk
1994 Navigation dans les hypertextes : une interface en Smalltalk
1991 Réseaux d'inférence bayesiens dans un hypertexte
2003 Visualization and prediction of spatial deformation using thin-plate splines in the context of scoliosis
2000 Cadre de travail pour la spécification de systèmes avec des chaînes sur un complexe cellulaire
1989 Les opérations booléennes et les arbres binaires de partition de l'espace
2006 Validité d'un modèle QuasiNURBS interpolant des données géométriques incertaines
2010-03 Extension of Wu-Peters bounds to Catmull-Clark and 4-8 subdivision
1989 Simulation et modélisation de capteurs dans un environnement robotique
2013-02 Reliable Solid Modelling Using Subdivision Surfaces
2016-12 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
2008 Reliable computation for geometric models
1994 Visualisation quadridimensionnelle, état des connaissances et visualisation par hypercoupes
1993 Validation symbolique et numérique des solides
2020-12 Adapting modeling environments to domain specific interactions
2020-11 Evolution of domain-specific languages depending on external libraries
2016-09 Using Workflows to Automate Activities in MDE Tools
2021-12 A framework for domain-specific modeling on graph databases
2021-11 Gentleman : a lightweight web-based projectional editor
2018-12 Framework for Real-time collaboration on extensive Data Types using Strong Eventual Consistency
2018-02 ReLiS: un outil flexible pour réaliser des revues systématiques itératives et collaboratives
2022-09 Generating graphical and projectional editors
2017-04 Survey of Template-Based Code Generation
2023-11 Domain-specific differencing and merging of models
2021-03 Extending domain-specific modeling editors with multi-touch interactions
2023-08 Co-simulation for controlled environment agriculture
2022-10 Deep geometric probabilistic models
2023-08 Reasoning with structure : graph neural networks algorithms and applications
2023-12 Towards combining deep learning and statistical relational learning for reasoning on graphs
2024-08 Learning representations for reasoning : generalizing across diverse structures
2023-07 AI for molecule discovery with multi-modal knowledge
2014-09 SAND, un protocole de chiffrement symétrique incompressible à structure simple
2009-07 Preuves interactives quantiques
2014-02 Complexité de la communication sur un canal avec délai
2005 Intrication & non-localité
2020-12 Learning discrete word embeddings to achieve better interpretability and processing efficiency
2020-07 Apprentissage de modèles causaux par réseaux de neurones artificiels
2012-08 Sécurité polynomiale en cryptographie
2014-02 Practical and Foundational Aspects of Secure Computation
2014-04 Privacy in Bitcoin through decentralized mixers
2019-12 Compression in Sequence to Sequence Learning for Natural Language Processing
2006 Preuves interactives classiques
2005 Développement d'une fonction d'évaluation pour le jeu de go
2020-12 Identifying electrons with deep learning methods
2004 Quantum pseudo-telepathy games
2008 Quantum nonlocality, cryptography and complexity
2012-04 From Classical to Quantum Secret Sharing
2020-08 Data-efficient reinforcement learning with self-predictive representations
2020-12 Privacy evaluation of fairness-enhancing pre-processing techniques
2016-08 Learning a graph made of boolean function nodes : a new approach in machine learning
1991 Animation et contrôle de corps articulés rigides à l'aide des lois de la dynamique
1989 Modélisation d'objets filiformes pour la synthèse d'images réalistes
1990 La cinématique inverse comme outil d'animation d'acteurs synthétiques
1990 Structures de données dynamiques pour la représentation de l'information spatiale
1990 Une interface pour la composition de scènes en infographie tridimensionnelle
1990 Modèle de figures articulées pour personnages animés par ordinateur en programmation orientée objet
1991 Un modèle dynamique de simulation de vêtements avec détection de collisions
2023-03 Computational modeling and design of nonlinear mechanical systems and materials
2021-05 Quasi second-order methods for PDE-constrained forward and inverse problems
2021-08 Mechanical characterization of rigid discrete interlocking materials
2020-12 A data-driven discrete elastic rod model for shells and solids
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2004 Modèle transactionnel temporisé pour la coordination de services Web
2008 Indigo : une approche multi-stratégique et adaptative pour un alignement sémantique intégrant le contexte des données à apparier
2003 Galois lattice dynamics
2004 Mining dynamic databases for frequent closed itemsets
2005 Alignement des ontologies OWL-Lite
2008 Intégration des connaissances ontologiques dans la fouille de motifs séquentiels avec application à la personnalisation Web
2008 Extraction de motifs dans la rédaction collaborative sur les Wikis
2004 Mise à jour de la famille des générateurs minimaux des treillis de concepts et des icebergs
2011-06 Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
2004 Association rule mining for query expansion in textual information retrieval
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2005 Collaboration in multi-agent system : contract net and beyond
1992 Méthodologie de programmation d'environnements à objets répartis
1996 Contribution à l'amélioration des modélisations à objets
1990 L'analyse lexicale dans les interfaces en langue naturelle
2001 A simplified Java, J
2004 Domain specific web search
1996 Satisfaction incrémentielle de contraintes par le biais de la réécriture
2003 Planification pour agents dans un environnement dynamique et incertain
2004 Contrôle adaptatif et autoréglage : applications de l'approximation stochastique
2004 Estimation efficace de dérivées dans un réseau de télécommunications
1998 Estimation de la probabilité de ruine et sa dérivée par simulation
2004 Apprentissage par simulation stochastique : étude de convergence et application à un modèle markovien de tarification en transport aérien
2005 S-JET : une nouvelle conception pour la gestion de réservation pour l'architecture des réseaux OBS
2017-08 Factorized second order methods in neural networks
2020-10 Advances in parameterisation, optimisation and pruning of neural networks
2017-08 Learning to sample from noise with deep generative models
2016-08 Détection de mouvements dans des séquences d’images basée sur la dynamique de supraconductivité
2021-08 Large state spaces and self-supervision in reinforcement learning
2013-04 Calcul en n-dimensions sur GPU
2023-08 Finer grained evaluation methods for better understanding of deep neural network representations
2022-09 Autoencoders for natural language semantics
2009-12 Apprentissage de représentations sur-complètes par entraînement d’auto-encodeurs
2013-12 Recognition of Facial Expressions with Autoencoders and Convolutional-Nets
2022-06 Accounting for variance and hyperparameter optimization in machine learning benchmarks
2015-01 Apprentissage d'espaces sémantiques
2009-12 Analyse par apprentissage automatique des réponses fMRI du cortex auditif à des modulations spectro-temporelles
2022-08 Adversarial games in machine learning : challenges and applications
2023-01 Deep networks training and generalization: insights from linearization
2018-12 Feature extraction on faces : from landmark localization to depth estimation
2022-12 Taxonomy of datasets in graph learning : a data-driven approach to improve GNN benchmarking
2004 Protocoles cryptographiques pour la bourse
2004 Réduction du transfert inconscient en d'autres primitives de la théorie de l'information
2004 Cryptage de messages SMS
2010-02 AURA : a hybrid approach to identify framework evolution
2009-12 Un formalisme pour la traçabilité des transformations
1992 Analyses et applications des méthodes de projection sur un sous-espace
1990 Algorithmes pour l'exponentielle d'une matrice avec une estimation de la précision
Nombre de résultats : 1474