tire_a_part

Computer Science (MCS)

Address

Ottawa-Carleton Institute for Computer Science 161 Louis-Pasteur, Colonel By Hall, room B111 Ottawa, ON K1N 6N5 Canada Telephone: 613-562-5800 - 6189 Fax: 613-562-5129 Email : [email protected] https://ocics.site.uottawa.ca/graduate/index.php

Professors

ADAMS, Carlisle, Full Professor Cryptography; network security; computer security; access control; privacy AMYOT, Daniel, Full Professor Software and requirements engineering; Modeling with goals and scenario; Aspects, Business Process Management, Medical Informatics BARRIRE,Caroline,AdjunctProfessor Natural language processing; Knowledge extraction and representation; Semantic Web BENYOUCEF, Morad, Associate Professor Software engineering; Internet technologies; E-Business; E-Commerce; Web services; Workflow management BOCHMANN, Gregor, Full Professor Communication protocols; software engineering; formal specifications; verification and validation; distributed applications and systems management; multimedia; high-speed networks; real-time systems BOUCHARD, Martin, Full Professor Signal processing methods in general, especially for speech, audio and acoustics BOUKERCHE, Azzedine, Full Professor Large scale distributed interactive simulation systems; Mobile computing and networking BOYD, Sylvia, Cross-appointment Combinatorial optimization; network design; integer programming; polyhedral combinatorics, travelling salesman problem; analysis and design of algorithms CRETU, Ana-Maria, Adjunct Professor 3D object modeling; machine learning; neural networks, bio-inspired models; vision; tactile sensing; human-computer interaction; virtualized reality DRUMMOND, Chris, Adjunct Professor Machine learning; specifically data mining; learning agents; hybrid systems and cost sensitive learning DUBOIS, Eric, Full Professor Digital signal processing; data compression; image processing and communication DUJMOVIC, Vida, Assistant Professor Graph drawing/visualization; graph algorithms; discredte and computational geometry; data structures and algorithms EL EMAM, Khaled, Cross-appointment Understanding the human, organizational, and technological factors that affect the quality and utility of data contained in electronic health records


Printed Date: 2014-0 3-2 2 1 / 19

EL SADDIK, Abdulmotaleb, Full Professor Web engineering; multimedia communications; tele-collaborative environments; internationalization FAMILI, Fazel, Adjunct Professor Data mining: bioinformatics; machine learning FELTY, Amy, Full Professor Theorem proving; automated deduction; formal methods in software engineering; computational logic FLOCCHINI, Paola, Full Professor Distributed computing; distributed algorithms; structural information; sense of direction; mobile computing; cellular automata; discrete chaos FRIZE, Monique, Emeritus Professor Clinical engineering; infrared imaging, decision-support systems in medicine; ethics in engineering and human experimentation; Women in science; technology; engineering and math (STEM) GORODNICHY, Dmitry O., Adjunct Professor Video recognition; face processing; video surveillance; visual analytics; biometrics, and their applications to security GROZA, Voicu, Associate Professor Real-time embedded systems; smart sensors networks; multimedia communications; distributed intelligence; instrumentation INKPEN, Diana, Full Professor Natural language understanding, natural language generation, lexical semantics, information extraction, speech technology, intelligent agents for the semantic web IONESCU, Dan, Full Professor Machine vision, real time systems, formal methods, models for software specification, verification JAPKOWICZ, Nathalie, Full Professor Machine learning for defense and security, the class imbalance problem, novelty detection, machine learning evaluation JOURDAN, Guy-Vincent, Associate Professor Distributed systems; software verification; validation and testing; partially ordered sets; data visualization KARMOUCH, Ahmed, Full Professor Network virtualization, mobile cloud computing, software defined networking, service specific overlay networks mobile computing KIRINGA, Iluju, Associate Professor Databases, peer databases, active databases, transaction models, knowledge representation, business intelligence KUZIEMSKY, Craig, Associate Professor Health management, information and communication technologies (ICTs) for collaborative healthcare delivery LAGANIRE,Robert,FullProfessor Computer vision and image processing LANG, Jochen, Associate Professor Computational photography, computer graphics, computer haptics LEE, Wonsook, Associate Professor Computer graphics, human design and animation, medical applications LEMAIRE, Edward, Cross-appointment Physical rehabilitation; assistive devices; telehealth; biomechanics; prosthetics; orthotics; computer applications LETHBRIDGE, Timothy, Full Professor Software modeling, code generation, software usability, software engineering education LOGRIPPO, Luigi, Adjunct Professor Formal methods in software engineering, with application to security and privacy


Printed Date: 2014-0 3-2 2 2 / 19

MAKRAKIS, Dimitrios, Associate Professor Computer networks: architectures, protocols, management, broadband applications MANSOUROV, Nicolai, Adjunct Professor KDM analytics MAO, Yongyi, Assistant Professor Machine learning, communications, coding and information theory MASON, Peter, Adjunct Professor MATWIN, Stanislaw, Full Professor Artificial intelligence; knowledge-based systems; machine learning; software reuse MCDONALD, David, Full Professor Applied probability MICHALOWSKI, Wojtek, Full Professor Clinical decision support, ontological modeling, data mining for clinical applications, operations research MIRI, Ali, Associate Professor Information and coding theory, wireless communication, efficient design of cryptographic primitives, security of distributed and parallel systems MOUFTAH, Hussein, Distinguished University Professor Computer networks, optical networking, wireless ad hoc and embedded sensor networks, routing algorithms and protocols, simulation, performance evaluation MOURA, Lucia, Associate Professor Combinatorial algorithms, combinatorial designs and their applications, combinatorial optimization NAYAK, Amiya, Full Professor Fault tolerance, mobile computing, distributed systems ONUT, Iosif, Adjunct Professor Rich Internet application crawling, Web application security, accessibility PAQUET, Eric, Adjunct Professor Invariant shape recognition, multimedia information indexing and retrieval, data mining, structural proteomics PAYEUR, Pierre, Full Professor 3-D modeling and imaging: data acquisition, probabilistic modeling of space, robot path planning and collision avoidance, autonomous systems PERKINS, Theodore, Adjunct Professor PETRIU, Emil, Full Professor Intelligent sensors and networks; robot sensing and perception; neural networks and fuzzy systems; interactive virtual environments; digital integrated circuit testing PEYTON, Liam, E-commerce; business process automation; compliance with privacy policies that integrates metrics; knowledge management; data mining and mobile computing support PROBERT, Robert, Adjunct Professor Software engineering; design and testing Internet applications for security, communication protocols and software testing; industrial best practices for testing e-commerce and Web applications RAAHEMI, Bijan, Associate Professor Information systems; data mining and knowledge discovery; data communications networks and services; systems modeling; simulation;


Printed Date: 2014-0 3-2 2 3 / 19

and performance analysis SAMAAN, Nancy, Assistant Professor Wireless communication and mobile networking; QoS in wired and wireless networks; network management; autonomic networks; mapping network-related business level objectives; policy-based management; networking solutions to e-business applications SANKOFF, David, Full Professor Mathematical genomics SCOTT, Philip, Full Professor Logic; category theory; theoretical computer science SELINGER, Peter, Adjunct Professor Mathematical logic; category theory SHIRMOHAMMADI, Shervin, Multimedia communications; telecollaborations; Web based multimedia tools; virtual environments SIDNEY, Jeffrey, Adjunct Professor Management science; combinatorial optimization; production scheduling; algorithms SOKOLOVA, Marina, Cross-appointment Health Information; Text Data Mining; Data Mining SOME,Stphane,Adistributedobjectorientedenvironmentprogrammingmethodology STOJMENOVIC, Ivan, Cross-appointment Mobile networks; routing; geocasting; location updates; broadcasting; activity scheduling; clustering; bluetooth; cellular; medium access; data broadcast SZPAKOWICZ, Stanislaw, Full Professor Natural language processing; computational linguistics; automatic text summarization; language in electronic negotiations; lexical resources TCHAGANG, Alain, Adjunct Professor TRAN, Thomas, Artificial intelligence; electronic commerce; multi-agent systems; autonomous agents; reinforcement learning; trust and reputation modelling; recommender systems TURCOTTE, Marcel, Associate Professor Bioinformatics; algorithms design; applications of machine learning TURNEY, Peter, Adjunct Professor Natural language and speech understanding; adaptive, learning and evolutionary systems; artificial intelligence; data mining URAL, Hasan, Full Professor Software engineering; distributed computing; formal methods for software specification and design; software testing and verification VAILLANCOURT,Rmi,AdjunctProfessor Scientific computation VALDES, Julio, Adjunct Professor VIKTOR, Herna, Associate Professor Data Mining; data warehousing; data and information quality WRIGHT, David, Full Professor Sustainability; Environmental Entrepreneurship; Business case for solar power; Energy Efficiency of Information Technology YAGOUB, Mustapha, Microwave and millimeter-wave devices; circuits and systems; applied electromagnetics; microwave circuit CAD; neural nets for microwave applications; linear and nonlinear modeling; optimization methods


