Physical Sciences and Mathematics Commons^™

Logic And Rationality, Rohit J. Parikh

Publications and Research

Logic aims at truth, or more accurately, at deriving some truths from other truths. But why are we interested in truth in the first place? Surely one reason is that relying on truth makes it easier to make better choices.

One could think of Game theory as a tool which bridges the gap between logic and rationality.

Decision theory - or single agent game theory tells us when to make the best choice in a game of us against nature. But nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign. Things change when there ...

Carbon Dioxide Capture Potential Of Chitosan-Nanocrystalline Cellulose Aerogel Composite Materials: Synthesis, Functionalization, And Characterization, Victor Oghenekohwo

Theses and Dissertations

The carbon dioxide capture technology has been established as an invaluable player in the current global efforts to allay the warming of the planet and climate change. In this connection, the study centers on the valorization of waste organic materials for the application described herein. The sorbents, sourced from a combination of by-products of food processing and agricultural residue waste products, viz. seafood waste and sugarcane bagasse, showed prospects for selective carbon dioxide capture, adsorbing up to 5.78 mg/g of the gas at 273 K and 2.82 mg/g at 298 K, as observed on the Micromeritic ...

Spectral Sequences And Khovanov Homology, Zachary J. Winkeler

Dartmouth College Ph.D Dissertations

In this thesis, we will focus on two main topics; the common thread between both will be the existence of spectral sequences relating Khovanov homology to other knot invariants. Our first topic is an invariant MKh(L) for links in thickened disks with multiple punctures. This invariant is different from but inspired by both the Asaeda-Pryzytycki-Sikora (APS) homology and its specialization to links in the solid torus. Our theory will be constructed from a Z^n-filtration on the Khovanov complex, and as a result we will get various spectral sequences relating MKh(L) to Kh(L), AKh(L), and ...

Observing Human Mobility Internationally During Covid-19, Shane Allcroft, Mohammed Metwaly, Zachery Berg, Isha Ghodgaonkar, Fischer Bordwell, Xinxin Zhao, Xinglei Liu, Jiahao Xu, Subhankar Chakraborty, Vishnu Banna, Akhil Chinnakotla, Abhinav Goel, Caleb Tung, Gore Kao, Wei Zakharov, David A. Shoham, George K. Thiruvathukal, Yung-Hsiang Lu

Computer Science: Faculty Publications and Other Works

This article analyzes visual data captured from five countries and three U.S. states to evaluate the effectiveness of lockdown policies for reducing the spread of COVID-19. The main challenge is the scale: nearly six million images are analyzed to observe how people respond to the policy changes.

Isotopic Signature Of Massive, Buried Ice In Eastern Taylor Valley, Antarctica: Implications For Its Origin, Christopher B. Gardner, Melisa A. Diaz, Devin F. Smith, Andrew G. Fountain, Joseph S. Levy, W. Berry Lyons

Geography Faculty Publications and Presentations

The coastal regions of the McMurdo Dry Valleys, Antarctica, contain deposits of the Ross Sea Drift, sedimentary material left from the Ross Sea ice sheet from the advance of the West Antarctic ice sheet during the Last Glacial Maximum. Much of this deposit is ice-cored, but data on the stable isotopic composition of water from this ice, which may contain a valuable climate archive, are sparse or incomplete. Widespread thermokarstic ground subsidence in this “coastal thaw zone” of the McMurdo Dry Valleys suggests that these potential records are rapidly being lost due to the melting of ground ice and permafrost ...

The Interaction Of Normalisation And Clustering In Sub-Domain Definition For Multi-Source Transfer Learning Based Time Series Anomaly Detection, Matthew Nicholson, Rahul Agrahari, Clare Conran, Haythem Assem, John D. Kelleher

Articles

This paper examines how data normalisation and clustering interact in the definition of sub-domains within multi-source transfer learning systems for time series anomaly detection. The paper introduces a distinction between (i) clustering as a primary/direct method for anomaly detection, and (ii) clustering as a method for identifying sub-domains within the source or target datasets. Reporting the results of three sets of experiments, we find that normalisation after feature extraction and before clustering results in the best performance for anomaly detection. Interestingly, we find that in the multi-source transfer learning scenario clustering on the target dataset and identifying subdomains in ...

Temperature Dependent Density Of States Models And Compiled Data For Radiation Induced Conductivity, Jodie Gillespie

All Graduate Theses and Dissertations

