Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 4861 - 4890 of 63010

Full-Text Articles in Computer Sciences

Uc-221 Accounting Treasury Industries Web Application, Ibrahima Diallo, Alexandra Baker, Tyler J Hood Jan 2025

Uc-221 Accounting Treasury Industries Web Application, Ibrahima Diallo, Alexandra Baker, Tyler J Hood

C-Day Computing Showcase

This accounting software project is designed to provide a comprehensive and efficient solution for financial management within an organization. By focusing on ease of usability, accuracy, and compliance, the software enables users to record, manage, and analyze accounts, journals, and financial transactions seamlessly. Core features include transaction journalization, chart of accounts setup, financial statement generation, and robust account management, all of which are supported by strong data validation and secure access controls. This system seeks to streamline accounting workflows, minimize human/manual errors, and enhance user experience. The ultimate aim is to deliver an intuitive yet powerful tool that supports effective …


Using Satellite Image Segmentation To Detect Trails, Jeremy Reynolds Jan 2025

Using Satellite Image Segmentation To Detect Trails, Jeremy Reynolds

Theses and Dissertations

This masters thesis proposes an innovative approach to satellite image segmentation by focusing on the detection and mapping of walking, hiking, and biking trails. The motivation behind this project comes from the underexplored area in segmentation techniques for trail identification and offers potential benefits for urban planning, environmental monitoring, and public health. The problem statement addresses the need for a model that can differentiate between various trail types and other natural or man-made elements. The project aims for efficiency and scalability in processing satellite imagery across different compute hardware. The work details several stages: researching existing segmentation techniques, specifically road …


Evaluation Of Green Tea Yoghurt Enriched With Lacticaseibacillus Paracasei E1 Microcapsules On Macrophage M1 Profile In High Fat-Fructose Diet Mice, Esha Ardiansyah, Nur Alfi Maghfirotus Sa’Adah, Rahmi Izati, Belinda Nabiila Al Faizah, Dawama Nur Fadlilah, Septhyanti Aprilia Kavitarna, Mochammad Fitri Atho’Illah, Siti Nur Arifah, Yoga Dwi Jatmiko, Muhaimin Rifa’I Jan 2025

Evaluation Of Green Tea Yoghurt Enriched With Lacticaseibacillus Paracasei E1 Microcapsules On Macrophage M1 Profile In High Fat-Fructose Diet Mice, Esha Ardiansyah, Nur Alfi Maghfirotus Sa’Adah, Rahmi Izati, Belinda Nabiila Al Faizah, Dawama Nur Fadlilah, Septhyanti Aprilia Kavitarna, Mochammad Fitri Atho’Illah, Siti Nur Arifah, Yoga Dwi Jatmiko, Muhaimin Rifa’I

Karbala International Journal of Modern Science

Obesity is caused by an energy imbalance that increases chronic low-grade inflammation, including macrophage cell infiltration. Adipose tissue macrophages are polarized into pro-inflammatory macrophage type 1 (M1), secrete large amounts of pro-inflammatory cytokines, and activate transcription factors. Yoghurt with probiotics is popular at all ages for its health benefits and must be protected by microencapsulation. Green tea (Camellia sinensis L.) fortification provides yoghurt nutrients while improving its functional qualities and bioactivity. This study aimed to evaluate the effect of microencapsulation of Lacticaseibacillus paracasei E1 in green tea yoghurt (GTY) on the profile of M1 macrophages in mice fed a …


Ur-213 Generative Ai & Cybersecurity, Seth G Canada, Shreya Katare Jan 2025

Ur-213 Generative Ai & Cybersecurity, Seth G Canada, Shreya Katare

C-Day Computing Showcase

This research project details the impact of Generative AI on Cybersecurity through both its potential enhancements and threats. Using advanced AI algorithms, this project explores how Generative AI can strengthen cybersecurity through systems like Anomaly Detection, Intrusion Detection Systems (IDS), and Malware Analysis. Also, this project addresses the growing challenges posed from Generative AI. In particular, issues surrounding Deepfake Phishing and Polymorphic Malware are discussed. Solutions to mitigate these issues are also provided to engage further understanding in the field. The goal of this research is to offer practical solutions for addressing the growing field of AI-driven cybersecurity.


Adaptive Workload Management For Enhanced Function Performance In Serverless Computing, Priyanka Ashok Birajdar, V. Harsha, Anurag Satpathy, Sourav Kanti Addya Jan 2025

