Passer au contenu

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

Je donne


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