Printed Date: 2014-0 3-2 2 4 / 19

YANG, Oliver, Full Professor Optical communication network; broadband ATM switch architecture; traffic management in high speed network; network topologies; Network Modeling, analysis and performance evaluation; protocols and algorithms YEAP, Tet, Associate Professor Wireless communication; application specific VLSI architectures; high capacity wireline and wireless access; neural networks; communication systems YU, Eric, Adjunct Professor ZAGUIA, Nejib, Full Professor Algorithms; algorithms graphs; order optimization ZHAO, Jiying, Image and video processing; signal processing; multimedia communications

General Information

Ottawa-Carleton Joint Program

Students may include courses from both universities in their programs, and may select a supervisor from either university, but theyshould apply to the university with which their supervisor is associated. Their study program is administered by the university at whichthey are enrolled and is subject to its regulations.

Students who wish to pursue studies in computer science leading to the degree of Master of Computer Science (MCS) or Doctor ofPhilosophy in Computer Science (PhD) can do so in joint programs offered by the School of Electrical Engineering and Computer Science(EECS) at the University of Ottawa and the School of Computer Science at Carleton University under the auspices of the Ottawa-CarletonInstitute for Computer Science. The Institute is responsible for supervising these programs and for providing a framework for interactionbetween the universities in graduate computer science education. In addition to the faculty members from the two computer scienceprograms, the Institute also has members with computer science expertise from other departments. The program includes a co-op option.The degree awarded is the Master of Computer Science (MCS). Requests for information and application forms should be sent to thegraduate secretaries handling the admission process (Contact OCICS).

The MCS program includes several options:

Master's with thesis option Master's with thesis option, Accelerated Stream Master's with thesis option, co-op Masters, non-thesis option Masters, non-thesis option, co-op

The degree awarded is the Master of Computer Science (MCS). Requests for information and application forms should be sent to thegraduate secretaries handling the admission process (contact OCICS).

The Department of Computer Science is a participating unit in the collaborative program in bioinformatics at the masters level.

The program operates within the general framework of the regulations and procedures for Joint Graduate Programs and the generalregulations of the graduate faculty at each of the two universities. The general regulations of the Faculty of Graduate and PostdoctoralStudies (FGPS) of the University of Ottawa are posted on the FGPS website.

Admission

Admission to the program is competitive. Minimum requirements are a BSc (Honours) in Computer Science or equivalent with a B (70%)or higher average.


Printed Date: 2014-0 3-2 2 5 / 19

The Accelerated Stream has three additional requirements:

Two OCICS masters courses each with 70% (B) or higher grade (taken during their Bachelors program in Computer Science orSoftware Engineering).

An admission average of A- (80%) or higher. Have a thesis supervisor.

All candidates must demonstrate fluency in either English or French.

In accordance with the University of Ottawa regulation, assignments, examinations, research papers and theses can be produced in eitherEnglish or French.

NOTE: Equivalent is considered to be an honours university program which includes at least 12 three-credit courses in Computer Science,four of which must be at the fourth-year level, as well as eight three-credit courses in Mathematics, two of which must be at the third- orfourth-year level. These courses must include all the following topics:

Computer Science Courses: Data Structures; Operating Systems; Computer Architecture; Algorithm Design and Analysis; FormalLanguages; Databases; and two High-Level Languages.

Mathematics Courses: Calculus; Linear Algebra; Probability and Statistics; and Algebraic Structures or Discrete Mathematics.

NOTE: If one or two of the above courses are missing, they will be added as extra requirements at admission time.

Co-op Option

To be admitted into the co-op option, students must commence the MCS program in the fall session and be registered full time.Applications for the co-op option must be received by the end of the first month of the student's registration in the MCS program.Acceptance into the co-op option is offered on a competitive basis and is managed by the Co-op Office. Enquiries should be directed to thatoffice. The co-op option is not available to MCS students in the Accelerated Stream.

Collaborative Program in Bioinformatics at the Master's Level

The Ottawa-Carleton Institute of Computer Science is a participating unit in the collaborative program in Bioinformatics at the master'slevel. This program has been established for the students wishing to include an interdisciplinary component in Bioinformatics as part oftheir degree in Computer Science.

Students should indicate in their initial application for admission that they wish to be accepted into the collaborative program. To beaccepted, the thesis director must be a member of the collaborative program. Students are normally informed about their acceptance intothe collaborative program at the same time as being informed about their admission into the primary program. For further details, see theBioinformatics program.

Qualifying Program

Applicants who lack the required undergraduate preparation may be admitted to a qualifying-year program. The basis for admission tothe qualifying year of the Masters program will normally be an honours degree in a related discipline with a B average (70%), providedthat the honours program in question includes the equivalent of three years of an honours computer science program. A major degreeholder with superior academic standing may be considered for admission to the qualifying year with suitable background preparation.

Program Requirements

Normally, students in the program will be expected to complete a thesis. Each candidate submitting a thesis will be required to defend itorally. However, students may be permitted to take a non-thesis option.

MCS Thesis Option

Students in the thesis option must take five three-credit courses (three courses in the Accelerated Stream) or equivalent, fulfill thegraduate seminar requirements, and complete a thesis.


Printed Date: 2014-0 3-2 2 6 / 19

MCS Non-Thesis Option

Students in the non-thesis option must take eight three-credit courses or equivalent, the Intensive Graduate Project Course in ComputerScience, and fulfill the graduate seminar requirements. The non-thesis option is not available to MCS students in the Accelerated Stream.

Subject to the approval of the graduate coordinator, a student may take up to half of the course credits in the program in other disciplines(e.g. electrical engineering, mathematics and physics).

Graduate Seminar (CSI5902) To fulfill the requirements of the CSI5902 the student must:

Make a successful presentation. Satisfy the attendance requirement as specified in the student handbook.

The graduate seminar requirements must be fulfilled within two consecutive sessions.

Course selection Course selection must be approved by the student's academic advisor, and must include at least:

One three-credit course in Software Engineering (category E). One three-credit course in the Theory of Computing (category T). One three-credit course in either Computer Applications (category A) or Computer Systems (category S).

For students in the Accelerated Stream, the two OCICS courses taken as part of their undergraduate degree can be used to satisfy at mosttwo of the above category requirements.

At most, two three-credit courses at the fourth year level are permitted, but only for students in the regular MCS program.

Note that students in the Accelerated Stream of the MCS are not eligible for fast-track to the PhD.

A student may be permitted to carry out thesis work off campus provided suitable arrangements are made for supervision andexperimental work, and prior approval is obtained from the Joint Program Committee and the FGPS.

Collaborative Program in Bioinformatics

The student is responsible for fulfilling both the participating unit requirements for the primary program and the requirements for thecollaborative program.

The requirements specific to the collaborative program are as follows:

3 compulsory credits in Bioinformatics (BNF5106/ BIO5106). Enrollment in the seminar course in Bioinformatics (BNF6100), which involves a written report, the presentation of a seminar, and

regular attendance at departmental seminars. Presentation and defence of a research thesis on a topic in bioinformatics based on original research carried out under the

supervision of a faculty member participating in the Bioinformatics collaborative program. The passing grade in all courses is B. Students who fail 6 credits, or whose research progress is deemed unsatisfactory are required to

withdraw from the program.

The primary program may require students to take additional courses, depending on their backgrounds.

Co-op Option (available to both students registered in the thesis and non-thesis option)

The requirements of the co-op option are as follows:

Co-op students must register full-time and complete two work terms: CSI6001 Co-op Work Term I and CSI6002 Co-op work termII.

Each work term is graded P/F (pass/fail), based on the employers report and on the written report completed by the student. (The reportmust be 30 pages long, including appendices.) The report is evaluated by the professor in charge of the graduate co-op option in ComputerScience.

The credits awarded for co-op terms may not be used to obtain equivalences for other courses. In other words, the co-op credits are


Printed Date: 2014-0 3-2 2 7 / 19

additional to the minimum requirements of the degree.