Adaptive Workload Management For Enhanced Function Performance In Serverless Computing, Priyanka Ashok Birajdar, V. Harsha, Anurag Satpathy, Sourav Kanti Addya

Computer Science Faculty Research & Creative Works

Serverless computing streamlines application deployment by removing the need for infrastructure management, but fluctuating workloads make resource allocation challenging. To solve this, we propose an adaptive workload manager that intelligently balances workloads, optimizes resource use, and adapts to changes with auto-scaling, ensuring efficient and reliable serverless performance. Preliminary experiments demonstrate an ≈ 0.6X% and 2X% improvement in execution time and resource utilization compared to the First-Come-First Serve (FCFS) scheduling algorithm.


Collision-Free Exploration By Mobile Agents Using Pebbles, Sajal K. Das, Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar Jan 2025

Collision-Free Exploration By Mobile Agents Using Pebbles, Sajal K. Das, Amit Kumar Dhar, Barun Gorain, Madhuri Mahawar

Computer Science Faculty Research & Creative Works

In this paper, we study collision-free graph exploration in an anonymous network. The network is modeled as a graph G = (V, E) where the nodes of the graph are unlabeled, and each edge incident to a node v has a unique label, called the port number, in {0, 1, ⋯, d - 1}, where d is the degree of the node v. Two identical mobile agents, starting from different nodes in G have to explore the nodes of G in such a way that for every node v in G, at least one mobile agent visits v and no …


Smevca: Stable Matching-Based Ev Charging Assignment In Subscription-Based Models, Arindam Khanda, Anurag Satpathy, Anusha Vangala, Sajal K. Das Jan 2025

Smevca: Stable Matching-Based Ev Charging Assignment In Subscription-Based Models, Arindam Khanda, Anurag Satpathy, Anusha Vangala, Sajal K. Das

Computer Science Faculty Research & Creative Works

The rapid shift from internal combustion engine vehicles to battery-powered electric vehicles (EVs) presents considerable challenges, such as limited charging points (CPs), unpredictable wait times for charging, and difficulty in selecting appropriate CPs for EVs. To address these challenges, we propose a novel end-to-end framework, called Stable Matching based EV Charging Assignment (SMEVCA) that efficiently assigns charge-seeking EVs to CPs with the assistance of roadside units (RSUs). The proposed framework operates within a subscription-based model, ensuring that the subscribed EVs complete their charging within a predefined time limit enforced by a service level agreement (SLA). The framework SMEVCA employs a …


Elastic Scheduling For Graceful Degradation Of Mixed-Criticality Systems, Zhuoran Sun, Marion Sudvarg, Christopher Gill Jan 2025

Elastic Scheduling For Graceful Degradation Of Mixed-Criticality Systems, Zhuoran Sun, Marion Sudvarg, Christopher Gill

Computer Science Faculty Research & Creative Works

Many mixed-criticality system models drop all jobs of low-criticality tasks when a criticality mode switch occurs, ensuring that high-criticality tasks still can meet their deadlines in the new mode. However, this means that even important low-criticality tasks are discarded, which may not be acceptable in some systems in practice. This paper addresses that distinction between criticality and importance through a new Inelastic Graceful Earliest Deadline First with Virtual Deadlines (IG-EDF-VD) scheme that upon a criticality mode switch only discards the least important low-criticality tasks necessary to ensure feasibility. Moreover, we consider elastic scheduling within our mixed-criticality model (EG-EDF-VD), using compression …


Development And Characterization Of Sodium Alginate-Based Active Edible Films Functionalized With Olive Mill Wastewater Extract, Nassima Hadri, Mohamed Didi Ould El-Hadj, Zineb Mahcene, Fatih Bozkurt, Rusen Metin Yildirim, Youcef Rahmani, Aicha Tedjani, Muhammet Arici Jan 2025

Development And Characterization Of Sodium Alginate-Based Active Edible Films Functionalized With Olive Mill Wastewater Extract, Nassima Hadri, Mohamed Didi Ould El-Hadj, Zineb Mahcene, Fatih Bozkurt, Rusen Metin Yildirim, Youcef Rahmani, Aicha Tedjani, Muhammet Arici

Karbala International Journal of Modern Science

