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

Other Computer Sciences Commons™

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

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 571 - 600 of 2030

Full-Text Articles in Other Computer Sciences

A Programmatic Geographic Information Systems Analysis Of Plant Hardiness Zones, Andrew Bowen May 2023

A Programmatic Geographic Information Systems Analysis Of Plant Hardiness Zones, Andrew Bowen

Electronic Theses and Dissertations

The Plant Hardiness Zone Map consists of thirteen geographical zones that describe whether a plant can survive based on average annual minimal temperatures. As climate change progresses, minimum temperatures in all regions are expected to change. This work programmatically evaluates predicted future climate projection data and converts it to United States Department of Agriculture-defined hardiness zones. Through the next 80 years, hardiness zones are projected to move poleward; in effect, colder zones will lose area and warmer zones will gain area globally. Some implications include changes in crop growing degree days, which could alter crop productivity, migration and settlement of …


Procedural City Generation With Combined Architectures For Real-Time Visualization, Griffin Poyck May 2023

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 …


Rbac Attack Exposure Auditor. Tracking User Risk Exposure Per Role-Based Access Control Permissions, Adelaide Damrau May 2023

Rbac Attack Exposure Auditor. Tracking User Risk Exposure Per Role-Based Access Control Permissions, Adelaide Damrau

Undergraduate Honors Theses

Access control models and implementation guidelines for determining, provisioning, and de-provisioning user permissions are challenging due to the differing approaches, unique for each organization, the lack of information provided by case studies concerning the organization’s security policies, and no standard means of implementation procedures or best practices. Although there are multiple access control models, one stands out, role-based access control (RBAC). RBAC simplifies maintenance by enabling administrators to group users with similar permissions. This approach to managing user permissions supports the principle of least privilege and separation of duties, which are needed to ensure an organization maintains acceptable user access …


From Deep Mutational Mapping Of Allosteric Protein Landscapes To Deep Learning Of Allostery And Hidden Allosteric Sites: Zooming In On “Allosteric Intersection” Of Biochemical And Big Data Approaches, Gennady M. Verkhivker, Mohammed Alshahrani, Grace Gupta, Sian Xiao, Peng Tao Apr 2023

From Deep Mutational Mapping Of Allosteric Protein Landscapes To Deep Learning Of Allostery And Hidden Allosteric Sites: Zooming In On “Allosteric Intersection” Of Biochemical And Big Data Approaches, Gennady M. Verkhivker, Mohammed Alshahrani, Grace Gupta, Sian Xiao, Peng Tao

Mathematics, Physics, and Computer Science Faculty Articles and Research

The recent advances in artificial intelligence (AI) and machine learning have driven the design of new expert systems and automated workflows that are able to model complex chemical and biological phenomena. In recent years, machine learning approaches have been developed and actively deployed to facilitate computational and experimental studies of protein dynamics and allosteric mechanisms. In this review, we discuss in detail new developments along two major directions of allosteric research through the lens of data-intensive biochemical approaches and AI-based computational methods. Despite considerable progress in applications of AI methods for protein structure and dynamics studies, the intersection between allosteric …


Counterventions: A Reparative Reflection On Interventionist Hci, Rua Mae Williams, Louanne E. Boyd, Juan E. Gilbert Apr 2023

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 …


Interpretable Learning In Multivariate Big Data Analysis For Network Monitoring, José Camacho, Rasmus Bro, David Kotz Apr 2023

Interpretable Learning In Multivariate Big Data Analysis For Network Monitoring, José Camacho, Rasmus Bro, David Kotz

Dartmouth Scholarship

There is an increasing interest in the development of new data-driven models useful to assess the performance of communication networks. For many applications, like network monitoring and troubleshooting, a data model is of little use if it cannot be interpreted by a human operator. In this paper, we present an extension of the Multivariate Big Data Analysis (MBDA) methodology, a recently proposed interpretable data analysis tool. In this extension, we propose a solution to the automatic derivation of features, a cornerstone step for the application of MBDA when the amount of data is massive. The resulting network monitoring approach allows …


