Mémoires de maîtrise univ. (master) / diplôme · 2020. 3. 17. · Bibliothèque d’Informatique (CUI) Battelle, Bât.7 Route de Drize 7- CH-1227 CAROUGE Tél. 022 379 07 70 -

Bibliothèque d’Informatique (CUI) Battelle, Bât.7 Route de Drize 7- CH-1227 CAROUGE Tél. 022 379 07 70 - Fax 022 379 07 71 www.unige.ch/biblio/sciences

1 02.2020

Mémoires de maîtrise univ. (master) / diplôme ABDERRAHIM, Jamaa. - Interface graphique d'un système d'information pour la veille stratégique, 1997 CUITD 294 ABEGG, Christian. - Analyse du confort de conduite dans les transports publics, 2013 CUITD 362 AL-ADHADH, Ali. – Sécurisation de la communication des données visuelles sur téléphone mobile, 2007 CUITD 273 ALDAZ CORRALES, Jayro Renato - Modélisation numérique 3D d'un tissu épithélial, 2017 CUITD 423 AMIGUET, Ludovic. – Déformations géométriques du visage pour le vieillissement, 2000 CUITD 222 AMJAD, Aun. - Research & empirical assignments at Mars Inc. – 2003 CUITD 190 ANNEN, Florian. – GIFT : modélisation et propositions d’évolution, 2003 CUITD 117 APPEL, Ron. – Editeur de graphes avec texte associé, 1983 CUITD 3 ARAPIS, Constantin. – Implantation du prototype de spécification d’applications, 1985 CUITD 119 ARRIS, Latifa. - Placement spatial dans les interfaces 3D : un modèle de gestionnaires de placement, 2006 CUITD 266 ATIFI, El Mustapha El. - Vers des interfaces 3D de visualisation des bases de connaissance, 2003 CUITD 192 AUBORD, A. – Générateur automatique de programmes pour l’E.A.O., 1988 CUITD 12 AZIMZADEH, Shahla. – Conversion d’une application mono-utilisateur en une application multi-utilisateurs, 1989 CUITD 23

http://www.unige.ch/biblio/sciences


2 02.2020

BADOR, Geneviève. - Collecte et sélection de l'information : conception d'une méthode de sélection de l'information sur les réfugiés, 1996 CUITD 227 BAERTSCHIGER, Didier. – Multi-processing template library, 2006 CUITD 195 BAGGI, Yves. – Procédé de planification en cellules urbaines, 1996 CUITD 378 BAH, Thierno Madiou. – Réduction des effets d’ombres sur des images par les méthodes Retinex et de constance des couleurs, 2007 CUITD 269 BAKER, Matthew. - Développement d'un système pour organiser les abonnements de périodiques, 2012 CUITD 433 BAKIR, Saad. – MEHDINET : études et réalisation de réseaux de neurones artificiels, avec une interface X11/Motif, pour la classification de gels d’électrophorèse bidimensionnelle, 1991 CUITD 63 BALADI, Viviane. – Calcul formel dans Q appliqué aux développements de Puiseux, 1986 CUITD 11 BAPST, Roland. – Pascal-S-objet, 1989 CUITD 18 BARBA G., José L. – UniGe smart card system : modelling and system integration of the Java smart card micro-technology applicable to the students of the University of Geneva, 2004 CUITD 144 BARRELET, Nicolas-Olivier. – Primitives de créations et suppressions de la nouvelle base de données financières du CERN, 1985 CUITD 31 BARRERO M., Luis Marcél. – The E-Mail’s Big Brother (EMBB), 1996 CUITD 136 BASILICO, E. – Développement croisé de systèmes réactifs, 2001 CUITD 108 BAZARGAN, Kaveh. - Le rôle des ontologies de domaine dans la conception des interfaces de navigation pour des collections en ligne des musées : évaluations et proposition, 2004 CUITD 265



3 02.2020

BEGUIN, Arnaud. - Accessibilité des outils de navigation sur téléphone mobile Android pour utilisateur non-voyant, 2012 CUITD 359 BENAMAR, Nadia. - Pearlton S.A., 1991 CUITD 279 BENGUI, Salomon. – La mise en page, 1980 CUITD 1 BENHATTAT, Tarik. – Analysis & implementation of Cascade 2 in SNNS, 1996 CUITD 379 BENMACHICHE, Karim. – Moforp : un outil d’interprétation et visualisation de résultats d’investigations sur téléphones portables CUITD 201 BENNOUR, Ouahib. – MIRUG : moteur d’indexation et de recherche de l’Université de Genève, 1997/98 CUITD 91 BENOIT, Raphaël. – Employee Inquiry System (EPIS : conception d’une base de données relationnelle), 1990 CUITD 56 BERGER, Alexandre-Quentin. - Effect of selfish behaviour in different network topologies: graph oriented approach and simulations, 2019 CUITD 448 BERNARDO, José. – Catégorisation fonctionnelle des protéines de la banque de données SWISS-PROT par des méthodes de Data-Mining, 2001 CUITD 110 BOBILLIER, Michel. – Définition d’une architecture d’ordinateur CUITD 37 BOKSENBAUM, Jennifer. - Introduction de la contrainte de spécialisation comme un objet du noyau du SGBD OO Farandole 2, 1994 CUITD 208 BOLOGNA, Silvio. - Conception et réalisation des systèmes d'abonnement externe et interne au Centre d'Adressage du CERN, 1991 CUITD 280 BONNEFOY-CLAUDET, Lydie. - Technologie informatique et créativité : effet sur l'individu et les idées générées de l'utilisation de GSS pour supporter le processus créatif, 2002 CUITD 425 BORELLA, Cédric. - Modélisation et prototypage en Smalltalk de la gestion des commandes et factures à l'hopital cantonal, 1993