Phenolic compounds from olive mill wastewater (PCO) of Algerian origin were used to produce sodium alginate-based active films using the casting method. The effects of adding various concentrations of PCO (0%, 0.1%, and 0.2% w/v) were evaluated regarding the molecular, morphological, thermal, physicochemical, optical, barrier, biodegradability, antimicrobial, and antioxidant properties of the alginate films. The FTIR and SEM results elucidated the development of a coherent cross-linked structure attributed to hydrogen bonding interactions between PCO and alginate chains. Consequently, the films exhibited enhanced crystallinity and thermal stability, as revealed by DSC analysis. Moreover, PCO addition positively influenced several film properties, including …


Optimizing Electrode Configurations For Eeg Mild Cognitive Impairment Detection, Yi Jiang, Xin Zhang, Zhiwei Guo, Xiaobo Zhou, Jiayuan He, Ning Jiang Jan 2025

Optimizing Electrode Configurations For Eeg Mild Cognitive Impairment Detection, Yi Jiang, Xin Zhang, Zhiwei Guo, Xiaobo Zhou, Jiayuan He, Ning Jiang

Faculty, Staff and Student Publications

The Optimal electrode configuration of Electroencephalograms (EEG) systems for mild cognitive impairment (MCI) detection and monitoring in non-clinical settings, i.e. number of electrodes and the positions of the electrodes, remains to be explored. In the current study, we explored the optimization of electrode configuration for MCI detection. We used a 32-channel EEG device to record the data of 21 MCI patients and 20 cognitively normal elderly (NC) undergoing working memory (WM) tasks. Based on the differential value (MCI group vs. NC group) from the Power Spectral Density (PSD) value of each electrode in θ and α frequency band during WM …


Multiparametric Mri Along With Machine Learning Predicts Prognosis And Treatment Response In Pediatric Low-Grade Glioma, Anahita Fathi Kazerooni, Adam Kraya, Komal Rathi, Meen Chul Kim, Arastoo Vossough, Nastaran Khalili, Ariana Familiar, Deep Gandhi, Neda Khalili, Varun Kesherwani, Debanjan Haldar, Hannah Anderson, Run Jin, Aria Mahtabfar, Sina Bagheri, Yiran Guo, Qi Li, Xiaoyan Huang, Yuankun Zhu, Alex Sickler, Matthew R Lueder, Saksham Phul, Mateusz Koptyra, Phillip Storm, Jeffrey Ware, Yuanquan Song, Christos Davatzikos, Jessica Foster, Sabine Mueller, Michael J Fisher, Adam Resnick, Ali Nabavizadeh Jan 2025

Multiparametric Mri Along With Machine Learning Predicts Prognosis And Treatment Response In Pediatric Low-Grade Glioma, Anahita Fathi Kazerooni, Adam Kraya, Komal Rathi, Meen Chul Kim, Arastoo Vossough, Nastaran Khalili, Ariana Familiar, Deep Gandhi, Neda Khalili, Varun Kesherwani, Debanjan Haldar, Hannah Anderson, Run Jin, Aria Mahtabfar, Sina Bagheri, Yiran Guo, Qi Li, Xiaoyan Huang, Yuankun Zhu, Alex Sickler, Matthew R Lueder, Saksham Phul, Mateusz Koptyra, Phillip Storm, Jeffrey Ware, Yuanquan Song, Christos Davatzikos, Jessica Foster, Sabine Mueller, Michael J Fisher, Adam Resnick, Ali Nabavizadeh

Department of Neurosurgery Faculty Papers

Pediatric low-grade gliomas (pLGGs) exhibit heterogeneous prognoses and variable responses to treatment, leading to tumor progression and adverse outcomes in cases where complete resection is unachievable. Early prediction of treatment responsiveness and suitability for immunotherapy has the potential to improve clinical management and outcomes. Here, we present a radiogenomic analysis of pLGGs, integrating MRI and RNA sequencing data. We identify three immunologically distinct clusters, with one group characterized by increased immune activity and poorer prognosis, indicating potential benefit from immunotherapies. We develop a radiomic signature that predicts these immune profiles with over 80% accuracy. Furthermore, our clinicoradiomic model predicts progression-free …


Yolo-Based Miner Detection Using Thermal Images In Underground Mines, Cyrus Addy, Venkata Sriram Siddhardh Nadendla, Kwame Awuah-Offei Jan 2025

Yolo-Based Miner Detection Using Thermal Images In Underground Mines, Cyrus Addy, Venkata Sriram Siddhardh Nadendla, Kwame Awuah-Offei

