Physical Sciences and Mathematics Commons^™

Dynamic Difficulty Adjustment For Combat Systems In Role-Playing Genre Video Games, Cheuk Man Chan

Dissertations, Theses, and Capstone Projects

Static difficulty adjustment has been applied to video games since their inception. However, dynamic difficulty adjustment did not become a topic of interest in either the academic fields or the industry until the turn of the century with sufficient advancement in processing power of computers and console systems. Amongst the work done in this area, most of the focus has either been placed on the action/adventure or the strategy game genre. However, there are only a limited number of studies regarding the role playing game genre which, by the nature of such games, generates a massive amount of data regarding …

Active Galactic Nuclei - The Arrhythmic Beat Of A Galactic Heart, Henry James Best V

Dissertations, Theses, and Capstone Projects

Active Galactic Nuclei (AGN) are generally believed to be supermassive black holes (SMBHs) at the center of galaxies which are actively accreting material from the host galaxy. Through this process, they emit radiation across the electromagnetic spectrum both as a smooth continuum and emission lines. However, there is a great variety of the signals we observe–some faint, some bright, some variable and others steady. The wide array of signals produced by AGN is believed to encode both the geometry and the physics surrounding these SMBHs, making them a valuable target for understanding the high gravity limit, their feedback mechanisms to …

Structural, Electronic And Magnetic Properties Of Vanadium Doped Transition Metal Dichalcogenides (Tmds), Qudsia Ashraf

Dissertations, Theses, and Capstone Projects

Magnetic semiconductors are a prerequisite for spintronic devices but their ferromagnetism disappears at room-temperature hindering application in room temperature electronic devices. Enormous research has been conducted on the room-temperature ferromagnetic order in monolayer form of bulk van der Waals materials but the few layer system has not been extensively explored.

Doping is an effective approach to modulate the structural, electronic and magnetic properties of two-dimensional (2D) Transition metal dichalcogenides (TMDs) and expand their application. The effect of vanadium dopant on structural, electronic and magnetic properties of Tungsten Diselenide (WSe₂) was studied by X-ray Photoelectron Spectroscopy (XPS), Atomic Force …

A Machine Learning Approach To Discovering Physical Models Of Galaxy Formation, Festa Bucinca

Dissertations, Theses, and Capstone Projects

Galaxies are the breathtakingly beautiful starry islands of the Universe. The process of galaxy formation involves the transformation from simple initial conditions in the early Universe to the complex galaxy structures we observe today. Spanning an immense spatial range and tremendous time scales - from the vastness of the Universe to the scale of individual stars - the physics of galaxy formation is both complex and crucial for understanding the Universe we live in. However, despite significant advancements, our theoretical understanding of galaxy formation remains incomplete.

In the era of big data available from hydrodynamical simulations and observations, Machine Learning …

Interplay Of Magnetic Impurities And Superconductivity In Topological Materials, Didier Ndengeyintwali

Dissertations, Theses, and Capstone Projects

The interplay of superconductivity and magnetism has been a long-standing topic of interest since the discovery of superconductivity. In recent years it has been shown that topological superconductivity, which has promising applications such as in topological quantum computing, could result from such interplay. Motivated by the later results I study the effect of magnetic impurities in superconducting doped topological insulators, such as Iron based topological superconductors. I show that topological character of parent materials could lead to modifications in the structure of magnetic impurity induced in-gap states. Moreover, the superconductivity induced interaction between magnetic impurities in doped topological insulator would …

Some New Properties Of Random Groups In The Density And Few-Relator Models, Anastasiia Chorna

Dissertations, Theses, and Capstone Projects

In this dissertation, we delve into the subjects that lie in the intersection of random group theory and first-order theory, or as traditionally referred to in the field, the first-order theory of free groups (Sela (2006) and Kharlampovich and Myasnikov (2006), among others). In particular, we establish the following two findings. First, we demonstrate that for fixed k > 2, among finitely generated groups, those without finite index subgroups of index k are prevalent in the density model (as discussed in Chapter 3). Second, we show that a first-order universal sentence in the language of groups is almost surely true in …

Design And Characterization Of De Novo Photoactivated Charge Separating Proteins, Paul M. Molinaro

Dissertations, Theses, and Capstone Projects

