Results 11 to 20 of about 931,105 (250)
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
The correctness verification is very important for workflow systems. It is closely related with both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal model that can reflect some logical structures of workflow systems,
Yaqiong He +5 more
doaj +1 more source
A software radio platform based on ARM and FPGA
The rapid rise in computational performance offered by computer systems has greatly increased the number of practical software radio applications. A scheme presented in this paper is a software radio platform based on ARM and FPGA.
Yang Xin., Li Zhengxiang.
doaj +1 more source
Mobile Plant Disease Classifier, Trained with a Small Number of Images by the End User
Mobile applications that can be used for the training and classification of plant diseases are described in this paper. Professional agronomists can select the species and their diseases that are supported by the developed tool and follow an automatic ...
Nikos Petrellis +3 more
doaj +1 more source
In this paper, an output capacitor-less low-dropout (LDO) regulator with 99.99% current efficiency using active feedforward compensation (AFFC) and reverse nested Miller compensation (RNMC) is implemented.
Gwang Sub Kim +3 more
doaj +1 more source
A secure and efficient range query method for two‐layer wireless sensor networks
Traditional range query methods of work still have shortcomings in node energy consumption and privacy security, so a two‐layer secure and efficient range query method for wireless sensor networks is proposed.
Yun Deng, Yanping Kang
doaj +1 more source
CitiusSynapse: A Deep Learning Framework for Embedded Systems
As embedded systems, such as smartphones with limited resources, have become increasingly popular, active research has recently been conducted on performing on-device deep learning in such systems.
Seungtae Hong, Hyunwoo Cho, Jeong-Si Kim
doaj +1 more source
Managing Elders’ Wandering Behavior Using Sensors-based Solutions: A Survey
Wandering is one of the most frequent, problematic, and injurious behaviors of elderly people with dementia. It often leads to negative consequences such as falling and getting lost.
Qiang Lin +4 more
doaj +1 more source
Computable models as a fundamental candidate for traditional biological experiments have been applied in inferring lncRNA–disease association (LDA) for many years, without time-consuming and laborious limitations. However, sparsity inherently existing in
Yi Zhang +8 more
doaj +1 more source
Data has a great influence on the analysis of the correctness of workflow systems. How to ensure that a system runs without data errors is very important.
Yaqiong He +4 more
doaj +1 more source
Urban Traffic Data Imputation With Detrending and Tensor Decomposition
Due to various uncontrollable factors (such as random faulty acquisition equipment and data distortion), urban traffic flow data inevitably suffers from some form of data loss.
Chuanfei Gong, Yaying Zhang
doaj +1 more source