Computer Science Faculty Research & Creative Works

Well-designed and effective in-mine robots can expedite miner self-rescue during emergencies and reduce fatalities. These in-mine robots for miner self-rescue can carry out diverse tasks such as scouting (including object detection and autonomous navigation), and payload delivery. However, robots that can effectively detect humans in a dark underground mine do not yet exist. This paper investigates challenges in the design of object detection algorithms for in-mine robots using thermal images, especially to detect people in real-time, in low-light conditions. The research team collected 500 thermal images in the Missouri University of Science & Technology Experimental Mine with the help of …


Scalable And Ethical Insider Threat Detection Through Data Synthesis And Analysis By Llms, Haywood Gelman, John Hastings Jan 2025

Scalable And Ethical Insider Threat Detection Through Data Synthesis And Analysis By Llms, Haywood Gelman, John Hastings

Research & Publications

Insider threats wield an outsized influence on organizations, disproportionate to their small numbers. This is due to the internal access insiders have to systems, information, and infrastructure. Signals for such risks may be found in anonymous submissions to public web-based job search site reviews. This research studies the potential for large language models (LLMs) to analyze and detect insider threat sentiment within job site reviews. Addressing ethical data collection concerns, this research utilizes synthetic data generation using LLMs alongside existing job review datasets. A comparative analysis of sentiment scores generated by LLMs is benchmarked against expert human scoring. Findings reveal …


Techmate: A Toolkit For Advancing Gender Equality In Computing Education, Alina Berry Jan 2025

Techmate: A Toolkit For Advancing Gender Equality In Computing Education, Alina Berry

Academic Posters Collection

To address the issue of gender inequality in computing education.

To inspire and guide institutions to implement change and track progress with easy to follow guidance.

To provide champions with useful and easy to access resources.


Semi-Supervised Multimodal Multi-Instance Learning For Aortic Stenosis Diagnosis, Zhe Huang, Xiaowei Yu, Benjamin S. Wessler, Michael C. Hughes Jan 2025

Semi-Supervised Multimodal Multi-Instance Learning For Aortic Stenosis Diagnosis, Zhe Huang, Xiaowei Yu, Benjamin S. Wessler, Michael C. Hughes

Computer Science Faculty Research & Creative Works

Automated interpretation of ultrasound imaging of the heart (echocardiograms) could improve the detection and treatment of aortic stenosis (AS), a deadly heart disease. However, existing deep learning pipelines for assessing AS from echocardiograms have two key limitations. First, most methods rely on limited 2D cineloops, thereby ignoring widely available Spectral Doppler imaging that contains important complementary information about pressure gradients and blood flow abnormalities associated with AS. Second, obtaining labeled data is difficult. There are often far more unlabeled echocardiogram recordings available, but these remain underutilized by existing methods. To overcome these limitations, we introduce Semi-supervised Multimodal Multiple-Instance Learning (SMMIL), …


Using Structural Similarity And Kolmogorov-Arnold Networks For Anatomical Embedding Of Cortical Folding Patterns, Minheng Chen, Chao Cao, Tong Chen, Yan Zhuang, Jing Zhang, Yanjun Lyu, Xiaowei Yu, Lu Zhang, Tianming Liu, Dajiang Zhu Jan 2025

Using Structural Similarity And Kolmogorov-Arnold Networks For Anatomical Embedding Of Cortical Folding Patterns, Minheng Chen, Chao Cao, Tong Chen, Yan Zhuang, Jing Zhang, Yanjun Lyu, Xiaowei Yu, Lu Zhang, Tianming Liu, Dajiang Zhu

Computer Science Faculty Research & Creative Works

The 3-hinge gyrus (3HG) is a newly defined folding pattern, which is the conjunction of gyri coming from three directions in cortical folding. Many studies demonstrated that 3HGs can be reliable nodes when constructing brain networks or connectome since they simultaneously possess commonality and individuality across different individual brains and populations. However, 3HGs are identified and validated within individual spaces, making it difficult to directly serve as the brain network nodes due to the absence of cross-subject correspondence. The 3HG correspondences represent the intrinsic regulation of brain organizational architecture, traditional image-based registration methods tend to fail because individual anatomical properties …


