Other Computer Sciences Commons^™

Power-Over-Tether Uas Leveraged For Nearly Indefinite Meteorological Data Acquisition In The Platte River Basin, Daniel Rico, Carrick Detweiler, Francisco Munoz-Arriola

School of Computing: Conference and Workshop Papers

The integration of unmanned aerial systems (UASs) has increased in the field of agriculture. These systems can provide data that was previously difficult to obtain to help increase efficiency and production. Typical commercial off the shelf (COTS) UASs have significant limitations in the form of small payloads, and short flight times which inhibit their ability to provide significant quantities of useful data. We present the development of a novel power-over-tether UAS that leverages the physical presence of the tether to integrate sensors at multiple altitudes along the tether. The UAS can acquire data nearly indefinitely to sense atmospheric conditions and …

Supp & Mapp: Adaptable Structure-Based Representations For Mir Tasks, Claire Savard, Erin H. Bugbee, Melissa R, Mcguirl, Katherine M. Kinnaird

Statistical and Data Sciences: Faculty Publications

Accurate and flexible representations of music data are paramount to addressing MIR tasks, yet many of the existing approaches are difficult to interpret or rigid in nature. This work introduces two new song representations for structure-based retrieval methods: Surface Pattern Preservation (SuPP), a continuous song representation, and Matrix Pattern Preservation (MaPP), SuPP’s discrete counterpart. These representations come equipped with several user-defined parameters so that they are adaptable for a range of MIR tasks. Experimental results show MaPP as successful in addressing the cover song task on a set of Mazurka scores, with a mean precision of 0.965 and recall of …

Building Something With The Raspberry Pi, Richard Kordel

Harrisburg University Presidential Research Grants

In 2017 Ryan Korn and I submitted a grant proposal in the annual Harrisburg University President’s Grant process. Our proposal was to partner with a local high school to install a classroom of 20 Raspberry Pi’s, along with the requisite peripherals. In that classroom students would be challenged to design something that combined programming with physical computing. In our presentation to the school we suggested that this project would give students the opportunity to be “amazing.”

As part of the grant, the top three students would be given scholarships to HU and the top five finalists would all be permitted …

Nnv: The Neural Network Verification Tool For Deep Neural Networks And Learning-Enabled Cyber-Physical Systems, Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Computer Science Faculty Publications

This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS). The crux of NNV is a collection of reachability algorithms that make use of a variety of set representations, such as polyhedra, star sets, zonotopes, and abstract-domain representations. NNV supports both exact (sound and complete) and over-approximate (sound) reachability algorithms for verifying safety and robustness properties of feed-forward neural networks (FFNNs) with various activation functions. For learning-enabled CPS, such as closed-loop control systems incorporating neural networks, NNV provides exact and over-approximate reachability analysis schemes for linear …

Analysis Of Automatic Annotations Of Real Video Surveillance Images, Diana Guevara Flores, Fernando Pérez Téllez, David Pinto Avendaño

Articles

The results of the analysis of the automatic annotations of real video surveillance sequences are presented. The annotations of the frames of surveillance sequences of the parking lot of a university campus are generated. The purpose of the analysis is to evaluate the quality of the descriptions and analyze the correspondence between the semantic content of the images and the corresponding annotation. To perform the tests, a fixed camera was placed in the campus parking lot and video sequences of about 20 minutes were obtained, later each frame was annotated individually and a text repository with all the annotations was …

Security Camera Using Raspberry Pi, Tejendra Khatri

Student Academic Conference

Making a security camera using raspberry pi utilizing OpenCV for facial recognition, upper body recognition or full-body recognition

Automatic Target Recognition With Deep Metric Learning., Abdelhamid Bouzid

Electronic Theses and Dissertations

An Automatic Target Recognizer (ATR) is a real or near-real time understanding system where its input (images, signals) are obtained from sensors and its output is the detected and recognized target. ATR is an important task in many civilian and military computer vision applications. The used sensors, such as infrared (IR) imagery, enlarge our knowledge of the surrounding environment, especially at night as they provide continuous surveillance. However, ATR based on IR faces major challenges such as meteorological conditions, scale and viewpoint invariance. In this thesis, we propose solutions that are based on Deep Metric Learning (DML). DML is a …

Remark On Artificial Intelligence, Humanoid And Terminator Scenario: A Neutrosophic Way To Futurology, Victor Christianto, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This article is an update of our previous article in this SGJ journal, titled: On Gödel's Incompleteness Theorem, Artificial Intelligence & Human Mind [7]. We provide some commentary on the latest developments around AI, humanoid robotics, and future scenario. Basically, we argue that a more thoughtful approach to the future is "technorealism."

The Picture Fuzzy Distance Measure In Controlling Network Power Consumption, Florentin Smarandache, Ngan Thi Roan, Salvador Coll Arnau, Marina Alonso Diaz, Juan Miguel Martinez Rubio, Pedro Lopez, Fran Andujar, Son Hoang Lee, Manh Van Vu

Branch Mathematics and Statistics Faculty and Staff Publications

In order to solve the complex decision making problems, there are many approaches and systems based on fuzzy theory were proposed.

Multiplicative Noise Removal: Nonlocal Low-Rank Model And It's Proximal Alternating Reweighted Minimization Algorithm, Xiaoxia Liu, Jian Lu, Lixin Shen, Chen Xu, Yuesheng Xu

Mathematics & Statistics Faculty Publications

The goal of this paper is to develop a novel numerical method for efficient multiplicative noise removal. The nonlocal self-similarity of natural images implies that the matrices formed by their nonlocal similar patches are low-rank. By exploiting this low-rank prior with application to multiplicative noise removal, we propose a nonlocal low-rank model for this task and develop a proximal alternating reweighted minimization (PARM) algorithm to solve the optimization problem resulting from the model. Specifically, we utilize a generalized nonconvex surrogate of the rank function to regularize the patch matrices and develop a new nonlocal low-rank model, which is a nonconvex …

