Passer au contenu

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

Je donne

Thèses et mémoires

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

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre décroissant Titre Trier par titre en ordre décroissant
2014 Video-based postural sway analysis in a controlled environment
1999 Classification d'images SPECT du cerveau basée sur une analyse de la texture
2015 From Word Embeddings to Large Vocabulary Neural Machine Translation
2018 The limits of Nečiporuk’s method and the power of programs over monoids taken from small varieties of finite monoids
2011 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2012 Automates à contraintes semilinéaires = Automata with a semilinear constraint
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1990 Complexité, langages hors-contexte et structures algébriques non associatives
2001 Programmes de branchement restreints pour un problème P-complet
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
2018 Programmes de branchement catalytiques : algorithmes et applications
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018 Le produit direct de fonctions et les programmes de branchement avec oracle
2006 Programmes de génération et machines de Turing algébriques
2012 Complexité raffinée du problème d'intersection d'automates
2021 Reduced collision fingerprints and pairwise molecular comparisons for explainable property prediction using Deep Learning
2001 Un modèle bi-niveau pour la gestion du revenu en transport aérien
2004 Intégration de la tarification et de l'allocation de la capacité en transport aérien : une approche bi-niveau à grande échelle
2011 Tarification logit dans un réseau
2006 Modèles pour la gestion du revenu dans l'industrie hôtelière
2002 Affectation statique et dynamique des usagers dans un réseau de transport avec capacités rigides
2018 Algorithmic contributions to bilevel location problems with queueing and user equilibrium : exact and semi-exact approaches
2001 Tarification et conception de réseau en télécommunication
2008 Network pricing problems : complexity, polyhedral study and solution approaches
1994 Réflexion de comportement et évaluation partielle en prolog
1994 Visualisation d'objets en milieu réflexif : le cas du browser à la Smalltalk-80
1998 Phylogénétique basée sur les cassures du génome
1999 Étude des environnements de microsimulation économique avec agents partiellement rationnels
2011 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
2005 Prédiction des pré-miARN basée sur la conservation de structure dans les pri-miARN
2004 Modélisation tridimensionnelle des ARN par exploration de l'espace conformationnel et satisfaction de contraintes
2008 Prédiction structurale de biomolécules à l'aide d'une construction d'automates cellulaires simulant la dynamique moléculaire
1997 Propriétés relationnelles tridimensionnelles des structures d'acides nucléiques
2004 Prédiction de la structure commune aux ARN messagers codant pour la protéine STG
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
2020 Modélisation des réseaux de régulation de l’expression des gènes par les microARN
2007 Un dictionnaire pour faciliter la recherche des gènes dans la littérature et sur Internet
1999 Modélisation des boucles dans les protéines
2009 A new paradigm for the folding of ribonucleic acids
1998 Modélisation de la structure 3-D des ARN par satisfaction de contraintes
2001 Sélection d'oligonucléotides pour la fabrication de biopuces d'ADN
2001 Modélisation automatisée de la structure 3-D des ARNs
2001 Un algorithme génétique pour l'arrimage moléculaire
2002 Recherche de motifs structuraux dans les complexes acides ribonucléiques/protéines
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
2005 Analyse des données d'expression de gènes
2005 Les feuillets beta dans les protéines : annotation, comparaison et construction
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
2014 Une signature du polymorphisme structural d’acides ribonucléiques non-codants permettant de comparer leurs niveaux d’activités biochimiques
Nombre de résultats : 1513