To remain in the co-op option, students must:

Be registered full-time. Maintain a 7.0 cumulative grade point average. Obtain a satisfactory grade (P) for each co-op work term.

Transfer from Masters to PhD Program Outstanding students enrolled in the masters program may be allowed to transfer to the PhD program without being required to write amasters thesis. For additional information, please consult the Admissionsection of the PhD program.

Note that students in the Accelerated Stream of the MCS are not eligible for fast-track to the PhD.

Duration of the Program

Full-time students are expected to complete all requirements within two years. Students in the Accelerated Stream are, however, expectedto complete all requirements within three sessions. The maximum time permitted in all cases is four years from the date of initialregistration in the program.

Residence

All full-time students must complete a minimum of three sessions of full-time registration. In the case of transfer to the PhD, theresidency period for the PhD is nine full-time sessions from the initial registration in the program.

Minimum Standards

The passing grade in all courses is B. Students who fail 6 credits, or whose research progress is deemed unsatisfactory are required towithdraw from the program.

Courses

Lescourssontregroupsselonlescatgoriessuivantes: Gniedulogiciel(symboleEdanslalistedescours) - systmesdebasesdedonnesetsystmesintelligentsgnieinformatiqueconceptiondelangagesetdeleurstraducteurs. Thoriedel'informatique(symboleTdanslalistedescours) - thoriedesbasesdedonnesprincipesdeprotocolesthoriedelacomplexitalgorithmesalgbriquesalgorithmescombinatoiresalgorithmesdesnombresthoriquesetgomtriquesthoriedesautomatesetlangagesformels. Applications informatiques (symbole A dans la liste des cours) - intelligenceartificielleapplicationsgraphiquesmodlisationetsimulationanalysenumriqueoptimisation. Systmesinformatiques(symboleSdanslalistedescours) - architecturesspcialisestraitementdusignal,imageetlangageinformatiquerpartierseauxjuxtapossetlocauxsystmesdebureautique. Courses are grouped according to the following categories:

Software Engineering (code E in the course list) - Database and Knowledge-based Systems; Software Engineering; Software Translator and Language Design. Theory of Computing (code T in the course list) - Theory of Databases; Principle of Protocols; Complexity Theory; Algebraic Algorithms; Combinatorial Algorithms;Number-Theoretic and Geometric Algorithms; Automata Theory and Formal Languages.


Printed Date: 2014-0 3-2 2 8 / 19

Computer Applications (code A in the course list) - Artificial Intelligence; Computer Graphics; Modelling and Simulation; Numerical Analysis; Optimization. Computer Systems (code S in the course list) - Specialized Architectures; Signal, Image and Speech Processing; Distributed Computing; Local and Wide AreaNetworks; Office Information Systems. Gniedulogiciel(symboleEdanslalistedescours)/SoftwareEngineering(codeEinthecourselist) CSI5107 (COMP 5609) PROGRAM CONSTRUCTION AND FAULT TOLERANCE(3cr.) Mathematics for program construction and fault tolerance. Program construction by relational decomposition: the equations and theheuristics. Fundamentals of program fault tolerance. Implementing error detection and damage assessment. Forward and backward errorrecovery. Hybrid program validation. CSI5109 (COMP 5701) SPECIFICATION METHODS FOR DISTRIBUTED SYSTEMS(3cr.) Concepts of process algebras, specially with relation to the specification language LOTOS. Equivalence concepts: observation equivalence,testing equivalence. Data algebras. Rewriting systems. Verification of specifications. Specifications styles. Applications to distributedsystems: communications protocols, telephone systems. Related models CSP, CCS, ACP. Relation to temporal logic and model checking. CSI5111 (COMP 5501) SOFTWARE QUALITY ENGINEERING(3cr.) Software quality issues. Quality components and metrics. Software process quality. Software reliability engineering. Software design fortestability. Requirements capture and validation. Systematic design validation; grey-box approach, test design, implementation andmanagement, case studies in validation and verification of communications software. Object-oriented design and test. Theoretical aspects. CSI5112 (COMP 5207) SOFTWARE ENGINEERING(3cr.) Topics of current interest in Software Engineering, such as software development systems, structured systems analysis and design,management of software, software tools, validation and verification, programming environments. CSI5113 (COMP 5001) FOUNDATIONS OF PROGRAMMING LANGUAGES(3cr.) CSI5115 (COMP 5503) DATABASE ANALYSIS AND DESIGN(3cr.) The dimensional and multidimensional data models for data warehousing. Data dependencies and decompostition. Structure and use ofdata definition and manipulation languages. Database economics, engineering, deployment and evolution. Issues in integrity, security, theInternet and distributed databases. Relationships to decision support systems. CSI5118 (COMP 5302) AUTOMATED VERIFICATION AND VALIDATION OF SOFTWARE(3cr.) Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow & control-flowmeasures and metrics for assessing quality of designs and code, regression analysis & testing. Prerequisite: a four-year undergraduatedegree in computer science, computer engineering, or software engineering. CSI5122 (COMP 5301) SOFTWARE USABILITY(3cr.) Design principles and metrics for usability. Qualitative and quantitative methods for the evaluation of software system usability: Heuristicevaluation, usability testing, usability inspections and walkthroughs, cognitive walkthroughs, formal usability experimentation. Ethicalconcerns when performing studies with test users. Economics of usability. Integration of usability engineering into the softwareengineering lifecycle. CSI5123 (COMP 5106) LANGUAGES FOR PARALLEL COMPUTING(3cr.) CSI5134 (COMP 5004) FAULT TOLERANCE(3cr.) Hardware and software techniques for fault tolerance. Topics include modeling and evaluation techniques, error detecting and correctingcodes, module and system level fault detection mechanisms, design techniques for , fault-tolerant and fail-safe systems, software faulttolerance through recovery blocks, N-version programming, algorithm-based fault tolerance, checkpointing and recovery techniques, andsurvey of practical fault-tolerant systems. CSI5143 (COMP 5403) REAL-TIME SYSTEMS DEVELOPMENT(3cr.) An advanced course in real-time OO systems development that deals with modeling systems at different abstraction levels. A systematicand traceable modeling process is introduced. Topics include: modeling notations (including UML-RT), development process, designpatterns, and system testing. Expect a substantial design project. Precludes additional credit for ELG 6186. Prerequisite: Computer Science CSI 5314 or equivalent.


Printed Date: 2014-0 3-2 2 9 / 19

CSI5184 (COMP 5804) LOGIC PROGRAMMING(3cr.) Review of Logic Programming (LP) as a foundation of fifth generation software. Two approaches to LP: automated deduction andprocedural semantics. Software development methodology in the LP framework. Advanced Prolog programming. Implementations of LP.The course includes a programming project and a presentation. CSI5310 (COMP 5400) SOFTWARE PATTERNS(3cr.) Survey of current developments in software patterns, three-part rules expressing relations between software contexts, problems andsolutions. Discussion of Pattern categories: architectural, design, analysis, refactoring, general-purpose, anti-patterns, and idioms.Students required to apply existing patterns and to develop and defend new ones. Prerequisites: 95.304 or CSI 3300 or equivalent CSI5314 (COMP 5104) OBJECT-ORIENTED SOFTWARE DEVELOPMENT(3cr.) CSI5507(COMP5609)LESPROGRAMMES:CONSTRUCTIONETTOLRANCEAUXFAUTES(3cr.) Mathmatiquespourlaconstructiondeprogrammesetpourlatolranceauxfautes.Constructiondeprogrammespardcompositionrelationnelle:lesquationsetlesheuristiques.Fondementsdelatolranceauxfautesdesprogrammes.Miseenoeuvredeladtectiond'erreursetdel'valuationdelacontamination.Recouvrementavantetrecouvrementarriredeserreurs.Validationhybridedeprogrammes. CSI5509(COMP5701)MTHODESPOURLASPCIFICATIONDESYSTMESRPARTIS(3cr.) Algbresdeprocessus,surtoutparrapportaulangagedespcificationLOTOS.Conceptsd'quivalence:quivalenced'observation,quivalencedetest.Algbresdedonnes.Systmesdercriture.Vrificationdespcifications.Stylesdespcification.Applicationssystmesrpartis:protocolesdecommunication,systmestlphoniques.Modlesrelis:CSP,CCS,ACP.Relationsaveclogiquetemporelleetcontrledemodle. CSI5511(COMP5501)GNIEDELAQUALITDESLOGICIELS(3cr.) Critresdelaqualitdeslogiciels.Composantesetmtriquesdequalit.Qualitduprocessusdedveloppementdeslogiciels.Gniedefiabilitdeslogiciels.Captureetvalidationd'exigences.Validationsystmatiquedelaconceptionapprochebote-grise. Conception,implantationetgestiondestests.tudedecasenvalidationetvrificationdeslogicielsdecommunication.Conceptionorienteobjet.Aspectsthoriques. CSI5584 (COMP 5804) PROGRAMMATION LOGIQUE(3cr.) Revuedeprogrammationlogique(PL)commebasedulogicieldela5egnrationdesordinateurs.DeuxapprocheslaPL:dductionautomatiqueousmantiqueprocdurale.MthodologiedudveloppementdulogicieldanslecadredePL.ConceptsavancsdeprogrammationenPROLOG.ImplantationdePL.Lecourscomprendledveloppementetlaprsentationd'unprojet. CSI7161 (COMP 6603) ADVANCED TOPICS IN PROGRAMMING SYSTEMS AND LANGUAGES(3cr.) CSI7314 (COMP 6104) ADVANCED TOPICS IN OBJECT-ORIENTED SYSTEMS(3cr.) CSI7561(COMP6603)TUDESAVANCESENSYSTMESETLANGUAGESDEPROGRAMMATION(3cr.) Thoriedel'informatique(symboleTdanslalistedescours)/TheoryofComputing(codeTinthecourse list)

