Follow

Theses/Dissertations from 2014

PDF

Symbolic Decentralized Supervisory Control, Urvashi Agarwal

PDF

On the number of distinct squares in strings, Mei Jiang

PDF

Probabilistic Graphical Models for Prognosis and Diagnosis of Breast Cancer, MAHMOUD KHADEMI

PDF

Modelling Risk Dependencies and Propagation in Supply Chains, Leila Morteza Beigi

PDF

Defect Localization using Dynamic Call Tree Mining and Matching and Request Replication: An Alternative to QoS-aware Service Selection, Anis Yousefi

PDF

Formal Proof of the Fundamental Theorem of Decorated Interval Arithmetic, Bingzhou Zheng and Bingzhou Zheng

Theses/Dissertations from 2013

PDF

A Feature Modelling Language Based on Product Family Algebra, Mohammed Alabbad

PDF

Computational and Structural Approaches to Periodicities in Strings, Andrew R. Baker

PDF

Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis, Benjamin Breimer

PDF

Formalizing Combinatorial Matrix Theory, Ariel German G. Fernandez

PDF

Computational Investigation of Steady Navier-Stokes Flows Past a Circular Obstacle in Two--Dimensional Unbounded Domain, Carl Fredrik Jonathan Gustafsson

PDF

Semantics of Funtion Tables on the Reals, Sameena Hossain

PDF

An FPTAS for Total Weighted Earliness Tardiness Problem with Constant Number of Distinct Due Dates and Polynomially Related Weights, Jingjing Huang

PDF

Using Reputation in Repeated Selfish Routing with Incomplete Information, Kun Hu

PDF

Management and Processing of Vibration Data, Wisam Hamad Hussain

PDF

Artificial Intelligence in Simulations, David Hynes

PDF

Development of a Robotic Vehicle Control System, Matthew C. Johnson

PDF

Rapid Re-optimization of Prostate Intensity-Modulated Radiation Therapy Using Regularized Linear Programming, Maryam Khalajipirbalouti

PDF

Modelling Fault Tolerance using Deontic Logic: a case study, Jamil Ahmed Khan

PDF

A DOCUMENT DRIVEN APPROACH TO CERTIFYING SCIENTIFIC COMPUTING SOFTWARE, Nirmitha Koothoor

PDF

Software Specialization as Applied to Computational Algebra, Pouya Larjani

PDF

COMBINATORIAL OPTIMIZATION APPROACHES TO DISCRETE PROBLEMS, MIN JING LIU

PDF

On Optimal Policies for Energy-Aware Servers, Vincent J. Maccio

PDF

A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language, Dragan Rakas

PDF

Improving Scheduling in Heterogeneous Grid and Hadoop Systems, Aysan Rasooli Oskooei

PDF

Weighted Feature Classification, Mohammad Hadi Soudkhah

PDF

Single Event Upset error detection on routing tracks of Xilinx FPGAs, Billy Taj

PDF

Optimal Server Allocation in Zero-Buffer Tandem Queues, Mohammad H. Yarmand

PDF

Repeated Selfish Routing with Incomplete Information, He Yu

PDF

Aspect-Oriented Product Family Modeling, Qinglei Zhang

PDF

A Unifying Theory of Multi-Exit Programs, Tian Zhang

Theses/Dissertations from 2012

PDF

A New Incremental Classification Approach Monitoring The Risk of Heart Disease, Shima Aghtar

PDF

INFERENCE FOR A GAMMA STEP-STRESS MODEL UNDER CENSORING, Laila Alkhalfan

PDF

WORKBENCH FOR MODELING AND OPTIMIZATION OF DIVERSE NETWORKS, Malik Junaid Aziz

PDF

A Compositional Approach for Verifying Sampled-Data Supervisory Control, Mahvash Baloch

PDF

A Formal Approach to Concurrent Error Detection in FPGA LUTs, Jameson P. Bergstra

PDF

Computational Methods for the Optimal Reconstruction of Material Properties in Complex Multiphysics Systems, Vladislav Bukshtynov

PDF

A Pipelined, Single Precision Floating-Point Logarithm Computation Unit in Hardware, Jing Chen

PDF

Shelf Space Allocation: A Critical Review and a Model with Price Changes and Adjustable Shelf Heights, Mehmet E. COSKUN

PDF

Validation DSL for client-server applications, Vitalii M. Fedorenko

PDF

Performance comparisons of various runs algorithms, Robert C. G. Fuller

PDF

REASONING ABOUT DEFINEDNESS - A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC, Qian Hu

PDF

AN AGENT–BASED COMPUTATIONAL MODEL FOR BANK FORMATION AND INTERBANK NETWORKS, Omneia R.H. Ismail

PDF

Existence, Continuity, and Computability of Unique Fixed Points in Analog Network Models, Nick D. James

PDF

The Log Analysis in an Automatic Approach, Jianhui Lei

PDF

Type-Safety for Inverse Imaging Problems, Maryam Moghadas

PDF

Oligonucleotide Probe Design for Large Genomes using Multiple Spaced Seeds, Hamid Mohamadi

PDF

Extending Service Oriented Architecture Using Generic Service Representatives, Mehran Najafi

PDF

Symbolic Generation of Parallel Solvers for Unconstrained Optimization, Jessica L. M. Pavlin

PDF

ON ALGORITHMS FOR THE COLOURFUL LINEAR PROGRAMMING FEASIBILITY PROBLEM, Guohong Rong

PDF

