Computer Engineering 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 …

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 …

Modernization Of Scienttific Mathematics Formula In Technology, Iwasan D. Kejawa Ed.D, Prof. Iwasan D. Kejawa Ed.D

Department of Mathematics: Faculty Publications

Abstract
Is it true that we solve problem using techniques in form of formula? Mathematical formulas can be derived through thinking of a problem or situation. Research has shown that we can create formulas by applying theoretical, technical, and applied knowledge. The knowledge derives from brainstorming and actual experience can be represented by formulas. It is intended that this research article is geared by an audience of average knowledge level of solving mathematics and scientific intricacies. This work details an introductory level of simple, at times complex problems in a mathematical epidermis and computability and solvability in a Computer Science. …

Coding Club, Nicole Livingston, Madalyn Meyer

Honors Expanded Learning Clubs

Lesson plans for an about 12-week club designed to introduce middle schoolers to coding using Scratch. By the end of the club, every student will have made a game they can share with the class and have learned basic coding and game creation tools. Students can also miss classes or join late and still be able to join and enjoy the club with a different focus lesson every week.

Demystifying Artificial Intelligence Based Digital Twins In Manufacturing- A Bibliometric Analysis Of Trends And Techniques, Satish Kumar, Shruti Patil, Arunkumar Bongale, Ketan Kotecha, Anup Kumar M. Bongale, Pooja Kamat

Library Philosophy and Practice (e-journal)

Nowadays, data is considered as a new life force for operations of physical systems in various domains such as manufacturing, healthcare, transportations, etc. However, the hugely generated data, which mirrors the working essence of the product life cycle, is still underutilised. Digital Twin (DT), a collective representation of active and passive captured data, is a virtual counterpart of the physical resources that could help prevent effective preventive maintenance in any applied domain. Currently, lots of research is going on about the applicability of digital twin in smart IOT based manufacturing industry 4.0 environment. Still, it lacks a formal study, which …

Web-Based Archaeology And Collaborative Research, Fabrizio Galeazzi, Heather Richards-Rissetto

Department of Anthropology: Faculty Publications

While digital technologies have been part of archaeology for more than fifty years, archaeologists still look for more efficient methodologies to integrate digital practices of fieldwork recording with data management, analysis, and ultimately interpretation.This Special Issue of the Journal of Field Archaeology gathers international scholars affiliated with universities, organizations, and commercial enterprises working in the field of Digital Archaeology. Our goal is to offer a discussion to the international academic community and practitioners. While the approach is interdisciplinary, our primary audience remains readers interested in web technology and collaborative platforms in archaeology

Design Of A Distributed Real-Time E-Health Cyber Ecosystem With Collective Actions: Diagnosis, Dynamic Queueing, And Decision Making, Yanlin Zhou

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

In this thesis, we develop a framework for E-health Cyber Ecosystems, and look into different involved actors. The three interested parties in the ecosystem including patients, doctors, and healthcare providers are discussed in 3 different phases. In Phase 1, machine-learning based modeling and simulation analysis is performed to remotely predict a patient's risk level of having heart diseases in real time. In Phase 2, an online dynamic queueing model is devised to pair doctors with patients having high risk levels (diagnosed in Phase 1) to confirm the risk, and provide help. In Phase 3, a decision making paradigm is proposed …

The Rhetoric Of Science Education And Technology, Iwasan D. Kejawa

School of Computing: Faculty Publications

Nearly thousands of science experiments are performed both on humans and animals every year in the United States (Gregory, 1999). Does Science enormously play a role in the well-beings of individual in the society? Research has found that science education is through motivation and satisfying the needs of humans. The scientific world is part of an elongated human development. This can be substantiated with the use and evolution of TECHNOLOGY and SCIENCE (Minton, 2004). Education of the entities that comprise the need to achieve the goal of TECHNOLOGY and SCIENCE which are important issues of today. Research has shown that …

Feature Extraction And Parallel Visualization For Large-Scale Scientific Data, Lina Yu

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

Advanced computing and sensing technologies enable scientists to study natural and physical phenomena with unprecedented precision, resulting in an explosive growth of data. The unprecedented amounts of data generated from large scientific simulations impose a grand challenge in data analytics and visualization due to the fact that data are too massive for transferring, storing, and processing.

This dissertation makes the first contribution to the design of novel transfer functions and application-aware data replacement policy to facilitate feature classification on highly parallel distributed systems. We design novel transfer functions that advance the classification of continuously changed volume data by combining the …

Characterization Of Molecular Communication Based On Cell Metabolism Through Mutual Information And Flux Balance Analysis, Zahmeeth Sayed Sakkaff

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

