Math/Computing Science
   

Home
Course Info (PDF)
Faculty & Staff
Technical Reports
MSDNAA
Moodle
Students
Useful Links
Contact



Related Links
Faculty of Science
High School Comp.
Degree Navigator®

 

Math & Computing Science

Welcome to the Technical Reports page of the Saint Mary's University Department of Mathematics and Computing Science website.

2024_01
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
On the difference set of two transductions

Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Juraj Sebej

2022_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Performance Analysis of ODE Solvers on Covid-19 Models with Discontinuities

Humaid Agowun and Paul Muir

2021_001
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear dot
Improving Student Takeaway in Introductory Numerical Analysis/Scientific Computing Courses: A Threshold Concepts Approach

Jonathan Calver, Tom Fairgrieve, Paul Muir

2020_001
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear dot
Error Control B-spline Gaussian Collocation PDE Software with Time-Space Event Detection

Jack Pew, Connor Tannahill, Paul Muir

2019_002
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear dot
Superconvergent Interpolants for Collocation Solutions of Mixed First and Second Order Boundary Value ODE Systems

P.H. Muir, M.Adams, J. Finden, P. Phoncharon

2019_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Performance Analysis of Interpolation-based Spatial Error Control B-spline Gaussian Collocation PDE Software: BDF Time Integration vs. IRK Time Integration

Jack Pew, Tom Murtha, Connor Tannahill, Paul Muir

2018_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Error Control B-spline Gaussian Collocation/Runge-Kutta PDE Software with Interpolation-based Spatial Error Estimation

Jack Pew, Tom Murtha, Connor Tannahill, Paul Muir

2018_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Performance Analysis Results for Error Control B-spline Gaussian Collocation PDE Solvers

Jack Pew, Connor Tannahill, and Paul Muir

2017_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Application of Error Control Software to ODE and PDE-based Epidemiological Models

Connor Tannahill and Paul Muir

2015_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Tolerance vs. Error Results for a Class of Error Control B-spline Gaussian Collocation PDE Solvers

Paul Muir and Jack Pew

2013_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A Computational Study of the Efficiency of Collocation Software for 1D Parabolic PDEs with Interpolation-based Spatial Error Estimation

Jack Pew, Zhi Li, Paul Muir

2012_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A Numerical Study of Global Error and Defect Control Schemes for BVODEs

Jason J. Boisvert, Paul H. Muir, and Raymond J. Spiteri

2011_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Refinement and Implementation of Algorithmic Tools for Deciding the Error-detection Property

Alifasi Daka and Stavros Konstantinidis

2011_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Efficient Interpolation-based Error Estimation for 1D Time-Dependent PDE Collocation Codes

Tom Arsenault, Tristan Smith, Paul Muir, and Pat Keast

2010_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Formal descriptions of code properties: decidability, complexity, implementation

Krystian Dudzinski and Stavros Konstantinidis

2010_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Determining exponential density and maximal encoding capabilities of a regular language

Stavros Konstantinidis and Nicolae Santean

2010_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A List of the Simplicial Neighbourly 5-Polytopes With Nine Vertices

W. Finbow

2009_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A Numerical Study of Global Error Estimation Schemes for Defect Control BVODE Codes

Jason J. Boisvert, Paul H. Muir and Raymond J. Spiteri

2009_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
$f$-Words and Binary Solid Codes

S. Konstantinidis and J. Young

2008_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages

S. Konstantinidis and P. V. Silva

2006_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
On the definition of stochastic $\lambda$-transducers

S. Konstantinidis and N. Santean

2006_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
What is a Maximal Error-Detecting Capability of a Formal Language?

Stavros Konstantinidis

2006_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
An Error Term and Uniqueness for Hermite-Birkhoff Interpolation Involving only Function Values and/or First Derivative Values

Walt Finden

2005_014
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A User-Friendly Fortran BVP Solver

L. F. Shampine, P. H. Muir, H. Xu

2005_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Collocation software based on a Runge-Kutta time integrator for 1-D Parabolic PDEs and Schrodinger type problems, with spatial and temporal error control

R. Wang, P. Keast, and P. Muir

2005_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Recognizable Transductions, Saturated Transducers and Edit Languages

Stavros Konstantinidis, Nicolae Santean and Sheng Yu

2005_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Computing the edit distance of a regular language

S. Konstantinidis

2004_009
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
The Ice/Agar Phantom: The development of a realistic phantom designed to verify the accuracy of a computer algorithm that calculates the volume of the human cerebral ventricular system based on CT images

J. Evans, N. Linney, M. Schmidt