Light activate charge separation can provide high energy electrons for a variety of chemical processes. Reaction center proteins serve as a scaffold for small molecules that serve as “hopping” sites for electrons. Previous reaction center designs are four helix bundles that bind at minimum two metalloporphyrin’s: a zinc porphyrin serves as a light activated electron donor, mimicking chlorophyl, and a heme molecule serving as the acceptor. The efficiency of these designs is hampered by the enhanced relaxation of the singlet excited state of zinc porphyrin molecules due to spin-orbit coupling with the paramagnetic heme acceptor. The optimal design would contain …

44ti/44sc Generator Development And Radiolabeling Optimization For Medical Applications, Christine E. Schmidt-Kennelty

Dissertations, Theses, and Capstone Projects

In recent years, there has been a growing interest in scandium-44 (⁴⁴Sc) for medical applications due to its favorable decay properties. With a relatively short half-life of 3.97 hours and high positron branching ratio of 94.3%, ⁴⁴Sc is an ideal candidate for positron emission tomography (PET) imaging. However, producing ⁴⁴Sc without an on-site cyclotron limits access, as its short half-life makes it impractical to ship to more remote locations.

To address this issue, ⁴⁴Ti/⁴⁴Sc generators have become a focal point of research, providing an onsite source of⁴⁴Sc. Despite their potential, current …

Twisted Alexander Polynomials And Ptolemy Varieties Of Knots And Surface Bundles, Michael R. Marinelli

Dissertations, Theses, and Capstone Projects

The first focus of this dissertation is to compute Ptolemy varieties for triangulations of two infinite families of manifolds. Given an ideal triangulation of a cusped manifold, one can compute the Ptolemy variety and using it, obtain parabolic representations of the fundamental group. We compute certain obstruction classes for these manifolds, which are necessary to obtain the discrete faithful representation. This leads to our second focus of the dissertation, the twisted Alexander polynomial. The twisted Alexander polynomial (TAP) is a variation of the classical Alexander polynomial twisted by a representation of the fundamental group into a linear group. It was …

Categorical Chain Conditions For Étale Groupoid Algebras, Sunil Philip

Dissertations, Theses, and Capstone Projects

Let R be a unital commutative ring and G an ample groupoid. Using the topology of the groupoid G, Steinberg defined an étale groupoid algebra RG. These étale groupoid algebras generalize various algebras, including group algebras, commutative algebras over a field generated by idempotents, traditional groupoid algebras, Leavitt path algebras, higher-rank graph algebras, and inverse semigroup algebras. Steinberg later characterized the classical chain conditions for étale groupoid algebras. In this work, we characterize categorically noetherian and artinian, locally noetherian and artinian, and semisimple étale groupoid algebras, thereby generalizing existing results for Leavitt path algebras and introducing new results for inverse …

Who Are You Rooting For? T20 Cricket World Cup 2024, Usa & Wi, Purvesh Desai

Dissertations, Theses, and Capstone Projects

The T20 Cricket World Cup '24 played in USA & WI will bring immense excitement to the cricket lovers around the world and have a question to themselves “Who shall I Root for?” How do people or fans support their favorite teams and on what criteria do they pick these teams will discuss in here.

Patriotism, tradition, and favorite individual players, are the main reasons for the fans to choose their and support the team. Nation is the biggest pride of an individual and many people choose their pride over everything. People celebrate when the home team plays on the …

Advancing Affective Computing: Emotion Recognition And Tracking Across Diverse Contexts (Varied Environments), Shao Liu

Dissertations, Theses, and Capstone Projects

Affective Computing (AC) is an interdisciplinary field that recognizes, interprets, and processes human emotions. Emotions are complex, involving consciousness, physical sensations, and behavioral expressions, and are significant in various domains like mental health, human-computer interaction, and social security. Real-world applications of AC include monitoring drivers’ emotional states to improve road safety and understanding the emotions expressed by artists in visual arts. Traditional methods relying on facial expressions often fall short due to the nuanced nature of emotions, which vary across individuals, cultures, and contexts. Accurate AC systems require sophisticated, multimodal models to handle these variations and external factors like noise …

Advanced Predictive Analytics On Financial Donations To Nonprofit Organizations, Fhamida Keya

Dissertations, Theses, and Capstone Projects

