SENIOR and SUMMER SEMINARS 2010/2011
Click on image to see Seminar Notice
Overview of Electronic Health Record Standards
B.Sc. Thesis Presentation
A Genetic Algorithm to Evolve the Structure of an Artificial Neural Network
M.Sc. Thesis Defense
Verification of Time-Constrained Workflows in a Distributed Memory Environment
Excursions in Computation
An Improved Parallel Block Lanczos Algorithm over GF(2) for Integer Factorizations , THESIS DEFENSE
BioOntDB: A scalable Reasoner for large Bio-Ontologies stored in relational databases , THESIS PROPOSAL
A Bayesian Network-based Tunable Image Segmentation Algorithm For Object Recognition, THESIS PROPOSAL
Static and Reliability Aware Energy Management in Real-Time Systems, THESIS DEFENSE
A framework for automated verification of workflow using timed temporal logic in a distributed memory environment
Excursions in Computation
Design, Development and Verification of a Compensable Workflow Modeling Language
Towards a framework for real-world scheduling problems
A Selected Survey of Extension Theorems
An Eigenvalue Optimization Problem in Mathematical Ecology
Geometry and Differential Equations: an example-based, historically-motivated overview
Construction of A Symmetric Banded Matrix From Eigenvalues
A Personalized Access Control Framework for Workflow-based Healthcare Information
An Improved Parallel Block Lanczos Algorithm over GF(2) for Integer Factorization
Power-Aware Fixed Priority Real-Time Scheduling for Multicore Processors
Automated Translator from Petri Net Models to the DiVinE Model Checker
A Lecture on Partial Derivatives
Hamiltonian Partial Differential Equations: Systems of Hydrodynamic Type
Particle Swarm Optimization in the Presence of Multiple Global Optima
Reasoning about Multi-Agent Systems
Relation Ontology
Smooth Projective Planes and Symplectic Topology
GMDBs versus Quantile Hedging
Collective motion of animal groups : Analyzing models, data, and connecting the two
Exact Inference for a Simple Exponential Step-stress Model Under Type-I Hybrid Censoring Scheme
Towards Distributed Model Checking of Real-time Systems
Data Mining in Drug Discovery: Clustering and Recursive Partitioning
Towards A Self-Organized Internet ---Efforts in Routing System Design and Development
Wiedemann-based Parallel GNFS Algorithms for Integer Factorization
Reliability Aware System-Wide Energy Management in Real-Time Systems
Key Management in Heterogeneous Wireless Sensor
A Discrete Approach to Biostatistics
Multiple Linear Regression Model
Ranked Set Sampling And Its Superiority Over Simple Random Sampling in Estimating The Population Mean
Studies on Intelligent Information Processing based on Electroencephalograph
Hamiltonian Differential Equations
Topic Maps for Exploring Semiotic, Semantic, Lexical, and HL7 Structures for Clinical Data
Toward Fairness in Electronic Exchange
Verification BDI Logic Properties of Workflows Modeled as Colored Petri Nets
Strong Image Segmentation via Multiple Instance Learning
Relative Abundance
Evolutionary games with continuous strategy sets
In the Shadow of the Snow Leopard: Foraging games between fierce predators and their prey
A First Look at Computer Algebra and Symbolic Polynomials
Winning (and Losing) Combinatorial Games
Modelling and managing ecosystems
A Model for Schooling Formations - An Example of Self-Organization
Mean Value Bounded Variation Condition and Applications in Fourier Analysis
Tossing coins, and a random shooting game of Lampert and Slater
Time Series Analysis of Canadian Monthly Unemployment Rates
Software Development at IBM Ottawa
Enterprise tends and how to deliver on their promise
Curvature invariants in Lorentzian geometry