Computer Sciences Commons^™

Star-Based Reachability Analysis Of Binary Neural Networks On Continuous Input, Mykhailo Ivashchenko

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Deep Neural Networks (DNNs) have become a popular instrument for solving various real-world problems. DNNs’ sophisticated structure allows them to learn complex representations and features. However, architecture specifics and floating-point number usage result in increased computational operations complexity. For this reason, a more lightweight type of neural networks is widely used when it comes to edge devices, such as microcomputers or microcontrollers – Binary Neural Networks (BNNs). Like other DNNs, BNNs are vulnerable to adversarial attacks; even a small perturbation to the input set may lead to an errant output. Unfortunately, only a few approaches have been proposed for verifying …

On Dyadic Parity Check Codes And Their Generalizations, Meraiah Martinez

Department of Mathematics: Dissertations, Theses, and Student Research

In order to communicate information over a noisy channel, error-correcting codes can be used to ensure that small errors don’t prevent the transmission of a message. One family of codes that has been found to have good properties is low-density parity check (LDPC) codes. These are represented by sparse bipartite graphs and have low complexity graph-based decoding algorithms. Various graphical properties, such as the girth and stopping sets, influence when these algorithms might fail. Additionally, codes based on algebraically structured parity check matrices are desirable in applications due to their compact representations, practical implementation advantages, and tractable decoder performance analysis. …

Snowmass 2021 Computational Frontier Compf4 Topical Group Report Storage And Processing Resource Access, W. Bhimji, D. Carder, E. Dart, J. Duarte, I. Fisk, R. Gardner, C. Guok, B. Jayatilaka, T. Lehman, M. Lin, C. Maltzahn, S. Mckee, M. S. Neubauer, O. Rind, O. Shadura, N. V. Tran, P. Van Gemmeren, G. Watts, B. A. Weaver, F. Würthwein

Holland Computing Center: Faculty Publications

The Snowmass 2021 CompF4 topical group’s scope is facilities R&D, where we consider “facilities” as the hardware and software infrastructure inside the data centers plus the networking between data centers, irrespective of who owns them, and what policies are applied for using them. In other words, it includes commercial clouds, federally funded High Performance Computing (HPC) systems for all of science, and systems funded explicitly for a given experimental or theoretical program. However, we explicitly consider any data centers that are integrated into data acquisition systems or trigger of the experiments out of scope here. Those systems tend to have …

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 …

Collaborative Computing Support For Analysis Facilities Exploiting Software As Infrastructure Techniques, Maria Acosta Flechas, Garhan Attebury, Kenneth Bloom, Brian Bockelman, Lindsey Gray, Burt Holzman, Carl Lundstedt, Oksana Shadura, Nicholas Smith, John Thiltges

Holland Computing Center: Faculty Publications

Prior to the public release of Kubernetes it was difficult to conduct joint development of elaborate analysis facilities due to the highly non-homogeneous nature of hardware and network topology across compute facilities. However, since the advent of systems like Kubernetes and OpenShift, which provide declarative interfaces for building fault-tolerant and self-healing deployments of networked software, it is possible for multiple institutes to collaborate more effectively since resource details are abstracted away through various forms of hardware and software virtualization. In this whitepaper we will outline the development of two analysis facilities: “Coffea-casa” at University of Nebraska Lincoln and the “Elastic …

Risk-Based Machine Learning Approaches For Probabilistic Transient Stability, Umair Shahzad

Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research

Power systems are getting more complex than ever and are consequently operating close to their limit of stability. Moreover, with the increasing demand of renewable wind generation, and the requirement to maintain a secure power system, the importance of transient stability cannot be overestimated. Considering its significance in power system security, it is important to propose a different approach for enhancing the transient stability, considering uncertainties. Current deterministic industry practices of transient stability assessment ignore the probabilistic nature of variables (fault type, fault location, fault clearing time, etc.). These approaches typically provide a conservative criterion and can result in expensive …

