A Blockchain Implementation of an Attendance Management System
AbstractAn attendance management system (AMS) is a useful system for personal management in organizations. The existing AMSs include traditional manual method, smart-card identification, fingerprint...
View ArticleA temporal logic programming approach to planning
AbstractThis paper presents an approach to performing artificial intelligence planning through temporal logic programming with Search Control Knowledge (SCK). First, the planning problem described with...
View ArticleA dynamic approach to detecting, eliminating and fixing memory leaks
AbstractThis paper presents a dynamic approach to detecting, eliminating and fixing memory leaks. With our approach, a program to be analyzed is instrumented before its execution. Dynamic symbolic...
View ArticlePhotosynthesis-related protein expression in sugarcane during sugarcane–...
AbstractPokkah boeng disease (PBD) is mainly caused by Fusarium verticillioides and F. proliferatum, and it substantially reduces sugarcane yield and quality in China. Sugarcane proteins play important...
View ArticleTransforming Multi-matching Nested Traceable Automata to Multi-matching...
AbstractMulti-matching nested relation consists of a sequence of linearly ordered positions, call, internal, and return, augmented with one-to-one, one-to-n or n-to-one matching nested edges from call...
View ArticlePropositional Projection Temporal Logic Specification Mining
AbstractThis paper proposes a dynamic approach of specification mining for Propositional Projection Temporal Logic (PPTL). To this end, a pattern library is built to collect some common temporal...
View ArticleP2P Network Based Smart Parking System Using Edge Computing
AbstractSmart parking techniques are widely used in smart city and intelligent transportation systems. However, how to build a friendly and effective smart parking system in a large city is still a...
View ArticleAnti-periodic behavior for quaternion-valued delayed cellular neural networks
AbstractIn this manuscript, quaternion-valued delayed cellular neural networks are studied. Applying the continuation theorem of coincidence degree theory, inequality techniques and a Lyapunov function...
View ArticleImpact of immediate initiation of antiretroviral therapy among men who have...
AbstractBackgroundGiven the rampant HIV epidemic among men who have sex with men (MSM) in Chengdu, southwest China, Treat All policy, defined as immediate antiretroviral therapy (ART) initiation after...
View ArticleDesign and Implementation of List and Dictionary in XD-M Language
AbstractThis paper presents the design and implementation of two data types, List and Dictionary, in the programming language XD-M. XD-M is an interpreted language with dynamic data types and its...
View ArticleEffects of microwave drying on nutrient component and antioxidant activity of...
AbstractThe impact of drying on the nutritional compositions of products is one of the crucial issues restricting the advance of food quality, but there has been a lack of systematic research on the...
View ArticleUSV Path Planning Based on Adaptive Fuzzy Reward
AbstractUnmanned surface vehicles (USVs) with autonomous capabilities is the future trend. The capability of path planning is particularly critical to ensure the safety of navigation at sea. The...
View ArticleThree Algorithms for Converting Control Flow Statements from Python to XD-M
AbstractThis paper presents an approach to show how to implement three complex statements: continue, break, return of Python to XD-M language. To this end, three algorithms for implementing three...
View ArticleThermal, structural, and emulsifying properties of pumpkin seed protein...
AbstractIn this study, the thermal, structural, and emulsifying properties of pumpkin seed protein isolates (PSPI) subjected to pH-shifting were investigated. PSPI subjected to different pH values (pH...
View ArticleFormulate Full View Camera Sensor Coverage by Using Group Set Coverage
AbstractFull view is an important subject in the study of wireless camera sensor coverage. It involves three issues, camera direction selection, camera location selection, and moving-directional target...
View ArticleImplementation of Matlab matfun Toolkit Based on MSVL
AbstractThe matfun toolkit of the scientific computing software Matlab contains more than 40 commonly used matrix computing related functions, which have important applications in artificial...
View ArticleInferring Exact Domains to Efficiently Generate Valid Test Cases via Testing
AbstractDocuments on popular libraries such as pyOpenSSL do not specify parameters’ domains precisely. Inexact domains hinder efficiently generating valid test cases. In order to solve this problem, an...
View Article