CUITD 251



4 02.2020

BOST, Jean-Marc. - Acquisition et structuration de la connaissance pour la construction d'un système expert modulaire : application au projet MELANIE, 1987 CUITD 369 BOUCHERON, Pierre-Luc. – EM2/MODUL : un outil d’évaluation de la qualité inter-modulaire, 1988 CUITD 41 BOUNIF, Hassina. – Moteur d’indexation pour les bases documentaires, 2001 CUITD 125 BOUZERDA, Abdelkarim. – ShopInTheBox, 2001 CUITD 124 BREITENSTEIN, Cyril. - "NFC : business model issues in Switzerland ?", 2013

CUITD 361 BRUN, Agnès. - Veille et processus d'innovation : les apports de la veille usages [sic] au sein d'un laboratoire de créativité, 2006 CUITD 430 BRERO, Massimo. - Système de visualisation, d'annotation et de transcription des manuscrits numérisés de Ferdinand de Saussure, 2013

CUITD 363 BUCHI, Markus. – Labo Image : conception et réalisation d’un logiciel de morphologie mathématique binaire, 1987 CUITD 39 BUFFO, Mathieu Jacques. – Rosa, 1992 CUITD 69 BUI, Minh Tu Diem. – Elaboration et intégration des spécifications de workflow coopératif dans la conception des systèmes d’information, 2000 CUITD 246 BUISSON, Jean-François. – Sécurité et contrôle d’accès sur des objets distribués, 1999 CUITD 101 BULOZ, Didier. – Première mise en place des hyperclasses dans un système de gestion de bases de données commercialisé, 2000 CUITD 105 BURDET, Xavier. – Etude des noyaux de systèmes en langage de haut niveau, 1983 CUITD 33 BUTOR, Irène. – Panier d’achats multi-serveurs = Multi-purpose Internet shopping basket (MIShoBA), 1998 CUITD 123



5 02.2020

CADORET, Stéphanie. - Les différentes étapes de l'élaboration d'un infocentre : validation expérimentale au sein de la société SOMFY, 1994 CUITD 209 CALDERON YAKSIC, Vladimir Omar. – J-RAF : the Java resource accounting facility, 2002 CUITD 113 CAMARA, Damantang. - Etude des stratégies optimales pour l'exploration des données de meetings, 2006 CUITD 198 CAMARA, Sidiki. – Conception et implémentation d’une interface graphique utilisateur pour le prototype DAQ d’Atlas en expérimentation au CERN, 1999 CUITD 102 CAMPELO, Roberto. – Collection guiding, 2004 CUITD 219 CHABAN KABAKIBO, Oussama. – Mécanismes de paiement électronique pour les flux de données audio et vidéo, 1999 CUITD 243 CHABANEL, Sébastien. – Le tableur et l'aide à la décision, 2002 CUTID 388 CHACHKOV, Stanislav. – Extension de Java avec des méta-classes pour l’implémentation de méta-agents mobiles, 1998 CUITD 93 CHAMBORDON, Damien. - Le portfolio numérique en milieu scolaire : intégration d'un outil d'apprentissage issu des TICE, 2011 CUITD 355 CHAPPUIS, Gregory. - Elaboration d'une timeline applicative, 2012 CUITD 360 CHARBONNIER, Yvan. – A bus tour : data transfer in personal computers, 2002 CUITD 127 CHAZE, Ludivine. – Impact des systèmes d’informations inter organisationnels sur la performance du supply chain management, 2003 CUITD 346 CHEN, Ao. - Etude de l'intégration d'un composant de système d'information dans un système d'information, 2006 CUITD 427 CHÊNES, Christophe. - Highlights detection in film scenes based on physiological linkage, 2011 CUITD 357



6 02.2020

CHERBULIEZ, Michel. – Content-based image querying, 1997 CUITD 241 CHIABAUT, Gérard. - Processus d'évaluation économique des systèmes d'information : le cas de l'investissement et du patrimoine, 1994 CUITD 211 CHRISTOPHI, C. – Réalisation d’outils informatiques dans le domaine financier, 1991 CUITD 62 CLERC, David. – A framework for the flexible and robust management of PC clusters, 1998 CUITD 157 COHEN, Gilles. - Vues hypertextes actives, 1997 CUITD 296 COMUNALE, Stefano. - Système d'information orienté client et conception de l'organisation, 1996-1997 CUITD 226 CONSTANTINO, Samuel. - Data visualization in 3D city models : an environment for user evaluation, 2015 CUITD 365 CORNUZ, Joël. - Intégration et cyber-administration : une nécessité inatteignable ?, 2004-2005 CUITD 327 CORONADO, Fernando. – Implantation des règles d’intégrité dans le SGBD PIREE, 1985 CUITD 15 CORRE, Jean-Yves. – Etude et amélioration d’un programme de classification automatique d’image de gels d’électrophorèse bidimensionnelle, 1991 CUITD 67