Non-profit organizations rely on donation contributions to carry out their social driven agenda. In the context of fundraising and donor management, it is crucial to uncover complex insights about donor behavior for optimizing strategies and enhancing donor engagement. This project employed advanced analytical techniques on the dataset Donations Received by City Agencies sourced from NYC Open Data by implementing predictive modeling, clustering segmentation, and time series analysis and forecasting. The project will attempt to uncover patterns in donation behavior, identify factors that influence donation amounts, and segment out donor profiles all of which can be leveraged to optimize strategy decisions, …

On Deformation Rings Of Residual Galois Representations With Three Jordan–Hölder Factors, Xiaoyu Huang

Dissertations, Theses, and Capstone Projects

In this paper, we study Fontaine-Laffaille, self-dual deformations of a mod p non-semisimple Galois representation of dimension n with its Jordan–Hölder factors being three mutually non-isomorphic absolutely irreducible representations. We show that under some conditions regarding the orders of certain Selmer groups, the universal deformation ring is a discrete valuation ring. Given enough information on the Hecke algebra, we also prove an R = T theorem in the general context. We then apply our results to abelian surfaces with cyclic rational isogenies and certain 6-dimensional representations arising from automorphic forms congruent to Ikeda lifts. Assuming the Bloch-Kato conjecture, our result …

Synthesis Of C-Di- And C-Tri- Saccharides From Glycosyl Crotylating Agents, Steven Truong

Dissertations, Theses, and Capstone Projects

The involvement of carbohydrates in a plethora of fundamental biological pathways, including disease related processes, has created a demand for molecular probes for elucidating these mechanisms. Accordingly, synthesis of tailored and diverse carbohydrate-like molecules, commonly referred to as glycomimetics, is a very active area of research. Among the more popular classes of glycomimetics are C-glycosides, analogues in which the anomeric carbon of a parent sugar is attached to a carbon substituent. C-glycosides have attracted attention in the medicinal chemistry community as there are several naturally occurring examples with interesting pharmacologically activity. C-glycosides are also of interest because in …

Pulsey: Stellar Pulsation Models In Python, Andrew Ayala

Dissertations, Theses, and Capstone Projects

The era of the Kepler/K2 and TESS space-telescope missions has inundated the astrophysics community with photometric data for millions of stars with continuous observation and very high cadence. This data confirms that nearly every observed stellar source exhibits an oscillating luminosity, with stellar pulsation being the driving mechanism behind a large fraction of the cause. The result has been an explosion in the field of asteroseismology, where the recorded luminosity variations, or "light curves", of pulsating stars to probe their interior structures. By modeling observed light curves, we can constrain values of the physical stellar parameters producing them. The brightness …

Diabetes Technology Meeting 2023, Tiffany Tian, Rachel E Aaron, Ashley Y Dunova, Johan H Jendle, David Kerr, Eda Cengiz, Andjela Drincic, John C Pickup, Kong Y Chen, Naomi Schwartz, Douglas B Muchmore, Halis K Akturk, Carol J Levy, Signe Schmidt, Riccardo Bellazzi, Alan H B Wu, Elias K Spanakis, Bijan Najafi, James Geoffrey Chase, Jane Jeffrie Seley, David C Klonoff

Center on Aging Staff Publications

Diabetes Technology Society hosted its annual Diabetes Technology Meeting from November 1 to November 4, 2023. Meeting topics included digital health; metrics of glycemia; the integration of glucose and insulin data into the electronic health record; technologies for insulin pumps, blood glucose monitors, and continuous glucose monitors; diabetes drugs and analytes; skin physiology; regulation of diabetes devices and drugs; and data science, artificial intelligence, and machine learning. A live demonstration of a personalized carbohydrate dispenser for people with diabetes was presented.

Fractional Derivative-Based Analysis Of The Heat Transfer Properties Of Fluid Flow Over A Contracting Permeable Infinite-Length Cylinder, Anas Saeb Alhasan

Theses

Understanding the complex interplay between the contracting behavior of the cylinder and the fluid flow dynamics has implications for the design of porous structures for heat exchange and filtration systems. In this study, we investigate the dynamics and thermal behavior of fluid flow past a contracting permeable infinite cylinder. First, we developed a mathematical model based on the Navier-Stokes equations to describe the fluid dynamics around the contracting permeable infinite cylinder. A new simple well-behaved definition of fractional derivative called conformable fractional derivative introduced by authors Khalil et al. [3] is employed to generalize the PDE’s of momentum and energy. …