CSI5100 (COMP 5306) DATA INTEGRATION(3cr.) Materialized and virtual approaches to integration of heterogeneous and independent data sources. Emphasis on data models,architectures, logic-based techniques for query processing, metadata and consistency management, the role of XML and ontologies indata integration; connections to schema mapping, data exchange, and P2P systems. Prerequisite: COMP 3005 or equivalent. CSI5101 (COMP 5307) KNOWLEDGE REPRESENTATION(3cr.) KR is concerned with representing knowledge and using it in computers. Emphasis on logic-based languages for KR, and automatedreasoning techniques and systems; important applications of this traditional area of AI to ontologies and semantic web. Prerequisites: COMP 1805 and COMP 3005, or equivalents. CSI5102 (COMP 5308) TOPICS IN MEDICAL COMPUTING(3cr.) CSI5104 (COMP/MATH 5807) FORMAL LANGUAGE AND SYNTAX ANALYSIS(3cr.) CSI5107 (COMP 5609) PROGRAM CONSTRUCTION AND FAULT TOLERANCE(3cr.) Mathematics for program construction and fault tolerance. Program construction by relational decomposition: the equations and the


Printed Date: 2014-0 3-2 2 10 / 19

heuristics. Fundamentals of program fault tolerance. Implementing error detection and damage assessment. Forward and backward errorrecovery. Hybrid program validation. CSI5108 (COMP 5700) SOFTWARE SPECIFICATION AND VERIFICATION(3cr.) Mathematics for specifying and verifying. A specification model. A specification lifecycle. Specification-based software reuse. Specifyingconcurrency and communication. Definitions and theorems of program correctness. Proving program correctness by evaluation. Provingprogram correctness by induction. Models of program semantics. CSI5110 (COMP 5707) PRINCIPLES OF FORMAL SOFTWARE DEVELOPMENT(3cr.) Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, andother related formal methods for software correctness. Applications in program verification, mobile code safety, and protocol verification. CSI5121 (COMP 5408) ADVANCED DATA STRUCTURES(3cr.) CSI5126 (COMP 5108) ALGORITHMS IN BIOINFORMATICS(3cr.) Fundamental mathematical and algorithmic concepts underlying computational molecular biology; physical and genetic mapping,sequence analysis (including alignment and probabilistic models), genomic rearrangement, phylogenetic inference, computationalproteomics and systemics modelling of the whole cell. Prerequisites: CSI 3105, COMP 3804 or equivalent. CSI5127 (COMP 5409) APPLIED COMPUTATIONAL GEOMETRY(3cr.) CSI5144 (COMP 5404) COMPUTER-AIDED PRGRAM VERIFICATION(3cr.) CSI5148 (COMP 5103) WIRELESS AD HOC NETWORKING(3cr.) Self-organized, mobile, and hybrid ad hoc networks. Physical, medium access, networks, transport and application layers, and cross-layering issues. Power management. Security in ad hoc networks. Topology control and maintenance. Data communication protocols,routing and broadcasting. Location service for efficient routing. CSI5149 (COMP 5007) GRAPHICAL MODELS(3cr.) Bayesian networks, factor graphs, Markov random fields, maximum a posteriori probability (MAP) and maximum likelihood (ML)principles, elimination algorithm, sum-product algorithm, decomposable and non-decomposable models, junction tree algorithm,completely observed models, iterative proportional fitting algorithm, expectation-maximization (EM) algorithm, iterative conditionalmodes algorithm, variational methods, applications. Precludes credit for ELG5131 (EAGJ5131) and ELG7177 (EACJ 5605). Prerequisite: Permission of the program director. CSI5161 (COMP 5606) PRINCIPLES OF DISTRIBUTED SIMULATION(3cr.) Distributed simulation principles and practices. Synchronization protocols: Optimistic vs Conservative, Deadlock detection in conservativesimulations, Time warp simulation. Distributed interactive simulation: Data distribution management, Interest management, High LevelArchitectures (HLA), Run Time Infrastructure (RTI). Distributed web-based simulation. Distributed agent based simulation. Real timeapplications of distributed simulation. Distributed and collaborative virtual simulations. CSI5162 (COMP 5702) ORDER: ITS ALGORITHMS AND GRAPHICAL DATA STRUCTURES(3cr.) In general terms, this course aims to pursue the twin themes of graphical data structures and optimization in theoretical computerscience. The particular application areas bear on computational geometry and scheduling; the theoretical tools which we develop arisefrom ordered sets. To this end the course intends to provide a comprehensive introduction to the combinatorial and computational theoryof ordered sets. The special emphasis on the upward drawing and linear extension is intended to develop the tools appropriate to theapplications of ordered sets in computer science. CSI5163 (COMP 5703) ALGORITHM ANALYSIS AND DESIGN(3cr.) Topics of current interest in the design and analysis of computer algorithms for graph-theoretical applications; e.g. shortest paths,chromatic number, etc. Lower bounds, upper bounds, and average performance of algorithms. Complexity theory. CSI5164 (COMP 5008) COMPUTATIONAL GEOMETRY(3cr.) CSI5165 (COMP 5709) COMBINATORIAL ALGORITHMS(3cr.) Design of algorithms for solving problems that are combinatorial in nature, using both sequential and parallel models of computation.Parallel algorithms for enumerating basic combinatorial objects (permutations, combinations, set partitions) and for solving optimizationproblems (knapsack, minimal cover, branch-and-bound). Polyminoes, polygonal systems, enumeration and classification and benzenoidand coronoid hydrocarbons in chemistry. Combinatorial geometry (Voronoi diagrams, polytopes arrangements). Algorithmic problems inmany-valued logics (base enumeration, tautology checking, minimization, finding the spectra). CSI5166 (COMP 5805) APPLICATIONS OF COMBINATORIAL OPTIMIZATION(3cr.)


Printed Date: 2014-0 3-2 2 11 / 19