Predictive Maintenance Of Bearing Machinery Using Simulation- A Bibliometric Study, Karan Gulati Mr., Keshav Basandrai Mr., Shubham Tiwari Mr., Pooja Kamat Prof., Satish Kumar Dr.

Library Philosophy and Practice (e-journal)

Modelling is a way of constructing a virtual representation of software and hardware that involves a real-world device. We will discover the behaviour of the system if the software elements of this model are guided by mathematical relationships. For testing conditions that may be difficult to replicate with hardware prototypes alone, modelling and simulation are particularly useful, especially in the early phase of the design process when hardware might not be available. Model-based approach in MATLAB-Simulink can be useful for predictive maintenance of machines as it can reduce unplanned downtimes and maintenance costs when industrial equipment breaks. Through this bibliometric …

Recta: Regulon Identification Based On Comparative Genomics And Transcriptomics Analysis, Xin Chen, Anjun Ma, Adam Mcdermaid, Hanyuan Zhang, Chao Liu, Huansheng Cao, Qin Ma

School of Computing: Faculty Publications

Regulons, which serve as co-regulated gene groups contributing to the transcriptional regulation of microbial genomes, have the potential to aid in understanding of underlying regulatory mechanisms. In this study, we designed a novel computational pipeline, regulon identification based on comparative genomics and transcriptomics analysis (RECTA), for regulon prediction related to the gene regulatory network under certain conditions. To demonstrate the effectiveness of this tool, we implemented RECTA on Lactococcus lactis MG1363 data to elucidate acid-response regulons. A total of 51 regulons were identified, 14 of which have computational-verified significance. Among these 14 regulons, five of them were computationally predicted to …

Multi-Point Vibration Measurement And Mode Magnification Of Civil Structures Using Video-Based Motion Processing, Zhexiong Shang, Zhigang Shen

Department of Construction Engineering and Management: Faculty Publications

Image-based vibration measurement has gained increased attentions in civil and construction communities. A recent video-based motion magnification method was developed to measure and visualize small structure motions. This new approach presents a potential for low-cost vibration measurement and mode shape identification. Pilot studies using this approach on simple rigid body structures were reported. Its validity on complex outdoor structures has not been investigated. In this study, a non-contact video-based approach for multi-point vibration measurement and mode magnification is introduced. The proposed approach can output a full-field vibration map that increases the efficiency of the current structural health monitoring (SHM) practice. …

Expression Of The Microrna-143/145 Cluster Is Decreased In Hepatitis B Virus-Associated Hepatocellular Carcinoma And May Serve As A Biomarker For Tumorigenesis In Patients With Chronic Hepatitis B, Qi Zhao, Xiangfei Sun, Chao Liu, Tao Li, Juan Cui, Chengyong Qin

School of Computing: Faculty Publications

The aims of the present study were to identify the expression profile of microRNA (miR)‑143/145 in hepatitis B virus (HBV)‑associated hepatocellular carcinoma (HCC), explore its association with prognosis and investigate whether the serum miR‑143/145 expression levels may serve as a diagnostic indicator of HBV‑associated HCC. The microRNA (miRNA) chromatin immunoprecipitation dataset was obtained from The Cancer Genome Atlas (TCGA) and the Gene Expression Omnibus databases, and analyzed using the Wilcoxon signed‑rank test. It was observed that the expression of miR‑143 and miR‑145 was decreased 1.5‑fold in HBV‑associated HCC samples compared with non‑tumor tissue in the TCGA and the GSE22058 datasets …

Design And Implementation Of A Stand-Alone Tool For Metabolic Simulations, Milad Ghiasi Rad

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

In this thesis, we present the design and implementation of a stand-alone tool for metabolic simulations. This system is able to integrate custom-built SBML models along with external user’s input information and produces the estimation of any reactants participating in the chain of the reactions in the provided model, e.g., ATP, Glucose, Insulin, for the given duration using numerical analysis and simulations. This tool offers the food intake arguments in the calculations to consider the personalized metabolic characteristics in the simulations. The tool has also been generalized to take into consideration of temporal genomic information and be flexible for simulation …