Brain-Adapter: Enhancing Neurological Disorder Analysis With Adapter-Tuning Multimodal Large Language Models, Jing Zhang, Xiaowei Yu, Yanjun Lyu, Lu Zhang, Tong Chen, Chao Cao, Yan Zhuang, Minheng Chen, Tianming Liu, Dajiang Zhu Jan 2025

Brain-Adapter: Enhancing Neurological Disorder Analysis With Adapter-Tuning Multimodal Large Language Models, Jing Zhang, Xiaowei Yu, Yanjun Lyu, Lu Zhang, Tong Chen, Chao Cao, Yan Zhuang, Minheng Chen, Tianming Liu, Dajiang Zhu

Computer Science Faculty Research & Creative Works

Understanding brain disorders is crucial for accurate clinical diagnosis and treatment. Recent advances in Multimodal Large Language Models (MLLMs) offer a promising approach to interpreting medical images with the support of text descriptions. However, previous research has primarily focused on 2D medical images, leaving richer spatial information of 3D images under-explored, and single-modality-based methods are limited by overlooking the critical clinical information contained in other modalities. To address this issue, this paper proposes Brain-Adapter, a novel approach that incorporates an extra bottleneck layer to learn new knowledge and instill it into the original pre-trained knowledge. The major idea is to …


Feature Fusion Transferability Aware Transformer For Unsupervised Domain Adaptation, Xiaowei Yu, Zhe Huang, Zao Zhang Jan 2025

Feature Fusion Transferability Aware Transformer For Unsupervised Domain Adaptation, Xiaowei Yu, Zhe Huang, Zao Zhang

Computer Science Faculty Research & Creative Works

Unsupervised domain adaptation (UDA) aims to leverage the knowledge learned from labeled source domains to improve performance on the unlabeled target domains. While Convolutional Neural Networks (CNNs) have been dominant in previous UDA methods, recent research has shown promise in applying Vision Transformers (ViTs) to this task. In this study, we propose a novel Feature Fusion Transferability Aware Transformer (FFTAT) to enhance ViT performance in UDA tasks. Our method introduces two key innovations: First, we introduce a patch discriminator to evaluate the transferability of patches, generating a transferability matrix. We integrate this matrix into self-attention, directing the model to focus …


Echopulse: Ecg Controlled Echocardiograms Video Generation, Yiwei Li, Sekeun Kim, Zihao Wu, Hanqi Jiang, Yi Pan, Pengfei Jin, Sifan Song, Yucheng Shi, Xiaowei Yu, Tianze Yang, Tianming Liu, Quanzheng Li, Xiang Li Jan 2025

Echopulse: Ecg Controlled Echocardiograms Video Generation, Yiwei Li, Sekeun Kim, Zihao Wu, Hanqi Jiang, Yi Pan, Pengfei Jin, Sifan Song, Yucheng Shi, Xiaowei Yu, Tianze Yang, Tianming Liu, Quanzheng Li, Xiang Li

Computer Science Faculty Research & Creative Works

Echocardiography (ECHO) is essential for cardiac assessments, but its video quality and interpretation heavily rely on manual expertise, leading to inconsistent results from clinical and portable devices. ECHO video generation offers a solution by improving automated monitoring through synthetic data and generating high-quality videos from routine health data. However, existing models often face high computational costs, slow inference, and rely on complex conditional prompts that require experts' annotations. To address these challenges, we propose ECHOPulse, an ECG-conditioned ECHO video generation model. ECHOPulse introduces two key advancements: (1) it accelerates ECHO video generation by leveraging VQ-VAE tokenization and masked visual token …


Exploring The Trade-Offs: Unified Large Language Models Vs Local Fine-Tuned Models For Highly-Specific Radiology Nli Task, Zihao Wu, Lu Zhang, Chao Cao, Xiaowei Yu, Zhengliang Liu, Lin Zhao, Yiwei Li, Haixing Dai, Chong Ma, Gang Li, Wei Liu, Quanzheng Li, Dinggang Shen, Xiang Li, Dajiang Zhu, Tianming Liu Jan 2025

Exploring The Trade-Offs: Unified Large Language Models Vs Local Fine-Tuned Models For Highly-Specific Radiology Nli Task, Zihao Wu, Lu Zhang, Chao Cao, Xiaowei Yu, Zhengliang Liu, Lin Zhao, Yiwei Li, Haixing Dai, Chong Ma, Gang Li, Wei Liu, Quanzheng Li, Dinggang Shen, Xiang Li, Dajiang Zhu, Tianming Liu