INTERSECTION STATE VISUALIZATION FOR REALTIME SIMULATIONS, Justin L. Roth

PDF

APPLICATION PROTOCOL FOR WIRELESS NETWORKS AND FUNCTIONAL BRAIN SPECTROSCOPY, Salah Sharieh

PDF

On the Parallelization of a Search for Counterexamples to a Conjecture of Erd\H{o}s, ShengWei Shen

PDF

Applying System-Theoretic Accident Model and Processes (STAMP) to Hazard Analysis, Yao Song

PDF

Identification and Documentation of Environmental Assumptions for the PACEMAKER System, You Vivien WANG

PDF

Computational and Geometric Aspects of Linear Optimization, Feng Xie

PDF

Model Based System Consistency Checking Using Event-B, Hao Xu

PDF

A Suite of Case Studies in Relational Database Design, Weiguang Zhang

Theses/Dissertations from 2011

PDF

A Regression Test Selection Technique Applied to Legacy Systems, Akbar Abdrakhmanov

PDF

Sparse Sampling of Velocity MRI, Yogesh Chinta Venkateswarao

PDF

Verifying Permutation Rewritable Hazard Free Loops, Michal Dobrogost

PDF

A Tabular Expression Toolbox for Matlab/Simulink, Colin J. Eles

PDF

Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment, Asif Iqbal

PDF

Variable Transition Time Predictive Control, Kaska Kowalska

PDF

An Empirical Study of Algebraic Reconstruction Techniques, EHSAN MOHAMMAD KAZEMI

PDF

Simulation and Optimal Design of Nuclear Magnetic Resonance Experiments, Zhenghua Nie

PDF

Software-Defined MicroGrid Testbed for Energy Management, Adhithya Ravichandran

PDF

Power Conservation in Energy Harvesting Sensor Networks, Timothy A. Roberts M. A. Sc.

PDF

Algebraic Constructions Applied to Theories, Quang Minh Tran

PDF

Condition Monitoring for Rotational Machinery, Daniel C. Volante

PDF

Locating Carbon Bonds from INADEQUATE Spectra using Continuous Optimization Methods and Non-Uniform K-Space Sampling, Sean C. Watson

PDF

Implementing Efficient Algorithms for Computing Runs, Chia-Chun Weng

Theses/Dissertations from 2010

PDF

Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs, Fadil Alturki

PDF

A context aware framework for product based software certification, Volodymyr Babiy

PDF

THE EFFECT OF SEX AND MIXABILITY ON THE EVOLUTION OF AN IDEALIZED GENETIC NETWORK, Cedoljub Bundalovic-Torma

PDF

Controlling the Dual Cascade of Two-dimensional Turbulence, Mohammad M. Farazmand

PDF

MATHEMATICAL MODELING OF THE FLYING PROBE TEST SYSTEM, Alvin Tzu-Chen Hsieh

PDF

State Diagrams: A New Visual Language For Programmable Logic Controllers, FanFan Huang

PDF

COMPUTING REPETITIONS IN STRINGS: CURRENT ALGORITHMS & THE COMBINATORICS OF FUTURE ONES., Evguenia Kopylov

PDF

Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV, Christopher Kulbakas

PDF

A Primal-Dual Heuristic for the Traveling Salesman Problem, Xiaoxi Ma

PDF

A Comparison of Scalable Multi-Threaded Stack Mechanisms, Joshua I. Moore-Oliva

PDF

Verification of programs with Z3, Ewa Romanowicz

PDF

Adding Nested Headers and a Proper Gtk-Based GUI to The Haskell Table Tools, Sepandar Sepehr

PDF

Elementary function evaluation using New Hardware Instruction, Anuroop Sharma

PDF

Automated Message Triage - A Proposal for Supervised Semantic Classification of Messages, Amir Tavasoli

PDF

Simplification Infrastructure for an Implementation of the Chiron Logic, Han Yin Zhang

PDF

SOME HIGHLY ACCURATE BASIC LINEAR ALGEBRA SUBROUTINES, Yuhang Zhao

PDF

A GENERIC AUTOMATIC NUMERICAL STABILITY TESTING METHOD, Hang Zhou

Theses/Dissertations from 2009

PDF

DEVELOPMENT OF A PORTION OF A THEORY LIBRARY FOR MECHANIZED MATHEMATICS SYSTEMS, MEHWISH ABBASI

PDF

Rpen: A New 3D Pointing Device, Mohammad Badrul Alam

PDF

USING SUFFIX ARRAYS FOR LEMPEL-ZIV DATA COMPRESSION, ANISA AL-HAFIDH

PDF

Performance Simulation with the Coconut 1ulticore Framework for the Cell/B.E., Kevin Browne

PDF

THE ELUSIVE QUEST: SOFTWARE PRODUCT QUALITY EVALUATION, Silviya Grigorova

PDF

On Optimization of Multiuser Multiple Input Multiple Output Communication Systems, Peter He

PDF

A Fully Automated Approach to Segmentation and Registration of Medical Image Data for Pulmonary Diagnosis, Alvin Ihsani

PDF

TOOL-ASSISTED KNOWLEDGE TO HL7 v3 MESSAGE TRANSLATION, Priya Jayaratna

PDF

Single Machine Total Weighted Tardiness With Release Dates, Wei Jing

PDF

Formal Modelling of Version Control Systems, David H. Kelk

PDF

Optimal Multi-Time Period Gasoline Blending, Shefali Kulkarni