|
|
|
|
|
Francisco Miguel García-Olmedo, Jesús García-Miranda and Pedro González-Rodelas
The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the ?distributi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Xiaotong Cui, Hongxin Zhang, Xing Fang, Yuanzhen Wang, Danzhi Wang, Fan Fan and Lei Shu
The leakage signals, including electromagnetic, energy, time, and temperature, generated during the operation of password devices contain highly correlated key information, which leads to security vulnerabilities. In traditional encryption algorithms, th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yang Hu, Liangliang Gong, Xinyang Li, Hui Li, Ruoxin Zhang and Rentao Gu
When applying 5G network slicing technology, the operator?s network resources in the form of mutually isolated logical network slices provide specific service requirements and quality of service guarantees for smart grid communication services. In the fa...
ver más
|
|
|
|
|
|
|
|
|
|
|
Zhenquan Zhang, Jian Qin, Dengshuai Wang, Shuting Huang, Yanjun Liu and Gang Xue
In this paper, a variable damper is proposed to regulate the efficiency of a two-body wave energy converter (WEC) with mechanically driven power take-off (PTO). The variable damper introduces logic constraints into the WEC system, which can be translated...
ver más
|
|
|
|
|
|
|
|
|
|
|
Igor Masich, Natalya Rezova, Guzel Shkaberina, Sergei Mironov, Mariya Bartosh and Lev Kazakovtsev
A number of real-world problems of automatic grouping of objects or clustering require a reasonable solution and the possibility of interpreting the result. More specific is the problem of identifying homogeneous subgroups of objects. The number of group...
ver más
|
|
|
|
|
|
|
|
|
|
|
Huijian Shi, Ruixue Lv, Yingxiao Liu, Dawei Xiao, Zhen Wang, Xia Yuan, Lanyu Liu and Cuicui Yu
The western plain of the Nansihu Lake Basin (NLB) is an important agricultural economic zone in Shandong Province, where there is a high content of fluoride in soils. Studying the content and influencing factors of fluoride in soils is of great significa...
ver más
|
|
|
|
|
|
|
|
|
|
|
Farshad Badie and Luis M. Augusto
Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what ?formal? me...
ver más
|
|
|
|
|
|
|
|
|
|
|
Muzamil Hussain Syed, Tran Quoc Bao Huy and Sun-Tae Chung
With the rapid growth of internet data, knowledge graphs (KGs) are considered as efficient form of knowledge representation that captures the semantics of web objects. In recent years, reasoning over KG for various artificial intelligence tasks have rece...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jorge Fandinno, David Pearce, Concepción Vidal and Stefan Woltran
Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics to more general classes of programs and th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ye Chi, Haikun Liu, Ganwei Peng, Xiaofei Liao and Hai Jin
Non-volatile memories (NVMs) have aroused vast interest in hybrid memory systems due to their promising features of byte-addressability, high storage density, low cost per byte, and near-zero standby energy consumption. However, since NVMs have limited w...
ver más
|
|
|
|
|
|