Computer Science Faculty Research & Creative Works

Recently, ChatGPT and GPT-4 have emerged and gained immense global attention due to their unparalleled performance in language processing. Despite demonstrating impressive capability in various open-domain tasks, their adequacy in highly specific fields like radiology remains untested. Radiology presents unique linguistic phenomena distinct from open-domain data due to its specificity and complexity. Assessing the performance of large language models (LLMs) in such specific domains is crucial not only for a thorough evaluation of their overall performance but also for providing valuable insights into future model design directions: whether model design should be generic or domain specific. To this end, in …


Sosta: Skill-Oriented Stable Task Assignment With Bidirectional Preferences In Crowdsourcing, Riya Samanta, Soumya K. Ghosh, Sajal K. Das Jan 2025

Sosta: Skill-Oriented Stable Task Assignment With Bidirectional Preferences In Crowdsourcing, Riya Samanta, Soumya K. Ghosh, Sajal K. Das

Computer Science Faculty Research & Creative Works

Traditional task assignment approaches in crowdsourcing platforms have focused on optimizing utility for workers or tasks, often neglecting the general utility of the platform and the influence of mutual preference considering skill availability and budget restrictions. This oversight can destabilize task allocation outcomes, diminishing user experience, and, ultimately, the platform's long-term utility and gives rise to the Worker Task Stable Matching (WTSM) problem. To solve WTSM, we propose the Skill-oriented Stable Task Assignment with a Bi-directional Preference (SoSTA) method based on deferred acceptance strategy. SoSTA aims to generate stable allocations between tasks and workers considering mutually their preferences, optimizing overall …


Dashar: An Implementation Of Augmented Reality Technology For Automotive Applications, Trevor D. Brown Jan 2025

Dashar: An Implementation Of Augmented Reality Technology For Automotive Applications, Trevor D. Brown

Masters Theses & Specialist Projects

Since the advent of the modern automobile, manufacturers have provided means of tracking various critical data points associated with automobile operation, with the most prominent and standardized method being the instrument cluster. These data points include, but are not limited to, automobile speed, engine speed, fuel level, oil temperature, radiator (water) temperature, and battery charge. While this data is updated in real-time as the automobile is running, traditional instrument clusters cannot be modified or adjusted to the automobile driver’s needs, unless extensive after-market modifications are made. These modifications can be expensive, and require great understanding of the automobile’s assembly.

Alongside …


Integration Of Agile Approach Into The Implementation Of The Iso/Sae 21434 On Top Of The V-Model To Enable Continuous Secure-By-Design Automotive Cybersecurity Development, Pooja Patil Jan 2025

Integration Of Agile Approach Into The Implementation Of The Iso/Sae 21434 On Top Of The V-Model To Enable Continuous Secure-By-Design Automotive Cybersecurity Development, Pooja Patil

Master's Theses and Doctoral Dissertations

The rapid evolution of technology is revolutionizing the automotive industry, with connected and autonomous vehicles at the forefront. These vehicles rely on complex digital ecosystems to enhance safety and efficiency but are increasingly vulnerable to cybersecurity threats. Addressing these challenges requires following robust development methodologies, while complying with cybersecurity standards. This study introduces a framework that merges the widely used agile methodology practices with the ISO/SAE 21434 standard to support secure-by-design automotive product development. Traditional development approaches like the V-model provide structured and linear project phases, but they often lack the flexibility and the ability to adapt to evolving security …


An Algorithm And Computation To Verify Legendre's Conjecture Up 7 · 1013, Jonathan Sorenson, Jonathan Webster Jan 2025

An Algorithm And Computation To Verify Legendre's Conjecture Up 7 · 1013, Jonathan Sorenson, Jonathan Webster

Computer Science and Software Engineering