Topics in combinatorial optimization with emphasis on applications in Computer Science. Topics include network flows, various routingalgorithms, polyhedral combinatorics, and the cutting plane method. CSI5169 (COMP 5304) WIRELESS NETWORKS AND MOBILE COMPUTING(3cr.) Computational aspects and applications of design and analysis of mobile and wireless networking. Topics include Physical, LinkLayer,Media Access Control, Wireless, Mobile LANs (Local Area Networks), Ad-Hoc, Sensor Networks, Power Consumption optimization,Routing, Searching, Service Discovery, Clustering, Multicasting, Localization,Mobile IP/TCP (Internet Protocol/Transmission ControlProtocol) , File Systems, Mobility Models,Wireless Applications. (Cannot be combined for credit with ELG 6168) CSI5173 (COMP 5203) DATA NETWORKS(3cr.) CSI5174 (COMP 5604) VALIDATION METHODS FOR DISTRIBUTED SYSTEMS(3cr.) Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs.Verification of general properties of distributed systems. Analysis and relief stragegies. Testing techniques. Test generation strategies. Testarchitectures. CSI5185 (COMP 5107) STATISTICAL AND SYNTACTIC PATTERN RECOGNITION(3cr.) CSI5308 (COMP 5003) PRINCIPLES OF DISTRIBUTED COMPUTING(3cr.) CSI5367 (COMP 5300) STRUCTURE IN COMPLEXITY THEORY(3cr.) Modern algorithmic complexity. Introduction to the models of computation: Boolean circuits and Turing machines of various types. Timeand space complexities. Worst-case versus average-case analyses. Probabilistic algorithms and their derandomization. Introduction to thetheory of relativization. Structure and behaviour of complexity classes. CSI5390 (COMP 5005) LEARNING SYSTEMS FOR RANDOM ENVIRONMENTS(3cr.) CSI5507(COMP5609)LESPROGRAMMES:CONSTRUCTIONETTOLRANCEAUXFAUTES(3cr.) Mathmatiquespourlaconstructiondeprogrammesetpourlatolranceauxfautes.Constructiondeprogrammespardcompositionrelationnelle:lesquationsetlesheuristiques.Fondementsdelatolranceauxfautesdesprogrammes.Miseenoeuvredeladtectiond'erreursetdel'valuationdelacontamination.Recouvrementavantetrecouvrementarriredeserreurs.Validationhybridedeprogrammes. CSI5508(COMP5700)SPCIFICATIONETVRIFICATIONDELOGICIELS(3cr.) Mathmatiquespourlaspcificationetlavrification.Modledespcifications.Cycledeviedelaspcification.Rutilisationbasedespcifications.Spcifierlasimultanitetlacommunication.Dfinitionsetthormesdelacohrencedeprogrammes.Prouverlacohrenced'unprogrammeparvaluation.Prouverlacohrenced'unprogrammeparinduction.Modlesdesmantiquedeprogrammes. CSI5510(COMP5707)PRINCIPESDEDVELOPPEMENTFORMELDELOGICIELS(3cr.) Uneprsentationdemthodologiescourantesdanslesdomainesdespcification,dveloppementetvrificationdelogiciels.Programmesitratifs:lamthodedel'invariant.Programmesrcursifs:mthodesinductives.Spcificationdelogiciels:abstractionsprocdurellesetdedonnes.Typesalgbriquesabstraits.Onmettral'accentsurleslogicielsrpartis. CSI5526 (COMP 5180) ALGORITHMES EN BIOINFORMATIQUE(3cr.) Assemblagedel'ADN,recherchedegnes,comparaisondechanes,alignementdesquences,structuresgrammaticales,structuressecondairesettertiaires.Lesrcentsdveloppements,telsquelespucesd'ADNetdeprotines.TravailadditionnelrequisdanslecasdestudiantsinscritssouslacoteCSI5526.Pralable:CSI3505ou(danslecasdestudiantsdiplms)permission du responsable deprogramme. CSI5562(COMP5702)ORDRE:ALGORITHMESETSTRUCTURESGRAPHIQUESDEDONNES(3cr.) Structuresgraphiquesdedonnesetoptimisationeninformatiquethorique.Applicationslagomtriecomputationnelleetl'ordonnancementoutilsengendrsparlesensemblesordonns.Thoriecombinatoireetcomputationnelle,d'ensemblesordonns.Accentsurle"upwarddrawing"etl'extensionlinaire,lesdeuxoutilspourlesapplicationsd'ensemblesordonnseninformatique. CSI5565 (COMP 5709) ALGORITHMES COMBINATOIRES(3cr.) Conceptiond'algorithmesdeproblmesdenaturecombinatoire,l'aidedemodlessquentielsetparallles.Algorithmesparalllespourl'numrationd'objetscombinatoiresdebase(permutations,combinaisons,partitions),etpourrsoudredesproblmesd'optimisation(knapsack,recouvrementminimal,mthodebranch-and-bound)systmespolygonaux,applicationsenchimiegomtriecombinatoire(diagrammes de Voronoi,polytopes,arrangements)problmesenlogiquevaleurmultiple,numrationdebase,vrificationdetautologie, minimisation, recherche du spectre. CSI7160 (COMP 6601) ADVANCED TOPICS IN THE THEORY OF COMPUTING(3cr.)


Printed Date: 2014-0 3-2 2 12 / 19

CSI7170 (COMP 6602) ADVANCED TOPICS IN DISTRIBUTED COMPUTING(3cr.) CSI7970(COMP6602)THMESENINFORMATIQUERPARTIE Applications informatiques (symbole A dans la liste des cours) / Computer Applications (code A in thecourse list)

CSI5100 (COMP 5306) DATA INTEGRATION(3cr.) Materialized and virtual approaches to integration of heterogeneous and independent data sources. Emphasis on data models,architectures, logic-based techniques for query processing, metadata and consistency management, the role of XML and ontologies indata integration; connections to schema mapping, data exchange, and P2P systems. Prerequisite: COMP 3005 or equivalent. CSI5101 (COMP 5307) KNOWLEDGE REPRESENTATION(3cr.) KR is concerned with representing knowledge and using it in computers. Emphasis on logic-based languages for KR, and automatedreasoning techniques and systems; important applications of this traditional area of AI to ontologies and semantic web. Prerequisites: COMP 1805 and COMP 3005, or equivalents. CSI5102 (COMP 5308) TOPICS IN MEDICAL COMPUTING(3cr.) CSI5105 (COMP 5406) NETWORK SECURITY AND CRYPTOGRAPHY(3cr.) Advanced methodologies selected from symmetric and public key cryptography, network security protocols and infrastructure,identification, secret-sharing, anonymity, intrusion detection, firewalls, defending network attacks and performance in communicationnetworks. Prerequisites: familiarity with basic concepts in networks, network security, and applied cryptography. For example, relevant background courses may include the following (or equivalents): CEG 4185 or COMP 3203 and/or CSI 4138 or CEG 4394 or COMP 4108,and/or CSI 4108 or ELG 5373 or COMP 4109. CSI5114 (COMP 5504) AUTOMATED OFFICE SYSTEMS(3cr.) Study of office automation and its extension into commerce and marketing. Tools for collaboration, information transformation, datagathering, storage and retrieval, office agents and CSCW, funds transfer, electronic mail systems and messaging, use of WWW.Ergonometric, legal and regulatory aspects, social and economic factors. CSI5116 (COMP 5407) AUTHENTICATION AND SOFTWARE SECURITY(3cr.) Specialized topics in security including advanced authentication techniques, user interface aspects, electronic and digital signatures,security infrastructures and protocols, software vulnerabilities affecting security, non-secure software and hosts, protecting software anddigital content. Prerequisites: Basic course in Statistics or permission of the program director. CSI5124 (COMP 5204) COMPUTATIONAL ASPECTS OF GEOGRAPHIC INFORMATION SYSTEMS(3cr.) CSI5126 (COMP 5108) ALGORITHMS IN BIOINFORMATICS(3cr.) Fundamental mathematical and algorithmic concepts underlying computational molecular biology; physical and genetic mapping,sequence analysis (including alignment and probabilistic models), genomic rearrangement, phylogenetic inference, computationalproteomics and systemics modelling of the whole cell. Prerequisites: CSI 3105, COMP 3804 or equivalent. CSI5128 (COMP 5002) SWARM INTELLIGENCE(3cr.) CSI5129 (COMP 5305) ADVANCED DATABASE SYSTEMS(3cr.) CSI5145 (COMP 5109) STATISTICAL APPROACHES TO NATURAL LANGUAGE PROCESSING(3cr.) Introduction to natural language processing. Linguistics essentials. Mathematical foundations: Probability theory and information theory.Corpus-based work. Collocations. Statistical inference: N-gram models. Word sense disambiguation. Lexical acquisition. Hidden Markovmodels. Part-of-speech tagging. Text categorization. Information retrieval. Statistical alignment and machine translation. CSI5146 (COMP 5402) COMPUTER GRAPHICS(3cr.) Principles and advanced techniques in rendering and modelling. Research field overview. Splines, subdivision surfaces and hierarchicalsurface representations. Physics of light transport, rendering equation and Bidirectional Reflectance Distribution Function. Classical raytracing, radiosity, global illumination and modern hybrid methods. Plenoptic function and image-based rendering. CSI5147 (COMP 5201) COMPUTER ANIMATION(3cr.) Theories and techniques in 3D modeling and animation. Animation principles, categories, and history. Forward and inverse kinematics.Motion capture, editing and retargeting. Flexible bodies. Particle animation. Behavioral animation. Human modeling. Facial animation.


Printed Date: 2014-0 3-2 2 13 / 19