7 02.2020

DAEHNE, Peter. – Gestionnaire d’objets pour un environnement de programmation Modula-2, 1986 CUITD 132 DECREVEL, Nicolas. – Base d’archives FRAMO : développement d’une base d’articles en sciences humaines (littérature) autour d’une modélisation de la référence bibliographique, 2005 CUITD 145 DALI, Nadia. – LDAP applications management, 2001 CUITD 126 DAVIS, Jeremy. – Body-driven music effect controller : « bio-controller », 2010 CUITD 343 DEFAGO, Nicolas. – Operational risk management (ORM) : managing operational risks & ORM through an ISO 15504 inspired process, 2005-2006 CUITD 197 DE FRANCESCO, Massimo. – Raisonnement causal et domaines mal définis : application à un système expert d’aide au diagnostic médical, 1988 CUITD 370 DE GIACOMI, André. – Structures d’indexation efficaces pour archivage/recherche dans des bases de données multimedia, 1998 CUITD 242 DEWAELE, Thomas. - Banknote authentication on mobile phones, 2015 CUITD 422 DI GIUSEPPE, Nunzio. – Employee Inquiry System (EPIS : conception d’une base de données relationnelle), 1990 CUITD 56 DI MARZO, Giovanna A. – ACCESS (AlgebraiC Concurrent Events for System Specification): un formalisme de spécification intégrant la vraie concurrence, 1994 CUITD 121 DIAS ALVES, Ana Cristina. - Mise à jour des bases de données à partir de vues hypertextes, 1996 CUITD 231 DO, Hoang Long. – Intégration d’un composant de système d’information dans un autre composant au niveau statique, 2003 CUITD 148 DOBOSZ, Kamil. - Impact de la météo sur la fréquentation des transports publics : une analyse statistique, 2018 CUITD 444



8 02.2020

DONNET-CHANDRAN, Shona. – Implantation d'un système de résolution, 1991 CUITD 373 DUFRENE, Martine. – Extension du crossassembleur DGC sur UNIVAC 1108 pour mini-ordinateur NOVA, 1976 CUITD 2 DUPUIS, Alexandre. – Simulateur micro-cellulaire parallèle de trafic routier urbain et application à la Ville de Genève, 1997 CUITD 85 DUPUY, Sophie. – Classification, instanciation, 1997 CUITD 350 DUCRY, Emmanuel. - Politique informatique et informatisation de l'administration à Genève (1957-1995), 2000 CUITD 432 DURANTE, Ernesto. - La dynamique des réseaux de neurones, 1992 CUITD 450 ECHEVERRIA, Marcelo. – Communication dicom sécurisée, 2001

CUITD 247 EDWARDS, Pascal. – Etude de réseaux neuronaux par des méthodes de statistique exploratoire, 1996

CUITD 80 EGGER, Lionel. – Termoopolium scene : a case-study for real-time, 2002

CUITD 115 ELO, Sara. – A parallel genetic algorithm on the connection machine : "Elo - the EvoLutionary Optimizer", 1992 CUITD 376 EMIYAN, Stéphane. – Tapis d’éveil augmenté CUITD 193 ESAKI-DEBERNARDI, Isabelle. - Modélisation et prototypage en Smalltalk de la gestion des commandes et factures à l'hôpital cantonal, 1993

CUITD 251



9 02.2020

FAKHERI, Ali. - Ad-hoc network applications : a comparative study of wireless technologies and development of decentralized applications, 2013 CUITD 440 FATTOUH, Wassim. – Mesures de performance des systèmes de partage de fichiers NFS et DFS, 1996 CUTID 81 FAUNDEZ Alexandre. - Gestion et contrôle de l'information numérique dans un contexte de dissémination à travers un site web : le cas de unctad.org : comment et pourquoi la CNUCED s'est dotée d'un CMS, 2003 CUITD 344 FERREIRA Filho, Hélio Raymundo. – Supply Chain Management : une nouvelle approche pour des systèmes d'information intégrés, 2000 CUITD 386 FIGUET, Gilles. – EM2/SPECIF : un outil de spécification et de prototypage d’applications interactives, 1989 CUITD 135 FISCHER, Florian Johannes. – Serveur d’imprimante comme agent de EAN, 1988 CUITD 13 Flores Ruiz, Victor Andrés. - Reengineering et activités coopératives informatisées, 1997 CUITD 295 FONJALLAZ, A. Gloria. – Réalisation de procédures graphiques standards pour le PASCAL, 1978

