Browsing Mathematics (Faculty of) by Type "Preprint"
Now showing items 1-18 of 18
-
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
(2020)Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ... -
Convergence of socio-ecological dynamics in disparate ecological systems under strong coupling to human social systems
(2018-04-06)It is widely recognized that coupled socio-ecological dynamics can be qualitatively different from the dynamics of social or ecological systems in isolation from one another. The influence of the type of ecological dynamics ... -
Does AI Remember? Neural Networks and the Right to be Forgotten
(2020-04-14)The Right to be Forgotten is part of the recently enacted General Data Protection Regulation law that affects any data holder that has data on European Union residents. It gives EU residents the ability to request deletion ... -
Efficient electrochemical model for lithium-ion cells
(2017-09-12)Lithium-ion batteries are used to store energy in electric vehicles. Physical models based on electro-chemistry accurately predict the cell dynamics, in particular the state of charge. However, these models are nonlinear ... -
Estimating the COVID-19 R number: a bargain with the devil?
(Elsevier, 2020-10-22)The basic reproduction number R0 is the average number of infections produced by a single infectious person in a population with no immunity. R0 has a close relative named the effective reproduction number R: the average ... -
How I wasted too long finding a concentration inequality for sums of geometric variables
(2011)I wanted a concentration inequality for sums of iid geometric random variables. This took way too long. -
An integrated personnel allocation and machine scheduling problem for industrial size multipurpose plants
(Elsevier, 2018-01-01)This paper describes the development and implementation of an optimization model to solve the integrated problem of personnel allocation and machine scheduling for industrial size multipurpose plants. Although each of these ... -
Interconnections accelerate collapse in a socio-ecological metapopulation
(Cold Spring Harbor Laboratory, 2017-09-28)Resource over-exploitation can have profound effects on both ecosystems and the human populations residing in them. Models of population growth based on a depletable resources have been studied previously, but relatively ... -
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
(2020)In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ... -
On the TVD property of second order methods for 2D scalar conservation laws
(arXiv, 2021-10-05)The total variation diminishing (TVD) property is an important tool for ensuring nonlinear stability and convergence of numerical solutions of one-dimensional scalar conservation laws. However, it proved to be challenging ... -
Optimal Actuator Location for Semi-Linear Systems
(2018)Actuator location and design are important choices in controller design for distributed parameter systems. Semi-linear partial differential equations model a wide spectrum of physical systems with distributed parameters. ... -
Optimal Controller and Actuator Design for Nonlinear Parabolic Systems
(2019-10-08)Many physical systems are modeled by nonlinear parabolic differential equations, such as the Kuramoto-Sivashinsky (KS) equation. In this paper, the existence of a concurrent optimal controller and actuator design is ... -
Parameterizing a dynamic influenza model using longitudinal versus age-stratified case notifications yields different predictions of vaccine impacts
(2018-09-06)Dynamic transmission models of influenza are often used in decision-making to identify which vaccination strategies might best reduce influenza-associated health and economic burdens. Our goal was to use laboratory confirmed ... -
Rescuing Historical Climate Observations to Support Hydrological Research: A Case Study of Solar Radiation Data
(ACM, 2021-08-16)The acceleration of climate change and its impact highlight the need for long-term reliable climate data at high spatiotemporal resolution to answer key science questions in cold regions hydrology. Prior to the digital ... -
Smooth centre manifolds for impulsive delay differential equations
(Elsevier, 2018-04-16)The existence and smoothness of centre manifolds and a reduction principle are proven for impulsive delay differential equations. Several intermediate results of theoretical interest are developed, including a variation ... -
Three-dimensional simulations of sound propagation in a trumpet with accurate mouthpiece shank geometry
(arXiv, 2016-11-01)The length and bore geometry of musical instruments directly influences the quality of sound that can be produced. In brass instruments, nonlinear effects from finite-amplitude wave propagation can lead to wave distortion ... -
Truncation selection and diffusion on random graphs
(Arxiv, 2017-08-31)Two-strategy evolutionary games on graphs have been extensively studied in the literature. A variety of graph structures, degrees of graph dynamics, and behaviours of replicators have been explored. These models have ... -
Zero Dynamics for Port-Hamiltonian Systems
(2017-11-19)The zero dynamics of infinite-dimensional systems can be difficult to characterize. The zero dynamics of boundary control systems are particularly problematic. In this paper the zero dynamics of port-Hamiltonian systems ...