Cloth animation and other sub-topics. Prerequisites: Undergraduate linear algebra, and calculus. CSI5151 (COMP 5205) VIRTUAL ENVIRONMENTS(3cr.) Basic concepts. Virtual worlds. Hardware and software support. World modeling. Geometric modeling. Light modeling. Kinematic anddynamic models. Other physical modeling modalities. Multi sensor data fusion. Anthropomorphic avatars. Animation: modelinglanguages, scripts, real-time computer architectures. Virtual environment interfaces. Case studies. Prerequisites: A Bachelor's degree in Computer Science or equivalent. Precludes credit for ELG5124 (EACJ5204). CSI5162 (COMP 5702) ORDER: ITS ALGORITHMS AND GRAPHICAL DATA STRUCTURES(3cr.) In general terms, this course aims to pursue the twin themes of graphical data structures and optimization in theoretical computerscience. The particular application areas bear on computational geometry and scheduling; the theoretical tools which we develop arisefrom ordered sets. To this end the course intends to provide a comprehensive introduction to the combinatorial and computational theoryof ordered sets. The special emphasis on the upward drawing and linear extension is intended to develop the tools appropriate to theapplications of ordered sets in computer science. CSI5168 (COMP 5309) DIGITAL WATERMARKING(3cr.) Overview of recent advances in watermarking of image, video, audio, and other media. Spatial, spectral, and temporal watermarkingalgorithms. Perceptual models. Use of cryptography in steganography and watermarking. Robustness, security, imperceptibility, andcapacity of watermarking. Content authentication, copy control, intellectual property, digital rights management, and other applications.Prerequisites: ELG 4172 or CEG 4311 or CSI 4133 or equivalent. CSI5180 (COMP 5100) TOPICS IN ARTIFICIAL INTELLIGENCE(3cr.) A programming-oriented introduction to selected topics in Artificial Intelligence (A.I.). Topics for consideration include: A.I.programming techniques, pattern matching systems, natural language systems rule-based systems, constraint systems, learning systems,and cognitive systems. Assignments will be both (a) programming-oriented, requiring implementation and/or extensions of prototypes inLisp and/or Prolog and (b) research-oriented, requiring readings of special topics in current A.I. journals. CSI5183 (COMP 5206) EVOLUTIONARY COMPUTATION AND ARTIFICIAL LIFE(3cr.) CSI5304 (COMP 5602) KNOWLEDGE ENGINEERING(3cr.) Review of basic concepts from artificial intelligence for knowledge engineering. Types of knowledge and knowledge representations. Theimportance of logic and natural language. Expert systems and other knowledge-based software. Knowledge acquisition tools andtechniques. The relation to software engineering. Exercises in knowledge acquisition, representation, and processing will be given. CSI5306 (COMP 5006) NATURAL LANGUAGE UNDERSTANDING(3cr.) CSI5380 (COMP 5405) SYSTEMS AND ARCHITECTURES FOR ELECTRONIC COMMERCE(3cr.) Content and transactions in e-commerce systems. System architecture with a focus on frameworks, tools and development process.Application frameworks. Information management. Security, standards, and regulatory compliance. Current research issues. Hands-onexperience with an integrated set of current e-commerce tools. E-commerce development project. CSI5386 (COMP 5505) NATURAL LANGUAGE PROCESSING(3cr.) Definitions, applicatons, challenges, lexicons, thesauri, corpora and other linguistic resources. Morphological analysis; tagging. Selectedsyntactic theories: phrase structure grammars, unification-based grammars. Parsing techniques: chars, deterministic parsing, logicgrammars. Selected semantic representations: logic, logical forms, conceptual graphs, Element of semantic and pragmatic analysis:reference, scope, focus. Elements of statistical language processing and text mining. Introduction to corpus linguistics. Term projects, oneon syntax and one on semantics, will be done in Prolog and logic grammars. CSI5387 (COMP 5706) DATA MINING AND CONCEPT LEARNING(3cr.) Data mining as finding associations, clustering, and concept learning. Basic issues of associations and selected concept representations.Introduction to data warehousing. Concept learning viewed as a search problem. Standard concept induction algorithms. The use ofneural networks for representing and learning concepts. Knowledge-intensive concept learning. Introduction to the formal theory ofconcept learnability. Instance-based learning. Selected applications of data mining and concept learning. Prerequisite: CSI 4106 or permission of the program director. CSI5388 (COMP 5801) TOPICS IN MACHINE LEARNING(3cr.) CSI5389 (COMP 5401) ELECTRONIC COMMERCE TECHNOLOGIES(3cr.) Introduction to business models and technologies. Search engines. Cryptography. Web services and agents. Secure electronic transactions.Value added e-commerce technologies. Advanced research questions. CSI5514 (COMP 5504) BUREAUTIQUE(3cr.)


Printed Date: 2014-0 3-2 2 14 / 19

Unetudedelabureautique.Lessystmesdebureautique,rseauxlocaux,systmesdetraitementdetexte,transfertsdefonds,messageriesetchangesdedocuments.Lapolitiqueconomique,socialeetlgaledessystmesbureautiques. CSI5526 (COMP 5180) ALGORITHMES EN BIOINFORMATIQUE(3cr.) Assemblagedel'ADN,recherchedegnes,comparaisondechanes,alignementdesquences,structuresgrammaticales,structuressecondairesettertiaires.Lesrcentsdveloppements,telsquelespucesd'ADNetdeprotines.TravailadditionnelrequisdanslecasdestudiantsinscritssouslacoteCSI5526.Pralable:CSI3505ou(danslecasdestudiantsdiplms)permission du responsable deprogramme. CSI5562(COMP5702)ORDRE:ALGORITHMESETSTRUCTURESGRAPHIQUESDEDONNES(3cr.) Structuresgraphiquesdedonnesetoptimisationeninformatiquethorique.Applicationslagomtriecomputationnelleetl'ordonnancementoutilsengendrsparlesensemblesordonns.Thoriecombinatoireetcomputationnelle,d'ensemblesordonns.Accentsurle"upwarddrawing"etl'extensionlinaire,lesdeuxoutilspourlesapplicationsd'ensemblesordonnseninformatique. CSI5580 (COMP 5100) SUJETS EN INTELLIGENCE ARTIFICIELLE(3cr.) Conceptsetmthodesdebasedel'intelligenceartificielle.Reprsentationdesconnaissances.Traitementdelangagenaturel.Stratgiesderecherchesetdejeu.Actiondeplanification.Dductionetraisonnement.Applications.ProgrammationenPROLOG. CSI5780(COMP5405)SYSTMESETARCHITECTURESDESLOGICIELSPOURLECOMMERCELECTRONIQUE(3cr.) Contenuettransactionsdanslessystmesdecommercelectronique.Architecturedesystme.Uneattentionparticulireseraporteauxlogicielsintgrs,auxoutilsetauprocessusdedveloppement.Cadresdapplications. Gestion de linformation.Scurit,normesetconformitauxrglementations.Problmesderechercheactuels.Expriencepratiqueintgredesoutilsmodernesducommercelectronique.Projetdedveloppementencommercelectronique. Pralables:CSI4528etCSI3540,oulquivalent,ouacceptationdanslundesprogrammesdematriseentechnologiesdesaffaireslectroniquesoudanslediplmedtudessuprieuresencommercelectronique. CSI5787(COMP5706)FOUILLEDESDONNESETAPPRENTISSAGEDESCONCEPTS(3cr.) Fouillededonnescommeacquisitiond'associations,groupement,etapprentissagedesconcepts.Questionsdebasedesassociationsetlesreprsentationschoisiesdesconcepts.Introductionauxentreptsdesdonnes.Apprentissagedesconceptscommeunerecherched'espacedesconcepts.Lesalgorithmestypiquesd'induction.Lesrseauxdesneuronescommereprsentationetmcanismed'apprentissagedesconcepts.Apprentissagedesconceptsenprsencedesconnaissances.Introductionlathoried'apprentissage.Apprentissagefondsurlescas.Applicationschoisiesdefouillededonnesetd'apprentissagedesconcepts.Pralable:CSI4106oupermissionduresponsabledeprogramme. CSI5789(COMP5401)TECHNOLOGIESDUCOMMERCELECTRONIQUE(3cr.) Introductionauxmodlesettechnologiesdentreprise. Moteurs de recherche. Cryptographie. Services Web et agents. Transactionslectroniquesscurises.Technologiesducommercelectroniquevaleurajoute.Questionsderechercheavances. Pralables:CSI4528et CSI 3540, ou lquivalent,ouacceptationdanslundesprogrammesdematriseentechnologiesdesaffaireslectroniquesoudanslediplmedtudessuprieuresencommercelectronique. CSI7162 (COMP 6604) ADVANCED TOPICS IN COMPUTER APPLICATIONS(3cr.) Systmesinformatiques(symboleSdanslalistedescours)/ComputerSystems(codeSinthecourselist)