CUITD 8 FONTAINE, Flavien. - Comportement des PME françaises en matière d'adoption et d'utilisation de progiciels de type ERP, 2006-2007 CUITD 272 FRANCEY, Rodolphe. - Pearlton S.A., 1991 CUITD 279 FRANCK, Caroline. - Recommendations based on a three-layer, user centered research approach, for a national, patient-focused health portal in Switzerland, xxxx CUITD 447 FUENTES, Edelmiro. - Adaptation du logiciel F2 à la gestion de plusieurs clients en parallèle, 1994 CUITD 212 FUMEX, François. - Comment l'outil permet-il d'accéder aux savoirs dans un réseau ouvert à tous, 1994 CUITD 213



10 02.2020

FUNK, Matthieu. – Création d’un logiciel de base pour la manipulation d’images de type matriciel, 1982

CUITD 44 GARCIA, L. – Deco SA : démarche d’informatisation au sein d’une entreprise de décolletage, 1991

CUITD 51 GARRINI, Catherine de. - Qualification et reconstruction de formes géométriques simples, 1993 CUITD 451 GAUXACHS, José Juan. – Interface pour la gestion des bureaux du CUI, 1999 CUITD 99 GIRARD, Christian. – Conception et réalisation d’un logiciel modulaire et portable de segmentation d’images à niveau de gris, 1989 CUITD 47 GLITHO, Roch. – Arithmétique matricielle en P+ CUITD 17 GLÜCK, Florent. – HiMac : une nouvelle architecture pour l’OCR, 2000 CUITD 107



11 02.2020

GNINKOUN, Gabin. - Automatic detection of violent scenes in movies based on content analysis, 2011 CUITD 358 GONZENBACH, Martin. – Application of artificial neural networks to the automatic classification of volcanic earthquakes, 1998 CUITD 383 GOROKHOVA, Natalia. – L’e-gouvernement : concepts, enjeux et entraves pour les pays en développement, 2006 CUITD 199 GOUET, Lucile ; PHUNG, Kelly. - Assessment of the implementation of business applications within two international companies : case studes : Business Intelligence & Software-as-a-Service, 2014 CUITD 442 GRANDJEAN, Ralf-Arnaud. - Does the interaction between employees and information systems have an impact on the customer's satisfaction?, 2013 CUITD 439 GRASSET, Alexandre. - Conception fractale de la gestion de projets et de son système d'information, 1994 CUITD 214 GRAVEY, Gérard. – Système de pré-traitement de données pour les réseaux multicouches à rétro-propagation de l'erreur, 1999 CUITD 384 GROTE, Marcus. – Analyse et simulation d’un modèle mathématique d’un système écologique : la tordeuse des bourgeons de l’épinette, 1990 CUITD 372 GUIZZI, Ludovic. – Test d'une méthode d'aide à la réflexion collective sur les idées de développement, 2001 CUITD 387 GUYOT, Jacques – TMUX80, 1980 CUITD 140



12 02.2020

HABACHI, Arash. – Plate-forme pour la visualisation rapide de vidéos, 2005 CUITD 143 HAMADI, Nabil. - Ré-ingénierie des systèmes d'information : modèle de données de contrôles des habitants : cas de la ville de Lausanne, 2006-2007 CUITD 339 HAMDAN, Sara. – Analyse et extraction d’attributs d’images de textures, 1993 CUITD 74 HÄMMERLI, Rémi. – Logiciel de contrôle d’une orthèse pour myopathes, 1999 CUITD 97 HAMMOUYA, Messaoud. - La statistique publique : des données aux connaissances : la problématique de la gestion des connaissances dans les organismes nationaux et internationaux de statistique publique, 2002 CUITD 186 HARTH, Eric. – Plate-forme de sonification dynamique de pages Web pour aveugles et malvoyants, 1999 CUITD 100 HERDA, Lorna. – Creation of a regulation module in the context of airline crew rostering perturbations, 1997 CUITD 83 HEUBERGER, Joris. – Descripteur sémantique pour l’indexation de vidéos : détection de visages, 2004 CUITD 248 HOFER, Joël. - Gestion de la synchronisation des mises à jour manuelles concurrentes dans un système de planification fortement contraint : application dans le cadre de la planification des horaires à l'aide de la méthodologie des bandes horaires au CEC Madame de Staël, 2006 CUITD 194 HU, Ziping. – Speedup of algorithms by using the connection machine through a network, 1993 CUITD 75



13 02.2020

IBRAHIM, Bertrand. – Réalisation d’un terminal simulant un Superbee sans partie mécanique, 1977 CUITD 131 IMERI, Adnan. - Design and development of technical components for service management in compliance with legal framework, 2016 CUITD 443 IQUISE, Victor. – Watermarking attacks and image quality metrics, 2000 CUITD 106 JACOT-DESCOMBES, Alain. – Laboratoire Image Développement d’un environnement convivial pour le traitement interactif et automatique d’images, 1988 CUITD 42 JADIR, Lina Al. – Système hiérarchisé de contraintes, 1990 CUITD 49 JAOUA, Khaled. - P.O.E.T. à travers les concepts objets et les caractéristiques des S.G.B.D.O., 1994 CUITD 224 JAY, Laurent-Olivier. – Construction d’une solution continue pour une méthode d’extrapolation : théorie et pratique, 1990 CUITD 50 JELMINI, Carlo. – DEVA : un modèle d’annotation flexible pour les collections de documents visuels, 2002 CUITD 221 JIANG, Wei. – Projet MIRUG : moteur d’indexation et de recherche de l’Université de Genève, 1998 CUITD 94 JORDAN, Patrick. - Long-term usage of interaction log in content-based retrieval systems via LSI, 2006 CUITD 200 JOST, Sandrine. - Etudes des structures probabilistes des arbres de stockage m-aires, 1994 CUITD 431