Adavis: Adaptive And Explainable Visualization Recommendation For Tabular Data, Songheng Zhang, Haotian Li, Huamin Qu, Yong Wang

Research Collection School Of Computing and Information Systems

Automated visualization recommendation facilitates the rapid creation of effective visualizations, which is especially beneficial for users with limited time and limited knowledge of data visualization. There is an increasing trend in leveraging machine learning (ML) techniques to achieve an end-to-end visualization recommendation. However, existing ML-based approaches implicitly assume that there is only one appropriate visualization for a specific dataset, which is often not true for real applications. Also, they often work like a black box, and are difficult for users to understand the reasons for recommending specific visualizations. To fill the research gap, we propose AdaVis, an adaptive and explainable …

Efficient And Secure Federated Learning Against Backdoor Attacks, Yinbin Miao, Rongpeng Xie, Xinghua Li, Zhiquan Liu, Kim-Kwang Raymond Choo, Robert H. Deng

Research Collection School Of Computing and Information Systems

Due to the powerful representation ability and superior performance of Deep Neural Networks (DNN), Federated Learning (FL) based on DNN has attracted much attention from both academic and industrial fields. However, its transmitted plaintext data causes privacy disclosure. FL based on Local Differential Privacy (LDP) solutions can provide privacy protection to a certain extent, but these solutions still cannot achieve adaptive perturbation in DNN model. In addition, this kind of schemes cause high communication overheads due to the curse of dimensionality of DNN, and are naturally vulnerable to backdoor attacks due to the inherent distributed characteristic. To solve these issues, …

Solving Fractional Differential Equations On A Quantum Computer: A Variational Approach, Fong Yew Leong, Dax Enshan Koh, Jian Feng Kong, Siong Thye Goh, Jun Yong Khoo, Wei Bin Ewe, Hongying Li, Jayne Thompson, Dario Poletti

Research Collection School Of Computing and Information Systems

We introduce an efficient variational hybrid quantum-classical algorithm designed for solving Caputo time-fractional partial differential equations. Our method employs an iterable cost function incorporating a linear combination of overlap history states. The proposed algorithm is not only efficient in terms of time complexity but also has lower memory costs compared to classical methods. Our results indicate that solution fidelity is insensitive to the fractional index and that gradient evaluation costs scale economically with the number of time steps. As a proof of concept, we apply our algorithm to solve a range of fractional partial differential equations commonly encountered in engineering …

Certified Continual Learning For Neural Network Regression, Hong Long Pham, Jun Sun

Research Collection School Of Computing and Information Systems

On the one hand, there has been considerable progress on neural network verification in recent years, which makes certifying neural networks a possibility. On the other hand, neural network in practice are often re-trained over time to cope with new data distribution or for solving different tasks (a.k.a. continual learning). Once re-trained, the verified correctness of the neural network is likely broken, particularly in the presence of the phenomenon known as catastrophic forgetting. In this work, we propose an approach called certified continual learning which improves existing continual learning methods by preserving, as long as possible, the established correctness properties …

Unraveling The Dynamics Of Stable And Curious Audiences In Web Systems, Rodrigo Alves, Antoine Ledent, Renato Assunção, Pedro Vaz-De-Melo, Marius Kloft

Research Collection School Of Computing and Information Systems

We propose the Burst-Induced Poisson Process (BPoP), a model designed to analyze time series data such as feeds or search queries. BPoP can distinguish between the slowly-varying regular activity of a stable audience and the bursty activity of a curious audience, often seen in viral threads. Our model consists of two hidden, interacting processes: a self-feeding process (SFP) that generates bursty behavior related to viral threads, and a non-homogeneous Poisson process (NHPP) with step function intensity that is influenced by the bursts from the SFP. The NHPP models the normal background behavior, driven solely by the overall popularity of the …

Certified Quantization Strategy Synthesis For Neural Networks, Yedi Zhang, Guangke Chen, Jun Sun, Jun Sun

Research Collection School Of Computing and Information Systems

Quantization plays an important role in deploying neural networks on embedded, real-time systems with limited computing and storage resources (e.g., edge devices). It significantly reduces the model storage cost and improves inference efficiency by using fewer bits to represent the parameters. However, it was recently shown that critical properties may be broken after quantization, such as robustness and backdoor-freeness. In this work, we introduce the first method for synthesizing quantization strategies that verifiably maintain desired properties after quantization, leveraging a key insight that quantization leads to a data distribution shift in each layer. We propose to compute the preimage for …

