Fastklee: Faster Symbolic Execution Via Reducing Redundant Bound Checking Of Type-Safe Pointers,
2022
Singapore Management University
Fastklee: Faster Symbolic Execution Via Reducing Redundant Bound Checking Of Type-Safe Pointers, Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang
Research Collection School Of Computing and Information Systems
Symbolic execution (SE) has been widely adopted for automatic program analysis and software testing. Many SE engines (e.g., KLEE or Angr) need to interpret certain Intermediate Representations (IR) of code during execution, which may be slow and costly. Although a plurality of studies proposed to accelerate SE, few of them consider optimizing the internal interpretation operations. In this paper, we propose FastKLEE, a faster SE engine that aims to speed up execution via reducing redundant bound checking of type-safe pointers during IR code interpretation. Specifically, in FastKLEE, a type inference system is first leveraged to classify pointer types (i.e., safe …
A Quality Metric For K-Means Clustering Based On Centroid Locations,
2022
Singapore Management University
A Quality Metric For K-Means Clustering Based On Centroid Locations, Manoj Thulasidas
Research Collection School Of Computing and Information Systems
K-Means clustering algorithm does not offer a clear methodology to determine the appropriate number of clusters; it does not have a built-in mechanism for K selection. In this paper, we present a new metric for clustering quality and describe its use for K selection. The proposed metric, based on the locations of the centroids, as well as the desired properties of the clusters, is developed in two stages. In the initial stage, we take into account the full covariance matrix of the clustering variables, thereby making it mathematically similar to a reduced chi2. We then extend it to account for …
Applications Of Blockchain In Business Processes: A Comprehensive Review,
2022
Old Dominion University
Applications Of Blockchain In Business Processes: A Comprehensive Review, Wattana Viriyasitavat, Li Xu, Dusit Niyato, Zhuming Bi, Danupol Hoonsopon
Information Technology & Decision Sciences Faculty Publications
Blockchain (BC), as an emerging technology, is revolutionizing Business Process Management (BPM) in multiple ways. The main adoption is to serve as a trusted infrastructure to guarantee the trust of collaborations among multiple partners in trustless environments. Especially, BC enables trust of information by using Distributed Ledger Technology (DLT). With the power of smart contracts, BC enforces the obligations of counterparties that transact in a business process (BP) by programming the contracts as transactions. This paper aims to study the state-of-the-art of BC technologies by (1) exploring its applications in BPM with the focus on how BC provides the trust …
Mechatronics Bachelor Curriculum Development In Light Of Industry 4.0 Technology Needs: Contrasting Us And German University Curricula,
2022
Michigan Technological University
Mechatronics Bachelor Curriculum Development In Light Of Industry 4.0 Technology Needs: Contrasting Us And German University Curricula, Paniz Hazaveh, Aleksandr Sergeyev, Nathir Rawashdeh
Michigan Tech Publications
This study compares Mechatronics bachelor curricula at universities in the United States of America and German universities. Mechatronics education is relatively new in the United States, but has been common in Germany for over a decade. With the multidisciplinary nature of technologies required by the 4’th industrial revolution, a.k.a. Industry 4.0, composing an appropriate Mechatronics curriculum becomes a challenge and an opportunity. This paper studies how Mechatronics education can address the future needs of industry, while building on a specific university’s strengths and industry links. We have also analyzed the new undergraduate Mechatronics program at Michigan Technological University (MTU) and …
Operation Of A Controllable Force-Sensing Industrial Pneumatic Parallel Gripper System,
2022
Michigan Technological University
Operation Of A Controllable Force-Sensing Industrial Pneumatic Parallel Gripper System, Brian Piechocki, Chelsey Spitzner, Namratha Karanam, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh
Michigan Tech Publications
As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project was performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and application of a force-programmable and sensing pneumatic parallel gripper system. Force sensing is a critical part of many systems in modern automation systems. Applications such as prosthetics, robotic surgery, or basic manufacturing systems may rely on the ability to properly read and control forces applied to an object. This work evaluates the basic operation of the pneumatic force-sensing gripper …
A Smart Parallel Gripper Industrial Automation System For Measurement Of Gripped Work Piece Thickness,
2022
Michigan Technological University
A Smart Parallel Gripper Industrial Automation System For Measurement Of Gripped Work Piece Thickness, Erik Kocher, Chukwuemeka George Ochieze, Ahmat Oumar, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh
Michigan Tech Publications
As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project is performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and ladder programming of the smart parallel gripper system to measure the width of components grasped with the gripper. In addition, details of the system’s components, operation, more advanced uses are discussed. On the automation line, this smart gripper can be used to measure the thickness of work pieces while handling them and classifying these as either acceptable, too large …
An Industrial Pneumatic And Servo Four-Axis Robotic Gripper System: Description And Unitronics Ladder Logic Programming,
2022
Michigan Technological University
An Industrial Pneumatic And Servo Four-Axis Robotic Gripper System: Description And Unitronics Ladder Logic Programming, Zongguang Liu, Chrispin Johnston, Aleksi Leino, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh
Michigan Tech Publications
As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project is performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and ladder programming of a four-axis robot enclosed in a cage with one side guarded by an optical fence. The robot has pneumatically actuated X-Y linear motion and a pneumatic gripper. Furthermore, the Z-axis motion and gripper wrist rotation are controlled by servo motors. A human machine interface (HMI) is also present, and it allows for easy manipulation and programming …
Gesture Controlled Collaborative Robot Arm And Lab Kit,
2022
Michigan Technological University
Gesture Controlled Collaborative Robot Arm And Lab Kit, Abel A. Reyes, Skylar Reinhardt, Tony Wise, Nathir Rawashdeh, Sidike Paheding
Michigan Tech Publications
In this paper, a mechatronics system was designed and implemented to include the subjects of artificial intelligence, control algorithms, robot servo motor control, and human-machine interface (HMI). The goal was to create an inexpensive, multi-functional robotics lab kit to promote students’ interest in STEM fields including computing and mechtronics. Industrial robotic systems have become vastly popular in manufacturing and other industries, and the demand for individuals with related skills is rapidly increasing. Robots can complete jobs that are dangerous, dull, or dirty for humans to perform. Recently, more and more collaborative robotic systems have been developed and implemented in the …
The Impact Of The Digital Maturity Level On Port Operations In Africa,
2022
World Maritime University
The Impact Of The Digital Maturity Level On Port Operations In Africa, Joyce Wanjiru Kaburu
World Maritime University Dissertations
No abstract provided.
Comparative Analysis Of Cloud-Based Server And Conventional Server Of Simulators For Marine Engineering,
2022
World Maritime University
Comparative Analysis Of Cloud-Based Server And Conventional Server Of Simulators For Marine Engineering, Jose Maria Razon Nalus
World Maritime University Dissertations
No abstract provided.
Digital Readiness Of Container Terminals For Digital Technology Adoption: A Case Study Of Vietnam,
2022
World Maritime University
Digital Readiness Of Container Terminals For Digital Technology Adoption: A Case Study Of Vietnam, Anh Tuấn Vu
World Maritime University Dissertations
No abstract provided.
Device Free Indoor Localization Of Human Target Using Wifi Fingerprinting,
2022
Louisiana State University at Baton Rouge
Device Free Indoor Localization Of Human Target Using Wifi Fingerprinting, Prasanga Neupane
LSU Master's Theses
Indoor localization of human objects has many important applications nowadays. Proposed here is a new device free approach where all the transceiver devices are fixed in an indoor environment so that the human target doesn't need to carry any transceiver device with them. This work proposes radio-frequency fingerprinting for the localization of human targets which makes this even more convenient as radio-frequency wireless signals can be easily acquired using an existing wireless network in an indoor environment. This work explores different avenues for optimal and effective placement of transmitter devices for better localization. In this work, an experimental environment is …
An Evaluation Framework For Digital Image Forensics Tools,
2022
National University of Science and Technology - Pakistan
An Evaluation Framework For Digital Image Forensics Tools, Zainab Khalid, Sana Qadir
Journal of Digital Forensics, Security and Law
The boom of digital cameras, photography, and social media has drastically changed how humans live their day-to-day, but this normalization is accompanied by malicious agents finding new ways to forge and tamper with images for unlawful monetary (or other) gains. Disinformation in the photographic media realm is an urgent threat. The availability of a myriad of image editing tools renders it almost impossible to differentiate between photo-realistic and original images. The tools available for image forensics require a standard framework against which they can be evaluated. Such a standard framework can aid in evaluating the suitability of an image forensics …
A Comparison Of Robotic Hand Thumb Designs,
2022
Spring Valley High School, Columbia, SC
A Comparison Of Robotic Hand Thumb Designs, Ryon Miro
Journal of the South Carolina Academy of Science
No abstract provided.
Data Scarcity In Event Analysis And Abusive Language Detection,
2022
University of Massachusetts Amherst
Data Scarcity In Event Analysis And Abusive Language Detection, Sheikh Muhammad Sarwar
Doctoral Dissertations
Lack of data is almost always the cause of the suboptimal performance of neural networks. Even though data scarce scenarios can be simulated for any task by assuming limited access to training data, we study two problem areas where data scarcity is a practical challenge: event analysis and abusive content detection} Journalists, social scientists and political scientists need to retrieve and analyze event mentions in unstructured text to compute useful statistical information to understand society. We claim that it is hard to specify information need about events using keyword-based representation and propose a Query by Example (QBE) setting for event …
Searching For Oa Scholarly Content,
2022
Kennesaw State University
Searching For Oa Scholarly Content, Olga Koz
All Things Open
Academic search engines have become the number one resource to find scholarly resources. In contrast, search engines of academic databases, like Web of Science and Scopus, harvest research which is locked behind paywalls. Google Scholar and other academic search engines assist in finding open access content as well as the content of commercial databases. Dr. Olga Koz, Senior Research Support Librarian, will present academic search engines that enhance expert research on various academic subject matters.
Tutorial: Knowledge-Infused Learning For Autonomous Driving (Kl4ad),
2022
University of South Carolina - Columbia
Tutorial: Knowledge-Infused Learning For Autonomous Driving (Kl4ad), Ruwan Wickramarachchi, Cory Henson, Sebastian Monka, Daria Stepanova, Amit Sheth
Publications
Autonomous Driving (AD) is considered as a testbed for tackling many hard AI problems. Despite the recent advancements in the field, AD is still far from achieving full autonomy due to core technical problems inherent in AD. The emerging field of neuro-symbolic AI and the methods for knowledge-infused learning are showing exciting ways of leveraging external knowledge within machine/deep learning solutions, with the potential benefits for interpretability, explainability, robustness, and transferability. In this tutorial, we will examine the use of knowledge-infused learning for three core state-of-the-art technical achievements within the AD domain. With a collaborative team from both academia and …
Research On The Early Warning And Intervention Of Learning Crisis Based On Smart Classroom,
2022
College of Information Engineering, Hunan Industry Polytechnic Changsha 410208 China
Research On The Early Warning And Intervention Of Learning Crisis Based On Smart Classroom, Tan Aiping, Wang Sainan
International Journal of Computer and Communication Technology
Under the normal state of online and offline integrated learning of open courses, the low participation of learners and low learning results are hot issues that scholars in the industry pay more attention to. Accurate learning crisis warning and personalized teaching intervention are important measures to solve the above problems and improve teaching quality. Based on the analysis of the shortcomings of the existing learning early warning and teaching intervention, this study constructs a research framework of online open course learning early warning and intervention under the intelligent classroom learning environment. The framework diagnoses and warns learners' learning state from …
Design Of An Efficient Memristor-Based Dynamic Exclusive-Or Gate.,
2022
Electronics andCommunication Engineering BharatiVidyapeeth’sCollegeof Engineering NewDelhi,India
Design Of An Efficient Memristor-Based Dynamic Exclusive-Or Gate., Annu Chauhan, Dishika Chopra, Lirisha Tayal, Utsav Singal, Kirti Gupta, Monica Gupta
International Journal of Computer and Communication Technology
In this paper, an efficient memristor-based dynamic logic design for an Exclusive-OR gate is proposed. The proposed realization reduces the number of cascaded stages and component count thereby providing an overall performance improvement. The performance of the proposed design is compared with the most recent existing design through LTspice software simulations at 32 nm technology node in terms of total power consumption, average propagation delay, and number of components used in the implementation. The outcomes depict that the proposed design consumes 57 % reduced power and provides faster operation with 5.09 % improvement in propagation delay in comparison to its …
Agglomerative Hierarchical Clustering With Dynamic Time Warping For Household Load Curve Clustering,
2022
Western University
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 …