14 02.2020

KANE, Mohamed E.M. – Comptabilisation du trafic réseau avec visualisation sur le Web, 1996 CUITD 137 KAWTAR, Retmi. - MyGuardian : pervasive guardian service for elderly with cognitive impairment, 2012 CUITD 438 KHATTOU, Nadia. – Modélisation du Web et algorithmes de classification des pages web, 2009 CUITD 342 KHEDHAOURIA, Anis. – La resolution créative de problems en gestion : integration de la théorie TRIZ, 2003

CUITD 426 KICIMAN, Aytug. – Grammed : a generic grammar editor for graph-based visual languages, 1997 CUITD 84 KNOLL, Jean. – Système de gestion des interventions d’une société de services, 1981 CUITD 28 KRIAA, Salima. - Animation de la veille stratégique : approche conceptuelle et proposition d'éléments pour la formation des animateurs, 2001-2002 CUITD 313 KRÜZSELY, Attila. – Suivi d’objet basé sur la couleur dans une séquence d’images, 1996 CUITD 61 KUFFER, Jean-Marc. – Simulation d'un système, 1998

CUITD 381 KUHNI, Christiane. – Computer aided instruction programs, 1985 CUITD 52 KUN, Michel. – Optimisation de l’accès aux disques pour les CDC 6000 installés au CERN, 1977 CUITD 7



15 02.2020

LAGHOUTIS, Jeannine. – Extension du système SPIDO-78 : génération de code et exécution copie d’organigramme, 1981 CUITD 9 LAGRAVA SANDOVAL, Walter Daniel. – Access to satellite image metadata on the grid, 2006 CUITD 203 LAI-BUI, Phuong-Mai. – Analyse sémantique du langage d’interrogation L1 de Farandole, 1989 CUITD 46 LAMBERT, Jacques. – Editeur transactionnel, 1981 CUITD 6 LAMIELLE, Xavier. - Un cadre de référence pour la gestion de développement distribué. 2007 CUITD 428 LAMY, Charlotte. - Classification, instanciation, 1997 CUITD 350 LASKOWSKI, Michel. - Optimising interaction in multimedia content description processes using structured knowledge, 2006 CUITD 202 LE DINH, Thang. - Mapping specifications of M7 object oriented method into xBASE's relational databases, 1994-1995 CUITD 179 LENZI, Daniel. – Le langage D++ ou l’héritage D++ynamique de tâches, 1992 CUITD 90 LETAIEF, Rafik. - Processus d'interaction et performance des équipes virtuelles : cas du projet Hk-NET, 2001-2002 CUITD 314 LEVY URQUIDI, Juan Pablo. – Génération de code pour le compilateur Pascal-S, 1989 CUITD 19 LEX, Sandro. – Le traitement des exceptions dans les compositions de services Web, 2007 CUITD 271 LIGIER, Yves. – Conception et implantation de logiciel portable pour la manipulation de modules objets, 1982 CUITD 4 LORENZ, Luc. – Etude et réalisation d’une interface graphique pour un système expert, 1984 CUITD 16



16 02.2020

LOUCHNIKOVA, Tatiana. - Segmentation d’images hiérarchique et interactive pour la recherche par le contenu, 2001 CUITD 111 LUTZ, René W. – Conception et réalisation d’outils interactifs pour l’enseignement du graphisme et du traitement d’images, 1988 CUITD 40 LUU, Huong Tram Hong. – Un système de gestion de règles d’intégrité au niveau conceptuel, 1999-2000 CUITD 245



17 02.2020

MAHE, Sylvain. – Des collecticiels à la construction concourante de bases de connaissances, 1994 CUITD 374 MAILLET-CONTOZ, Laurent. – Définition et mise à jour de vues composites dans un S.G.B.D. objet, 1994 CUITD 375 MARCULESCU, Andrei. – Etude de la pertinence des agents chez Rolex, 2005 CUITD 151 MARTIN, Marc. – SPIP : Search Picture in Picture, 1995 CUITD 78 MARTIN, Miguel. - Biometric authentication using human brain activity, 2011 CUITD 354 MASSELOT, Alexandre. – Massively parallel computations : an approach to a new numerical model for snow transport by wind, 1994 CUITD 77 MAZY, Cyril. – GAMBAS : Générateur Automatique de Métaprogrammes Basés sur la Syntaxe, 19??

