Département d'informatique et de recherche opérationnelle
COLLOQUES du DIRO
automne 2007
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
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
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
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
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
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