We state a general purpose algorithm for quickly finding primes in evenly divided sub-intervals. Legendre’s conjecture claims that for every positive integer n, there exists a prime between n2 and (n + 1)2. Oppermann’s conjecture subsumes Legendre’s conjecture by claiming there are primes between n2 and n(n + 1) and also between n(n + 1) and (n + 1)2. Using Cramér’s conjecture as the basis for a heuristic run-time analysis, we show that our algorithm can verify Oppermann’s conjecture, and hence also Legendre’s conjecture, for all n ≤ N in time O(N log N log …


On The Hölder Continuity Of The Brascamp-Lieb Constant, Ori Friesen Jan 2025

On The Hölder Continuity Of The Brascamp-Lieb Constant, Ori Friesen

Mathematics, Statistics, and Computer Science Honors Projects

The Brascamp-Lieb inequality is a generalization of many well-known multilinear functional inequalities. The Brascamp-Lieb constant is the best constant that works for the Brascamp-Lieb inequality for a given tuple of input linear maps and powers. If we keep the powers constant while varying the input linear maps, the Brascamp-Lieb constant becomes a function of the linear maps. In this thesis, we explore the Hölder continuity of the Brascamp-Lieb constant. Specifically,we prove that the general 4-linear case of the Brascamp-Lieb inequality is locally Lipschitz continuous. Additionally, we provide an improvement of a previous result on the local Hölder continuity of the …


Artificial Intelligence In Health Care: Business Opportunities And Ethical Challenges, Ankita Srivastava,, Marco Marabelli, Jeffrey Moriarty Jan 2025

Artificial Intelligence In Health Care: Business Opportunities And Ethical Challenges, Ankita Srivastava,, Marco Marabelli, Jeffrey Moriarty

Ethics Publication

Artificial intelligence (AI), and in particular generative AI (GAI), are making incredible progress toward automation. The pervasive and invasive nature of these technologies are affecting every industry, and health care is no exception. This paper summarizes insights derived from a panel that the Hoffman Center for Business Ethics and the Center for Health and Business at Bentley University hosted in March 2024. The panel invited three qualified health care professionals: Evan Carey, Susan Persky and John Torous. The panelists are all active in multiple aspects of AI in health care but represent a focus on the key areas of policy …


Comparing Unidirectional, Bidirectional, And Word2vec Models For Discovering Vulnerabilities In Compiled Lifted Code, Gary Mccully, John Hastings, Shengjie Xu, Adam Fortier Jan 2025

Comparing Unidirectional, Bidirectional, And Word2vec Models For Discovering Vulnerabilities In Compiled Lifted Code, Gary Mccully, John Hastings, Shengjie Xu, Adam Fortier

Research & Publications

Ransomware and other forms of malware cause significant financial and operational damage to organizations by exploiting long-standing and often difficult-to-detect software vulnerabilities. To detect vulnerabilities such as buffer overflows in compiled code, this research investigates the application of unidirectional transformer-based embeddings, specifically GPT-2. Using a dataset of LLVM functions, we trained a GPT-2 model to generate embeddings, which were subsequently used to build LSTM neural networks to differentiate between vulnerable and non-vulnerable code. Our study reveals that embeddings from the GPT-2 model significantly outperform those from bidirectional models of BERT and RoBERTa, achieving an accuracy of 92.5\% and an F1-score …


All We (And Llms) Need Is Fuzzy: An Argument, Olga Kosheleva, Vladik Kreinovich Jan 2025

All We (And Llms) Need Is Fuzzy: An Argument, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Large Language Models (LLMs) like ChatGPT have spectacular successes -- but they also have surprising failures that an average person with common sense could easily avoid. It is therefore desirable to incorporate the imprecise ("fuzzy") common sense into LLMs. A natural question is: to what extent will this help? This way, we may avoid a few simple mistakes, but will it significantly improve the LLMs' performance? What portion of the gap between current LLMs and ideal perfect AI-based agents can be, in principle, covered by using fuzzy techniques? Judging by the fact that few researchers working on LLMs (and on …


How To Share A Success, How To Share A Crisis, And How All This Is Related To Fuzzy, Olga Kosheleva, Vladik Kreinovich Jan 2025

How To Share A Success, How To Share A Crisis, And How All This Is Related To Fuzzy, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In many practical situations, a group of people needs to share a success. What is the fair way to share this success? Nobelist John Nash showed that under reasonable conditions, the group should select the alternative for which the product of utility gains is the largest possible. This solution makes perfect sense from the fuzzy-formalized commonsense viewpoint: it maximizes the degree of confidence that all participants are happy. A natural question is: can we extend this result to a different class of situations, when a group of people needs to share sacrifices caused by a crisis? In this paper, we …


Ai 101: What It Can (And Can't) Do For You, April Sheppard Jan 2025

Ai 101: What It Can (And Can't) Do For You, April Sheppard

Staff and Faculty Scholarship

In this presentation, April defines AI, describes how it works, reviews some pros and cons, and finally discusses what AI can actually accomplish in its current iteration.