Sound And Complete Witnesses For Template-Based Verification Of Ltl Properties On Polynomial Programs, Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Dorde Zikelic

Research Collection School Of Computing and Information Systems

We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witnesses for LTL verification over imperative programs. Our witnesses are applicable to both verification (proving) and refutation (finding bugs) settings. We then consider LTL formulas in which atomic propositions can be polynomial constraints and turn our focus to polynomial arithmetic programs, i.e. programs in which every assignment and guard consists only of polynomial expressions. For this setting, we provide an efficient algorithm to automatically synthesize such LTL witnesses. Our synthesis procedure is both …

Text-Driven Video Prediction, Xue Song, Jingjing Chen, Bin Zhu, Yu-Gang Jiang

Research Collection School Of Computing and Information Systems

Current video generation models usually convert signals indicating appearance and motion received from inputs (e.g., image and text) or latent spaces (e.g., noise vectors) into consecutive frames, fulfilling a stochastic generation process for the uncertainty introduced by latent code sampling. However, this generation pattern lacks deterministic constraints for both appearance and motion, leading to uncontrollable and undesirable outcomes. To this end, we propose a new task called Text-driven Video Prediction (TVP). Taking the first frame and text caption as inputs, this task aims to synthesize the following frames. Specifically, appearance and motion components are provided by the image and caption …

Low/No-Code And Traditional Code Integration In Digital Banking, Kim Siang Yeo, Alan @ Ali Madjelisi Megargel

Research Collection School Of Computing and Information Systems

This paper seeks to combine the merits of Low/No-Code Programming (LNCP) with Traditional Programming (TP) systems to achieve true “agility” when creating banking infrastructure. While it is easy to fall prey to Shiny Object Syndrome in today’s dynamic and fast-paced banking technology world, it is not easy to pick out the right technology for today and tomorrow’s financial industry. Instead, LNCPs allow us to hedge all bets by equally lowering the technical entry barriers for each technology. The added integration of TP, when needed, also rounds out the faults related to sole LNCP use and provides any bank with a …

Aligning Human And Computational Coherence Evaluations, Jia Peng Lim, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

Automated coherence metrics constitute an efficient and popular way to evaluate topic models. Previous work presents a mixed picture of their presumed correlation with human judgment. This work proposes a novel sampling approach to mining topic representations at a large scale while seeking to mitigate bias from sampling, enabling the investigation of widely used automated coherence metrics via large corpora. Additionally, this article proposes a novel user study design, an amalgamation of different proxy tasks, to derive a finer insight into the human decision-making processes. This design subsumes the purpose of simple rating and outlier-detection user studies. Similar to the …

Meta-Learning For Multi-Family Android Malware Classification, Yao Li, Dawei Yuan, Tao Zhang, Haipeng Cai, David Lo, Cuiyun Gao, Xiapu Luo, He Jiang

Research Collection School Of Computing and Information Systems

With the emergence of smartphones, Android has become a widely used mobile operating system. However, it is vulnerable when encountering various types of attacks. Every day, new malware threatens the security of users' devices and private data. Many methods have been proposed to classify malicious applications, utilizing static or dynamic analysis for classification. However, previous methods still suffer from unsatisfactory performance due to two challenges. First, they are unable to address the imbalanced data distribution problem, leading to poor performance for malware families with few members. Second, they are unable to address the zero-day malware (zero-day malware refers to malicious …

Enhancing Multi-Agent System Testing With Diversity-Guided Exploration And Adaptive Critical State Exploitation, Xuyan Ma, Yawen Wang, Junjie Wang, Xiaofei Xie

Research Collection School Of Computing and Information Systems

Multi-agent systems (MASs) have achieved remarkable success in multi-robot control, intelligent transportation, and multiplayer games, etc. Thorough testing for MAS is urgently needed to ensure its robustness in the face of constantly changing and unexpected scenarios. Existing methods mainly focus on single-agent system testing and cannot be directly applied to MAS testing due to the complexity of MAS. To our best knowledge, there are fewer studies on MAS testing. While several studies have focused on adversarial attacks on MASs, they primarily target failure detection from an attack perspective, i.e., discovering failure scenarios, while ignoring the diversity of scenarios. In this …