Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- University of Nebraska - Lincoln (44)
- Chapman University (24)
- Portland State University (5)
- California Polytechnic State University, San Luis Obispo (4)
- Western University (4)
-
- University of Denver (2)
- University of Kentucky (2)
- Air Force Institute of Technology (1)
- Binghamton University (1)
- Clemson University (1)
- DePaul University (1)
- East Tennessee State University (1)
- Embry-Riddle Aeronautical University (1)
- Kennesaw State University (1)
- Liberty University (1)
- Louisiana Tech University (1)
- New Jersey Institute of Technology (1)
- San Jose State University (1)
- The University of Akron (1)
- University of Arkansas, Fayetteville (1)
- University of Louisville (1)
- University of New Mexico (1)
- University of South Alabama (1)
- Virginia Commonwealth University (1)
- Keyword
-
- Constraint database (4)
- Machine learning (4)
- Autism spectrum disorder (3)
- Computer vision (3)
- Data mining (3)
-
- Deep learning (3)
- Evolution (3)
- Interpolation (3)
- IoT (3)
- Machine Learning (3)
- Simulation (3)
- Virtual Reality (3)
- Bounded verification (2)
- Clustering (2)
- Cretan Hieroglyph (2)
- Cubic spline (2)
- Cybersecurity (2)
- Daniel Felix Ritchie School of Engineering and Computer Science (2)
- Driving Simulator (2)
- Formal analysis (2)
- Game theory (2)
- Linear A (2)
- Linear B (2)
- Logic circuits (2)
- Real-time (2)
- Recurrence equation (2)
- Table segmentation (2)
- Unsupervised machine learning (2)
- #antcenter (1)
- AGC (1)
- Publication Year
- Publication
-
- School of Computing: Conference and Workshop Papers (43)
- Engineering Faculty Articles and Research (18)
- Dissertations and Theses (5)
- Electrical and Computer Engineering Publications (4)
- Electronic Theses and Dissertations (3)
-
- Computer Engineering (2)
- Dissertations (2)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (2)
- Student Scholar Symposium Abstracts and Posters (2)
- All Theses (1)
- Branch Mathematics and Statistics Faculty and Staff Publications (1)
- College of Computing and Digital Media Dissertations (1)
- Computer Science and Computer Engineering Undergraduate Honors Theses (1)
- Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research (1)
- Doctoral Dissertations (1)
- Doctoral Dissertations and Master's Theses (1)
- Electrical Engineering (1)
- Electrical Engineering and Computer Science (MS) Theses (1)
- Faculty Publications (1)
- Honors Theses (1)
- Library Philosophy and Practice (e-journal) (1)
- Markey Cancer Center Faculty Publications (1)
- Master's Theses (1)
- Northeast Journal of Complex Systems (NEJCS) (1)
- Physical Therapy Faculty Articles and Research (1)
- Senior Honors Theses (1)
- The Cardinal Edge (1)
- Theses and Dissertations (1)
- UK CARES Faculty Publications (1)
- Williams Honors College, Honors Research Projects (1)
- Publication Type
Articles 1 - 30 of 102
Full-Text Articles in Other Computer Sciences
Machine Learning For Predictive Energy And Emissions Modeling Of Vehicles And Power Grids In The United States, S M Tanvir Faysal Alam Chowdhoury
Machine Learning For Predictive Energy And Emissions Modeling Of Vehicles And Power Grids In The United States, S M Tanvir Faysal Alam Chowdhoury
Dissertations
The environmental benefits of electric vehicle (EV) adoption depend on more than replacing internal combustion engine vehicles with electric powertrains. EV adoption reshapes electricity demand, interacts with regional generation mixes, and influences travel behavior and congestion, creating a coupled transportation-energy system in which vehicle and power-plant emissions must be evaluated together. This dissertation develops machine-learning frameworks for predicting energy consumption and emissions from vehicles and power grids under rising EV adoption. The first component forecasts grid emissions from EV charging. Using simulation data from NREL's Cambium database, a Prophet-based time-series framework predicts carbon dioxide, nitrous oxide, and methane emission rates …
Designing Enhanced Nonlinearity In Plasmonic Devices With Epsilon-Near-Zero Films, Kevin Tran Le
Designing Enhanced Nonlinearity In Plasmonic Devices With Epsilon-Near-Zero Films, Kevin Tran Le
Electrical Engineering and Computer Science (MS) Theses
The growing demand for energy-efficient optical information processing motivates compact nonlinear photonic devices that can operate at low power. Silicon photonics is a mature platform for linear optical functions, but nonlinear operation remains challenging because of its weak Kerr response, two-photon absorption at telecommunication wavelengths, and limited compatibility with deeply subwavelength plasmonic confinement. This thesis computationally investigates epsilon-near-zero thin films integrated into plasmonic waveguide architectures as a route toward stronger light–matter interaction in compact nonlinear devices.
Two waveguide geometries are examined: a hybrid metal-insulator-metal plasmonic slab waveguide incorporating an ultrathin indium tin oxide epsilon-near-zero layer (5–50 nm), and a dielectric-loaded …
Advancements In Refreshable Braille Display Technology: A Comprehensive Survey, Maryam Etezad, Rajeev Joshi, Franceli L. Cibrian
Advancements In Refreshable Braille Display Technology: A Comprehensive Survey, Maryam Etezad, Rajeev Joshi, Franceli L. Cibrian
Engineering Faculty Articles and Research
This paper provides a comprehensive mapping literature review of the advancements in refreshable Braille display (RBD) technology, which employs dynamically movable pins or dots to render Braille characters for individuals with blindness and visual impairment. This literature review, which includes 96 papers, aims to summarize the current evidence on six distinct types of RBDs: piezoelectric, electromagnetic, electroactive polymer (EAP), pneumatic, shape memory alloy (SMA), and microfluidic technologies. For each type, we discuss the underlying mechanisms, alongside the current trends and research opportunities. This comparative analysis aims to inform the selection of appropriate RBD technology based on specific user needs and …
Tellings Of The Pacific Ocean: A Landscape-Based Approach For Multispecies Design And Hci, Maliheh Ghajargar
Tellings Of The Pacific Ocean: A Landscape-Based Approach For Multispecies Design And Hci, Maliheh Ghajargar
Engineering Faculty Articles and Research
Environmental disturbances induced by climate change have caused significant changes in our ecosystems and are threatening the health of our environments. As a response to this issue, a growing body of work has emerged in HCI and design, which seeks to foreground more-than-human stories in support of making more sustainable and just futures. This research contributes to this broad agenda by probing graphic novels as a multispecies storytelling method for design and HCI. Combining ideas from Anna Tsing’s adventures of landscape and from HCI and design’s use of sequential art (e.g., storyboards), we use landscape as the main protagonist of …
Optical Character Recognition For Early Handwriting Legibility Assessment, Franceli L. Cibrian, Kayla Anderson, Yingying 'Yuki' Chen, Lauren Min, Lizbeth Escobedo
Optical Character Recognition For Early Handwriting Legibility Assessment, Franceli L. Cibrian, Kayla Anderson, Yingying 'Yuki' Chen, Lauren Min, Lizbeth Escobedo
Engineering Faculty Articles and Research
Monitoring children’s handwriting, such as avoiding writing assignments, displaying uneven letter formation, or showing slow writing speed, can help identify developmental and academic issues early. Poor handwriting affects up to 34% of children, leading to academic and self-esteem challenges. Handwriting assessments, typically conducted by teachers, are often delayed due to workload and could be subjective and inconsistent. This paper explores the potential of Optical Character Recognition (OCR) technology to augment and ease handwriting assessments. Based on an evaluation of 10 OCR algorithms using 33 handwriting samples assessed by two experts, the research indicates that Pen to Print and Google are …
Real-World Implementation Of A Noninvasive, Ai-Augmented, Anemia-Screening Smartphone App And Personalization For Hemoglobin Level Self-Monitoring, Robert G. Mannino, Julie Sullivan, Jennifer K. Frediani, Paul George, Jeremy Whitson, James Tumlin, L. Andrew Lyon, Erika A. Tyburski, Wilbur A. Lam
Real-World Implementation Of A Noninvasive, Ai-Augmented, Anemia-Screening Smartphone App And Personalization For Hemoglobin Level Self-Monitoring, Robert G. Mannino, Julie Sullivan, Jennifer K. Frediani, Paul George, Jeremy Whitson, James Tumlin, L. Andrew Lyon, Erika A. Tyburski, Wilbur A. Lam
Engineering Faculty Articles and Research
Anemia, characterized by low blood hemoglobin (Hgb) levels, afflicts >2 billion individuals worldwide. Here, we report real-world data generated by a smartphone app that noninvasively screens for anemia using only “fingernail selfies.” App data for anemia screening were obtained from >1.4 million uses across the United States enabling geographic mapping of Hgb levels. Of those, 9,061 users also self-reported complete blood count Hgb levels for comparison, resulting in accuracy and performance that match gold standard laboratory testing and a sensitivity and specificity of 89% and 93%, respectively, when using an anemia cutoff of 12.5 g/dL. Geotagged data enabled construction of …
Feasibility And Acceptability Of The Mazi Umntanakho Digital Tool In South African Settings: A Qualitative Evaluation, Catherine E. Draper, Caylee J. Cook, Elizabeth A. Ankrah, Jesus A. Beltran, Franceli L. Cibrian, Kimberley D. Lakes, Hanna Mofid, Lucretia Williams, Gillian R. Hayes
Feasibility And Acceptability Of The Mazi Umntanakho Digital Tool In South African Settings: A Qualitative Evaluation, Catherine E. Draper, Caylee J. Cook, Elizabeth A. Ankrah, Jesus A. Beltran, Franceli L. Cibrian, Kimberley D. Lakes, Hanna Mofid, Lucretia Williams, Gillian R. Hayes
Engineering Faculty Articles and Research
To address the need for interventions targeting social emotional development and mental health of young children in South Africa, the Mazi Umntanakho (‘know your child’) digital tool was co-designed, and piloted with caregivers and 3–5-year-old children involved in home visiting programmes promoting early childhood development. The aim of this study was to qualitatively evaluate the feasibility and acceptability of this tool in four urban and four rural low-income communities, from the perspective of home visitors and caregivers. Focus groups were conducted with home visitors (n = 117) and caregivers (n = 72). Issues relating to the feasibility of …
Further Evaluations Of A Didactic Cpu Visual Simulator (Cpuvsim), Renato Cortinovis, Tamer Mohamed Abdellatif, Devender Goyal, Luiz Fernando Capretz
Further Evaluations Of A Didactic Cpu Visual Simulator (Cpuvsim), Renato Cortinovis, Tamer Mohamed Abdellatif, Devender Goyal, Luiz Fernando Capretz
Electrical and Computer Engineering Publications
This paper discusses further evaluations of the educational effectiveness of an existing CPU visual simulator (CPUVSIM). The CPUVSIM, as an Open Educational Resource, has been iteratively improved over a number of years following an Open Pedagogy approach, and was designed to enhance novices’ understanding of computer operation and mapping from high-level code to assembly language. The literature reports previous evaluations of the simulator, at K12 and undergraduate level, conducted from the perspectives of both developers and students, albeit with a limited sample size and primarily through qualitative methods. This paper describes additional evaluation activities designed to provide a more comprehensive …
Toward Intuitive 3d Interactions In Virtual Reality: A Deep Learning- Based Dual-Hand Gesture Recognition Approach, Trudi Di Qi, Franceli L. Cibrian, Meghna Raswan, Tyler Kay, Hector M. Camarillo-Abad, Yuxin Wen
Toward Intuitive 3d Interactions In Virtual Reality: A Deep Learning- Based Dual-Hand Gesture Recognition Approach, Trudi Di Qi, Franceli L. Cibrian, Meghna Raswan, Tyler Kay, Hector M. Camarillo-Abad, Yuxin Wen
Engineering Faculty Articles and Research
Dual-hand gesture recognition is crucial for intuitive 3D interactions in virtual reality (VR), allowing the user to interact with virtual objects naturally through gestures using both handheld controllers. While deep learning and sensor-based technology have proven effective in recognizing single-hand gestures for 3D interactions, research on dual-hand gesture recognition for VR interactions is still underexplored. In this work, we introduce CWT-CNN-TCN, a novel deep learning model that combines a 2D Convolution Neural Network (CNN) with Continuous Wavelet Transformation (CWT) and a Temporal Convolution Network (TCN). This model can simultaneously extract features from the time-frequency domain and capture long-term dependencies using …
The Impact Of Dissolved Organic Matter On Photodegradation Rates, Byproduct Formations, And Degradation Pathways For Two Neonicotinoid Insecticides In Simulated River Waters, Josephus F. Borsuah, Tiffany L. Messer, Daniel D. Snow, Steven D. Comfort, Shannon Bartelt-Hunt
The Impact Of Dissolved Organic Matter On Photodegradation Rates, Byproduct Formations, And Degradation Pathways For Two Neonicotinoid Insecticides In Simulated River Waters, Josephus F. Borsuah, Tiffany L. Messer, Daniel D. Snow, Steven D. Comfort, Shannon Bartelt-Hunt
UK CARES Faculty Publications
The influences of dissolved organic matter (DOM) on neonicotinoid photochemical degradation and product formation in natural waters remain unclear, potentially impacting the sustainability of river systems. Therefore, our overall objective was to investigate the photodegradation mechanisms and phototransformation byproducts of two neonicotinoid pesticides, imidacloprid and thiamethoxam, under simulated sunlight at the microcosm scale, to assess the implications of DOM for insecticide degradation in rivers. Direct and indirect photolysis were investigated using twelve water matrices to identify possible reaction pathways with two DOM sources and three quenching agents. Imidacloprid, thiamethoxam, and potential degradants were measured, and reaction pathways identified. The photodegradation …
Machine-Learning-Assisted Design Of Deep Eutectic Solvents Based On Uncovered Hydrogen Bond Patterns, Usman Lame Abbas, Yuxuan Zhang, Joseph Tapia, Md Selim, Jin Chen, Jian Shi, Qing Shao
Machine-Learning-Assisted Design Of Deep Eutectic Solvents Based On Uncovered Hydrogen Bond Patterns, Usman Lame Abbas, Yuxuan Zhang, Joseph Tapia, Md Selim, Jin Chen, Jian Shi, Qing Shao
Markey Cancer Center Faculty Publications
Non-ionic deep eutectic solvents (DESs) are non-ionic designer solvents with various applications in catalysis, extraction, carbon capture, and pharmaceuticals. However, discovering new DES candidates is challenging due to a lack of efficient tools that accurately predict DES formation. The search for DES relies heavily on intuition or trial-and-error processes, leading to low success rates or missed opportuni- ties. Recognizing that hydrogen bonds (HBs) play a central role in DES formation, we aim to identify HB features that distinguish DES from non-DES systems and use them to develop machine learning (ML) models to discover new DES systems. We first analyze the …
Gnss Software Defined Radio: History, Current Developments, And Standardization Efforts, Thomas Pany, Dennis Akos, Javier Arribas, M. Zahidul H. Bhuiyan, Pau Closas, Fabio Dovis, Ignacio Fernandez-Hernandez, Carles Fernandez-Prades, Sanjeev Gunawardena, Todd Humphreys, Zaher M. Kassas, Jose A. Lopez Salcedo, Mario Nicola, Mario L. Psiaki, Alexander Rugamer, Yong-Jin Song, Jong-Hoon Won
Gnss Software Defined Radio: History, Current Developments, And Standardization Efforts, Thomas Pany, Dennis Akos, Javier Arribas, M. Zahidul H. Bhuiyan, Pau Closas, Fabio Dovis, Ignacio Fernandez-Hernandez, Carles Fernandez-Prades, Sanjeev Gunawardena, Todd Humphreys, Zaher M. Kassas, Jose A. Lopez Salcedo, Mario Nicola, Mario L. Psiaki, Alexander Rugamer, Yong-Jin Song, Jong-Hoon Won
Faculty Publications
Taking the work conducted by the global navigation satellite system (GNSS) software-defined radio (SDR) working group during the last decade as a seed, this contribution summarizes, for the first time, the history of GNSS SDR development. This report highlights selected SDR implementations and achievements that are available to the public or that influenced the general development of SDR. Aspects related to the standardization process of intermediate-frequency sample data and metadata are discussed, and an update of the Institute of Navigation SDR Standard is proposed. This work focuses on GNSS SDR implementations in general-purpose processors and leaves aside developments conducted on …
Ensuring Non-Repudiation In Long-Distance Constrained Devices, Ethan Blum
Ensuring Non-Repudiation In Long-Distance Constrained Devices, Ethan Blum
Honors Theses
Satellite communication is essential for the exploration and study of space. Satellites allow communications with many devices and systems residing in space and on the surface of celestial bodies from ground stations on Earth. However, with the rise of Ground Station as a Service (GsaaS), the ability to efficiently send action commands to distant satellites must ensure non-repudiation such that an attacker is unable to send malicious commands to distant satellites. Distant satellites are also constrained devices and rely on limited power, meaning security on these devices is minimal. Therefore, this study attempted to propose a novel algorithm to allow …
Novel Approach For Non-Invasive Prediction Of Body Shape And Habitus, Emma Young
Novel Approach For Non-Invasive Prediction Of Body Shape And Habitus, Emma Young
Electronic Theses and Dissertations
While marker-based motion capture remains the gold standard in measuring human movement, accuracy is influenced by soft-tissue artifacts, particularly for subjects with high body mass index (BMI) where markers are not placed close to the underlying bone. Obesity influences joint loads and motion patterns, and BMI may not be sufficient to capture the distribution of a subject’s weight or to differentiate differences between subjects. Subjects in need of a joint replacement are more likely to have mobility issues or pain, which prevents exercise. Obesity also increases the likelihood of needing a total joint replacement. Accurate movement data for subjects with …
Procedural City Generation With Combined Architectures For Real-Time Visualization, Griffin Poyck
Procedural City Generation With Combined Architectures For Real-Time Visualization, Griffin Poyck
All Theses
The work and research of this paper sought to build upon traditional city generation and simulation in creating a tool that both realistically simulates cities and their prominent features and also creates aesthetic and artistically rich cities using assets that combine several contemporary or near contemporary architectural styles. The major city features simulated are the surrounding terrain, road networks, individual buildings, and building placement. The tools used to both create and integrate these features were created in Houdini with Unreal Engine 5 as the intended final destination. This research was influenced by the city, town, and road networking of Ghost …
Counterventions: A Reparative Reflection On Interventionist Hci, Rua Mae Williams, Louanne E. Boyd, Juan E. Gilbert
Counterventions: A Reparative Reflection On Interventionist Hci, Rua Mae Williams, Louanne E. Boyd, Juan E. Gilbert
Engineering Faculty Articles and Research
Research in HCI applied to clinical interventions relies on normative assumptions about which bodies and minds are healthy, valuable, and desirable. To disrupt this normalizing drive in HCI, we define a “counterventional approach” to intervention technology design informed by critical scholarship and community perspectives. This approach is meant to unsettle normative assumptions of intervention as urgent, necessary, and curative. We begin with a historical overview of intervention in HCI and its critics. Then, through reparative readings of past HCI projects in autism intervention, we illustrate the emergent principles of a counterventional approach and how it may manifest research outcomes that …
Chatgpt As Metamorphosis Designer For The Future Of Artificial Intelligence (Ai): A Conceptual Investigation, Amarjit Kumar Singh (Library Assistant), Dr. Pankaj Mathur (Deputy Librarian)
Chatgpt As Metamorphosis Designer For The Future Of Artificial Intelligence (Ai): A Conceptual Investigation, Amarjit Kumar Singh (Library Assistant), Dr. Pankaj Mathur (Deputy Librarian)
Library Philosophy and Practice (e-journal)
Abstract
Purpose: The purpose of this research paper is to explore ChatGPT’s potential as an innovative designer tool for the future development of artificial intelligence. Specifically, this conceptual investigation aims to analyze ChatGPT’s capabilities as a tool for designing and developing near about human intelligent systems for futuristic used and developed in the field of Artificial Intelligence (AI). Also with the helps of this paper, researchers are analyzed the strengths and weaknesses of ChatGPT as a tool, and identify possible areas for improvement in its development and implementation. This investigation focused on the various features and functions of ChatGPT that …
Machine Learning Techniques For Stock Price Prediction And Graphic Signal Recognition, Junde Chen, Yuxin Wen, Y. A. Nanehkaran, M. D. Suzauddola, Weirong Chen, Defu Zhang
Machine Learning Techniques For Stock Price Prediction And Graphic Signal Recognition, Junde Chen, Yuxin Wen, Y. A. Nanehkaran, M. D. Suzauddola, Weirong Chen, Defu Zhang
Engineering Faculty Articles and Research
Stock market analysis is extremely important for investors because knowing the future trend and grasping the changing characteristics of stock prices will decrease the risk of investing capital for profit. Thereupon, the prediction of stock prices and identifying the graphic signals of candlestick charts, which are two crucial tasks in stock price analysis, attract much attention from investors owing to the returns and risks that coexist in financial markets. To introduce a reliable approach for addressing these challenges, this paper proposes the modeling strategies based on machine learning (ML) techniques. A vector autoregression (VAR)-based rolling prediction model is proposed for …
Computer Engineering Education, Marilyn Wolf
Computer Engineering Education, Marilyn Wolf
School of Computing: Conference and Workshop Papers
Computer engineering is a rapidly evolving discipline. How should we teach it to our students?
This virtual roundtable on computer engineering education was conducted in summer 2022 over a combination of email and virtual meetings. The panel considered what topics are of importance to the computer engineering curriculum, what distinguishes computer engineering from related disciplines, and how computer engineering concepts should be taught.
Agglomerative Hierarchical Clustering With Dynamic Time Warping For Household Load Curve Clustering, Fadi Almahamid, Katarina Grolinger
Agglomerative Hierarchical Clustering With Dynamic Time Warping For Household Load Curve Clustering, Fadi Almahamid, Katarina Grolinger
Electrical and Computer Engineering Publications
Energy companies often implement various demand response (DR) programs to better match electricity demand and supply by offering the consumers incentives to reduce their demand during critical periods. Classifying clients according to their consumption patterns enables targeting specific groups of consumers for DR. Traditional clustering algorithms use standard distance measurement to find the distance between two points. The results produced by clustering algorithms such as K-means, K-medoids, and Gaussian Mixture Models depend on the clustering parameters or initial clusters. In contrast, our methodology uses a shape-based approach that combines Agglomerative Hierarchical Clustering (AHC) with Dynamic Time Warping (DTW) to classify …
Virtual Sensor Middleware: Managing Iot Data For The Fog-Cloud Platform, Fadi Almahamid, Hanan Lutfiyya, Katarina Grolinger
Virtual Sensor Middleware: Managing Iot Data For The Fog-Cloud Platform, Fadi Almahamid, Hanan Lutfiyya, Katarina Grolinger
Electrical and Computer Engineering Publications
This paper introduces the Virtual Sensor Middleware (VSM), which facilitates distributed sensor data processing on multiple fog nodes. VSM uses a Virtual Sensor as the core component of the middleware. The virtual sensor concept is redesigned to support functionality beyond sensor/device virtualization, such as deploying a set of virtual sensors to represent an IoT application and distributed sensor data processing across multiple fog nodes. Furthermore, the virtual sensor deals with the heterogeneous nature of IoT devices and the various communication protocols using different adapters to communicate with the IoT devices and the underlying protocol. VSM uses the publish-subscribe design pattern …
A Roller Coaster For The Mind: Virtual Reality Sickness Modes, Metrics, And Mitigation, Dalton C. Sparks
A Roller Coaster For The Mind: Virtual Reality Sickness Modes, Metrics, And Mitigation, Dalton C. Sparks
The Cardinal Edge
Understanding and preventing virtual reality sickness(VRS), or cybersickness, is vital in removing barriers for the technology's adoption. Thus, this article aims to synthesize a variety of academic sources to demonstrate the modes by which VRS occurs, the metrics by which it is judged, and the methods to mitigate it. The predominant theories on the biological origins of VRS are discussed, as well as the individual factors which increase the likelihood of a user developing VRS. Moreover, subjective and physiological measurements of VRS are discussed in addition to the development of a predictive model and conceptual framework. Finally, several methodologies of …
Parasol: Efficient Parallel Synthesis Of Large Model Spaces, Clay Stevens, Hamid Bagheri
Parasol: Efficient Parallel Synthesis Of Large Model Spaces, Clay Stevens, Hamid Bagheri
School of Computing: Conference and Workshop Papers
Formal analysis is an invaluable tool for software engineers, yet state-of-the-art formal analysis techniques suffer from well-known limitations in terms of scalability. In particular, some software design domains—such as tradeoff analysis and security analysis—require systematic exploration of potentially huge model spaces, which further exacerbates the problem. Despite this present and urgent challenge, few techniques exist to support the systematic exploration of large model spaces. This paper introduces Parasol, an approach and accompanying tool suite, to improve the scalability of large-scale formal model space exploration. Parasol presents a novel parallel model space synthesis approach, backed with unsupervised learning to automatically derive …
Feature Analysis Of Indus Valley And Dravidian Language Scripts With Similarity Matrices, Sarat Sasank Barla, Sai Surya Sanjay Alamuru, Peter Revesz
Feature Analysis Of Indus Valley And Dravidian Language Scripts With Similarity Matrices, Sarat Sasank Barla, Sai Surya Sanjay Alamuru, Peter Revesz
School of Computing: Conference and Workshop Papers
This paper investigates the similarity between the Indus Valley script and the Kannada, Malayalam, Tamil, and Telugu scripts that are used to write Dravidian languages. The closeness of these scripts is determined by applying a feature analysis of each sign of these scripts and creating similarity matrices that describe the similarity of any pair of signs from two different scripts. The feature list that we use for the analysis of these Dravidian language-related scripts includes six new features beyond the thirteen features that were used for the study of Minoan Linear A and related scripts by Revesz. These new features …
Reduced Fuel Emissions Through Connected Vehicles And Truck Platooning, Paul D. Brummitt
Reduced Fuel Emissions Through Connected Vehicles And Truck Platooning, Paul D. Brummitt
Electronic Theses and Dissertations
Vehicle-to-infrastructure (V2I) and vehicle-to-vehicle (V2V) communication enable the sharing, in real time, of vehicular locations and speeds with other vehicles, traffic signals, and traffic control centers. This shared information can help traffic to better traverse intersections, road segments, and congested neighborhoods, thereby reducing travel times, increasing driver safety, generating data for traffic planning, and reducing vehicular pollution. This study, which focuses on vehicular pollution, used an analysis of data from NREL, BTS, and the EPA to determine that the widespread use of V2V-based truck platooning—the convoying of trucks in close proximity to one another so as to reduce air drag …
Combining Solution Reuse And Bound Tightening For Efficient Analysis Of Evolving Systems, Clay Stevens, Hamid Bagheri
Combining Solution Reuse And Bound Tightening For Efficient Analysis Of Evolving Systems, Clay Stevens, Hamid Bagheri
School of Computing: Conference and Workshop Papers
Software engineers have long employed formal verification to ensure the safety and validity of their system designs. As the system changes—often via predictable, domain-specific operations—their models must also change, requiring system designers to repeatedly execute the same formal verification on similar system models. State-of-the-art formal verification techniques can be expensive at scale, the cost of which is multiplied by repeated analysis. This paper presents a novel analysis technique—implemented in a tool called SoRBoT—which can automatically determine domain-specific optimizations that can dramatically reduce the cost of repeatedly analyzing evolving systems. Different from all prior approaches, which focus on either tightening the …
Classifying Toe Walking Gait Patterns Among Children Diagnosed With Idiopathic Toe Walking Using Wearable Sensors And Machine Learning Algorithms, Rahul Soangra, Yuxin Wen, Hualin Yang, Marybeth Grant-Beuttler
Classifying Toe Walking Gait Patterns Among Children Diagnosed With Idiopathic Toe Walking Using Wearable Sensors And Machine Learning Algorithms, Rahul Soangra, Yuxin Wen, Hualin Yang, Marybeth Grant-Beuttler
Physical Therapy Faculty Articles and Research
Idiopathic toe walking (ITW) is a gait abnormality in which children’s toes touch at initial contact and demonstrate limited or no heel contact throughout the gait cycle. Toe walking results in poor balance, increased risk of falling, and developmental delays among children. Identifying toe walking steps during walking can facilitate targeted intervention among children diagnosed with ITW. With recent advances in wearable sensing, communication technologies, and machine learning, new avenues of managing toe walking behavior among children are feasible. In this study, we investigate the capabilities of Machine Learning (ML) algorithms in identifying initial foot contact (heel strike versus toe …
Private Information Retrieval And Function Computation For Noncolluding Coded Databases, Sarah A. Obead
Private Information Retrieval And Function Computation For Noncolluding Coded Databases, Sarah A. Obead
Dissertations
The rapid development of information and communication technologies has motivated many data-centric paradigms such as big data and cloud computing. The resulting paradigmatic shift to cloud/network-centric applications and the accessibility of information over public networking platforms has brought information privacy to the focal point of current research challenges. Motivated by the emerging privacy concerns, the problem of private information retrieval (PIR), a standard problem of information privacy that originated in theoretical computer science, has recently attracted much attention in the information theory and coding communities. The goal of PIR is to allow a user to download a message from a …
Machine Learning Based Medical Image Deepfake Detection: A Comparative Study, Siddharth Solaiyappan, Yuxin Wen
Machine Learning Based Medical Image Deepfake Detection: A Comparative Study, Siddharth Solaiyappan, Yuxin Wen
Engineering Faculty Articles and Research
Deep generative networks in recent years have reinforced the need for caution while consuming various modalities of digital information. One avenue of deepfake creation is aligned with injection and removal of tumors from medical scans. Failure to detect medical deepfakes can lead to large setbacks on hospital resources or even loss of life. This paper attempts to address the detection of such attacks with a structured case study. Specifically, we evaluate eight different machine learning algorithms, which include three conventional machine learning methods (Support Vector Machine, Random Forest, Decision Tree) and five deep learning models (DenseNet121, DenseNet201, ResNet50, ResNet101, VGG19) …
A Deep Learning-Based Approach To Extraction Of Filler Morphology In Sem Images With The Application Of Automated Quality Inspection, Md. Fashiar Rahman, Tzu-Liang Bill Tseng, Jianguo Wu, Yuxin Wen, Yirong Lin
A Deep Learning-Based Approach To Extraction Of Filler Morphology In Sem Images With The Application Of Automated Quality Inspection, Md. Fashiar Rahman, Tzu-Liang Bill Tseng, Jianguo Wu, Yuxin Wen, Yirong Lin
Engineering Faculty Articles and Research
Automatic extraction of filler morphology (size, orientation, and spatial distribution) in Scanning Electron Microscopic (SEM) images is essential in many applications such as automatic quality inspection in composite manufacturing. Extraction of filler morphology greatly depends on accurate segmentation of fillers (fibers and particles), which is a challenging task due to the overlap of fibers and particles and their obscure presence in SEM images. Convolution Neural Networks (CNNs) have been shown to be very effective at object recognition in digital images. This paper proposes an automatic filler detection system in SEM images, utilizing a Mask Region-based CNN architecture. The proposed system …