A Graphical User Interface Using Spatiotemporal Interpolation To Determine Fine Particulate Matter Values In The United States, Kelly M. Entrekin Apr 2023

A Graphical User Interface Using Spatiotemporal Interpolation To Determine Fine Particulate Matter Values In The United States, Kelly M. Entrekin

Honors College Theses

Fine particulate matter or PM2.5 can be described as a pollution particle that has a diameter of 2.5 micrometers or smaller. These pollution particle values are measured by monitoring sites installed across the United States throughout the year. While these values are helpful, a lot of areas are not accounted for as scientists are not able to measure all of the United States. Some of these unmeasured regions could be reaching high PM2.5 values over time without being aware of it. These high values can be dangerous by causing or worsening health conditions, such as cardiovascular and lung diseases. Within …


Elderly And Smartphone Apps: Case Study With Lightweight Mysejahtera, Ciu Yung Seek, Shih Yin Ooi, Ying Han Pang, Sook Ling Lew, Xin Yun Heng Mar 2023

Elderly And Smartphone Apps: Case Study With Lightweight Mysejahtera, Ciu Yung Seek, Shih Yin Ooi, Ying Han Pang, Sook Ling Lew, Xin Yun Heng

Journal of Informatics and Web Engineering

The outbreak of Covid-19 in the past 2 years has made the usage of contact-tracing app almost mandatory in Malaysia. Though the usage is seeming to be simple, but one interesting phenomenon can be observed in Malaysia is that most of the senior citizen are found not using smartphones regularly. While check-in through MySejahtera (the primary contract-tracing app used in Malaysia) for business, premises, and transports has made compulsory, it does bring a lot of inconveniences to the elderly. Many elderlies start to learn how to use smartphone and government has also taking initiative by providing free or low-cost smartphone …


A Data Augmented Method For Plant Disease Leaf Image Recognition Based On Enhanced Gan Model Network, Mingyuan Xin, Ling Weay Ang, Sellappan Palaniappan Mar 2023

A Data Augmented Method For Plant Disease Leaf Image Recognition Based On Enhanced Gan Model Network, Mingyuan Xin, Ling Weay Ang, Sellappan Palaniappan

Journal of Informatics and Web Engineering

The identification of plant disease leaves based on deep learning is the key to control the development and spread of plant diseases. In this paper, the existing problems of traditional classification and recognition of plant disease leaves and the limitations of deep learning-based plant disease leaf training are analysed. An enhanced GAN model network based on the Wasserstein GAN loss function has been developed to address the limited training images of plant disease leaves. The self-attention layer is added into the self-encoding structure of the generating network. The effectiveness of data generated by the encoder is increased after the self-attention …


Enhancing Mimo Capacity Through Space-Time Coding: Analysis And Design Framework, Lijun Han, Ling Weay Ang, Sellappan Palaniappan, Jing Wang Mar 2023

Enhancing Mimo Capacity Through Space-Time Coding: Analysis And Design Framework, Lijun Han, Ling Weay Ang, Sellappan Palaniappan, Jing Wang

Journal of Informatics and Web Engineering

Space-time coding combines time and space to generate codewords, transmitting signals in both time and space domains. This leads to not only diversity and coding gains but also reduces the impact of multipath fading, resulting in high spectral efficiency. This paper examines the challenges in implementing space-time coding to enhance the capacity of MIMO systems. It analyzes the principle, design objectives, and criteria of space-time coding, providing a basic design framework, based on the space-time coding (STC) system model. .STC and MIMO have proven to be effective in improving system capacity, reliability, and overall performance in wireless communication. They have …


Robust Image Watermarking With Quaternion Fractional-Order Polar Harmonic-Fourier Moments Based On Wavelet Transformation: Resistance Against Rotation Attacks, Wang Jing, Ling Weay Ang, Sellappan Palaniappan, Bing He Mar 2023

Robust Image Watermarking With Quaternion Fractional-Order Polar Harmonic-Fourier Moments Based On Wavelet Transformation: Resistance Against Rotation Attacks, Wang Jing, Ling Weay Ang, Sellappan Palaniappan, Bing He

