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
Contact
103 Annex
2323 Notre Dame Avenue
Antigonish NS B2G 2W5
Canada