Querying And Visualization Of Moving Objects Using Constraint Databases, Semere M. Woldemariam

Department of Computer Science and Engineering: Dissertations, Theses, and Student Research

Good querying and visualization of moving objects and their trajectories is still an open problem. This thesis investigates three types of moving objects. First, projectiles, whose parabolic motion is difficult to represent. Second, moving objects that slide down a slope. The representation of these objects is challenging because of their accelerating motion. Third, the motion of migrating animals. The motion of migrating animals is challenging because it also involves some spatio-temporal interpolation. The thesis shows a solution to these problems using ideas from physics and an implementation in the MLPQ constraint databases system. The MLPQ implementation enables several complex spatio-temporal …

End-To-End Molecular Communication Channels In Cell Metabolism: An Information Theoretic Study, Zahmeeth Sayed Sakkaff, Jennie L. Catlett, Mikaela Cashman, Massimiliano Pierobon, Nicole R. Buan, Myra B. Cohen, Christine A. Kelley

Department of Biochemistry: Faculty Publications

The opportunity to control and fine-tune the behavior of biological cells is a fascinating possibility for many diverse disciplines, ranging from medicine and ecology, to chemical industry and space exploration. While synthetic biology is providing novel tools to reprogram cell behavior from their genetic code, many challenges need to be solved before it can become a true engineering discipline, such as reliability, safety assurance, reproducibility and stability. This paper aims to understand the limits in the controllability of the behavior of a natural (non-engineered) biological cell. In particular, the focus is on cell metabolism, and its natural regulation mechanisms, and …

Discovery And Characterization Of Small Molecule Rac1 Inhibitors, Jamie L. Arnst, Ashley L. Hein, Margaret A. Taylor, Nick Y. Palermo, Jacob I. Contreras, Yogesh A. Sonawane, Andrw O. Wahl, Michel M. Ouellette, Amarnath Natarajan, Ying Yan

Holland Computing Center: Faculty Publications

Aberrant activation of Rho GTPase Rac1 has been observed in various tumor types, including pancreatic cancer. Rac1 activates multiple signaling pathways that lead to uncontrolled proliferation, invasion and metastasis. Thus, inhibition of Rac1 activity is a viable therapeutic strategy for proliferative disorders such as cancer. Here we identified small molecule inhibitors that target the nucleotide-binding site of Rac1 through in silico screening. Follow up in vitro studies demonstrated that two compounds blocked active Rac1 from binding to its effector PAK1. Fluorescence polarization studies indicate that these compounds target the nucleotide-binding site of Rac1. In cells, both compounds blocked Rac1 binding …

Spica: Stereographic Projection For Interactive Crystallographic Analysis, Xingzhong Li

Nebraska Center for Materials and Nanoscience: Faculty Publications

In numerous research fields, especially the applications of electron and X-ray diffraction, stereographic projection represents a powerful tool for researchers. SPICA is a new computer program for stereographic projection in interactive crystallographic analysis, which inherits features from the previous JECP/SP and includes more functions for extensive crystallographic analysis. SPICA provides fully interactive options for users to plot stereograms of crystal directions and crystal planes, traces, and Kikuchi maps for an arbitrary crystal structure; it can be used to explore the orientation relationships between two crystalline phases with a composite stereogram; it is also used to predict the tilt angles of …

Alignment For Comprehensive Two-Dimensional Gas Chromatography (Gcxgc) With Global, Low-Order Polynomial Transformations, Davis Rempe, Stephen Reichenbach, Stephen Scott

UCARE Research Products

As columns age and differ between systems, retention times for GC x GC may vary between runs. In order to properly analyze chromatograms, it is often desirable to align chromatographic features between chromatograms. This alignment can be characterized by a mapping of retention times from one chromatogram to the retention times of another chromatogram. Alignment methods can be classified as global or local, i.e., whether the geometric differences between chromatograms are characterized by a single function for the entire chromatogram or by a combination of many functions for different regions of the chromatogram. Previous work has shown that global, low-degree …