Journal of Informatics and Web Engineering

This study presents a zero-watermarking algorithm that can resist rotation attacks. The algorithm uses quaternion fractional-order polar harmonic-Fourier moments (QFr-PHFMs) based on wavelet-transformation. First, the wavelet-transformation is applied to each component of the host image, which is in RGB three-channel color. The low-frequency sub-bands of each component are then extracted and represented using quaternion algebra. Multiple QFr-PHFMs are calculated, and the invariants of the QFr-PHFMs are utilized to establish the watermark system. The watermark extraction process is also simplified. The detection of the image requires a two-level wavelet transformation, followed by the calculation of multiple invariant moments of the low-frequency …


The Impact Of The Telecommunication Industry As A Moderator On Poverty Alleviation And Educational Programmes To Achieve Sustainable Development Goals In Developing Countries, S.K.C Ruklani Wickramasinghe, Kamal Abd Razak Mar 2023

The Impact Of The Telecommunication Industry As A Moderator On Poverty Alleviation And Educational Programmes To Achieve Sustainable Development Goals In Developing Countries, S.K.C Ruklani Wickramasinghe, Kamal Abd Razak

Journal of Informatics and Web Engineering

The purpose of this study is to investigate the influence of the telecommunications industry's contribution to sustainable development in developing nations. A detailed literature study is conducted for this purpose, and a conceptual framework is offered. To validate the proposed conceptual framework, we conducted multiple case studies involving companies in the telecommunications industry from various countries. These findings improved the suggested conceptual framework produced for this study. However, despite the contributions of the telecommunications industry to the Sustainable Development Goals, no study has been conducted to examine how they have benefited poverty reduction and educational programmes in Sri Lanka. The …


A Swot Analysis With A Digital Transformation: A Case Study For Hospitals In The Pharmaceutical Supply Chain, Nguyen Huu Khanh Quan, Harwindar Singh, Thai Hong Thuy Khanh, Premkumar Rajagopal Mar 2023

A Swot Analysis With A Digital Transformation: A Case Study For Hospitals In The Pharmaceutical Supply Chain, Nguyen Huu Khanh Quan, Harwindar Singh, Thai Hong Thuy Khanh, Premkumar Rajagopal

Journal of Informatics and Web Engineering

The pharmaceutical business meets all requirements for a complicated and tightly regulated sector, including multi-stakeholder participation. The objective is to study digital transformation strategies in hospitals to improve the safety and convenience of pharmaceutical services when providing healthcare services. In this study, a SWOT analysis is performed to identify strengths, weaknesses, opportunities, and threats with a digital transformation case study for hospitals in the pharmaceutical supply chain in Ho Chi Minh City, Vietnam. Information source for SWOT analysis of published articles and reports in the following aspects: Digital transformation environment of hospitals in the global pharmaceutical supply chain; new technology …


Chatgpt As Metamorphosis Designer For The Future Of Artificial Intelligence (Ai): A Conceptual Investigation, Amarjit Kumar Singh (Library Assistant), Dr. Pankaj Mathur (Deputy Librarian) Mar 2023

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 Mar 2023

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 …


Créativité Assistée Par Ordinateur : Composer La Musique D'Un Film En Utilisant Uniquement Sa Courbe De Luminosité Extraite Automatiquement, Felipe Ariani, Marcelo Caetano, Javier Elipe Gimeno, Ivan Magrin-Chagnolleau Jan 2023

Créativité Assistée Par Ordinateur : Composer La Musique D'Un Film En Utilisant Uniquement Sa Courbe De Luminosité Extraite Automatiquement, Felipe Ariani, Marcelo Caetano, Javier Elipe Gimeno, Ivan Magrin-Chagnolleau

Presidential Fellows Articles and Research