Where Did The Time Go?, John C. Viaud, Bilal Abdulmajid, Vitali Surmach, Jia Yanxia

Capstone Showcase

Study shows that most people spend a full quarter of their active hours on their mobile device which can take a serious toll on our productivity as well as our mental and physical well-being. We created an Android app that is able to track and visualize phone usage patterns to help user establish awareness of how much and in what ways they use their Android devices. Unlike currently existing phone time management apps, such as Apple’s ScreenTime and Google’s new Digital Wellbeing, our app provides functionalities to encourage off-phone time and personal goal management.

Android Game, Ryan Weston

Williams Honors College, Honors Research Projects

The purpose of this project was to create an endless runner game for Android coded in Java and XML and developed in Android Studio. In the game, the player controls a frog that jumps from lily pad to lily pad to avoid logs moving toward the player. The player must also maneuver the lily pads as they can randomly disappear. There are three difficulties in the game that vary the disappearance rate of lily pads as well as the frequency and acceleration rate of the log obstacles. The game also has a scoring system and saves the high score locally …

Automated Process Of Quantifying Scientific Images Using Fiji, Olivia Casimir

Summer Community of Scholars Posters (RCEU and HCR Combined Programs)

No abstract provided.

Creating And Deploying Automated Software Test Procedures With Regression Testing, Austen Seidler

Summer Community of Scholars Posters (RCEU and HCR Combined Programs)

No abstract provided.

Pseudo-Data Generation For Improving Clinical Named Entity Recognition, Jeffrey T. Smith

Theses and Dissertations

One of the primary challenges for clinical Named Entity Recognition (NER) is the availability of annotated training data. Technical and legal hurdles prevent the creation and release of corpora related to electronic health records (EHRs). In this work, we look at the imapct of pseudo-data generation on clinical NER using gazetteering and thresholding utilizing a neural network model. We report that gazetteers can result in the inclusion of proper terms with the exclusion of determiners and pronouns in preceding and middle positions. Gazetteers that had higher numbers of terms inclusive to the original dataset had a higher impact. We also …

Multimodal Data Integration For Real-Time Indoor Navigation Using A Smartphone, Yaohua Chang

Dissertations and Theses

We propose an integrated solution of indoor navigation using a smartphone, especially for assisting people with special needs, such as the blind and visually impaired (BVI) individuals. The system consists of three components: hybrid modeling, real-time navigation, and client-server architecture. In the hybrid modeling component, the hybrid model of a building is created region by region and is organized in a graph structure with nodes as destinations and landmarks, and edges as traversal paths between nodes. A Wi-Fi/cellular-data connectivity map, a beacon signal strength map, a 3D visual model (with destinations and landmarks annotated) are collected while a modeler walks …

A Probabilistic Machine Learning Framework For Cloud Resource Selection On The Cloud, Syeduzzaman Khan

University of the Pacific Theses and Dissertations

The execution of the scientific applications on the Cloud comes with great flexibility, scalability, cost-effectiveness, and substantial computing power. Market-leading Cloud service providers such as Amazon Web service (AWS), Azure, Google Cloud Platform (GCP) offer various general purposes, memory-intensive, and compute-intensive Cloud instances for the execution of scientific applications. The scientific community, especially small research institutions and undergraduate universities, face many hurdles while conducting high-performance computing research in the absence of large dedicated clusters. The Cloud provides a lucrative alternative to dedicated clusters, however a wide range of Cloud computing choices makes the instance selection for the end-users. This thesis …

Optimizing Pollution Routing Problem, Shivika Dewan

All Master's Theses

Pollution is a major environmental issue around the world. Despite the growing use and impact of commercial vehicles, recent research has been conducted with minimizing pollution as the primary objective to be reduced. The objective of this project is to implement different optimization algorithms to solve this problem. A basic model is created using the Vehicle Routing Problem (VRP) which is further extended to the Pollution Routing Problem (PRP). The basic model is updated using a Monte Carlo Algorithm (MCA). The data set contains 180 data files with a combination of 10, 15, 20, 25, 50, 75, 100, 150, and …

Feature Extraction And Description For Retinal Fundus Image Registration, Ramli Roziana

Student Works (2020-2029)

Retinal fundus image registration (RIR) is performed to align two or more fundus images. A general framework of a feature-based RIR technique comprises of preprocessing, feature extraction, feature descriptor, matching and estimating geometrical transformation. The RIR is mainly performed for super-resolution, image mosaicking and longitudinal study applications to assist diagnosis and monitoring retinal diseases. Registering image pair from these applications involve a combination of challenges such as overlapping area and rotation between images. The challenges of the overlapping area and rotation can be addressed at feature extraction and feature descriptor stages of the feature-based RIR technique, respectively. To address the …

Performing The Digital Self: Understanding Location-Based Social Networking, Territory, Space, And Identity In The City, Konstantinos Papangelis, Alan Chamberlain, Ioanna Lykourentzou, Vassilis-Javed Khan, Michael Saker, Hai-Ning Liang, Irwyn Sadien, Ting Cao

Articles

Expressions of territoriality have been positioned as one of the main reasons users alter their behaviors and perceptions of spatiality and sociality while engaging with location-based social networks (LBSN). Despite the potential for this interplay to further our understanding of LBSN usage in the context of identity, very little work has actually been done towards this. Addressing this gap in the literature is one the chief aims of the article. Drawing on an original six-week study with 42 participants utilizing a bespoke LBSN entitled ‘GeoMoments’, our research explores: (1) the way that territoriality is linked to self-identity; and (2) how …