Image Harvest: An Open-Source Platform For High-Throughput Plant Image Processing And Analysis, Avi C. Knecht, Malachy T. Campbell, Adam Caprez, David R. Swanson, Harkamal Walia

Holland Computing Center: Faculty Publications

High-throughput plant phenotyping is an effective approach to bridge the genotype-to-phenotype gap in crops. Phenomics experiments typically result in large-scale image datasets, which are not amenable for processing on desktop computers, thus creating a bottleneck in the image-analysis pipeline. Here, we present an open-source, flexible image-analysis framework, called Image Harvest (IH), for processing images originating from high-throughput plant phenotyping platforms. Image Harvest is developed to perform parallel processing on computing grids and provides an integrated feature for metadata extraction from large-scale file organization. Moreover, the integration of IH with the Open Science Grid provides academic researchers with the computational resources …

Chemometric And Bioinformatic Analyses Of Cellular Biochemistry, Bradley Worley

Department of Chemistry: Dissertations, Theses, and Student Research

The amount of information collected and analyzed in biochemical and bioanalytical research has exploded over the last few decades, due in large part to the increasing availability of analytical instrumentation that yields information-rich spectra. Datasets from Nuclear Magnetic Resonance (NMR), Mass Spectrometry (MS), infrared (IR) or Raman spectroscopy may easily carry tens to hundreds of thousands of potentially correlated variables observed from only a few samples, making the application of classical statistical methods inappropriate, if not impossible. Drawing useful biochemical conclusions from these unique sources of data requires the use of specialized multivariate data handling techniques.

Unfortunately, proper implementation of …

Distributed Caching Using The Htcondor Cached, Derek J. Weitzel, Brian Bockelman, David Swanson

Holland Computing Center: Faculty Publications

A batch processing job in a distributed system has three clear steps, stage-in, execution, and stage-out. As data sizes have increased, the stage-in time has also increased. In order to optimize stage-in time for shared inputs, we propose the CacheD, a caching mechanism for high throughput computing. Along with caching on worker nodes for rapid transfers, we also introduce a novel transfer method to distribute shared caches to multiple worker nodes utilizing BitTorrent. We show that our caching method significantly improves workflow completion times by minimizing stage-in time while being non-intrusive to the computational resources, allowing for opportunistic resources to …

Boscor: Extending R From The Desktop To The Grid, Derek J. Weitzel, Jaime Frey, Marco Mambelli, Dan Fraser, Miha Ahronovitz, David Swanson

Holland Computing Center: Faculty Publications

In this paper, we describe a framework to execute R functions on remote resources from the desktop using Bosco. The R language is attractive to researchers because of its high level programming constructs which lower the barrier of entry for use. As the use of the R programming language in HPC and High Throughput Computing (HTC) has grown, so too has the need for parallel libraries in order to utilize computing resources.

Bosco is middleware that uses common protocols to manage job submissions to a variety of remote computational platforms and resources. The researcher is able to control and monitor …

Estimating The Flight Path Of Moving Objects Based On Acceleration Data, Peter Revesz

CSE Conference and Workshop Papers

Inertial navigation is the problem of estimating the flight path of a moving object based on only acceleration measurements. This paper describes and compares two approaches for inertial navigation. Both approaches estimate the flight path of the moving object using cubic spline interpolation, but they find the coefficients of the cubic spline pieces by different methods. The first approach uses a tridiagonal matrix, while the second approach uses recurrence equations. They also require different boundary conditions. While both approaches work in O(n) time where n is the number of given acceleration measurements, the recurrence equation-based method can be easier updated …

Cubic Spline Interpolation By Solving A Recurrence Equation Instead Of A Tridiagonal Matrix, Peter Revesz

CSE Conference and Workshop Papers