CSI5105 (COMP 5406) NETWORK SECURITY AND CRYPTOGRAPHY(3cr.) Advanced methodologies selected from symmetric and public key cryptography, network security protocols and infrastructure,identification, secret-sharing, anonymity, intrusion detection, firewalls, defending network attacks and performance in communicationnetworks. Prerequisites: familiarity with basic concepts in networks, network security, and applied cryptography. For example, relevant background courses may include the following (or equivalents): CEG 4185 or COMP 3203 and/or CSI 4138 or CEG 4394 or COMP 4108,and/or CSI 4108 or ELG 5373 or COMP 4109. CSI5109 (COMP 5701) SPECIFICATION METHODS FOR DISTRIBUTED SYSTEMS(3cr.) Concepts of process algebras, specially with relation to the specification language LOTOS. Equivalence concepts: observation equivalence,testing equivalence. Data algebras. Rewriting systems. Verification of specifications. Specifications styles. Applications to distributedsystems: communications protocols, telephone systems. Related models CSP, CCS, ACP. Relation to temporal logic and model checking. CSI5114 (COMP 5504) AUTOMATED OFFICE SYSTEMS(3cr.) Study of office automation and its extension into commerce and marketing. Tools for collaboration, information transformation, data


Printed Date: 2014-0 3-2 2 15 / 19

gathering, storage and retrieval, office agents and CSCW, funds transfer, electronic mail systems and messaging, use of WWW.Ergonometric, legal and regulatory aspects, social and economic factors. CSI5116 (COMP 5407) AUTHENTICATION AND SOFTWARE SECURITY(3cr.) Specialized topics in security including advanced authentication techniques, user interface aspects, electronic and digital signatures,security infrastructures and protocols, software vulnerabilities affecting security, non-secure software and hosts, protecting software anddigital content. Prerequisites: Basic course in Statistics or permission of the program director. CSI5129 (COMP 5305) ADVANCED DATABASE SYSTEMS(3cr.) CSI5131 (COMP 5704) PARALLEL ALGORITHMS AND THEIR IMPLEMENTATION(3cr.) Introduction: models of computation, levels of parallelism; performance measures for parallel algorithms; need for parallel algorithms.Parallel algorithms: techniques in matrix multiplication, solution of linear equations, transforms and differential equations; systolic arraysfor the implementation of parallel algorithms in the areas of matrix arithmetic, transforms and relational database operations. VLSIimplementations: VLSI and parallel computing structures; mapping of high-level computations into VLSI structures. CSI5132 (COMP 5105) PARALLEL PROCESSING SYSTEMS(3cr.) Introduction to issues involved in designing and using parallel processing systems. Topics include: taxonomy and applications of parallelsystems; SIMD systems; multiprocessor systems; multicomputer systems; computation versus communication issues in parallelprocessing; scheduling parallel systems; spinning versus blocking; interconnection networks; hot-spot contention. Prerequisite: permission of the School. CSI5133 (COMP 5608) SIMULATION AND TESTING OF LOGIC CIRCUITS(3cr.) Fault modeling in digital circuits. Logic simulation. Test generation. Parallel, deductive and concurrent fault simulation. Fault simulatoraccelerators. Testability measures. Current trends in testability. CSI5134 (COMP 5004) FAULT TOLERANCE(3cr.) Hardware and software techniques for fault tolerance. Topics include modeling and evaluation techniques, error detecting and correctingcodes, module and system level fault detection mechanisms, design techniques for , fault-tolerant and fail-safe systems, software faulttolerance through recovery blocks, N-version programming, algorithm-based fault tolerance, checkpointing and recovery techniques, andsurvey of practical fault-tolerant systems. CSI5141 (COMP 5009) ASSOCIATIVE DATA STRUCTURES AND ADVANCED DATABASES(3cr.) CSI5142 (COMP 5402) PROTOCOLS FOR MOBILE AND WIRELESS NETWORKS(3cr.) CSI5143 (COMP 5403) REAL-TIME SYSTEMS DEVELOPMENT(3cr.) An advanced course in real-time OO systems development that deals with modeling systems at different abstraction levels. A systematicand traceable modeling process is introduced. Topics include: modeling notations (including UML-RT), development process, designpatterns, and system testing. Expect a substantial design project. Precludes additional credit for ELG 6186. Prerequisite: Computer Science CSI 5314 or equivalent. CSI5147 (COMP 5201) COMPUTER ANIMATION(3cr.) Theories and techniques in 3D modeling and animation. Animation principles, categories, and history. Forward and inverse kinematics.Motion capture, editing and retargeting. Flexible bodies. Particle animation. Behavioral animation. Human modeling. Facial animation.Cloth animation and other sub-topics. Prerequisites: Undergraduate linear algebra, and calculus. CSI5148 (COMP 5103) WIRELESS AD HOC NETWORKING(3cr.) Self-organized, mobile, and hybrid ad hoc networks. Physical, medium access, networks, transport and application layers, and cross-layering issues. Power management. Security in ad hoc networks. Topology control and maintenance. Data communication protocols,routing and broadcasting. Location service for efficient routing. CSI5161 (COMP 5606) PRINCIPLES OF DISTRIBUTED SIMULATION(3cr.) Distributed simulation principles and practices. Synchronization protocols: Optimistic vs Conservative, Deadlock detection in conservativesimulations, Time warp simulation. Distributed interactive simulation: Data distribution management, Interest management, High LevelArchitectures (HLA), Run Time Infrastructure (RTI). Distributed web-based simulation. Distributed agent based simulation. Real timeapplications of distributed simulation. Distributed and collaborative virtual simulations. CSI5168 (COMP 5309) DIGITAL WATERMARKING(3cr.) Overview of recent advances in watermarking of image, video, audio, and other media. Spatial, spectral, and temporal watermarkingalgorithms. Perceptual models. Use of cryptography in steganography and watermarking. Robustness, security, imperceptibility, andcapacity of watermarking. Content authentication, copy control, intellectual property, digital rights management, and other applications.


Printed Date: 2014-0 3-2 2 16 / 19

