SENIOR and SUMMER SEMINARS

• Altaf Hussain, June 4, 2013 at 10am in Annex 23A
  A Framework For Context Aware Service Discovery And Service Enabled Workflow, Thesis Proposal Presentation 
• Gregory Lee, January 21, 2013 at 2:15 in Annex 23A
  The Sports Commentary Recommendation System
• Dr. Wolfram Bentz, December 3, 2012 at 11:00 in Annex 23A
  Properties of the Commuting Graph of the Symmetric Inverse Semigroup
• Adrian MacKenzie, November 12 , 2012 at 2:15 in Annex 23A
  Lessons from 10 years of experience as a St. F.X. math grad
• Dr. Iván Cabria, October 22, 2012 at 2:15 in Annex 23A
  Searching for New Materials for the Hydrogen Car: Computational Challenges
• Dr. David Chiu, September 24, 2012 at 2:15pm in Annex 23A
  Data Mining of Biological Sequences from Discovery of Complex Patterns , Heaps Chair Lecture 
• Dr. Yngve Lamo, May 16, 2012 at 2:15pm in Annex 23A
  Model Driven Engineering and DFP, James Chair Lecture 
• Shizheng Jiang, April 12, 2012 at 2:15pm in Annex 23A
  An Energy Profiling Platform for Real-Time DVFS Scheduling, Thesis Proposal
• Chunsheng Zhu, April 11, 2012 at 11:00am in Annex 23A
  Insights of top-k query in duty-cycled wireless sensor networks, Thesis Defense
• Md Zahidul Islam, April 4th, 2012 at 3:15 in Annex 23A
  A tableau-based workflow verification framework for computation tree logic (CTL), Thesis Defense
• Conan Fan Li, March 29, 2012 at 2:15 in Annex23A
  A Scheduling Service Oriented Approach for Workflow Scheduling, Thesis Defense
• Chunsheng Zhu, January 23, 2012 at 2:15 Room NH 156
  Top-k Query in Duty-Cycled Wireless Sensor Networks, Thesis Proposal Presentation
• Fahim Alam, Dec 12, 2012 at 2:15 in Annex23A
  Learning Spatial Relations for Object-Specific Segmentation Using Bayesian Network Model, Thesis Defense 
• Dr. Tom Maibaum, October 12, 2011 at 9:15am in Ax23A
  Positioning Verification in the Context of Software/System Certification
• Fazle Rabbi, Oct 11, 2011 at 10:15 Room Annex 124
  Design, Development and Verification of a Compensable Workflow Modeling Language, Thesis Defense 
• Dr. Adrian Rutle, September 19, 2011 at 2:15 in Ax23a
  An MDE Approach to Timed Compensable Workflows
• Nazia Leyla , July 20, 2011 at 10:15 Room Annex 23A
  A Personalized Access Control Framework for Workflow-based Healthcare Information, Thesis Defense
• Dr. Hao Wang, Alley Heaps Chair Professor, May 4, 2011 at 2:15am in Ax23A Overview of Electronic Health Record Standards
• Ahmed Shah Mashiyat, April 11, 2011 at 2:15pm in Ax23a
  Verification of Time-Constrained Workflows in a Distributed Memory Environment
• Dr. Wayne Patterson, March 18, 2011 at 2:15pm in Ax23a
  Excursions in Computation
• Ying Alice Haung, Feb 11, 2011 at 3:15pm
  An Improved Parallel Block Lanczos Algorithm over GF(2) for Integer Factorizations , THESIS DEFENSE
• Md. Rokan Uddin Faruqui, Jan 27, 2011 at 2:15pm
  BioOntDB: A scalable Reasoner for large Bio-Ontologies stored in relational databases , THESIS PROPOSAL
• Fahim Iran Alam, Nov 10, 2010 at 2:15pm
  A Bayesian Network-based Tunable Image Segmentation Algorithm For Object Recognition, THESIS PROPOSAL
• Yongwen Pan, Oct 20, 2010 at 2:15pm
  Static and Reliability Aware Energy Management in Real-Time Systems, THESIS DEFENSE
• Md Zahidul Islam, Oct 14, 2010 at 2:30pm
  A framework for automated verification of workflow using timed temporal logic in a distributed memory environment
• Dr. Wayne Patterson, Oct 1, 2010 at 2:15pm
  Excursions in Computation
• Fazle Rabbi, Sept 27, 2010 at 2:45pm
  Design, Development and Verification of a Compensable Workflow Modeling Language
• Conan Li, Sept 27, 2010 at 2:15pm
  Towards a framework for real-world scheduling problems
• Dr. Robb Fry, Sept 17, 2010 at 2:15pm
  A Selected Survey of Extension Theorems
• Dr. Alan Lindsay, July 28, 2010 at 2:15pm
  An Eigenvalue Optimization Problem in Mathematical Ecology
• Mr. Patrick Reynolds, July 13, 2010 at 2:15pm
  Geometry and Differential Equations: an example-based, historically-motivated overview