The cubic spline interpolation method is proba- bly the most widely-used polynomial interpolation method for functions of one variable. However, the cubic spline method requires solving a tridiagonal matrix-vector equation with an O(n) computational time complexity where n is the number of data measurements. Even an O(n) time complexity may be too much in some time-ciritical applications, such as continuously estimating and updating the flight paths of moving objects. This paper shows that under certain boundary conditions the tridiagonal matrix solving step of the cubic spline method could be entirely eliminated and instead the coefficients of the unknown cubic polynomials …

Cms Use Of A Data Federation, Kenneth A. Bloom, C.

Kenneth Bloom Publications

CMS is in the process of deploying an Xrootd based infrastructure to facilitate a global data federation. The services of the federation are available to export data from half the physical capacity and the majority of sites are configured to read data over the federation as a back-up. CMS began with a relatively modest set of use-cases for recovery of failed local file opens, debugging and visualization. CMS is finding that the data federation can be used to support small scale analysis and load balancing. Looking forward we see potential in using the federation to provide more flexibility in the …

Designs Of Fullerene-Based Frameworks For Hydrogen Storage, Yi Gao, Xiaojun Wu, Xiao Cheng Zeng

Holland Computing Center: Faculty Publications

No abstract provided.

Designs Of Fullerene-Based Frameworks For Hydrogen Storage, Yi Gao, Xiaojun Wu, Xiao Cheng Zeng

Holland Computing Center: Faculty Publications

No abstract provided.

Functional Evolution Of Plp-Dependent Enzymes Based On Active-Site Structural Similarities, Jonathan Catazaro, Adam Caprez, Ashu Guru, David Swanson, Robert Powers

Holland Computing Center: Faculty Publications

Families of distantly related proteins typically have very low sequence identity, which hinders evolutionary analysis and functional annotation. Slowly evolving features of proteins, such as an active site, are therefore valuable for annotating putative and distantly related proteins. To date, a complete evolutionary analysis of the functional relationship of an entire enzyme family based on active-site structural similarities has not yet been undertaken. Pyridoxal-5’-phosphate (PLP) dependent enzymes are primordial enzymes that diversified in the last universal ancestor. Using the Comparison of Protein Active Site Structures (CPASS) software and database, we show that the active site structures of PLP-dependent enzymes can …

Isptm: An Iterative Search Algorithm For Systematic Identification Of Post-Translational Modifications From Complex Proteome Mixtures, Xin Huang, Lin Huang, Hong Peng, Ashu Guru, Weihua Zue, Sang Yong Hong, Miao Liu, Seema Sharma, Kai Fu, Adam Caprez, David Swanson, Zhixin Zhang, Shi-Jian Ding

Holland Computing Center: Faculty Publications

Identifying protein post-translational modifications (PTMs) from tandem mass spectrometry data of complex proteome mixtures is a highly challenging task. Here we present a new strategy, named iterative search for identifying PTMs (ISPTM), for tackling this challenge. The ISPTM approach consists of a basic search with no variable modification, followed by iterative searches of many PTMs using a small number of them (usually two) in each search. The performance of the ISPTM approach was evaluated on mixtures of 70 synthetic peptides with known modifications, on an 18-protein standard mixture with unknown modifications and on real, complex biological samples of mouse nuclear …

Retrieval Of Sub-Pixel-Based Fire Intensity And Its Application For Characterizing Smoke Injection Heights And Fire Weather In North America, David Peterson

Department of Earth and Atmospheric Sciences: Dissertations, Theses, and Student Research

For over two decades, satellite sensors have provided the locations of global fire activity with ever-increasing accuracy. However, the ability to measure fire intensity, know as fire radiative power (FRP), and its potential relationships to meteorology and smoke plume injection heights, are currently limited by the pixel resolution. This dissertation describes the development of a new, sub-pixel-based FRP calculation (FRP_f) for fire pixels detected by the MODerate Resolution Imaging Spectroradiometer (MODIS) fire detection algorithm (Collection 5), which is subsequently applied to several large wildfire events in North America. The methodology inherits an earlier bi-spectral algorithm for retrieving sub-pixel …