Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (4439)
- TÜBİTAK (1233)
- Purdue University (1090)
- Old Dominion University (949)
- Missouri University of Science and Technology (917)
-
- University of Nebraska - Lincoln (874)
- Air Force Institute of Technology (847)
- Wright State University (817)
- San Jose State University (616)
- Dartmouth College (581)
- Edith Cowan University (570)
- Brigham Young University (506)
- California Polytechnic State University, San Luis Obispo (448)
- City University of New York (CUNY) (445)
- University of Texas at El Paso (387)
- Technological University Dublin (367)
- Portland State University (356)
- New Jersey Institute of Technology (342)
- University of Central Florida (337)
- China Simulation Federation (315)
- Washington University in St. Louis (314)
- Embry-Riddle Aeronautical University (312)
- Nova Southeastern University (297)
- Kennesaw State University (288)
- University of Arkansas, Fayetteville (267)
- Utah State University (260)
- Zayed University (254)
- University of Texas at Arlington (253)
- University of South Florida (252)
- Syracuse University (245)
- Keyword
-
- Machine learning (1034)
- Deep learning (594)
- Machine Learning (532)
- Artificial intelligence (508)
- Security (366)
-
- Computer Science (344)
- Deep Learning (305)
- Artificial Intelligence (268)
- Classification (263)
- Cybersecurity (246)
- Computer vision (231)
- Privacy (214)
- Department of Computer Science and Engineering (211)
- Neural networks (205)
- Algorithms (202)
- Data mining (193)
- Natural language processing (187)
- Computer science (182)
- Applied sciences (171)
- College for Professional Studies (165)
- Software engineering (163)
- School of Computer & Information Science (150)
- Simulation (145)
- AI (144)
- Natural Language Processing (142)
- Optimization (138)
- Blockchain (134)
- Image processing (133)
- Clustering (128)
- Education (123)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (4232)
- Theses and Dissertations (1689)
- Turkish Journal of Electrical Engineering and Computer Sciences (1233)
- Department of Computer Science Technical Reports (906)
- Master's Projects (565)
-
- Computer Science Faculty Publications (436)
- Computer Science Technical Reports (404)
- Computer Science Faculty Research & Creative Works (385)
- Electronic Theses and Dissertations (385)
- Dissertations (362)
- The R Journal (353)
- Faculty Publications (348)
- Journal of System Simulation (315)
- CCAC Theses and Dissertations (279)
- Browse all Theses and Dissertations (262)
- All Works (254)
- Theses (254)
- Computer Science Faculty Publications and Presentations (230)
- USF Tampa Graduate Theses and Dissertations (230)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (217)
- Masters Theses (216)
- Computer Science & Engineering Syllabi (214)
- Departmental Technical Reports (CS) (212)
- Walden Dissertations and Doctoral Studies (210)
- Master's Theses (209)
- All Computer Science and Engineering Research (205)
- Kno.e.sis Publications (196)
- Computer Science and Software Engineering (180)
- Open Access Theses & Dissertations (171)
- Regis University Student Publications (comprehensive collection) (166)
- Publication Type
Articles 3211 - 3240 of 27800
Full-Text Articles in Entire DC Network
A Platform For Integrating Internet Of Things, Machine Learning, And Big Data Practicum In Electrical Engineering Curricula, Nandana Jayachandran, Atef Abdrabou, Naod Yamane, Anwer Al-Dulaimi
A Platform For Integrating Internet Of Things, Machine Learning, And Big Data Practicum In Electrical Engineering Curricula, Nandana Jayachandran, Atef Abdrabou, Naod Yamane, Anwer Al-Dulaimi
All Works
The integration of the Internet of Things (IoT), big data, and machine learning (ML) has pioneered a transformation across several fields. Equipping electrical engineering students to remain abreast of the dynamic technological landscape is vital. This underscores the necessity for an educational tool that can be integrated into electrical engineering curricula to offer a practical way of learning the concepts and the integration of IoT, big data, and ML. Thus, this paper offers the IoT-Edu-ML-Stream open-source platform, a graphical user interface (GUI)-based emulation software tool to help electrical engineering students design and emulate IoT-based use cases with big data analytics. …
In Reply: Can Artificial Intelligence Make The Cut? Dissecting Large Language Model’S Surgical Exam Performance, Adam M. Ostrovsky, Joshua R. Chen, Vishal N. Shah, Babak Abai
In Reply: Can Artificial Intelligence Make The Cut? Dissecting Large Language Model’S Surgical Exam Performance, Adam M. Ostrovsky, Joshua R. Chen, Vishal N. Shah, Babak Abai
Department of Surgery Faculty Papers
No abstract provided.
Groundwater Modeling Of The Ogallala Aquifer: Use Of Machine Learning For Model Parameterization And Sustainability Assessment, Tewodros Aboret Tilahun
Groundwater Modeling Of The Ogallala Aquifer: Use Of Machine Learning For Model Parameterization And Sustainability Assessment, Tewodros Aboret Tilahun
Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–
Addressing groundwater depletion problems in heterogeneous aquifer systems is a challenge. The heterogeneous Ogallala Aquifer, a critical source of groundwater in the central United States, has undergone decades of decline in water levels due to pumping. This project aims to build a robust groundwater model to evaluate optimal scenarios for sustainable use of the groundwater resource within a section of the Ogallala aquifer located in the Middle Republican Natural Resources District (MRNRD). This study follows a comprehensive approach involving parameterization, construction, and optimization. The model is parametrized using hydraulic conductivity and recharge values obtained from a random forest-based machine learning …
Extending Segment Tree For Polygon Clipping And Parallelizing Using Openmp And Openacc Compiler Directives, M. K. Buddhi Ashan, Satish Puri, Sushil K. Prasad
Extending Segment Tree For Polygon Clipping And Parallelizing Using Openmp And Openacc Compiler Directives, M. K. Buddhi Ashan, Satish Puri, Sushil K. Prasad
Computer Science Faculty Research & Creative Works
A segment tree is a versatile tree-based data structure over intervals or line segments efficiently supporting several computational operations such as stabbing query, segment arrangement, and planar point location, both theoretically and practically. Polygon clipping is a basic operation in domains such as Computer Graphics, Computer-aided Design, and Geographic Information Science (GIS). Given two polygons with n vertices, polygon clipping algorithms find the geometric intersection or union in O(n2) time using Foster's all-to-all edge intersection testing and O((n + k) logn) time using Vatti's sweep line-based method, where k is the number of intersections. No known segment tree implementation, including …
Digital Scribes: A Possible Solution For Provider Burnout By Reducing Provider Workload, Shannon Storley
Digital Scribes: A Possible Solution For Provider Burnout By Reducing Provider Workload, Shannon Storley
Theses and Graduate Projects
Background: Provider burnout is continuing to be a massive problem for our healthcare industry. One major contributor to provider burnout is burdensome administrative tasks associated with documentation of electronic medical records (EMR). This review aims to uncover the applications for artificially intelligent digital scribes as a solution to reduce EMR documentation burden. Purpose: Provider burnout has shown to increase the incidence of major mistakes and decreased patient safety grades. Digital scribes could be a solution in reducing provider burnout by reducing the administrative burden of EMR documentation. Methods: A comprehensive literature review was conducted using articles from PubMed using search …
Deep-Learning Approaches To Predict Remaining Useful Life Of Hard Disks, Rohan Mohapatra
Deep-Learning Approaches To Predict Remaining Useful Life Of Hard Disks, Rohan Mohapatra
Master's Theses
On a daily basis, data centers process huge volumes of data using inexpensive hard disks. Data stored in these disks serve a range of critical functional needs from financial, and healthcare to aerospace. As such, premature disk failure and consequent loss of data can be catastrophic. To mitigate the risk of failures, cloud storage providers perform condition-based monitoring and replace hard disks before they fail. By estimating the remaining useful life (RUL) of hard disk drives, one can predict the time-to-failure of a particular device and replace it at the right time, ensuring maximum utilization whilst reducing operational costs. We …
Analyzing The Usability, Performance, And Cost-Efficiency Of Deploying Ml Models On Various Cloud Computing Platforms, Hongyu Wang
Analyzing The Usability, Performance, And Cost-Efficiency Of Deploying Ml Models On Various Cloud Computing Platforms, Hongyu Wang
Masters Theses (Archived)
With the enhanced computing capabilities and accessibility to cloud resources, major cloud computing providers such as Google Cloud Platform (GCP), Amazon Web Services (AWS), and Microsoft Azure offer Machine Learning (ML) and AI services. Their primary purpose is to provide efficiency, scalability, and adaptability in modern software development and IT operations while reducing overall costs and operational complexity. However, prospective customers of the services often question which ML-AI service will best suit their organizational and business needs. This study compares and analyzes the usability, performance, and cost-efficiency of deploying Machine Learning (ML) models across three cloud platforms: GCP, AWS, and …
Ethical Challenges And Solutions Of Generative Ai: An Interdisciplinary Perspective, Mousa Al-Kfairy, Dheya Mostafa, Nir Kshetri, Mazen Insiew, Omar Alfandi
Ethical Challenges And Solutions Of Generative Ai: An Interdisciplinary Perspective, Mousa Al-Kfairy, Dheya Mostafa, Nir Kshetri, Mazen Insiew, Omar Alfandi
All Works
This paper conducts a systematic review and interdisciplinary analysis of the ethical challenges of generative AI technologies (N = 37), highlighting significant concerns such as privacy, data protection, copyright infringement, misinformation, biases, and societal inequalities. The ability of generative AI to produce convincing deepfakes and synthetic media, which threaten the foundations of truth, trust, and democratic values, exacerbates these problems. The paper combines perspectives from various disciplines, including education, media, and healthcare, underscoring the need for AI systems that promote equity and do not perpetuate social inequalities. It advocates for a proactive approach to the ethical development of AI, emphasizing …
Modular Approach To Soft Mobile Robots, Dimuthu Kodippili Arachchige
Modular Approach To Soft Mobile Robots, Dimuthu Kodippili Arachchige
College of Computing and Digital Media Dissertations
Soft robot locomotion is a highly promising but under-researched subfield within the field of soft robotics. The compliant limbs and bodies of soft robots offer numerous benefits, including the ability to regulate impacts, tolerate falls, and navigate through tight spaces. These robots have the potential to be used for various applications, such as search and rescue, inspection, surveillance, and more. The state-of-the-art still faces many challenges, including limited degrees of freedom, a lack of diversity in gait trajectories, insufficient limb dexterity, limited payload capabilities, lack of control methods, etc. To address these challenges, this research introduces a modular approach to …
Enhancing Clinical Relevance Of Pretrained Language Models Through Integration Of External Knowledge: Case Study On Cardiovascular Diagnosis From Electronic Health Records, Qiuhao Lu, Andrew Wen, Thien Nguyen, Hongfang Liu
Enhancing Clinical Relevance Of Pretrained Language Models Through Integration Of External Knowledge: Case Study On Cardiovascular Diagnosis From Electronic Health Records, Qiuhao Lu, Andrew Wen, Thien Nguyen, Hongfang Liu
Faculty, Staff and Student Publications
Background: Despite their growing use in health care, pretrained language models (PLMs) often lack clinical relevance due to insufficient domain expertise and poor interpretability. A key strategy to overcome these challenges is integrating external knowledge into PLMs, enhancing their adaptability and clinical usefulness. Current biomedical knowledge graphs like UMLS (Unified Medical Language System), SNOMED CT (Systematized Medical Nomenclature for Medicine-Clinical Terminology), and HPO (Human Phenotype Ontology), while comprehensive, fail to effectively connect general biomedical knowledge with physician insights. There is an equally important need for a model that integrates diverse knowledge in a way that is both unified and compartmentalized. …
Reless: A Framework For Assessing Safety In Deep Learning Systems, Nan Jia, Anita Raja, Raffi T. Khatchadourian
Reless: A Framework For Assessing Safety In Deep Learning Systems, Nan Jia, Anita Raja, Raffi T. Khatchadourian
Publications and Research
Traditionally, software refactoring helps to improve a system's internal structure and enhance its non-functional features, such as reliability and run-time performance, while preserving external behavior including original program semantics. However, in the context of learning-enabled software systems (LESS), e.g., Machine Learning (ML) systems, it is unclear which portions of a software's semantics require preservation at the development phase. This is mainly because (a) the behavior of the LESS is not defined until run-time; and (b) the inherently iterative and non-deterministic nature of ML algorithms. Consequently, there is a knowledge gap in what refactoring truly means in the context of LESS …
Mapping Urban Tree Canopy Using Publicly Available Satellite Data, Rosemary Mcguinness
Mapping Urban Tree Canopy Using Publicly Available Satellite Data, Rosemary Mcguinness
Theses and Dissertations
This project addresses the need for accessible, cost-effective tools for quantifying spatial and temporal changes in tree canopy cover in urban areas. Urban tree canopy provides a wide range of ecosystem services, including lowering air temperatures, reducing pollution, and mitigating stormwater runoff. Cities around the world have placed the expansion of their urban forests at the center of their sustainability goals. Consistent and timely data on urban tree canopy is essential for urban greening initiatives to succeed. Existing methods of accessing information about urban tree canopy are highly technical, costly, and labor-intensive, while the freely available source of tree canopy …
Development And Optimization Of A 1-Dimensional Convolutional Neural Network-Based Keyword Spotting Model For Fpga Acceleration, Trysten E. Dembeck
Development And Optimization Of A 1-Dimensional Convolutional Neural Network-Based Keyword Spotting Model For Fpga Acceleration, Trysten E. Dembeck
Masters Theses
Spoken Keyword Spotting (KWS) has steadily remained one of the most studied and implemented technologies in human-facing artificially intelligent systems and has enabled them to detect specific keywords in utterances. Modern machine learning models, such as the variants of deep neural networks, have significantly improved the performance and accuracy of these systems over other rudimentary techniques. However, they often demand substantial computational resources, use large parameter spaces, and introduce latencies that limit their real-time applicability and offline use. These speed and memory requirements have become a tremendous problem where faster and more efficient KWS methods dominate and better meet industry …
Shapley Value Under Interval Uncertainty And Partial Information, Kittawit Autchariyapanikul, Olga Kosheleva, Vladik Kreinovich
Shapley Value Under Interval Uncertainty And Partial Information, Kittawit Autchariyapanikul, Olga Kosheleva, Vladik Kreinovich
Departmental Technical Reports (CS)
In the 1950s, the future Nobelist Lloyd Shapley solved the problem of how to fairly divide the common gain. Namely, he showed that some reasonable requirements determine a unique division -- which is now known as the Shapley value. The main limitation of Shapley's solution is that it assumes that for each subgroup of the original group of participants, we know exactly how much this group could gain if it acted by itself, without involving others. In practice, we rarely know these exact values. At best, we know the bounds on each such value -- i.e., in other words, an …
Leveraging Generative Ai For Sustainable Farm Management Techniques Correspond To Optimization And Agricultural Efficiency Prediction, Samira Samrose
Leveraging Generative Ai For Sustainable Farm Management Techniques Correspond To Optimization And Agricultural Efficiency Prediction, Samira Samrose
All Graduate Reports and Creative Projects, Fall 2023 to Present
Sustainable farm management practice is a multifaceted challenge. Uncovering the optimal state for production while reduction of environmental negative impacts and guaranteed inter-generational assets supervision needs balanced management. Also, considering lots of different factors (cost, profit, employment etc), the agricultural based management technique requires rigorous concentration. In this project machine learning models are applied to develop, achieve and improve the farm management techniques. This experiment ensures the resultant impacts being environment friendly and necessary resource availability and efficiency. Predicting the type of crop and rotational recommendations will disclose potentiality of productive agricultural based farming. Additionally, this project is designed to …
Changes In Near-Field Perception And Reaching Behavior In Virtual Environments Over Time, Kristopher C. Kohm
Changes In Near-Field Perception And Reaching Behavior In Virtual Environments Over Time, Kristopher C. Kohm
All Dissertations
Near-field perception and reaching capabilities are fundamental for most interactions in immersive virtual environments (IVEs). To perform actions in IVEs accurately and efficiently, virtual reality (VR) users need to be able to adapt to changes in their perception. Some of these perceptual differences may be inherent to virtual environments, such as the difference in depth perception between the virtual and non-virtual worlds. Others may be deliberate alterations to the user's action capabilities or to their surroundings to make interactions easier. Both the alterations and the user's ability to adjust to them may change over time as they gain experience in …
Fuel-Saving Route Planning With Data-Driven And Learning-Based Approaches: A Systematic Solution For Harbor Tugs, Shengming Wang, Xiaocai Zhang, Jing Li, Xiaoyang Wei, Hoong Chuin Lau, Bing Tian Dai, Binbin Huang Huang, Zhe Xiao, Xiuju Fu, Zheng Qin
Fuel-Saving Route Planning With Data-Driven And Learning-Based Approaches: A Systematic Solution For Harbor Tugs, Shengming Wang, Xiaocai Zhang, Jing Li, Xiaoyang Wei, Hoong Chuin Lau, Bing Tian Dai, Binbin Huang Huang, Zhe Xiao, Xiuju Fu, Zheng Qin
Research Collection School Of Computing and Information Systems
In recent years, there are trends toward cleaner port environments through enforcement by imposed legislation. Transit optimisation of fuel-based port service boats like harbour tugs has emerged as a critical task to reduce fuel consumption and carbon emission. In this paper, an innovative learning-based method, comprising a Reinforcement Learning (RL) model together with a fuel consumption prediction model, was proposed to formulate fuel-saving transit routes. Firstly, an ensemble model is established by combining a Long Short-Term Memory (LSTM) model with a Multilayer Perceptron (MLP) model, predicting fuel use based on tugboat movement and environment factors. Subsequently, an innovative RL based …
Simc 2.0: Improved Secure Ml Inference Against Malicious Clients, Guowen Xu, Xingshuo Han, Tianwei Zhang, Shengmin Xu, Jianting Ning, Xinyi Huang, Hongwei Li, Deng, Robert H.
Simc 2.0: Improved Secure Ml Inference Against Malicious Clients, Guowen Xu, Xingshuo Han, Tianwei Zhang, Shengmin Xu, Jianting Ning, Xinyi Huang, Hongwei Li, Deng, Robert H.
Research Collection School Of Computing and Information Systems
In this paper, we study the problem of secure ML inference against a malicious client and a semi-trusted server such that the client only learns the inference output while the server learns nothing. This problem is first formulated by Lehmkuhl et al. with a solution (MUSE, Usenix Security’21), whose performance is then substantially improved by Chandran et al.'s work (SIMC, USENIX Security’22). However, there still exists a nontrivial gap in these efforts towards practicality, giving the challenges of overhead reduction and secure inference acceleration in an all-round way. Based on this, we propose SIMC 2.0, which complies with the underlying …
Style: Improving Domain Transferability Of Asking Clarification Questions In Large Language Model Powered Conversational Agents, Yue Chen, Chen Huang, Yang Deng, Wenqiang Lei, Dingnan Jin, Jia Liu, Tat-Seng Chua
Style: Improving Domain Transferability Of Asking Clarification Questions In Large Language Model Powered Conversational Agents, Yue Chen, Chen Huang, Yang Deng, Wenqiang Lei, Dingnan Jin, Jia Liu, Tat-Seng Chua
Research Collection School Of Computing and Information Systems
Equipping a conversational search engine with strategies regarding when to ask clarification questions is becoming increasingly important across various domains. Attributing to the context understanding capability of LLMs and their access to domain-specific sources of knowledge, LLM-based clarification strategies feature rapid transfer to various domains in a posthoc manner. However, they still struggle to deliver promising performance on unseen domains, struggling to achieve effective domain transferability. We take the first step to investigate this issue and existing methods tend to produce one-size-fits-all strategies across diverse domains, limiting their search effectiveness. In response, we introduce a novel method, called STYLE, to …
Chain-Of-Exemplar: Enhancing Distractor Generation For Multimodal Educational Question Generation, Haohao Luo, Yang Deng, Ying Shen, See-Kiong Ng, Tat-Seng Chua
Chain-Of-Exemplar: Enhancing Distractor Generation For Multimodal Educational Question Generation, Haohao Luo, Yang Deng, Ying Shen, See-Kiong Ng, Tat-Seng Chua
Research Collection School Of Computing and Information Systems
Multiple-choice questions (MCQs) are important in enhancing concept learning and student engagement for educational purposes. Despite the multimodal nature of educational content, current methods focus mainly on text-based inputs and often neglect the integration of visual information. In this work, we study the problem of multimodal educational question generation, which aims at generating subject-specific educational questions with plausible yet incorrect distractors based on multimodal educational content. To tackle this problem, we introduce a novel framework, named Chain-of-Exemplar (CoE), which utilizes multimodal large language models (MLLMs) with Chain-of-Thought reasoning to improve the generation of challenging distractors. Furthermore, CoE leverages three-stage contextualized …
Self-Chats From Large Language Models Make Small Emotional Support Chatbot Better, Zhonghua Zheng, Lizi Liao, Yang Deng, Libo Qin, Liqiang Nie
Self-Chats From Large Language Models Make Small Emotional Support Chatbot Better, Zhonghua Zheng, Lizi Liao, Yang Deng, Libo Qin, Liqiang Nie
Research Collection School Of Computing and Information Systems
Large Language Models (LLMs) have shown strong generalization abilities to excel in various tasks, including emotion support conversations. However, deploying such LLMs like GPT-3 (175B parameters) is resource-intensive and challenging at scale. In this study, we utilize LLMs as “Counseling Teacher” to enhance smaller models’ emotion support response abilities, significantly reducing the necessity of scaling up model size. To this end, we first introduce an iterative expansion framework, aiming to prompt the large teacher model to curate an expansive emotion support dialogue dataset. This curated dataset, termed ExTES, encompasses a broad spectrum of scenarios and is crafted with meticulous strategies …
Watme: Towards Lossless Watermarking Through Lexical Redundancy, Liang Chen, Yatao Bian, Yang Deng, Deng Cai, Shuaiyi Li, Peilin Zhao, Kam-Fai Wong
Watme: Towards Lossless Watermarking Through Lexical Redundancy, Liang Chen, Yatao Bian, Yang Deng, Deng Cai, Shuaiyi Li, Peilin Zhao, Kam-Fai Wong
Research Collection School Of Computing and Information Systems
Text watermarking has emerged as a pivotal technique for identifying machine-generated text. However, existing methods often rely on arbitrary vocabulary partitioning during decoding to embed watermarks, which compromises the availability of suitable tokens and significantly degrades the quality of responses. This study assesses the impact of watermarking on different capabilities of large language models (LLMs) from a cognitive science lens. Our finding highlights a significant disparity; knowledge recall and logical reasoning are more adversely affected than language generation. These results suggest a more profound effect of watermarking on LLMs than previously understood. To address these challenges, we introduce Watermarking with …
Exploring Healthcare Chatbot Information Presentation: Applying Hierarchical Bayesian Regression And Inductive Thematic Analysis In A Mixed Methods Study, Samuel Nelson Koscelny
Exploring Healthcare Chatbot Information Presentation: Applying Hierarchical Bayesian Regression And Inductive Thematic Analysis In A Mixed Methods Study, Samuel Nelson Koscelny
All Theses
High blood pressure, also known as hypertension, significantly increases the risk of heart disease and stroke, which are leading causes of death in the United States. While contributing to over 691,000 deaths in 2021 alone in the United States (U.S.), it also imposes immense economic burden on the healthcare system, costing approximately $131 billion annually. One way to address this issue is for increased self-care behaviors and medication adherence, both of which require sufficient health literacy. Despite the importance of health literacy, 90% of U.S. adults struggle with health-related subjects. Overcoming the issues associated with health literacy requires addressing the …
Long Term Ultrasonic Monitoring And Machine Learning Investigation Of Micro-Crack Damaged Concrete, Yalei Tang
Long Term Ultrasonic Monitoring And Machine Learning Investigation Of Micro-Crack Damaged Concrete, Yalei Tang
Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–
The thermal modulation method is a recently developed nonlinear ultrasonic technique for evaluating material damage. This method utilizes thermal strain changes resulting from temperature variations to excite the nonlinear behavior of materials and modulate high-frequency ultrasonic waves within them. Its working principle suggests significant potential for application in large-scale concrete structures and in-situ monitoring of real structures. Despite numerous laboratory demonstrations of its effectiveness, several gaps remain before it can be applied to in-service large concrete structures.
This study investigates the potential of the thermal modulation technique for evaluating concrete structures in ambient conditions, addressing key uncertainties for practical implementation. …
Story Of Your Lazy Function's Life: A Bidirectional Demand Semantics For Mechanized Cost Analysis Of Lazy Programs, Li-Yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
Story Of Your Lazy Function's Life: A Bidirectional Demand Semantics For Mechanized Cost Analysis Of Lazy Programs, Li-Yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
Computer Science Faculty Publications and Presentations
Lazy evaluation is a powerful tool that enables better compositionality and potentially better performance in functional programming, but it is challenging to analyze its computation cost. Existing works either require manually annotating sharing, or rely on separation logic to reason about heaps of mutable cells. In this paper, we propose a bidirectional demand semantics that allows for extrinsic reasoning about the computation cost of lazy programs without relying on special program logics. To show the effectiveness of our approach, we apply the demand semantics to a variety of case studies including insertion sort, selection sort, Okasaki's banker's queue, and the …
Transformer-Based Deep Learning Prediction Of 10-Degree Humphrey Visual Field Tests From 24-Degree Data, Min Shi, Anagha Lokhande, Yu Tian, Yan Luo, Mohammad Eslami, Saber Kazeminasab, Tobias Elze, Lucy Shen, Louis Pasquale, Sarah Wellik, Carlos Gustavo De Moraes, Jonathan Myers, Nazlee Zebardast, David Friedman, Michael Boland, Mengyu Wang
Transformer-Based Deep Learning Prediction Of 10-Degree Humphrey Visual Field Tests From 24-Degree Data, Min Shi, Anagha Lokhande, Yu Tian, Yan Luo, Mohammad Eslami, Saber Kazeminasab, Tobias Elze, Lucy Shen, Louis Pasquale, Sarah Wellik, Carlos Gustavo De Moraes, Jonathan Myers, Nazlee Zebardast, David Friedman, Michael Boland, Mengyu Wang
Wills Eye Hospital Papers
PURPOSE: To predict 10-2 Humphrey visual fields (VFs) from 24-2 VFs and associated non-total deviation features using deep learning.
METHODS: We included 5189 reliable 24-2 and 10-2 VF pairs from 2236 patients, and 28,409 reliable pairs of macular OCT scans and 24-2 VF from 19,527 eyes of 11,560 patients. We developed a transformer-based deep learning model using 52 total deviation values and nine VF test features to predict 68 10-2 total deviation values. The mean absolute error, root mean square error, and the R2 were evaluation metrics. We further evaluated whether the predicted 10-2 VFs can improve the structure-function relationship …
Optimization Strategies To Enhance Performance In Matrix/Tensor Factorization And Multi-Source Data Integration, Mengyuan Zhang
Optimization Strategies To Enhance Performance In Matrix/Tensor Factorization And Multi-Source Data Integration, Mengyuan Zhang
All Dissertations
Optimization in the realm of machine learning constitutes a fundamental process aimed at refining the parameters of models to enhance their performance. It serves as the backbone of various machine learning techniques, encompassing diverse algorithms and methodologies tailored to address specific tasks and objectives.
In machine learning, datasets are commonly structured as matrices or tensors, making techniques like matrix factorization and tensor factorization indispensable for extracting meaningful representations from intricate data. Furthermore, datasets commonly comprise multiple sets of features, which has inspired our exploration of effective strategies for leveraging information from diverse sources during optimization. Additionally, the interconnected nature of …
Optimizing Scalability For Formal Analysis With Evolutionary Algorithm, Jianghao Wang
Optimizing Scalability For Formal Analysis With Evolutionary Algorithm, Jianghao Wang
Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–
Predominantly employed to tackle hardware validation challenges in the early years, formal methods have since expanded to software engineering, introducing a significant level of rigor and precision to software analysis. Its use of mathematical notations and logical reasoning allows for abstract modeling of programs, enabling researchers and engineers to perform a multitude of analysis tasks to verify system dependability and rigorously prove the correctness of system properties. Despite the availability of many automated analysis tools including those considered lightweight, the practical adoption of formal methods in software development has been limited due to scalability concerns, especially when applied to large …
Anopas: Practical Anonymous Transit Pass From Group Signatures With Time-Bound Keys, Rui Shi, Yang Yang, Yingjiu Li, Huamin Feng, Hwee Hwa Pang, Robert H. Deng
Anopas: Practical Anonymous Transit Pass From Group Signatures With Time-Bound Keys, Rui Shi, Yang Yang, Yingjiu Li, Huamin Feng, Hwee Hwa Pang, Robert H. Deng
Research Collection School Of Computing and Information Systems
An anonymous transit pass system allows passengers to access transport services within fixed time periods, with their privileges automatically deactivating upon time expiration. Although existing transit pass systems are deployable on powerful devices like PCs, their adaptation to more user-friendly devices, such as mobile phones with smart cards, is inefficient due to their reliance on heavy-weight operations like bilinear maps. In this paper, we introduce an innovative anonymous transit pass system, dubbed Anopas, optimized for deployment on mobile phones with smart cards, where the smart card is responsible for crucial lightweight operations and the mobile phone handles key-independent and time-consuming …
G2face: High-Fidelity Reversible Face Anonymization Via Generative And Geometric Priors, Haoxin Yang, Xuemiao Xu, Cheng Xu, Huaidong Zhang, Jing Qin, Yi Wang, Pheng-Ann Heng, Shengfeng He
G2face: High-Fidelity Reversible Face Anonymization Via Generative And Geometric Priors, Haoxin Yang, Xuemiao Xu, Cheng Xu, Huaidong Zhang, Jing Qin, Yi Wang, Pheng-Ann Heng, Shengfeng He
Research Collection School Of Computing and Information Systems
Reversible face anonymization, unlike traditional face pixelization, seeks to replace sensitive identity information in facial images with synthesized alternatives, preserving privacy without sacrificing image clarity. Traditional methods, such as encoder-decoder networks, often result in significant loss of facial details due to their limited learning capacity. Additionally, relying on latent manipulation in pre-trained GANs can lead to changes in ID-irrelevant attributes, adversely affecting data utility due to GAN inversion inaccuracies. This paper introduces G 2 Face, which leverages both generative and geometric priors to enhance identity manipulation, achieving high-quality reversible face anonymization without compromising data utility. We utilize a 3D face …