• Dr. L. Garey, April 15, 2010 at 2:15pm
  Construction of A Symmetric Banded Matrix From Eigenvalues
• Nazia Leyla, Feb 17, 2010 at 2:15pm
  A Personalized Access Control Framework for Workflow-based Healthcare Information
• Alice Huang, Dec 4, 2009 at 1:15pm
  An Improved Parallel Block Lanczos Algorithm over GF(2) for Integer Factorization
• Liu Yang, Nov 4, 2009 at 2:40pm
  Power-Aware Fixed Priority Real-Time Scheduling for Multicore Processors
• Ahmed Mashiyat, Nov 4, 2009 at 2:15pm
  Automated Translator from Petri Net Models to the DiVinE Model Checker
• Dr. Juliane Behrend, Oct 14, 2009 at 2:15pm
  A Lecture on Partial Derivatives
• Mr. Patrick Reynolds, Aug 26, 2009 at 2:15pm
  Hamiltonian Partial Differential Equations: Systems of Hydrodynamic Type
• Sunny Choi, July 15th, 2009 at 2pm
  Particle Swarm Optimization in the Presence of Multiple Global Optima
• Dr. Ji Ruan, July 8th, 2009 at 2pm
  Reasoning about Multi-Agent Systems
• Dr. Cristian Cocos, July 8th, 2009 at 10am
  Relation Ontology
• Dr. Benjamin McKay, April 24th, 2009
  Smooth Projective Planes and Symplectic Topology
• Dr. Yumin Wang, April 16th, 2009
  GMDBs versus Quantile Hedging
• Mr. Ryan Lukeman, April 14th, 2009
  Collective motion of animal groups : Analyzing models, data, and connecting the two
• Dr. Qihao (Keon) Xie, March 23, 2009
  Exact Inference for a Simple Exponential Step-stress Model Under Type-I Hybrid Censoring Scheme
• Dr. Hao Wang, March 20, 2009
  Towards Distributed Model Checking of Real-time Systems
• Dr. Sunny Wang, March 16, 2009
  Data Mining in Drug Discovery: Clustering and Recursive Partitioning
• Dr. Peidong Zhu, March 2, 2009
  Towards A Self-Organized Internet ---Efforts in Routing System Design and Development
• Alan Gaoyuan Huang, January 12th, 2009 @ 2:45pm
  Wiedemann-based Parallel GNFS Algorithms for Integer Factorization
• Andy Yongwen Pan, January 12th, 2009 @ 2:15pm
  Reliability Aware System-Wide Energy Management in Real-Time Systems
• Dr. Sajid Hussain, November 28th , 2008
  Key Management in Heterogeneous Wireless Sensor
• Dr. Trevor Bruen, November 7th, 2008
  A Discrete Approach to Biostatistics
• Dr. Md. Shakhawat Hossain , November 3rd, 2008
  Multiple Linear Regression Model
• Dr. Mohammad Jafari Jozani, October 27th, 2008
  Ranked Set Sampling And Its Superiority Over Simple Random Sampling in Estimating The Population Mean
• Dr. Ling Zhou, October 20th, 2008
  Studies on Intelligent Information Processing based on Electroencephalograph
• Patrick Reynolds, July 9th, 2008
  Hamiltonian Differential Equations
• Dr. Grace Paterson, April 14th, 2008
  Topic Maps for Exploring Semiotic, Semantic, Lexical, and HL7 Structures for Clinical Data
• Hao Wang, March 31, 2008
  Toward Fairness in Electronic Exchange
• Keith Miller, March 5, 2008
  Verification BDI Logic Properties of Workflows Modeled as Colored Petri Nets
• Tao Xu, February 11, 2008
  Strong Image Segmentation via Multiple Instance Learning
• Dr. Tom Vincent, September 24, 2007
  Relative Abundance
• Dr. Ross Cressman, September 24, 2007
  Evolutionary games with continuous strategy sets
• Dr. Joel Brown, September 21, 2007
  In the Shadow of the Snow Leopard: Foraging games between fierce predators and their prey
• Mr. Matt Malenfant, August 7, 2007
  A First Look at Computer Algebra and Symbolic Polynomials
• Mr. Paul Ottaway, August 2, 2007
  Winning (and Losing) Combinatorial Games
• Dr. John Hearne, June 25, 2007
  Modelling and managing ecosystems
• Ryan Lukeman, May 14, 2007
  A Model for Schooling Formations - An Example of Self-Organization
• Dansheng Yu, April 23, 2007
  Mean Value Bounded Variation Condition and Applications in Fourier Analysis
• Dr. Neil J. Calkin, April 9, 2007
  Tossing coins, and a random shooting game of Lampert and Slater
• Gillian Duffy, Thesis Presentation, February 9, 2007
  Time Series Analysis of Canadian Monthly Unemployment Rates
• Tanya Ruppell and Greg Adams, IBM, January 29, 2007
  Software Development at IBM Ottawa
  Enterprise tends and how to deliver on their promise
• Nicos Pelavas, January 22, 2007
  Curvature invariants in Lorentzian geometry