CUITD 368 MEETOO, Ashvin. – MPEG-4 facial animation generator : programming extension in VC++, 2002 CUITD 114 MENIF, Samia. – Impact du comportement des traqueurs sur la veille stratégique, 2000 CUITD 349 METRAL, Claudine. – MINOS : système d’exploitation mono-utilisateur écrit en Modula-2, 1983 CUITD 34 MONTEIRO, Daniel Gualdino. – Etude, spécification et implantation sur machine répartie d’un système modulaire de vision, 1993 CUITD 120 MORABITO, Angèle. – Affinement d'une base de règles par un réseau de neurones, 1998 CUITD 382 MORALES, Mauricio. - Modélisation d'objets à caractéristiques spatiales, 1994 CUITD 223 MOREL, Jérémy. - Vivarium : vulgarisation des mécanismes de l'intelligence artificielle par l'exemple, 2018 CUITD 435



18 02.2020

MOTTAZ, Claire-Lise. - Un modèle pour la construction collective de connaissance terminologique multi-point de vue, 2004 CUITD 260 MUHUGUSA, Murhimanya. – OsCom : un environnement d’exécution parallèle des processus communiquant sur Transputer, 1991 CUITD 59 MUNJIN, Dejan. - Déploiement d’applications Java ME, 2007

CUITD 268 NAGY GAUXACHS, Romanita. – Commerce électronique : conception et réalisation d’une base de droits d’auteur avec notification, 2000 CUITD 104 NARBEL, Ph. – Perception des formes : que faire de toutes ces lueurs, de toutes ces ombres ? Oui, qu’en faire ?, 1988 CUITD 43 NCHINDA, Felicia. - Doing business on the net, 1996 CUITD 225 NEIRA PARRA, Diva Patricia. - SGBDOO extensible : comment faire la spécialisation sans faire de l'héritage, 1997 CUITD 298 NEUSCHWANDER, Guy. – Exécution de code natif dans l’environnement MOS, 1996 CUITD 141 NGUYEN, Duc Hung. – Génération automatique de diagrammes syntaxiques, 1982 CUITD 45 NOTO, Eugenio. - La complexité de l'énergie dans les circuits logiques, 2011 CUITD 356 ORGLMEISTER, Gunthard. - Vue hypertexte d'une base de données, 1994-1995 CUITD 254



19 02.2020

PABOU-M’Baki, Bunggu Ghoma. – Le rôle d'internet dans le processus d'intelligence stratégique collective, 2000 CUITD 385 PANDEL, Gilles. – D’autres synapses, 1990 CUITD 58 PAPADIMITRIOU. – Gestion de stock dans une industrie, 1988 CUITD 36 PAPATHOMAS, Michael. – Fichiers transposés et langage d’interrogation dans le SGBD PIREE, 1984 CUITD 32 PARCHET, Olivier. – Le cycle de vie du système d’information sous l’angle de la planification, 1993 CUITD 347 PASCHE, Pierre. – Implémentation des adresses ATM dans le cadre de DNS, 1996 CUITD 60 PAWLAk, Michel. - Modèle de découplage entre la couche de transport et la couche applicative, 2003 CUITD 189 PEREZ, Javier. – Un serveur d'informations pour les étudiants de la faculté des Sciences économiques et sociales : faisabilité technique et perspective de succès, 1992

CUITD 429 PERRUCHOUD, Daniel. - Un management information system pour SAPAL S.A., 1996 CUITD 238 PESSINA, Raúl. - Tourner la page à l'ère du numérique : du livre électronique à l'édition en ligne, 2003 CUITD 345 PHUNG, Kelly ; GOUET, Lucile. - Assessment of the implementation of business applications within two international companies : case studes : Business Intelligence & Software-as-a-Service, 2014 CUITD 442 PILIOURA, Thomi. – The impact of electronic commerce on business processes, 1998 CUITD 154 PILLET, Jean-Luc. - Etudes de modélisations avec l'outil Analyst, 1993 CUITD 250 PINNAGODA, Sujiva. – Etude et détection des propriétés non-accidentelles, 1991 CUITD 57 PIRKL, Werner. – DOC : éditeur spécialisé pour la structuration de textes, 1979 CUITD 24



20 02.2020

POSKRIAKOV, Sergei. - Humanoid balance control : a comprehensive review, 2006 CUITD 196 PREVEL, Michel. - L'utilisation professionnelle de la messagerie électronique : analyse théorique et étude de deux cas en entreprise, 1991 CUITD 204 PREVEL-VRIENS, Pascale. - L'utilisation professionnelle de la messagerie électronique : analyse théorique et étude de deux cas en entreprise, 1991 CUITD 204 QUEILLE, Denis. – Un système d’acquisition d’images astronomiques par CCD, 199 ? CUITD 73 QUELOZ, Pierre-Antoine. – Modèle de trafic routier et simulateur massivement parallèle, 1995 CUITD 79 QUENNOZ, Lauent. – Etude et réalisation du logiciel pour le terminal graphique « perigraph », 1976 CUITD 24 RACLOZ, Pascal. – EM2/SPECIF : les réseaux de Pétri objets : un outil de spécification et de prototypage de logiciels, 1989 CUITD 134 RACORDON, Dimitri. - Model cheking of gamma programs with algebraic nets, 2013 CUITD 364 RAKI, Jilali. – Utilisation d’un protocole de communication et d’une structure de fichier inversé pour la recherche dans une base de données d’images, 1999 CUITD 98 RAUBER, Christian. – La transformée de Gabor et ses applications, 1989 CUITD 54 RAZAKANIRINA, Ranaivo Mahaleo. – Cellular automata over graph applied on financial and goods flows simulation, 2008 CUITD 274 REGAMEY, Michel. – Utilisation de modèles électromagnétiques pour l’étude de la vision «bas-niveau», 1989/90

