Université de

Faculté des arts et des sciences

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

  

COLLOQUES du DIRO
automne 2007
 

Responsable automne 2007:  Abdelhakim Senhaji Hafid

Salle 6214, Pavillon André-Aisenstadt, Université de Montréal

Nos colloques sont normalement le jeudi à 15h30, mais exceptionnellement certaines présentations ont lieu à des jours et salles différentes. Pour avoir plus de détails sur chaque présentation, appuyez sur le bouton rouge. Si vous appuyez sur le nom du conférencier, vous obtiendrez soit sa page web personnelle, soit celle du responsable de son invitation.
Page principale des colloques 
Prochain colloque 


Le jeudi 30 août 2007 : 10h00 -- Attention au local et à l'heure inhabituels: Pavillon Claire-McNicoll, Salle Z-220
Marc Pollefeys, ETH Zürich : Visual 3D modeling of urban scenes from video

Le vendredi 14 septembre 2007 : 10h00  -- Attention au jour et à l'heure inhabituels
Behcet Sarikaya, Huawei, USA : WiMAX Network Reference Model and Point-to-Point Link Operation

Le jeudi 20 septembre 2007 : 15h30  -- Attention au local inhabituel: 5340 du CRM
Pierre McKenzie, Université de Montréal : Complexité du jeu de patience

Le jeudi 11 octobre 2007 : 19h30  -- Attention au local et à l'heure inhabituels: Pavillon Jean-Coutu, Salle S1-151, Conférence spéciale
Pierre Poulin, Université de Montréal : Histoire d'un pixel

Le lundi 15 octobre 2007 : 15h30  -- Attention au jour inhabituel
Susan Elliott Sim, University of California, Irvine: Using Graphs to Distinguish Novice and Expert Navigation During Program Comprehension

Le mardi 23 octobre 2007: 10h30 -- Attention au jour et à l'heure inhabituels
Michele Lanza, Université de Lugano, Suisse : Object-Oriented Metrics in Practice

Le mercredi 24 octobre 2007: 10h30 -- Attention au jour, à l'heure et au local inhabituels: Salle 5441 (DIRO-CRT)
Pierre Lopez, Université Paul Sabatier (Toulouse III), France : Problèmes basés contraintes : modèles, méthodes, outils

Le jeudi 8 novembre 2007: 15h30
David Mermin, Cornell University, Ithaca, New York : What has quantum mechanics to do with factoring?
                                                                                                   Things I Wish They Had Told Me about Shor's Superefficient Algorithm

Le jeudi 22 novembre 2007 : 15h30
Jan de Meer, University of Applied Sciences TFH, Berlin: Automatic Test- and Evaluation PlatforM (ATEM)


Visual 3D modeling of urban scenes from video

Marc Pollefeys
ETH Zürich
 

Le jeudi 30 août 2007 : 10h00, Z-220 Pavillon Claire-McNicoll -- Attention au local et à l'heure inhabituels


Images and videos form a rich source of information about the visual world. The extraction of 3D information from images is an important research problem in computer vision and graphics. The ubiquitous presence of cameras and the tremendous advances of processing and communication technologies yields important opportunities and challenges in those areas.
My work has focused on developing flexible techniques for recovering 3D shape, motion and appearance from images. In this talk I will focus on our approach to recover photo-realistic 3D models of objects or scenes from videos. A key aspect of our approach is the ability to also recover the geometric and photometric calibration of the camera from the image data so that our techniques can also work with uncalibrated consumer cameras or archive photographs. Our recent work in this area has focussed on real-time reconstruction of urban environments from video streams. We leverage the processing power of graphics processor (GPU) to achieve real-time performance on a PC platform. Significant challenges remain to obtain large-scale reconstruction from images only.

Plus de détails sur Marc Pollefeys 


WiMAX Network Reference Model and Point-to-Point Link Operation

Behcet Sarikaya
Huawei, USA
 

Le vendredi 14 septembre 2007 : 10h00  -- Attention au jour et à l'heure inhabituels


Worldwide Interoperability for Microwave Access - WiMAX network working group is developing an Internet Protocol based cellular network based on IEEE 802.16 standards. We will describe WiMAX network reference model's access and core network components. In WiMAX network, mobility is managed based on IETF''s Mobile IP. This and several other features will be described. Next, we will present IPv6 operation on WiMAX links and the design of prefix delegation in point-to-point link.

Plus de détails sur Behcet Sarikaya


Complexité du jeu de patience

Pierre McKenzie
Université de Montréal
 

Le jeudi 20 septembre 2007 : 15h30, local 5340 du CRM   -- Attention au local inhabituel


"Solitaire Klondike" est l'un des jeux de patience bien connus, popularisé sous Windows et disponible sur à peu près n'importe quel ordinateur. Après quelques mots au sujet de l'historique du jeu de cartes, nous analyserons la complexité de déterminer s'il est possible de gagner le jeu de Solitaire à partir d'une configuration initiale de n cartes donnée (pouvez-vous deviner la réponse?) Nous examinerons ensuite quelques variantes du jeu standard.
Travaux avec Luc Longpré de l'Université du Texas à El Paso.

Plus de détails sur Pierre McKenzie


Histoire d'un pixel

Pierre Poulin
Université de Montréal
 

Le jeudi 11 octobre 2007 : 19h30, Salle S1-151 du Pavillon Jean-Coutu,  -- (Conférence spéciale) Attention au local et à l'heure inhabituels

 


Cette conférence grand public est spéciale pour les diplômés du DIRO, et leurs enfants et amis. Elle ne vise pas des spécialistes en graphisme mais une certaine culture informatique est souhaitable. C'est ce que possèdent déjà tous les diplômés du DIRO.