Dès sa conception, l'ordinateur a trouvé des applications pour accompagner la créativité des humains. De nos jours, le débat sur les ordinateurs et la créativité implique plusieurs défis, tels que comprendre la créativité humaine, modéliser le processus créatif, et programmer l'ordinateur pour qu'il présente un comportement qui semble être créatif dans une certaine mesure. Dans cet article, nous nous intéressons à la manière dont l'ordinateur peut être utilisé comme un outil favorisant la créativité dans une composition musicale. Nous avons extrait automatiquement la courbe de luminosité d'un film muet et l'avons ensuite utilisée pour composer une pièce musicale pour accompagner …


Completeness Of Nominal Props, Samuel Balco, Alexander Kurz Jan 2023

Completeness Of Nominal Props, Samuel Balco, Alexander Kurz

Engineering Faculty Articles and Research

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.


Data Science Transfer Pathways From Associate's To Bachelor's Programs, Benjamin S. Baumer, Nicholas J. Horton Jan 2023

Data Science Transfer Pathways From Associate's To Bachelor's Programs, Benjamin S. Baumer, Nicholas J. Horton

Statistical and Data Sciences: Faculty Publications

A substantial fraction of students who complete their college education at a public university in the United States begin their journey at one of the 935 public 2-year colleges. While the number of 4-year colleges offering bachelor’s degrees in data science continues to increase, data science instruction at many 2-year colleges lags behind. A major impediment is the relative paucity of introductory data science courses that serve multiple student audiences and can easily transfer. In addition, the lack of predefined transfer pathways (or articulation agreements) for data science creates a growing disconnect that leaves students who want to study data …


Robots Still Outnumber Humans In Web Archives In 2019, But Less Than In 2012, Himarsha R. Jayanetti, Kritika Garg, Sawood Alam, Michael L. Nelson, Michele C. Weigle Jan 2023

Robots Still Outnumber Humans In Web Archives In 2019, But Less Than In 2012, Himarsha R. Jayanetti, Kritika Garg, Sawood Alam, Michael L. Nelson, Michele C. Weigle

College of Sciences Posters

To identify robots and human users in web archives, we conducted a study using the access logs from the Internet Archive’s (IA) Wayback Machine in 2012 (IA2012), 2015 (IA2015), and 2019 (IA2019), and the Portuguese Web Archive (PT) in 2019 (PT2019). We identified user sessions in the access logs and classified them as human or robot based on their browsing behavior. In 2013, AlNoamany et al. [1] studied the user access patterns using IA access logs from 2012. They established four web archive user access patterns: single-page access (Dip), access to the same page at multiple archive times (Dive), access …


Adhd Prediction Through Analysis Of Eye Movements With Graph Convolution Network, Gavindya Jayawardena, Sampath Jayarathna, Yi He Jan 2023

Adhd Prediction Through Analysis Of Eye Movements With Graph Convolution Network, Gavindya Jayawardena, Sampath Jayarathna, Yi He

College of Sciences Posters