CUITD 20



21 02.2020

RICHARD, Valentin. - ThingBook : le réseau social des objets connectés, 2015 CUITD 366 RICHOZ, David. – Représentation non visuelle de scènes graphiques, 2001 CUITD 112 RION, Blaise. – Gestion de l’organisation et des postes, 2013 CUITD 434 RIVERA CAMACHO, Ernesto A. – Data-hiding in text : towards smart documents, 2004 CUITD 220 ROCH, Christian. – Implantation en langage C de l’algorithme de classification conceptuelle de Michalski et Stepp, appliqué à la classification des gels d’électrophorèse bidimensionnelle, 1986 CUITD 30 ROFES, Douglas. – Influence du nombre de tâches mentales sur les performances d’une interface cerveau-ordinateur, 2005 CUITD 146 ROHR, Patrick Jean. – Un framework pour management et diagnostique non-complice basé sur l’analyse de la trace des événements, 1997 CUITD 89 ROSSET, Gilles. – Système de visualisation stéréoscopique interactif de données volumiques, 2005 CUITD 267 ROTH, Patrick. – Interface Web pour non-voyants, 1997 CUITD 88 ROUX, Jean-Bernard. – Implantation des concepts du langage graphique MIRA et MODULA-2, 1983 CUITD 35 RUFI, Jean-Michel. – (Lecture de cassette en interactif) CUITD 5 RUPP, Marianne. – Interface conviviale pour l’utilisation du logiciel PSYCHOSES, 1990 CUITD 371



22 02.2020

SADY, Dame. – Langages pour l’interrogation et la génération de vues hypertextes sur des bases de connaissances DRF, 2003-2004 CUITD 149 SAFAVI, Lorens. – Network base dictionary data consulting, 1990/91 CUITD 55 SAO, Evelyne. – Importance éventuelle du knowledge management pour l’efficacité de la veille stratégique en entreprise, 2000 CUITD 348 SARIKAYA, Ilhami. – Codes à barres multi-niveaux à deux dimensions, 2006-2007 CUITD 270 SARTORETTI, Alain. – Réalisation d’une interface disquette pour MODULA-2, 1982 CUITD 29 SAUVAIN, Renaud. - MEU project : $b a WSOA implementation, 2011

CUITD 352 SCHNEIDER, André. – EM2/CONCEPT : design method for parallel programs : modularization and performance analysis, 1989? CUITD 138 SCHNEIDER PRADA, Felipe. - Wearable connected devices : market analysis and future success model, 2015 CUITD 436 SCIBOZ, Laurent. – Puzzle : concevoir et réaliser un support informatique d’aide à la construction de représentations à partir d’informations fragmentaires, 1999 CUITD 351 SENGA, Eric N. – EANTOOL : une interface utilisateur pour EAN sur les stations de travail Sun, 1989 CUITD 48 SERENA, F. – Deco SA : démarche d’informatisation au sein d’une entreprise de décolletage, 1991 CUITD 51 SERRE, Anne. – Programme de visualisation d’images tomographiques, 1987 CUITD 38 SHAW, Crispin K.M. – COPTER : computer operator terminal, 19?? CUITD 139 SHERKATMOASSOM, Farzaneh. - Mobile commerce satisfaction in Switzerland, 2014 CUITD 441 SHIMIMANA, Yvonne. - Outils d'ingénierie ontologique : étendre les ontologies aux multiples points de vue pour résoudre les conflits, 2004 CUITD 262



23 02.2020

SHUKLA, Vrinda. - Development of Laboimage 3.0 = (Développement du Laboimage 3.0), 1989 CUITD 449 SIMITSEK, Ino. – Implémentation d’un prototype de système de gestion de base de données, 1990 CUITD 53 SOLANA, Eduardo. – Modélisation N-AIRE “SANS-DETOUR”, 1988 CUITD 65 SOLOMOS, Daphné. - Etude des couches organisationnelles d'un système d'information à partir d'éléments ontologiques, 2005 CUITD 332 SORG, Thierry. - Eye-blinks comme signatures biométriques, 2011 CUITD 353 SOSNOWSKI, Stéphanie. - Modélisation de la production de TP de construction de protocole expérimental en chimie, 2002 CUITD 174 SOUDOVTSEV, Anton. – Sécurisation d’un système d’impression avec implémentation d’un protocole avec reprise pour le transfert sécurisé d’images, 2000 CUITD 103 SOUSSAN, Rosette. – Editeur de script, 1989 CUITD 22 SPAHNI, Stéphane. – Un serveur de base de données globale d’ALIAS, 1987 CUITD 367 STEPIEN, Stéphane. – Réseau d’oscillateurs neuronaux pour la segmentation d’images, 1998 CUTID 95 STRUMMIELLO, Olivier. - Vida View : interface optimale pour la visualisation multimodale de segmentation vidéo, 2005 CUITD 249 SUDJANA, Cundrono. – La gestion du changement des systèmes d’information et son impact sur les trios vues : modèle de besoins, modèle conceptuel et modèle d’usage CUITD 150 SUSANI, Odorico von. – SAGUIB : SubArctic Graphical User Interface Builder, 1997 CUTID 87