Une image synthétique se compose de centaines de milliers de pixels dont la couleur individuelle est déterminée par des calculs sophistiqués. Nous cheminerons au travers de rappels historiques, de concepts algorithmiques, d'implémentations matérielles et de simulations de phénomènes optiques, pour esquisser une carte de diverses réalisations importantes ayant contribué à l'avancement de l'infographie. Nous revisiterons ensuite ces concepts dans le cadre de l'univers des processeurs graphiques pour apprécier comment ils ont su répondre aux exigences du jeu vidéo. Finalement, nous discuterons des enjeux futurs de ce monde en ébullition.

Prière de vous inscrire 

Plus de détails sur Pierre Poulin

 

Using Graphs to Distinguish Novice and Expert Navigation During Program Comprehension

Susan Elliott Sim
University of California, Irvine
 

Le lundi 15 octobre 2007 : 15h30   -- Attention au jour inhabituel


Recent empirical studies of program comprehension have hypothesized that developers use the structure of the software to navigate through source code. However, these observations have been qualitative in nature. In this talk, I present the results of a recent study that has used architecture graphs to characterize how programmers navigate through source code during program comprehension. In a laboratory study, we observed fifteen programmers working on a modification task on a small Open Source web application. We transcribed the sequence of files that the developers visited as they worked. We found that developers are more likely to traverse to adjacent vertices in the architecture than to navigate randomly. Furthermore, "expert" developers made fewer traversals between vertices across all the layers in the architecture, than "novices". Based on these results, I will speculate on possible applications of this graph-based navigation analysis, for instance, to distinguish between novice and expert programmers.

Plus de détails sur Susan Elliott Sim


Object-Oriented Metrics in Practice

Michele Lanza
Université de Lugano, Suisse
 

Le mardi 23 octobre 2007: 10h30   -- Attention au jour et à l'heure inhabituels


Metrics are paramount in every engineering discipline. Software engineering, however, is not considered a classical engineering activity for several reasons, such as intrinsic complexity and lack of rigor, thus negatively impacting the consideration for software metrics. In general, if a software system is delivering the expected functionality, only few people -if any- care about the internals. Moreover, defining, understanding and using software metrics often looks like an overly complex activity, recommended only to 'trained professionals'.
In this talk I will present the book "Object-Oriented Metrics in Practice" written by myself and Radu Marinescu. The book presents an approach to use metrics to assess the size, quality and complexity of object-oriented software systems. Based on statistical information from many industrial projects and generally accepted semantics we list many metrics-based strategies to assess the design of software systems in order to identify design disharmonies in the code and present appropriate remedies.

Plus de détails sur Michele Lanza


Problèmes basés contraintes : modèles, méthodes, outils

Pierre Lopez
Université Paul Sabatier (Toulouse III), France
 

Le mercredi 24 octobre 2007: 10h30, Salle 5441 du Pavillon André-Aisenstadt   -- Attention au jour, à l'heure et au local  inhabituels


Ce séminaire présente les éléments fondamentaux pour le traitement des problèmes de décision sous contraintes et introduit ainsi la théorie des Problèmes de Satisfaction de Contraintes (CSP) et de la Programmation Par Contraintes (PPC).
On met l'accent sur le concept de contraintes pour la modélisation, la propagation et la résolution de problèmes présentant des incertitudes sur les données ou les conditions d'exécution de la décision.
Les problèmes d'ordonnancement servent de trame pour l'illustration des concepts présentés.

Contenu du séminaire :
- Formalisme des problèmes de satisfaction de contraintes
- Propagation des contraintes de ressources (opérations locales, globales)
- Algorithmes d'instanciation (backtrack chronologique, maintien de cohérence, recherche à divergence limitée, ...)
- Systèmes de Programmation Par Contraintes



What has quantum mechanics to do with factoring?

Things I Wish They Had Told Me about Shor's Superefficient Algorithm

David Mermin
Cornell University, Ithaca, New York
 

Le jeudi 8 novembre 2007: 15h30


I shall provide a glimpse into quantum computation for computer scientists unfamiliar with quantum mechanics, developing the subject in the context of its most sensational algorithm: the highly efficient factoring routine discovered by Peter Shor. My emphasis will be on those features of Shor's procedure that puzzled, surprised, and charmed me in the course of my own efforts to better understand how it does its magic.

Plus de détails sur David Mermin


Automatic Test- and Evaluation PlatforM (ATEM)

Jan de Meer
University of Applied Sciences TFH, Berlin
 

Le jeudi 22 novembre 2007 : 15h30


ATEM is a compound national and EU activity that comprises subprojects in the application domains of industrial embedded systems such as *A*irborne, *R*ailway and Auto*M*otive complex systems. Examples of which are the cabin systems of the airbus A380, the Track Control System of the Trans European High Speed Trains and Automotive Assistance Systems. If those systems or components from it shall be evaluated and measured against safety and security (S&S) constraints from industrial customers, a new modeling methodology, based on formal semantics is required to handle adequately measurements on embedded systems of a very high degree of complexity.

In my talk I will give an overview on the verification and validation technology to be provided to industrial engineering processes. First, I introduce the objectives of the ATEM platform; second, I present the complex system design in the areas of Avionics, Railway and AutoMotive. The proposed solution is a process model specifically adapted to the safety and security needs of the A-R-M application domains. From the Airborne Engineering a sample of safety evaluation will be presented. If  time is left, a brief insight into the anticipated program of work of the compound A-R-M projects will be provided.

Plus de détails sur Jan de Meer