Passer au contenu

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

Je donne

Rechercher

Thèses et mémoires

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

 

 

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