Processing speech with background noise requires appropriate parsing of the distorted auditory signal, fundamental language abilities as well as higher signal-to-noise ratio. Adolescents with ADHD have difficulty processing speech with background noise due to reduced inhibitory control and working memory capacity. In this study we utilize Audiovisual Speech-In-Noise performance and eye-tracking measures of young adults with ADHD compared to age-matched controls, and generate graphs for ADHD evaluation using the eye-tracking data. We form graphs utilizing the eight eye-tracking features (fixation count, average, total, and standard deviation of fixation duration, max and min saccade peak velocity, min, average, and standard deviation …


A Novel Parking Management In Smart City Vehicular Datacenters, Syed Rizvi, Susan Zehra, Steven Olariu Jan 2023

A Novel Parking Management In Smart City Vehicular Datacenters, Syed Rizvi, Susan Zehra, Steven Olariu

College of Sciences Posters

Researchers have shown that most vehicles spend the majority of their time parked in parking garages, lots, or driveways. During this time, their computing resources are unused and untapped. This has led to substantial interest in Vehicular Cloud, an area of research in which each vehicle acts as a computation node. The main difference between traditional cloud computing and vehicular cloud computing is the availability of nodes. In traditional clouds, nodes are available 24/7, while in vehicular clouds, nodes (vehicles) are only available while parked in parking lots. This creates a dynamic environment as vehicles enter and exit parking garages …


Scalable Quantum Edge Detection Method For D-Nisq Imaging Simulations: Use Cases From Nuclear Physics And Medical Image Computing, Emmanuel Billias, Nikos Chrisochoides Jan 2023

Scalable Quantum Edge Detection Method For D-Nisq Imaging Simulations: Use Cases From Nuclear Physics And Medical Image Computing, Emmanuel Billias, Nikos Chrisochoides

The Graduate School Posters

Edge Detection is one of the computationally intensive modules in image analysis. It is used to find important landmarks by identifying a significant change (or “edge”) between pixels and voxels. We present a hybrid Quantum Edge Detection method by improving three aspects of an existing widely referenced implementation, which for our use cases generates incomprehensible results for the type and size of images we are required to process. Our contributions are in the pre- and post-processing (i.e., classical phase) and a quantum edge detection circuit: (1) we use space- filling curves to eliminate image artifacts introduced by the image decomposition, …


Metaenhance: Metadata Quality Improvement For Electronic Theses And Dissertations, Muntabir H. Choudhury, Lamia Salsabil, Himarsha R. Jayanetti, Jian Wu Jan 2023

Metaenhance: Metadata Quality Improvement For Electronic Theses And Dissertations, Muntabir H. Choudhury, Lamia Salsabil, Himarsha R. Jayanetti, Jian Wu

College of Sciences Posters

Metadata quality is crucial for digital objects to be discovered through digital library interfaces. Although DL systems have adopted Dublin Core to standardize metadata formats (e.g., ETD-MS v1.11), the metadata of digital objects may contain incomplete, inconsistent, and incorrect values [1]. Most existing frameworks to improve metadata quality rely on crowdsourced correction approaches, e.g., [2]. Such methods are usually slow and biased toward documents that are more discoverable by users. Artificial intelligence (AI) based methods can be adopted to overcome this limit by automatically detecting, correcting, and canonicalizing the metadata, featuring quick and unbiased responses to document metadata. …


X-Disetrac: Distributed Eye-Tracking With Extended Realities, Bhanuka Mahanama, Sampath Jayarathna Jan 2023

X-Disetrac: Distributed Eye-Tracking With Extended Realities, Bhanuka Mahanama, Sampath Jayarathna

College of Sciences Posters

Humans use heterogeneous collaboration mediums such as in-person, online, and extended realities for day-to-day activities. Identifying patterns in viewpoints and pupillary responses (a.k.a eye-tracking data) provide informative cues on individual and collective behavior during collaborative tasks. Despite the increasing ubiquity of these different mediums, the aggregation and analysis of eye-tracking data in heterogeneous collaborative environments remain unexplored. Our study proposes X-DisETrac: Extended Distributed Eye Tracking, a versatile framework for eye tracking in heterogeneous environments. Our approach tackles the complexity by establishing a platform-agnostic communication protocol encompassing three data streams to simplify data aggregation and …


Covid-19 Crowd Detection, Mustafa Ibrahim, Aly M. Zeineldin, Yameen Khan, Ayman Elmesalami, Soad Ibrahim Jan 2023

Covid-19 Crowd Detection, Mustafa Ibrahim, Aly M. Zeineldin, Yameen Khan, Ayman Elmesalami, Soad Ibrahim

OUR Journal: ODU Undergraduate Research Journal

Object detection was introduced by researchers for face detection. Researchers explain how the detected face is divided into minor frames to be recognized by the algorithm. Due to COVID-19 and government regulations, many people face problems going to shopping centers and shop safely. It has been very hard for both the government and the people to manage social distancing. In our study, we developed a system using Raspberry Pi-4 that will detect the distance between people along with counting the number of distance and mask violations. An error message will appear on the screen in red, showing the total number …


Sensor Relationship Inference In Single Resident Smart Homes Using Time Series, Samuel Nack Jan 2023

Sensor Relationship Inference In Single Resident Smart Homes Using Time Series, Samuel Nack

Graduate Theses/Dissertations

Determining sensor relationships in smart environments is complex due to the variety and volume of time series information they provide. Moreover, identifying sensor relationships to connect them with actuators is difficult for smart home users who may not have technical experience. Yet, gathering information on sensor relationships is a crucial intermediate step towards more advanced smart home applications such as advanced policy generation or automatic sensor configuration. Therefore, in this thesis, I propose a novel unsupervised learning approach, named SeReIn, to automatically group sensors by their inherent relationships solely using time series data for single resident smart homes. SeReIn extracts …


Material Extrusion-Based Additive Manufacturing: G-Code And Firmware Attacks And Defense Frameworks, Haris Rais Jan 2023

Material Extrusion-Based Additive Manufacturing: G-Code And Firmware Attacks And Defense Frameworks, Haris Rais

Theses and Dissertations

Additive Manufacturing (AM) refers to a group of manufacturing processes that create physical objects by sequentially depositing thin layers. AM enables highly customized production with minimal material wastage, rapid and inexpensive prototyping, and the production of complex assemblies as single parts in smaller production facilities. These features make AM an essential component of Industry 4.0 or Smart Manufacturing. It is now used to print functional components for aircraft, rocket engines, automobiles, medical implants, and more. However, the increased popularity of AM also raises concerns about cybersecurity. Researchers have demonstrated strength degradation attacks on printed objects by injecting cavities in the …


Collaborative Consultation Doctors Model: Unifying Cnn And Vit For Covid-19 Diagnostic, Trong-Thuan Nguyen, Tam Nguyen, Minh-Triet Tran Jan 2023

Collaborative Consultation Doctors Model: Unifying Cnn And Vit For Covid-19 Diagnostic, Trong-Thuan Nguyen, Tam Nguyen, Minh-Triet Tran

Computer Science Faculty Publications

The COVID-19 pandemic presents significant challenges due to its high transmissibility and mortality risk. Traditional diagnostic methods, such as RT-PCR, have limitations that hinder timely and accurate screening. In response, AI-powered computer-aided imaging analysis techniques have emerged as a promising alternative for COVID-19 diagnosis. In this paper, we propose a novel approach that combines the strengths of Convolutional Neural Network (CNN) and Vision Transformer (ViT) to enhance the performance of COVID-19 diagnosis models. CNN excels at capturing spatial features in medical images, while ViT leverages self-attention mechanisms inspired by human radiologists. Additionally, our approach draws inspiration from subclinical diagnosis, a …


Model Checking Time Window Temporal Logic For Hyperproperties, Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque Jan 2023

Model Checking Time Window Temporal Logic For Hyperproperties, Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

Computer Science Faculty Publications

Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and performance-related properties in domains such as cyber-physical systems, smart grids, and automotive. This paper introduces HyperTWTL, which extends Time Window Temporal Logic (TWTL)-a domain-specific formal specification language for robotics, by allowing explicit and simultaneous quantification over multiple execution traces. We propose two different semantics for HyperTWTL, synchronous and asynchronous, based on the alignment of the timestamps in the traces. Consequently, we demonstrate the application of HyperTWTL in formalizing important information-flow security policies and concurrency for robotics applications. Furthermore, we …


Uit-Adrone: A Novel Drone Dataset For Traffic Anomaly Detection, Tung Minh Tran, Tu N. Vu, Tam Nguyen, Khang Nguyen Jan 2023

Uit-Adrone: A Novel Drone Dataset For Traffic Anomaly Detection, Tung Minh Tran, Tu N. Vu, Tam Nguyen, Khang Nguyen

Computer Science Faculty Publications

Anomaly detection plays an increasingly important role in video surveillance and is one of the issues that have attracted various communities, such as computer vision, machine learning, and data mining in recent years. Moreover, drones equipped with cameras have quickly been deployed to a wide range of applications, starting from border security applications to street monitoring systems. However, there is a notable lack of adequate drone-based datasets available to detect unusual events in the urban traffic environment, especially in roundabouts, due to the density of interaction between road users and vehicles. To promote the development of anomalous event detection with …