Browsing University of Waterloo by Title
Now showing items 7057-7076 of 18797
-
Fighting Impostor Syndrome: How Librarians Are Bridging the Gap Between the Humanities and the Sciences
(2017-02-01)While many librarians possess undergraduate degrees in the humanities, increasingly, there are excellent job prospects emerging in science, technology, engineering, and math (STEM) fields. New graduates and librarians who ... -
Filtering News from Document Streams: Evaluation Aspects and Modeled Stream Utility
(University of Waterloo, 2016-08-04)Events like hurricanes, earthquakes, or accidents can impact a large number of people. Not only are people in the immediate vicinity of the event affected, but concerns about their well-being are shared by the local ... -
Filtering overfitted automatically-generated patches by using automated test generation
(University of Waterloo, 2018-01-17)"Generate-and-Validate'' (G&V) approaches to automatic program repair first generate candidate patches and then validate the patches against a test suite. Current G&V tools accept the first patch that passes all the test ... -
Filtration of NaCl and WOx Nanoparticles using Wire Screens and Nanofibrous Filters
(University of Waterloo, 2016-02-29)Airborne nanoparticle filtration is essential for the protection of public health and the environment. The principles and fundamentals of air filtration have been validated with respect to micron particles; however, the ... -
Finance for Agriculture or Agriculture for Finance?
(Wiley, 2015-10)Food studies scholars have paid increasing attention to ‘financialization’ within the food system as private financial actors have played a growing role in various facets of the sector in recent years. While there has been ... -
Financial Fraud Detection and Data Mining of Imbalanced Databases using State Space Machine Learning
(University of Waterloo, 2016-01-04)Risky decisions made by humans exhibit characteristics common to each decision. The related systems experience repeated abuse by risky humans and their actions collude to form a systemic behavioural set. Financial fraud ... -
Financial Fraud: A Game of Cat and Mouse
(University of Waterloo, 2010-06-11)This thesis models rational criminals and regulators with flawed incentives. In it we develop a rational model of crime and regulation that we use to show the SEC's current incentive structure is ineffective at preventing ... -
Financial Literacy through Gameful Design
(University of Waterloo, 2021-01-29)Canadians have been found to have little to no expendable income and find debt management difficult. Alongside the growing push towards digital service platforms replacing traditional brick and mortar solutions within the ... -
Financial Risk Management of Guaranteed Minimum Income Benefits Embedded in Variable Annuities
(University of Waterloo, 2011-08-29)A guaranteed minimum income benefit (GMIB) is a long-dated option that can be embedded in a deferred variable annuity. The GMIB is attractive because, for policyholders who plan to annuitize, it offers protection against ... -
The Financialization of Environmental Risks through Catastrophe Bonds: A Spatial-Temporal Evaluation
(University of Waterloo, 2017-08-24)As natural disaster risks continue to increase as a result of climate change, insurance companies and other institutions struggle to find ways to deal with these risks. There is a propensity for these risks to be financialized ... -
The financialization of Transit Oriented Development in York South Weston, Toronto, Ontario
(University of Waterloo, 2023-05-29)Transit-Oriented Development (TOD) is a form of planning that has dominated the discourse around sustainable development in cities. Where transit investment is met with higher density housing and commercial land uses, there ... -
Financialization, distance and global food politics
(Taylor & Francis, 2014-09-03)This paper provides a new perspective on the political implications of intensified financialization in the global food system. There has been a growing recognition of the role of finance in the global food system, in ... -
Financing micro-entrepreneurs for poverty alleviation: a performance analysis of microfinance services offered by BRAC, ASA, and Proshika from Bangladesh
(Springer, 2018-09-18)Microfinance services have emerged as an effective tool for financing microentrepreneurs to alleviate poverty. Since the 1970s, development theorists have considered non-governmental microfinance institutions (MFIs) as the ... -
Finding a New Commons: Re-Inhabiting the School in Post-Urban Japan
(University of Waterloo, 2020-03-13)Japan’s megacities are often captured as dense, dynamic and ever-expanding. These images, disseminated in popular media, belie a growing national phenomenon; urban migration, a declining birthrate and an aging population ... -
Finding a Second Hamiltonian cycle in Barnette Graphs
(University of Waterloo, 2015-08-31)We study the following two problems: (1) finding a second room-partitioning of an oik, and (2) finding a second Hamiltonian cycle in cubic graphs. The existence of solution for both problems is guaranteed by a parity ... -
Finding an induced path that is not a shortest path
(Elsevier, 2021-07)We give a polynomial-time algorithm that, with input a graph G and two vertices u; v of G, decides whether there is an induced uv-path that is longer than the shortest uv-path. -
Finding Communities in Typed Citation Networks
(University of Waterloo, 2008-09-25)As the Web has become more and more important to our daily lives, algorithms that can effectively utilize the link structure have become more and more important. One such task has been to find communities in social network ... -
Finding Community in the Ruins of GeoCities: Distantly Reading a Web Archive
(Institute of Electrical and Electronics Engineers, 2015-10)This paper provides a brief overview of my work with the GeoCities web archive. Asking the question of “can we find community,” I use it as a case study to explain various methods for distantly reading web archives -
Finding Cost-Efficient Decision Trees
(University of Waterloo, 2014-08-06)Decision trees have been a popular machine learning technique for some time. Labelled data, examples each with a vector of values in a feature space, are used to create a structure that can assign a class to unseen examples ... -
Finding False Assurance in Formal Verification of Software Systems
(University of Waterloo, 2024-01-15)Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ...