Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 2080
-
Systems for Managing Work-Related Transitions
(University of Waterloo, 2020-01-17)Peoples' work lives have become ever-populated with transitions across tasks, devices, and environments. Despite their ubiquitous nature, managing transitions across these three domains has remained a significant challenge. ... -
Monte Carlo Simulation of Diffusion Magnetic Resonance Imaging
(University of Waterloo, 2020-01-16)The goal of this thesis is to describe, implement and analyse Monte Carlo (MC) algorithms for simulating the mechanism of diffusion magnetic resonance imaging (dMRI). As the inverse problem of mapping the sub-voxel ... -
Mathematical Modeling of C elegans L1 aggregation
(University of Waterloo, 2020-01-16)First-stage larvae (L1s) of the nematode Caenorhabditis elegans aggregate after starvation. I develop a mathematical model of this behavior based on the classic Keller-Segel model. In the Keller-Segel model, organisms ... -
Patterns of Search Result Examination: Query to First Action.
(ACM, 2019-11-03)To determine key factors that affect a user's behavior with search results, we conducted a controlled eye-tracking study of users completing search tasks using both desktop and mobile devices. We focus our investigation ... -
Santa Claus, Machine Scheduling and Bipartite Hypergraphs
(University of Waterloo, 2020-01-10)Here we discuss two related discrete optimization problems, a prominent problem in scheduling theory, makespan minimization on unrelated parallel machines, and the other a fair allocation problem, the Santa Claus problem. ... -
Mathematical approaches to the study of cellular heterogeneity, treatment design, and immune response in cancer
(University of Waterloo, 2020-01-09)One of the complicating factors in treating cancer patients is the different levels of heterogeneity involved. In this thesis, we use a combination of mathematical methods (in silico experiments) and experimental data (in ... -
Random locations of periodic stationary processes
(Elsevier, 2019-03)We consider a family of random locations, called intrinsic location functionals, of periodic stationary processes. This family includes but is not limited to the location of the path supremum and first/last hitting times. ... -
Assessing a binary measurement system: A new plan using targeted verification with conditional sampling and baseline information
(Elsevier, 2019-11)We investigate efficient plans to assess the misclassification error rates of a binary measurement system used as an in-line inspection protocol. We assume that parts can be inspected repeatedly and that each part has its ... -
Bi-objective short-term scheduling in a rolling horizon framework: a priori approaches with alternative operational objectives
(Elsevier, 2019-11)This study addresses short-term scheduling problems with throughput and make-span as conflicting objectives, focusing on a priori multi-objective methods. Two contributions are presented. The first contribution is to propose ... -
An Analysis of Partial Network Partitioning Failures in Modern Distributed Systems
(University of Waterloo, 2020-01-03)We present a comprehensive study of system failures from 12 popular systems caused by a peculiar type of network partitioning faults: partial partitions. Partial partitions isolate a set of nodes from some, but not all, ... -
Merging Features in Featured Transition Systems
(CEUR, 2015-09)Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, in which feature-specific behaviour is guarded ... -
Long-term Average Cost in Featured Transition Systems
(ACM, 2016-09)A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ... -
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
(ACM, 2016-11)In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ... -
Continuous Variable-Specic Resolutions of Feature Interactions
(ACM, 2017-09)Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The Feature Interaction Problem results from trying ... -
Trace Checking for Dynamic Software Product Lines
(ACM, 2018-05)A key objective of self-adaptive systems is to continue to provide optimal quality of service when the environment changes. A dynamic software product line (DSPL) can benefit from knowing how its various product variants ... -
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
(ACM, 2018-10)Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ... -
Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis
(IEEE, 2019-02)Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ... -
UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams
(ACM/IEEE, 2019-09)Practitioners face cognitive challenges when using model editors to edit and debug UML models, which make them reluctant to adopt modelling. To assist practitioners in their modelling tasks, we have developed effective ... -
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models
(IEEE, 2019-09)Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ... -
Measuring Behaviour Interactions between Product-Line Features
(IEEE, 2015-05)We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ...