Theses/Dissertations from 2013
Computational and Structural Approaches to Periodicities in Strings, Andrew R. Baker
Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis, Benjamin Breimer
Computational Investigation of Steady Navier-Stokes Flows Past a Circular Obstacle in Two--Dimensional Unbounded Domain, Carl Fredrik Jonathan Gustafsson
Artificial Intelligence in Simulations, David Hynes
Rapid Re-optimization of Prostate Intensity-Modulated Radiation Therapy Using Regularized Linear Programming, Maryam Khalajipirbalouti
Modelling Fault Tolerance using Deontic Logic: a case study, Jamil Ahmed Khan
Optimal Server Allocation in Zero-Buffer Tandem Queues, Mohammad H. Yarmand
Repeated Selfish Routing with Incomplete Information, He Yu
Theses/Dissertations from 2012
A New Incremental Classification Approach Monitoring The Risk of Heart Disease, Shima Aghtar
INFERENCE FOR A GAMMA STEP-STRESS MODEL UNDER CENSORING, Laila Alkhalfan
WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS, Malik Junaid Aziz
A Compositional Approach for Verifying Sampled-Data Supervisory Control, Mahvash Baloch
A Formal Approach to Concurrent Error Detection in FPGA LUTs, Jameson P. Bergstra
Computational Methods for the Optimal Reconstruction of Material Properties in Complex Multiphysics Systems, Vladislav Bukshtynov
A Pipelined, Single Precision Floating-Point Logarithm Computation Unit in Hardware, Jing Chen
Shelf Space Allocation: A Critical Review and a Model with Price Changes and Adjustable Shelf Heights, Mehmet E. COSKUN
Validation DSL for client-server applications, Vitalii M. Fedorenko
Performance comparisons of various runs algorithms, Robert C. G. Fuller
REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC, Qian Hu
AN AGENT–BASED COMPUTATIONAL MODEL FOR BANK FORMATION AND INTERBANK NETWORKS, Omneia R.H. Ismail
Existence, Continuity, and Computability of Unique Fixed Points in Analog Network Models, Nick D. James
The Log Analysis in an Automatic Approach, Jianhui Lei
Type-Safety for Inverse Imaging Problems, Maryam Moghadas
Oligonucleotide Probe Design for Large Genomes using Multiple Spaced Seeds, Hamid Mohamadi
Extending Service Oriented Architecture Using Generic Service Representatives, Mehran Najafi
Symbolic Generation of Parallel Solvers for Unconstrained Optimization, Jessica L. M. Pavlin
ON ALGORITHMS FOR THE COLOURFUL LINEAR PROGRAMMING FEASIBILITY PROBLEM, Guohong Rong
INTERSECTION STATE VISUALIZATION FOR REALTIME SIMULATIONS, Justin L. Roth
APPLICATION PROTOCOL FOR WIRELESS NETWORKS AND FUNCTIONAL BRAIN SPECTROSCOPY, Salah Sharieh
On the Parallelization of a Search for Counterexamples to a Conjecture of Erd\H{o}s, ShengWei Shen
Applying System-Theoretic Accident Model and Processes (STAMP) to Hazard Analysis, Yao Song
Identification and Documentation of Environmental Assumptions for the PACEMAKER System, You Vivien WANG
Computational and Geometric Aspects of Linear Optimization, Feng Xie
Model Based System Consistency Checking Using Event-B, Hao Xu
A Suite of Case Studies in Relational Database Design, Weiguang Zhang
Theses/Dissertations from 2011
A Regression Test Selection Technique Applied to Legacy Systems, Akbar Abdrakhmanov
Sparse Sampling of Velocity MRI, Yogesh Chinta Venkateswarao
Formal Verification of FPGA Based Systems, Honghan Deng
Verifying Permutation Rewritable Hazard Free Loops, Michal Dobrogost
A Tabular Expression Toolbox for Matlab/Simulink, Colin J. Eles
Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment, Asif Iqbal
Variable Transition Time Predictive Control, Kaska Kowalska
An Empirical Study of Algebraic Reconstruction Techniques, EHSAN MOHAMMAD KAZEMI
Simulation and Optimal Design of Nuclear Magnetic Resonance Experiments, Zhenghua Nie
Software-Defined MicroGrid Testbed for Energy Management, Adhithya Ravichandran
Power Conservation in Energy Harvesting Sensor Networks, Timothy A. Roberts M. A. Sc.
Algebraic Constructions Applied to Theories, Quang Minh Tran
Condition Monitoring for Rotational Machinery, Daniel C. Volante
Locating Carbon Bonds from INADEQUATE Spectra using Continuous Optimization Methods and Non-Uniform K-Space Sampling, Sean C. Watson
Implementing Efficient Algorithms for Computing Runs, Chia-Chun Weng
Theses/Dissertations from 2010
POWER-AWARE SCHEDULING FOR SERVER CLUSTERS, HADIL AL-DAOUD
Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs, Fadil Alturki
A context aware framework for product based software certification, Volodymyr Babiy
THE EFFECT OF SEX AND MIXABILITY ON THE EVOLUTION OF AN IDEALIZED GENETIC NETWORK, Cedoljub Bundalovic-Torma
A Generative Approach to Meshing Geometry, Mustafa Elsheikh
Controlling the Dual Cascade of Two-dimensional Turbulence, Mohammad M. Farazmand
MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM, Alvin Tzu-Chen Hsieh
State Diagrams: A New Visual Language For Programmable Logic Controllers, FanFan Huang
Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels, Jason Jaskolka
COMPUTING REPETITIONS IN STRINGS: CURRENT ALGORITHMS & THE COMBINATORICS OF FUTURE ONES., Evguenia Kopylov
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV, Christopher Kulbakas
A Primal-Dual Heuristic for the Traveling Salesman Problem, Xiaoxi Ma
A Comparison of Scalable Multi-Threaded Stack Mechanisms, Joshua I. Moore-Oliva
Verification of programs with Z3, Ewa Romanowicz
Adding Nested Headers and a Proper Gtk-Based GUI to The Haskell Table Tools, Sepandar Sepehr
Elementary function evaluation using New Hardware Instruction, Anuroop Sharma
Automated Message Triage - A Proposal for Supervised Semantic Classification of Messages, Amir Tavasoli
Simplification Infrastructure for an Implementation of the Chiron Logic, Han Yin Zhang
SOME HIGHLY ACCURATE BASIC LINEAR ALGEBRA SUBROUTINES, Yuhang Zhao
A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD, Hang Zhou
Theses/Dissertations from 2009
DEVELOPMENT OF A PORTION OF A THEORY LIBRARY FOR MECHANIZED MATHEMATICS SYSTEMS, MEHWISH ABBASI
Rpen: A New 3D Pointing Device, Mohammad Badrul Alam
USING SUFFIX ARRAYS FOR LEMPEL-ZIV DATA COMPRESSION, ANISA AL-HAFIDH
Performance Simulation with the Coconut 1ulticore Framework for the Cell/B.E., Kevin Browne
THE ELUSIVE QUEST: SOFTWARE PRODUCT QUALITY EVALUATION, Silviya Grigorova
On Optimization of Multiuser Multiple Input Multiple Output Communication Systems, Peter He
A Fully Automated Approach to Segmentation and Registration of Medical Image Data for Pulmonary Diagnosis, Alvin Ihsani
TOOL-ASSISTED KNOWLEDGE TO HL7 v3 MESSAGE TRANSLATION, Priya Jayaratna
Single Machine Total Weighted Tardiness With Release Dates, Wei Jing
Formal Modelling of Version Control Systems, David H. Kelk
Optimal Multi-Time Period Gasoline Blending, Shefali Kulkarni
UNIMODULARITY IN SOLVING ILP MODELS OF THE GLOBAL ROUTING PROBLEM, Min Jing Jessie Liu
CHIRON: MECHANIZING MATHEMATICS IN OCAML, Hong Ni
Verification and Refinement Theory of Action Inheritance for Concurrent Objects, Upasana Pujari
CROSS-DOMAIN MESSAGE ORIENTED INTEROPERABILITY FRAMEWORK, AZIN DEHMOOBAD SHARIFABADI
A Language and a Library of Algebraic Theory-types, Huan Zhang
Adaptive Sphere Decoding and Radius Selection with Error Analysis in Sphere Decoding, Fei Zhao
Documentation Driven Testing of Scientific Computing Software, Bingzhou Zheng
Theses/Dissertations from 2008
Developing Scientific Computing Software: Current Processes and Future Directions, Jin Tang
Theses/Dissertations from 2007
HIGH AVAILABILITY AND SOFTWARE ARCHITECTURE, Rongshu Yi
Theses/Dissertations from 2005
Sensor Network Deployment in the McMaster Nuclear Reactor, Nicholas Merizzi
Theses/Dissertations from 1978
The Design and Implementation of a Library Data Base, Constantine Papanastasopoulos
Theses/Dissertations from 1977
Measures of Association on a Bibliographic Data Base, Donald Allan Fox
Theses/Dissertations from 1976
The Simulation of the Behavior of a Student-Created Operating System using GPSS, George Droucas
Theses/Dissertations from 1975
Plotting on an Electrostatic Printer/Plotter, Christopher A. Bryce
Bandwidth Minimization for Sparse Matrices, Virendra K. Goyal
An Algorithm for the Solution of Zero-One Resource Allocation Problems, Golam Mowla
CYSDEM User's Manual, Mohamed Naguib
Theses/Dissertations from 1974
The Generation of Error Recovering Simple Precedence Parsers, Clive B. Johns