Browsing Mathematics (Faculty of) by Title
Now showing items 2540-2559 of 3017
-
Software Bug Detection Using the N-gram Language Model
(University of Waterloo, 2015-04-22)Over the years many techniques have been proposed to infer programming rules in order to improve software reliability. The techniques use violations of these programming rules to detect software defects. This thesis ... -
Software Engineering for Big Data Systems
(University of Waterloo, 2017-04-24)Software engineering is the application of a systematic approach to designing, operating and maintaining software systems and the study of all the activities involved in achieving the same. The software engineering discipline ... -
A Software Framework for PCA-based Face Recognition
(University of Waterloo, 2016-04-28)Face recognition, as one of the major biometrics identification methods, has been applied in different fields involving economics, military, e-commerce, and security. Its touchless identification process and non-compulsory ... -
Software Journeys
(University of Waterloo, 2013-01-28)Getting familiar with the code is a challenging activity and therefore resource intensive. The larger the software code base, the larger the resource expenditure. We consider software development in the case of established ... -
Software Simulation of 5-Axis CNC Milling using Multidirectional Heightmaps
(University of Waterloo, 2010-09-22)Machinists often simulate a part program to verify its correctness, since mistakes can cause damage to the part, machine, oneself, or others. A popular approach for part program simulation involves representing the stock ... -
Software Simulation of Numerically Controlled Machining
(University of Waterloo, 2006)The field of numerically controlled (NC) machining has long been interested with predicting and measuring the errors in machining. Creating a simulation of NC machining is one way of achieving this. This thesis ... -
Solar Panel Anomaly Detection and Classification
(University of Waterloo, 2012-05-17)The number of solar panels deployed worldwide has rapidly increased. Solar panels are often placed in areas not easily accessible. It is also difficult for panel owners to be aware of their operating condition. Many ... -
Solving Geometric Problems in Space-Conscious Models
(University of Waterloo, 2009-01-26)When dealing with massive data sets, standard algorithms may easily ``run out of memory''. In this thesis, we design efficient algorithms in space-conscious models. In particular, in-place algorithms, multi-pass algorithms, ... -
Solving Hyperbolic PDEs using Accelerator Architectures
(University of Waterloo, 2009-07-27)Accelerator architectures are used to accelerate the simulation of nonlinear hyperbolic PDEs. Three different architectures, a multicore CPU using threading, IBM’s Cell Processor, and Nvidia’s Tesla GPUs are investigated. ... -
Solving mathematical problems on touch-based devices
(University of Waterloo, 2014-09-17)Research on the use of mobile touch-based devices for mathematics has not kept up with the increasing ubiquity of such machines. Building upon MathBrush, a pen-based system for the recognition of handwritten mathematics, ... -
Solving Saddle Point Formulations of Linear Programs with Frank-Wolfe
(University of Waterloo, 2023-08-24)The problem of solving a linear program (LP) is ubiquitous in industry, yet in recent years the size of linear programming problems has grown and continues to do so. State-of-the-art LP solvers make use of the Simplex ... -
Solving Traveling Salesman Problem With a non-complete Graph
(University of Waterloo, 2010-01-07)One of the simplest, but still NP-hard, routing problems is the Traveling Salesman Problem (TSP). In the TSP, one is given a set of cities and a way of measuring the distance between cities. One has to find the shortest ... -
Some additive results in F_q[t]
(University of Waterloo, 2015-08-27)We collected several results in integers of additive number theory and translated to results in F_q[t]. The results we collected are related to slim exceptional sets and the asymptotic formula in Waring's problem, a ... -
Some aspects of Cantor sets
(University of Waterloo, 2014-03-28)For every positive, decreasing, summable sequence $a=(a_i)$, we can construct a Cantor set $C_a$ associated with $a$. These Cantor sets are not necessarily self-similar. Their dimensional properties and measures have been ... -
Some Functional Equations Connected with the Utility of Gains and Losses
(University of Waterloo, 2002)The behavioral properties shown by people when they make selections between different choices will be studied. Based on empirical and logical data a mathematical axiomatic model is built. D. Luce is a major ... -
Some Mathematical Perspectives of Graph Neural Networks
(University of Waterloo, 2022-05-12)Many real-world entities can be modelled as graphs, such as molecular structures, social networks, or images. Despite coming with such a great expressive power, the complex structure of graphs poses significant challenges ... -
Some Models and Tests for Carryover Effects and Trends in Recurrent Event Processes
(University of Waterloo, 2010-09-30)Recurrent events experienced by individual units or systems occur in many fields. The main target of this thesis is to develop formal tests for certain features of recurrent event processes, and to discuss their properties. ... -
Some Problems in Multiplicative and Additive Number Theory
(University of Waterloo, 2020-07-27)In this thesis, we obtain several results in number theory. Let $k\geqslant 1$ be a natural number and $\omega_k(n)$ denote the number of distinct prime factors of a natural number $n$ with multiplicity $k$. We estimate ... -
Some results on binary forms and counting rational points on algebraic varieties
(University of Waterloo, 2016-08-17)In this thesis we study several problems related to the representation of integers by binary forms and counting rational points on algebraic varieties. In particular, we establish an asymptotic formula for $R_F(Z)$, the ... -
Some Results on Multivariate Dependence Modeling
(University of Waterloo, 2015-01-14)The goal of this thesis is to solve some problems in dependence modeling. Under special assumptions, we use Tankov [2011]’s result to give sharp bounds on variance of the sum of two random variables with partial information ...