Mathematics (Faculty of)
Welcome to the Faculty of Mathematics community.
This community and it’s collections are organized using the University of Waterloo's Faculties and Academics structure. In this structure:
- Communities are Faculties or Affiliated Institutions
- Collections are Departments or Research Centres
Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).
New collections following this structure will be created UPON REQUEST .
Collections in this community
Recent deposits
-
Trifecta: Faster High-throughput Three-party Computation over WAN using Multi-fan-in Logic Gates
(University of Waterloo, 2022-11-29)Multi-party computation (MPC) has been a very active area of research and recent industrial deployments exist. Practical MPC is currently limited to low-latency, high- throughput network setups, i.e., local-area networks ... -
Specializing Scala with Truffle
(University of Waterloo, 2022-11-24)Scala is a generic object-oriented programming language with higher-order abstractions. Programming abstractions in Scala exemplify reusability and extensibility in the context of type safety. In particular, generic ... -
Offline Evaluation via Human Preference Judgments: A Dueling Bandits Problem
(University of Waterloo, 2022-11-22)The dramatic improvements in core information retrieval tasks engendered by neural rankers create a need for novel evaluation methods. If every ranker returns highly relevant items in the top ranks, it becomes difficult ... -
Mortality Prediction using Statistical Learning Approaches
(University of Waterloo, 2022-11-21)Longevity risk, as one of the major risks faced by insurers, has triggered a heated stream of research in mortality modeling among actuaries for effective design/pricing/risk management of insurance products. The idea of ... -
Mixed Integer Programming Approaches for Group Decision Making
(University of Waterloo, 2022-10-26)Group decision making problems are everywhere in our day-to-day lives and have great influence on the daily operation of companies and institutions. With the recent advances in computational technology, it's not surprising ... -
Aspects of Quantum Field Theory in Enumerative Graph Theory
(University of Waterloo, 2022-10-24)While a quantum field theorist has many uses for mathematics of all kinds, the relationship between quantum field theory and mathematics is far too fluid in the world of modern research to be described as the simple provision ... -
Modelling Subglacial Hydrology under Future Climate Scenarios in Wilkes Subglacial Basin, Antarctica
(University of Waterloo, 2022-10-21)The Greenland and Antarctic ice sheets have differing climates, which makes surface melt a significant hydrological source in Greenland but not currently in Antarctica. Due to a changing climate and warming air temperatures, ... -
Digraphs with All Induced Directed Cycles of the Same Length are not → χ -Bounded
(2022-10-07)For t > 2, let us call a digraph D t-chordal if all induced directed cycles in D have length equal to t. In an earlier paper, we asked for which t it is true that t-chordal graphs with bounded clique number have bounded ... -
On the Properties and Structure of Bordered Words and Generalizations
(University of Waterloo, 2022-10-12)Combinatorics on words is a field of mathematics and theoretical computer science that is concerned with sequences of symbols called words, or strings. One class of words that are ubiquitous in combinatorics on words, ... -
Enumerative perspectives on chord diagrams
(University of Waterloo, 2022-10-07)The topic of this thesis is enumerating certain classes of chord diagrams, perfect matchings of the interval $\{1, 2, \ldots, 2n\}$. We consider hereditary classes of chord diagrams that are restricted to satisfy one of ... -
Bifurcation and Robust Control of Instabilities in the Presence of Uncertainties
(University of Waterloo, 2022-10-06)In real-world applications, nominal mathematical models that are used to describe the state behaviors of dynamical systems are usually less robust to deal with environmental disruptions. Uncertainties, such as imprecision ... -
exKidneyBERT: A Language Model for Kidney Transplant Pathology Reports and the Crucial Role of Extended Vocabularies
(University of Waterloo, 2022-09-30)Background: Pathology reports contain key information about the patient’s diagno- sis as well as important gross and microscopic findings. These information-rich clinical reports offer an invaluable resource for clinical ... -
Modelling Allostery using a Computational Analysis of Side-Chain Interactions
(University of Waterloo, 2022-09-30)Allostery refers to the regulation of protein activity arising from an effector molecule, such as a ligand, binding to a protein. The exact mechanisms that take place in allosteric regulation are still a source of debate ... -
A Las Vegas Algorithm for the Ordered Majority Problem
(University of Waterloo, 2022-09-29)In this thesis, we study the majority problem using ordered comparisons under the Las Vegas randomized algorithm model. The majority problem asks whether a given set of n elements, each with some colour, has a colour which ... -
Studying and Leveraging API Usage Patterns
(University of Waterloo, 2022-09-29)Software projects make use of libraries extensively. Libraries have intended API surfaces—sets of exposed library interfaces that library developers expect clients to use. However, in practice, clients only use small ... -
Consensus Problems in Hybrid Multi-Agent Systems
(University of Waterloo, 2022-09-28)A multi-agent system (MAS) is a dynamic system that consists of a group of interacting agents distributed over a network. In the past decades, the study of distributed coordination of multi-agent systems has been widely ... -
Designing a Unity Plugin to Predict Expected Affect in Games Using Biophilia
(University of Waterloo, 2022-09-28)Video games can generate different emotional states and affective reactions, but it can sometimes be difficult for a game’s visual designer to predict the emotional response a player might experience when designing a game ... -
Dash+: Extending Alloy with Replicated Processes for Modelling Transition Systems
(University of Waterloo, 2022-09-27)Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly but lacks explicit constructs for describing ... -
On the power of interleaved low-depth quantum and classical circuits
(University of Waterloo, 2022-09-26)Low-depth quantum circuits are a well-suited model for near-term quantum devices, given short coherence times and noisy gate operations, making it pivotal to examine their computational power. It was already known as early ... -
Examination of Parametric Subharmonic Instability of K₁ Internal Tides Generated by Tidal Flow over a Ridge
(University of Waterloo, 2022-09-26)Internal gravity waves are thought to be a predominant source of mixing in the Earth's oceans. Here, we explore the interplay between two phenomena experienced by internal gravity waves - parametric subharmonic instability ...
RSS 1.0