Prerequisites: ELG 4172 or CEG 4311 or CSI 4133 or equivalent. CSI5169 (COMP 5304) WIRELESS NETWORKS AND MOBILE COMPUTING(3cr.) Computational aspects and applications of design and analysis of mobile and wireless networking. Topics include Physical, LinkLayer,Media Access Control, Wireless, Mobile LANs (Local Area Networks), Ad-Hoc, Sensor Networks, Power Consumption optimization,Routing, Searching, Service Discovery, Clustering, Multicasting, Localization,Mobile IP/TCP (Internet Protocol/Transmission ControlProtocol) , File Systems, Mobility Models,Wireless Applications. (Cannot be combined for credit with ELG 6168) CSI5170 (COMP 5800) DISTRIBUTED DATA PROCESSING(3cr.) Graph- and non-graph-related algorithms in a distributed environment, such as breadth-first-search, selection in a ring, distributed filesorting, etc. Approaches to distributed database managment design: distributed query and update processing, concurrency control, optimalallocation of resources and users, etc. Modelling techniques for distributed systems, such as Petri-nets, etc. Security in a distributedenvironment. CSI5171 (COMP 5303) NETWORK ARCHITECTURES, SERVICES, PROTOCOLS AND STANDARDS(3cr.) Contemporary network architectures and protocols, with special consideration of telephony and mobility standards. Wireline and wirelessnetwork evolution. Telephony features and the feature interaction problem. Intelligent network architecture. Cellular networks andpersonal communications systems. Seamless network architectures. Mobile data communications. The Open Distributed ProcessingReference model and derived architectures. Discussion of sample current architectures and issues, such as General System for MobileCommunication, IEA/TIA 41, Wireless Intelligent Networks, International Mobile Telephony 2000, migration towards the Internet.Prerequisites: No prerequisites except the general maturity and knowledge of data communications principles that should have been acquired by Computer Engineering and Computer Science graduates. CSI5173 (COMP 5203) DATA NETWORKS(3cr.) CSI5174 (COMP 5604) VALIDATION METHODS FOR DISTRIBUTED SYSTEMS(3cr.) Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs.Verification of general properties of distributed systems. Analysis and relief stragegies. Testing techniques. Test generation strategies. Testarchitectures. CSI5175 (COMP 5604) MOBILE COMMERCE TECHNOLOGIES(3cr.) Wireless and mobile electronic commerce architecture and applications. Electronic banking, digital cash. Wireless exchanges, businessmodels. Fixed and mobile wireless networks. Routing techniques. Content presentation. Security issues and solutions. Satellite networksfor electronic commerce. Overview of relevant standards, protocols and technologies. Case studies. CSI5185 (COMP 5107) STATISTICAL AND SYNTACTIC PATTERN RECOGNITION(3cr.) CSI5308 (COMP 5003) PRINCIPLES OF DISTRIBUTED COMPUTING(3cr.) CSI5311 (COMP 5101) DISTRIBUTED DATABASES AND TRANSACTION PROCESSING SYSTEMS(3cr.) Principles involved in the design and implementation of distributed databases and distributed transaction processing systems. Topicsinclude: distributed and multi-database system architectures and models, atomicity, synchronization and distributed concurrency controlalgorithms, data replication, recovery techniques, and reliability in distributed databases. CSI5312 (COMP 5102) DISTRIBUTED OPERATING SYSTEMS(3cr.) CSI5380 (COMP 5405) SYSTEMS AND ARCHITECTURES FOR ELECTRONIC COMMERCE(3cr.) Content and transactions in e-commerce systems. System architecture with a focus on frameworks, tools and development process.Application frameworks. Information management. Security, standards, and regulatory compliance. Current research issues. Hands-onexperience with an integrated set of current e-commerce tools. E-commerce development project. CSI5389 (COMP 5401) ELECTRONIC COMMERCE TECHNOLOGIES(3cr.) Introduction to business models and technologies. Search engines. Cryptography. Web services and agents. Secure electronic transactions.Value added e-commerce technologies. Advanced research questions. CSI5509(COMP5701)MTHODESPOURLASPCIFICATIONDESYSTMESRPARTIS(3cr.) Algbresdeprocessus,surtoutparrapportaulangagedespcificationLOTOS.Conceptsd'quivalence:quivalenced'observation,quivalencedetest.Algbresdedonnes.Systmesdercriture.Vrificationdespcifications.Stylesdespcification.Applicationssystmesrpartis:protocolesdecommunication,systmestlphoniques.Modlesrelis:CSP,CCS,ACP.Relationsaveclogiquetemporelleetcontrledemodle. CSI5514 (COMP 5504) BUREAUTIQUE(3cr.)


Printed Date: 2014-0 3-2 2 17 / 19

Unetudedelabureautique.Lessystmesdebureautique,rseauxlocaux,systmesdetraitementdetexte,transfertsdefonds,messageriesetchangesdedocuments.Lapolitiqueconomique,socialeetlgaledessystmesbureautiques. CSI5780(COMP5405)SYSTMESETARCHITECTURESDESLOGICIELSPOURLECOMMERCELECTRONIQUE(3cr.) Contenuettransactionsdanslessystmesdecommercelectronique.Architecturedesystme.Uneattentionparticulireseraporteauxlogicielsintgrs,auxoutilsetauprocessusdedveloppement.Cadresdapplications. Gestion de linformation.Scurit,normesetconformitauxrglementations.Problmesderechercheactuels.Expriencepratiqueintgredesoutilsmodernesducommercelectronique.Projetdedveloppementencommercelectronique. Pralables:CSI4528etCSI3540,oulquivalent,ouacceptationdanslundesprogrammesdematriseentechnologiesdesaffaireslectroniquesoudanslediplmedtudessuprieuresencommercelectronique. CSI5789(COMP5401)TECHNOLOGIESDUCOMMERCELECTRONIQUE(3cr.) Introductionauxmodlesettechnologiesdentreprise. Moteurs de recherche. Cryptographie. Services Web et agents. Transactionslectroniquesscurises.Technologiesducommercelectroniquevaleurajoute.Questionsderechercheavances. Pralables:CSI4528et CSI 3540, ou lquivalent,ouacceptationdanslundesprogrammesdematriseentechnologiesdesaffaireslectroniquesoudanslediplmedtudessuprieuresencommercelectronique. CSI7131 (COMP 6100) ADVANCED PARALLEL AND SYSTOLIC ALGORITHMS(3cr.) CSI7163 (COMP 6605) ADVANCED TOPICS IN COMPUTER SYSTEMS(3cr.) CSI7170 (COMP 6602) ADVANCED TOPICS IN DISTRIBUTED COMPUTING(3cr.) CSI7970(COMP6602)THMESENINFORMATIQUERPARTIE Thsesetprojets/ThesesandProjects CSI5140 (COMP 5900) SELECTED TOPICS IN COMPUTER SCIENCE(3cr.) CSI5900 (COMP 5902) PROJETS DE RECHERCHE EN INFORMATIQUE / GRADUATE PROJECTS IN COMPUTERSCIENCE(3cr.) CSI5901(COMP5901)TUDESDIRIGES/DIRECTEDSTUDIES(3cr.) CSI5902 (COMP 5904) COLLOQUE / SEMINAR(3cr.) CSI5903(COMP5904)STAGEENCOMMERCELECTRONIQUE/ELECTRONICCOMMERCEWORKTERM(3cr.) Exprienceenmilieudetravail.Not:S(satisfaisant)/NS(nonsatisfaisant)selonlesrsultatsdurapportcritetl'valuationdel'employeur.Pralables:recevoirlapermissionduComitduprogramme./Practicalexperience.S(satisfactory)/NS(notsatisfactory)grade, to be based on the grades obtained for the written report as well as on the evaluations of the employer. Prerequisites: permission of the Program Committee. CSI6001 STAGE COOP I / CO-OP WORK TERM I(6cr.) Exprienceenmilieudetravail.NotP(russite)/F(chec)parunprofesseurduprogrammeselonlesrsultatsdurapportcritetlvaluationdusuperviseurdestage.Pralable:permissionduresponsabledestudessuprieures./Experienceinaworkplacesetting.Graded P (pass) /F (fail) by a professor in the program based on the written report and the evaluation of the internship supervisor.Prerequisite: permission of the graduate studies co-ordinator. CSI6002 STAGE COOP II / CO-OP WORK TERM II(6cr.) Exprienceenmilieudetravail.NotP(russite)/F(chec)parunprofesseurduprogrammeselonlesrsultatsdurapportcritetlvaluationdusuperviseurdestage.Pralable:permissionduresponsabledestudessuprieures./ Experience in a workplace setting.Graded P (pass) / F (fail) by a professor in the program based on the written report and the evaluation of the internship supervisor.Prerequisite: permission of the graduate studies co-ordinator. CSI6900 (COMP 5903) PROJETS DE RECHERCHE INTENSIVE EN INFORMATIQUE / INTENSIVE GRADUATEPROJECTS IN COMPUTER SCIENCE(6cr.) Coursdesixcrditss'chelonnantsurunepriodededeuxsessions.L'envergureduprojetderechercheexigdanscecoursestdeuxfoisplus grande que dans le cas de CSI 5900. Les cours CSI 6900 et CSI 5900 sont mutuellement exclusifs. Cours ouvert uniquement auxtudiantsinscritslamatrisesansthse/Atwo-session course. The project is twice the scope of projects in CSI 5900. Not to be combined


Printed Date: 2014-0 3-2 2 18 / 19

for credit with CSI 5900. Not to be taken in the thesis option. CSI7161 (COMP 6603) ADVANCED TOPICS IN PROGRAMMING SYSTEMS AND LANGUAGES(3cr.) CSI7900 (COMP 6902) PROJETS DE RECHERCHE EN INFORMATIQUE / GRADUATE PROJECTS IN COMPUTERSCIENCE(3cr.) CSI7901(COMP6901)TUDESDIRIGES/DIRECTEDSTUDIES(3cr.) CSI7999(COMP5905)THSEDEMATRISEENINFORMATIQUE/MASTEROFCOMPUTERSCIENCETHESIS CSI9901 (COMP 5905) COLLOQUE / SEMINAR CSI9902 (COMP 5905) COLLOQUE / SEMINAR CSI9997(COMP6908)PROPOSITIONDETHSEDEDOCTORAT/DOCTORALTHESISPROPOSAL CSI9998(COMP6907)EXAMENGNRALDEDOCTORAT/PhDCOMPREHENSIVEEXAMINATION CSI9999(COMP6909)THSEDEDOCTORAT/PhDTHESIS


Printed Date: 2014-0 3-2 2 19 / 19

tire_a_part

Documents