24 02.2020

TAGHIPOUR, Mahmoud. - Génération de structures hiérarchiques pour l'accès navigationnel de données, 1997 CUITD 297 TAHA, Karim. - Conception de la navigation dans les vues hypertextuelles, 1998 CUITD 300 TAHER, Razan. – Outils pour la recherche d’information collaborative synchrone, 2000 CUITD 424 TAT, Moni. – Cybernétique appliquée : gestion d’un bras manipulateur, 1994 CUITD 76 TBAHRITI, Imad. – Candie system : citation analysis with novel document intensive exploration, 2004 CUITD 142 THANOS, Dimitris. – The bar-code-reader project, 1996 CUITD 380 TIAR, Mohamed Abdelwahab. – Superviseur de logiciels, 1998 CUITD 92 TIGEON, Pascal. - Enrichissement sémantique d'une base de données, 1994-1995 CUITD 281 TOMAYLLA, Roberto. - Bio-inspired approach for tracking mobile entities in a peer to peer MANET : an application of the SAPERE project in road running events, xxxx CUITD 445 TRABELSI, Brahim. - Utilisation d'ontologies dans les interfaces d'accès aux bases de documents, 2002

CUITD 316 TRIGUIS, Matilde-Mabel. – « A la recherche du « pattern » perdu » with UML and OOIM, 2000-2001 CUITD 181 TURKI, Slim. - Recherche d'information collaborative asynchrone, 1999 CUITD 302



25 02.2020

VALVERDE, Ronald Lino. – MSGR-S : un environnement d’exécution de messagers basé sur un interpréteurs Scheme parallèle, 1994 CUITD 122 VESSEREAU, Thierry. – Vision par ordinateur, 1991 CUITD 64 VIDAL BURGOA, Rory Gavino. – Implementation of CPU resource accounting for Java, 2001 CUITD 128 VILLALBA CASTRO, Alfredo Alejandro. – Images analogiques en tant qu’interfaces avec le monde digital, 2005 CUITD 147 VUILLEUMIER, Marc. – The design of hybrid knowledge-based systems, 1995 CUITD 377 VURLOD, Jean-François. – Développement d’un système d’animation tridimensionnel, 1989 CUITD 21 WANG, Wei. – Une méthode d’analyse automatique de gels d’électrophorèse bidimensionnelle par classification heuristique, 1998 CUITD 96 WARYNSKI, Michel. – Un système interactif de distribution de messages sur micro-processeur, 1981 CUITD 10 WATANABE, Hikari. – Déploiement d’applications Java ME, 2007

CUITD 268 WATERS, Samuel. - Digital literacy, social awareness and consent as determinants in protecting privacy online, xxxx CUITD 446 WAVRE, Caroline. – Visualisation du comportement d’un système expert, 1988 CUITD 14 WEBER, Sandrine. - Approche XML pour la présentation d'un document sous forme de transparents, 2000 CUITD 306 WEISS, Jann D. – Planification par adjonction de contraintes, 1991 CUITD 66 WENESTAM, Joel. - Big data : a content oriented study, 2015 CUITD 437



26 02.2020

WIESMANN, Matthias. – Management enhanced software components, 1996/97 CUITD 82 WUEST, Marylène. – Installation d’un compilateur PASCAL sur UNIVAC 1108, écriture des routines-assembleur, 1976 CUITD 25 XYDAS, Jean – TMUX80, 1980 CUITD 140 YASREBI-NEJAD, Haleh. – Etude de la performance des perceptrons multi-couches et évaluation de cinq méthodes de pruning par implémentation dynamique, 1997 CUITD 86 ZAFFALON, Luigi. – Modification d’un terminal pour son utilisation sous APL, 1976 CUITD 26 ZAGURY, Elie. – La spécification et un premier prototype d’un outil d’aide à la construction de spécifications de types abstraits algébriques, 1988 CUITD 133 ZBINDEN, Richard. – Réalisation d’une Applet Java Thin Client RSD Folders, 2001

CUITD 109 ZELLWEGER, Catherine. - Contributions à la conception de systèmes d'information en botanique, 1992 CUITD 205 ZISWILER, Jean-Claude. - Des livres électroniques aux bibliothèques virtuelles : intégration des systèmes éducatifs au web sémantique = From hyperbooks towards digital libraries : integrating e-learning systems into the semantic web, 2004 CUITD 261 ZOFKA, Milan. – Etude et réalisation d’un driver CAMAC pour Amiga, 1992 CUITD 68


Documents

Mémoires de maîtrise univ. (master) / diplôme · 2020. 3. 17. · Bibliothèque d’Informatique (CUI) Battelle, Bât.7 Route de Drize 7- CH-1227 CAROUGE Tél. 022 379 07 70 -