Synthetic biology is providing novel tools to engineer cells and access the basis of their molecular information processing, including their communication channels based on chemical reactions and molecule exchange. Molecular communication is a discipline in communication engineering that studies these types of communications and ways to exploit them for novel purposes, such as the development of ubiquitous and heterogeneous communication networks to interconnect biological cells with nano and biotechnology-enabled devices, i.e., the Internet of Bio-Nano Things. One major problem in realizing these goals stands in the development of reliable techniques to control the engineered cells and their behavior from the …

In-Field Fuel Use And Load States Of Agricultural Field Machinery, Santosh Pitla, Joe D. Luck, Jared Werner, Nannan Lin, Scott A. Shearer

Department of Biological Systems Engineering: Papers and Publications

The ability to define in-field tractor load states offers the potential to better specify and characterize fuel consumption rate for various field operations. For the same field operation, the tractor experiences diverse load demands and corresponding fuel use rates as it maneuvers through straight passes, turns, suspended operation for adjustments, repair and maintenance, and biomass or other material transfer operations. It is challenging to determine the actual fuel rate and load states of agricultural machinery using force prediction models, and hence, some form of in-field data acquisition capability is required. Controller Area Networks (CAN) available on the current model tractors …

Introduction To Special Issue Of Journal Of Defense Modeling And Simulation: Novel Approaches To Defense And Military Modeling And Simulation, Scott D. Snyder, James M. Taylor Jr

Peter Kiewit Institute: Faculty Publications

Developing solutions to complex problems in government and industry is a daunting task that often requires tremendous investment in time and resources to solve. Modeling and simulation (M&S) has incredible potential to streamline development and cut costs by conducting virtual experiments that give insight into performance under various test conditions. As many program managers in the federal acquisition process can attest, realistic testing of live equipment in an operational environment can be some of the most expensive parts of a development program. M&S can provide insight into mission success of yetto- bedesigned systems without the need to actually build and …

Simple Multi-Attribute Rating Technique For Renewable Energy Deployment Decisions (Smart Redd), James M. Taylor Jr, Betty Love

Peter Kiewit Institute: Faculty Publications

In the effort to provide electrical power service and the sustaining fuel required to run generators at forward-deployed bases in Afghanistan and Iraq over more than 10 years, the US military spent billions of dollars and a paid a heavy toll in terms of human casualties. The green energy linear program for optimizing deployments (GELPOD) proof-of-concept model showed that a linear program could be used to optimize combat deployment of energy generation systems to minimize cost and casualties. Results indicated that reduction in both cost and casualties for renewable energy sources was highly dependent on fuel cost and deployment length. …

Adaptive Co-Scheduler For Highly Dynamic Resources, Kartik Vedalaveni

Computer and Electronics Engineering: Dissertations, Theses, and Student Research

There are many kinds of scientific applications that run on high throughput computational (HTC) grids. HTC may utilize clusters opportunistically, only running on a given cluster when it is otherwise idle. These widely dispersed HTC clusters are heterogeneous in terms of capability and availability, but can provide significant computing power in aggregate. The scientific algorithms run on them also vary greatly. Some scientific algorithms might use high rates of disk I/O and some might need large amounts of RAM. Most schedulers only consider cpu availability, but unchecked demand on these associated resources that aren’t managed by resource managers may give …

Quality-Driven Cross Layer Design For Multimedia Security Over Resource Constrained Wireless Sensor Networks, Wei Wang

Computer and Electronics Engineering: Dissertations, Theses, and Student Research

The strong need for security guarantee, e.g., integrity and authenticity, as well as privacy and confidentiality in wireless multimedia services has driven the development of an emerging research area in low cost Wireless Multimedia Sensor Networks (WMSNs). Unfortunately, those conventional encryption and authentication techniques cannot be applied directly to WMSNs due to inborn challenges such as extremely limited energy, computing and bandwidth resources. This dissertation provides a quality-driven security design and resource allocation framework for WMSNs. The contribution of this dissertation bridges the inter-disciplinary research gap between high layer multimedia signal processing and low layer computer networking. It formulates the …

A Multithreaded Scheduler For A High-Speed Simulator, Gene Saghi, Kirk Reinholtz, Paul Savory

Department of Industrial and Management Systems Engineering: Faculty Publications

The Cassini spacecraft is on its journey to Saturn to perform a close-up study of the Saturnian system; its rings, moons, magneto-sphere, and the planet itself. Sequences of commands will be sent to the spacecraft by ground personnel to control every aspect of the mission. To validate and verify these command sequences, a bit-level, high-speed simulator (HSS) has been developed. To maximize performance, the HSS is implemented with multiple threads and runs on a multiprocessor system. A key component of the HSS is the scheduler, which controls the execution of the simulator. The general framework of the scheduler can be …