Radiation Induced Conductivity (RIC) is the change in conductivity of a material due to bombardment from incident high energy radiation. RIC has consistently been found to follow a standard power law relation, 𝜎𝑅𝐼𝐶(𝑇)=𝑘𝑅𝐼𝐶(𝑇)𝐷∆(𝑇), between conductivity, 𝜎𝑅𝐼𝐶 and adsorbed dose rate, 𝐷. 𝑘𝑅𝐼𝐶(𝑇) and ∆(𝑇) are material dependent parameters. Previous RIC models were developed in the 𝑇→0 limit. Now expanded models are developed in the low temperature limit (within a few 𝑘𝐵𝑇 of the effective Fermi level) by approximating the Fermi-Dirac equation within a few 𝑘𝐵𝑇 of the effective Fermi level. Derivations are based ...

Tonga Volcanic Eruption And Tsunami, January 2022: Globally The Most Significant Opportunity To Observe An Explosive And Tsunamigenic Submarine Eruption Since Ad 1883 Krakatau, James P. Terry, James Goff, Nigel Winspear, Vena Pearl Bongolan, Scott Fisher

All Works

January 2022 witnessed the violent eruption of Hunga Tonga–Hunga Haʻapai submarine volcano in the South Pacific. With a volcanic explosivity index possibly equivalent to VEI 5, this represents the largest seaborne eruption for nearly one and a half centuries since Indonesia’s cataclysmic explosion of Krakatau in AD 1883. The Tongan eruption remarkably produced ocean-wide tsunamis, never documented before in the Pacific instrumental record. Volcanically generated tsunamis have been referred to as a ‘blind spot’ in our understanding of tsunami hazards, particularly in the Pacific Ocean. This event therefore presents a unique opportunity for investigating the multiple processes contributing ...

Graviweak Theory In Bicomformal Space, Mubarak Ukashat

All Graduate Theses and Dissertations

There are four basic forces in nature: the electromagnetic force, which accounts for interactions of particles with charges; the weak force, which is responsible for radioactive decay; the strong force, which holds the particles inside a nucleus tightly bound together; and the gravitational force, which is responsible for keeping us on our beautiful planet, Earth and holding together our entire solar system. Physicists have been on the hunt for a theory that can single-handedly explain all these forces under the same underlying mathematical formulation. So far, physicists have suceeded in unifying the electromagnetic and weak forces in what is called ...

Carbon Sinks And Sources In Great Salt Lake: Consequences Of Declining Lake Levels, Melissa Cobo Arias

All Graduate Theses and Dissertations

Globally, saline lakes are experiencing declining water level as a consequence of climate change, water diversions for human consumption, and management strategies that do not account for changing climate and drought conditions. Great Salt Lake (GSL) is a large saline lake in Utah, USA, and is, as most saline lakes, experiencing decreasing lake levels which may impact local carbon cycling. It is unknown how lakebed drying affects processes that control carbon sequestration and carbon emissions to the atmosphere. The goal of this research was to measure various biological processes that use, create, and transform carbon in GSL to understand the ...

Power Approximations For Generalized Linear Mixed Models In R Using Steep Priors On Variance Components, Sydney Geisler

All Graduate Theses and Dissertations

When designing an experiment, researchers often want to know how likely they are to detect statistically significant effects in the resulting data, i.e., they want to estimate their statistical power. The probability distribution method is a flexible way to do this, and it is currently implemented in the statistical software package SAS. This method requires a hypothetical data set (showing the magnitude of hypothesized effects) and constant values of variance components, which are critical elements of the statistical models used. The statistical software package R is increasingly popular, but the probability distribution method has not yet been implemented in ...

Bifurcations And Hysteresis In The Dynamics Of Small Populations Of Spherical Magnets, Peter T. Haugen

All Graduate Theses and Dissertations

If you heat up some kinds of metals and then cool them down next to a magnet, they will be a magnet when they cool, but if they cool down away from a magnet, they will just be a lump of metal. This is an example of hysteresis and it’s very important for lots of technology. Another example of hysteresis might be a water tower pump that turns on when the tower is nearly empty and keeps going until the tower is nearly full. Whether or not the pump is on when the tower is half full depends on ...

Human Appropriation Of Net Primary Production Through Crops, Grazing, And Forestry In The U.S. From 1997 To 2012, Suman Paudel

All Graduate Theses and Dissertations

This dissertation conducts a county-level analysis of human appropriation of net primary production (HANPP) harvested from crops, timber and grazing in the conterminous United States in the years 1997, 2002, 2007 and 2012. This study consists of three manuscripts (Chapters 2, 3, and 4). The first study quantifies net primary production in US counties in 1997, 2002, 2007 and 2012. The detailed HANPP study conducted concludes that HANPP is a valuable footprint tool for analyzing land use intensity and agricultural ecosystems. The second manuscript shows how HANPP is an improved or modernized ecological footprint and is a sustainable indicator as ...

Statistical Challenges And Methods For Missing And Imbalanced Data, Rose Adjei

All Graduate Theses and Dissertations

