Senior Seminars

Dr. Xianjun Deng, Monday, January 30, 2017 @ 2:15pm in NH245 - Coverage Issues in Wireless Sensor Networks and Internet of Things

Dr. Jacob Levman, Monday, January 23, 2017 @ 2:15pm in NH245 - Bioinformatics in Medical Imaging

Ivan Cabria, Friday, December 9, 2016 @ 3:30pm in SCHW152 - Localization and Segmentation of Tumors in Magnetic Resonance Images

Matthew Lewis, Monday, November 28, 2016 @ 2:15pm in NH245 - Constructible Numbers: Language, Meta-Language and The Three Problems of Antiquity

Dr. Marc Renault, Monday, October 31, 2016 @ 2:15pm in NH245 - Stochastic Dominance and Bijective Analysis of Online Algorithms: Matching Theory to Practice 

Tharshanna Nadarajah, Monday, October 3, 2016 @ 2:15pm in NH245 - Variable Selection Problem

Iván Cabria, Monday, September 26, 2016 @ 2:15pm in NH245 - Monte Carlo and Molecular Dynamics Simulations of Hydrogen Storage on Carbon Nanopores

Dr. Qingchen Zhang, Monday, Mar 14, 2016 @ 2:15pm in Ax23A -  Deep Computation Models for Big Data Feature Learning 

Orla Murphy, Monday, Mar 7, 2016 @ 2:15pm in Ax23A -  Copula-based tests of independence for bivariate discrete data and extreme value analysis

Shannon Ezzat, Monday, Jan 18, 2016 @ 2:15pm in Ax23A -  A Gentle Introduction to Representation Growth

Derrick Lee, Monday, Jan 11, 2016 @ 2:15pm in Ax23A -  Occupational exposure to polycyclic aromatic hydrocarbons is associated with increased breast cancer risk

Qiang Wu, Monday, Oct 19, 2015 @ 2:15pm in Ax23A -  The Integer Transfinite Diameter and its applications

Daniele Gregoris, Thursday, Oct 15, 2015 @ 4:00pm in Ax23A -  Exact Evolution of Discrete Relativistic Cosmological Models

Yngve Lamo, Monday, Oct 5, 2015 @ 2:15pm in Ax23A -  A Diagrammatic Approach to Model Completion

Wayne Patterson, Friday, Oct 2, 2015 @ 2:15pm in SCHW152 -  Behavioural Cybersecurity

David Mattie, Tuesday, April 28, 2015 @ 10:00am in Annex 23A - Thesis Proposal Presentation- Improving retention with an outcome focused examination timetable

Dr. Martin van Bommel, Monday, February 2, 2015 @ 2:15 in Annex 23A - New bounds for Peaceably Coexisting Armies of Queens

Nasreen Akter, Wednesday, December 17th 2014 @ 10:00am in Annex 23A - Attributed Relational Graph-Based Learning of Object Models for Object Segmentation - Thesis Proposal Presentation

Mostafijur Rahman, Monday, December 8th 2014 @ 1:00pm in Annex 23A - Mobile Agent Driven Ontology Based Service Enabled Workflow - Thesis Proposal Presentation

Fakhruddin Mahbub-ul-Islam, Monday, December 8th 2014@ 1:30pm in Ax23A - Learning Based Power Management for Periodic Real-time Systems - Thesis Proposal Presentation

Md Mokarrom Hossain, November 3rd 2014 @ 2:15pm in Annex 23A - Parallel Inconsistency-tolerant Description Logic Reasoning -Thesis Proposal Presentation

Dr. Reshu Agarwal, Oct 27, 2014 at 2:15 in Ax23A - Cancelled - Accurate land-use classification using a multi-spectral satellite image

Dr. Ross Cressman, Oct 21, 2014 @ 7:00pm in SCHW205, An Introduction to Evolutionary Games and to Game Experiments on Cooperation through Reward and Punishment

Dr. Joel Brown, Oct 8th, 2014 @ 7:00pm in SCHW 289 - Games Nature Plays: From Natural Ecosystems to Cancer - James Chair Lecture 

Jianan Peng, August 15th @ 11am in Ax23A -  Multiple Confidence Intervals for Selected Parameters Adjusted for the False Coverage-Statement Rate in Monotone Dose-Response Microarray Experiments

Fateha Bappee, May 14, 2014  @10 am in Ax23A- Thesis Defense - Classifying Imbalanced Drug Discovery Data Using Adaptively Chosen K & K Weighted k-nearest Neighbour.

Dr. Arnold Mitnitski, Dalhousie University, November 4th @ 2:15 in SCHW 290 Aging as a process of deficit accumulation, its assessment in individuals and populations: mathematical models 

Dr. Yngve Lamo, October 28, 2013 at 2:15pm in Annex 124 User-Friendly Model Checking of Health Care Workflow

Dr. Jocelyne Faddoul, September 30, 2013 at 2:15pm in Annex 23A What Happens When We add Logic to Descriptions?   

Fateha Bappee, July 18, 2013 at 10am in Annex 23A Classifying and Clustering Drug Discovery Data, Masters Thesis Proposal Presentation 

Dr. Dale Garraway, June 19, 2013 at 2:15pm in Annex 23A The Centre of the Universe

Jess Enright, June 18, 2013 at 2:15pm in Annex 23A How do differing farmers play the game? 

Altaf Hussain, June 4, 2013 at 10am in Annex 23A A Framework For Context Aware Service Discovery And Service Enabled Workflow, Masters 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 elative 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