Browsing Mathematics (Faculty of) by Title
Now showing items 49-68 of 2993
-
The aesthetics of science fiction spaceship design
(University of Waterloo, 2010-01-18)In this thesis, we present a detailed analysis of the conventions that appear in fictional spaceship design, including a discussion of their origins, their uses in emulating certain traits, and reasons these conventions ... -
Affect Lexicon Induction For the Github Subculture Using Distributed Word Representations
(University of Waterloo, 2018-11-06)Sentiments and emotions play essential roles in small group interactions, especially in self-organized collaborative groups. Many people view sentiments as universal constructs; however, cultural differences exist in some ... -
Affective and Human-Like Virtual Agents
(University of Waterloo, 2020-09-29)In Artificial Intelligence (AI) one of the technological goals is to build intelligent systems that not only perform human level tasks efficiently, but can also simulate and exhibit human-like behaviour. As the emphasis ... -
Affective Expressions in Conversational Agents for Learning Environments: Effects of curiosity, humour, and expressive auditory gestures
(University of Waterloo, 2021-12-13)Conversational agents -- systems that imitate natural language discourse -- are becoming an increasingly prevalent human-computer interface, being employed in various domains including healthcare, customer service, and ... -
Affective Sentiment and Emotional Analysis of Pull Request Comments on GitHub
(University of Waterloo, 2017-12-15)Sentiment and emotional analysis on online collaborative software development forums can be very useful to gain important insights into the behaviors and personalities of the developers. Such information can later on be ... -
An Affine Semi-Lagrangian Advection Method
(University of Waterloo, 2019-01-08)In computer graphics, the standard semi-Lagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ... -
AfriBERTa: Towards Viable Multilingual Language Models for Low-resource Languages
(University of Waterloo, 2022-08-29)There are over 7000 languages spoken on earth, but many of these languages suffer from a dearth of natural language processing (NLP) tools. Multilingual pretrained language models have been introduced to help alleviate ... -
The aftermath of a crypto-ransomware attack at a large academic institution
(USENIX, 2018-08)In 2016, a large North American university was subject to a significant crypto-ransomware attack and did not pay the ransom. We conducted a survey with 150 respondents and interviews with 30 affected students, staff, and ... -
Agent-Based Modeling Framework for Energy Policies
(University of Waterloo, 2016-08-09)Energy infrastructure systems -- including energy generation, transmission, and distribution systems -- provide consumers with access to energy. Energy systems have been relatively static for several decades but due to ... -
Aggregation of Heterogeneous Anomaly Detectors for Cyber-Physical Systems
(University of Waterloo, 2019-01-07)Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will ... -
Agile Architecture Recovery
(University of Waterloo, 2002)Many software development projects start with an existing code base that has to be tightly integrated into a new system. In order to make a robust system that will achieve the desired business goals, developers must be ... -
Aging affects circadian clock and metabolism and modulates timing of medication
(Elsevier, 2021-04)Aging is associated with impairments in the circadian rhythms, and with energy deregulation that affects multiple metabolic pathways. The goal of this study is to unravel the complex interactions among aging, metabolism, ... -
Aiding Human Discovery of Out-of-the-Moment Handwriting Recognition Errors
(University of Waterloo, 2009-04-30)Handwriting recognizers frequently misinterpret digital ink input, requiring human verification of recognizer output to identify and correct errors, before the output of the recognizer can be used with any confidence int ... -
ALDB: Debugging Alloy Models of Behavioural Requirements
(IEEE, 2020-08)Declarative modelling languages, such as Alloy, are becoming popular for describing behavioural requirements very early in system development because automated analysis of these models provides valuable feedback. Typically, ... -
Algebraic Analysis of Vertex-Distinguishing Edge-Colorings
(University of Waterloo, 2006)Vertex-distinguishing edge-colorings (vdec colorings) are a restriction of proper edge-colorings. These special colorings require that the sets of edge colors incident to every vertex be distinct. This is a relatively ... -
Algebraic and combinatorial aspects of incidence groups and linear system non-local games arising from graphs
(University of Waterloo, 2019-06-06)To every linear binary-constraint system (LinBCS) non-local game, there is an associated algebraic object called the solution group. Cleve, Liu, and Slofstra showed that a LinBCS game has a perfect quantum strategy if and ... -
Algebraic Approaches to State Complexity of Regular Operations
(University of Waterloo, 2019-10-15)The state complexity of operations on regular languages is an active area of research in theoretical computer science. Through connections with algebra, particularly the theory of semigroups and monoids, many problems ... -
Algebraic Aspects of Multi-Particle Quantum Walks
(University of Waterloo, 2012-12-04)A continuous time quantum walk consists of a particle moving among the vertices of a graph G. Its movement is governed by the structure of the graph. More formally, the adjacency matrix A is the Hamiltonian that determines ... -
Algebraic characterization of multivariable dynamics
(University of Waterloo, 2009-03-26)Let X be a locally compact Hausdorff space along with n proper continuous maps σ = (σ1 , · · · , σn ). Then the pair (X, σ) is called a dynamical system. To each system one can associate a universal operator algebra called ... -
ALGEBRAIC DEGREE IN SPATIAL MATRICIAL NUMERICAL RANGES OF LINEAR OPERATORS
(American Mathematical Society, 2021-07-20)We study the maximal algebraic degree of principal ortho-compressions of linear operators that constitute spatial matricial numerical ranges of higher order. We demonstrate (amongst other things) that for a (possibly ...