Missing data remains a prevalent issue in every area of research. The impact of missing data, if not carefully handled, can be detrimental to any statistical analysis. Some statistical challenges associated with missing data include, loss of information, reduced statistical power and non-generalizability of findings in a study. It is therefore crucial that researchers pay close and particular attention when dealing with missing data. This multi-paper dissertation provides insight into missing data across different fields of study and addresses some of the above mentioned challenges of missing data through simulation studies and application to real datasets. The first paper of ...

Data Visualization, Dimensionality Reduction, And Data Alignment Via Manifold Learning, Andrés Felipe Duque Correa

All Graduate Theses and Dissertations

The high dimensionality of modern data introduces significant challenges in descriptive and exploratory data analysis. These challenges gave rise to extensive work on dimensionality reduction and manifold learning aiming to provide low dimensional representations that preserve or uncover intrinsic patterns and structures in the data. In this thesis, we expand the current literature in manifold learning developing two methods called DIG (Dynamical Information Geometry) and GRAE (Geometry Regularized Autoencoders). DIG is a method capable of finding low-dimensional representations of high-frequency multivariate time series data, especially suited for visualization. GRAE is a general framework which splices the well-established machinery from kernel ...

Pleistocene Deposits Of Lower Wahweap Creek And Its Tributaries, Southern Utah, Noah Slade

All Graduate Theses and Dissertations

The famous landscapes of the Colorado Plateau have been created over millions of years, primarily by erosive forces of wind and water. Interruptions in the long-term erosion of the landscape occur when streams gain more sediment than they can transport, which causes deposition along channels and floodplains. The resulting sequences of terrace deposits are used by geologists to study when and how river systems have evolved.

Mammoth bones were recently discovered in stream deposits along Wahweap Creek, a tributary of the Colorado River in southern Utah. Previous work indicates that the deposits pre-date the last ice age, making it one ...

Opportunities And Challenges In Code Search Tools, Chao Liu, Xin Xia, David Lo, Cuiying Gao, Xiaohu Yang, John Grundy

Research Collection School Of Computing and Information Systems

Code search is a core software engineering task. Effective code search tools can help developers substantially improve their software development efficiency and effectiveness. In recent years, many code search studies have leveraged different techniques, such as deep learning and information retrieval approaches, to retrieve expected code from a large-scale codebase. However, there is a lack of a comprehensive comparative summary of existing code search approaches. To understand the research trends in existing code search studies, we systematically reviewed 81 relevant studies. We investigated the publication trends of code search studies, analyzed key components, such as codebase, query, and modeling technique ...

An Efficient Annealing-Assisted Differential Evolution For Multi-Parameter Adaptive Latent Factor Analysis, Qing Li, Guansong Pang, Mingsheng Shang

Research Collection School Of Computing and Information Systems

A high-dimensional and incomplete (HDI) matrix is a typical representation of big data. However, advanced HDI data analysis models tend to have many extra parameters. Manual tuning of these parameters, generally adopting the empirical knowledge, unavoidably leads to additional overhead. Although variable adaptive mechanisms have been proposed, they cannot balance the exploration and exploitation with early convergence. Moreover, learning such multi-parameters brings high computational time, thereby suffering gross accuracy especially when solving a bilinear problem like conducting the commonly used latent factor analysis (LFA) on an HDI matrix. Herein, an efficient annealing-assisted differential evolution for multi-parameter adaptive latent factor analysis ...

Segment-Wise Time-Varying Dynamic Bayesian Network With Graph Regularization, Xing Yang, Chen Zhang, Baihua Zheng

Research Collection School Of Computing and Information Systems

Time-varying dynamic Bayesian network (TVDBN) is essential for describing time-evolving directed conditional dependence structures in complex multivariate systems. In this article, we construct a TVDBN model, together with a score-based method for its structure learning. The model adopts a vector autoregressive (VAR) model to describe inter-slice and intra-slice relations between variables. By allowing VAR parameters to change segment-wisely over time, the time-varying dynamics of the network structure can be described. Furthermore, considering some external information can provide additional similarity information of variables. Graph Laplacian is further imposed to regularize similar nodes to have similar network structures. The regularized maximum a ...

A Logistic Regression And Linear Programming Approach For Multi-Skill Staffing Optimization In Call Centers, Thuy Anh Ta, Tien Mai, Fabian Bastin, Pierre L'Ecuyer

Research Collection School Of Computing and Information Systems

We study a staffing optimization problem in multi-skill call centers. The objective is to minimize the total cost of agents under some quality of service (QoS) constraints. The key challenge lies in the fact that the QoS functions have no closed-form and need to be approximated by simulation. In this paper we propose a new way to approximate the QoS functions by logistic functions and design a new algorithm that combines logistic regression, cut generations and logistic-based local search to efficiently find good staffing solutions. We report computational results using examples up to 65 call types and 89 agent groups ...