2004_008
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the International Workshop on Scientific Applications of Grid Computing (SAG'04)

P. Herrero, M. S. Perez, V. Robles, M. Radenkovic

2004_007
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the Second International Workshop on Knowledge Grid and Grid Intelligence (KGGI'04)

H. Zhuge, W. K. Cheung, J. Liu

2004_006
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the First International Workshop on Semantic Web Mining and Reasoning (SWMR'04)

X. Hu, T. Y. Lin

2004_005
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the Second International Workshop on Web-based Support Systems (WSS'04)

J. T. Yao, V. V. Raghavan, G. Y. Wang

2004_004
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the First International Workshop on Reputation in Agent Societies (RAS'04)

M. Paolucci, J. Sabater, R. Conte, C. Sierra

2004_003
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the Second International Workshop on Collaboration agents (COLA'04)

A. Ghorbani, S. Marsh

2004_002
doc ps dvi html txt pdf
Abstract clear clear clear clear clear dot
Full Text clear clear clear clear clear clear
Proceedings of the First International Workshop on Advanced Technologies for E-Learning and E-Science (ATELS'04)

H. Wang, L. Esmahi, J. L. Wu

2004_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Bond-free Languages: Formalizations, Maximality and Construction Methods

L. Kari, S. Konstantinidis, Petr Sosi k

2003_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear clear
WI/IAT 2003 Workshop on Applications, Products and Services of Web-based Support Systems

J. T. Yao and P. Lingras

2003_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear clear
WI/IAT 2003 Workshop on Knowledge Grid and Grid Intelligence

W. K. Cheung and Y. Ye

2003_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Finite-state error/edit-systems and difference-measures for languages and words

L. Kari, S. Konstantinidis, S. Perron, G. Wozniak, J. Xu

2002_013
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
Examining the Opposite Ray Algorithm As a Means of Detecting Motion in CT Images From Fan-Beam Projection Systems

A.J. Godbout, N.C. Linney

2002_012
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Interval Set Clustering of Web Users using Modified Kohonen Self-Organizing Maps based on the Properties of Rough Sets

Pawan Lingras, Mofreh Hogo, and Miroslav Snorek

2002_011
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
A Special Case of a Game based on Vertex-Magic Total Labelings

E. Boudreau, B. Hartnell, K. Schmeisser and J. Whiteley

2002_010
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Descriptional Complexity of Error/Edit Systems

Lila Kari and Stavros Konstantinidis

2002_009
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
Relationship between Product Based Loyalty and Clustering based on Supermarket Visit and Spending Patterns

Chad West, Stephanie MacDonald, Pawan Lingras, and Greg Adams

2002_008
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
Updating Missing Values of Traffic Counts: Factor Approaches, Time Series Analysis versus Genetically Designed Regression and Neural Network Models

Ming Zhong, Pawan Lingras, Satish Sharma

2002_007
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Asymptotically Optimal Low-Cost Solid Codes

H. J\"urgensen, S. Konstantinidis, N. H. L\^am

2002_006
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
Selection of Time-Series for Clustering Supermarket Customers

Pawan Lingras and Greg Adams

2002_005
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
Category roles and definitions using Supermarket Card data

Greg Adams, Pawan Lingras, Stephanie MacDonald, and Chad West

2002_004
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text dot clear clear clear clear clear
Applying Short-term Traffic Prediction Models for Updating Missing Values of Traffic Counts

Ming Zhong, Pawan Lingras, and Satish Sharma

2002_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Some Remarks on Regular Factorizations

S. Konstantinidis

2002_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Interval Set Clustering of Web Users with Rough K-means

Pawan Lingras and Chad West

2002_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
On a Simple Method for Detecting Synchronization Errors in Coded Messages

S. Konstantinidis, S. Perron, L. A. Wilcox-O'Hearn

2001_004
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Crooked Wallpaper

Robert J. MacG. Dawson

2001_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
On the Decidability of the Error-Detection Property

Stavros Konstantinidis

2001_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Towards a Genetic Algorithm for Function Optimization

Sonja Novkovic and Davor Sverko

2001_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Coding Properties of DNA Languages

S. Hussini, L. Kari, S. Konstantinidis

2000_008
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Runge-Kutta Software for the Parallel Solution of Boundary Value ODEs

P.H. Muir, R.N. Pancer and K.R. Jackson

2000_007
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Most Powerful Permutation Invariant Tests for Relatedness Hypotheses Using Genotypic Data

Anthony Almudevar

2000_006
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A Simulated Annealing Algorithm for Maximum Likelihood Pedigree Reconstruction

Anthony Almudevar

2000_005
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
An isosceles triangle that tiles the sphere in exactly three ways

Robert J. MacG. Dawson

2000_004
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Error-Detecting Properties of Languages

Stavros Konstantinidis

2000_003
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
Mono-Implicit Runge-Kutta-Nystr\"om Methods for Boundary Value Ordinary Differential Equations

P.H. Muir and M. Adams

2000_002
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear dot clear clear clear
A PECULIARITY OF THE WILCOXON-MANN-WHITNEY RANK-SUM TEST

Robert J. MacG. Dawson

2000_001
doc ps dvi html txt pdf
Abstract clear clear clear clear dot clear
Full Text clear clear clear clear clear dot
A Bootstrap Assessment of Variability in Pedigree Reconstruction Based on DNA Markers

Anthony Almudevar

 


Library    |     Bookstore    |     Continuing Education    |     Campus Directory
Today is