|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
Yuxin Cui, Shu Li, Yunxiao Shan and Fengqiu Liu
This study focuses on the finite-time set reachability of probabilistic Boolean multiplex control networks (PBMCNs). Firstly, based on the state transfer graph (STG) reconstruction technique, the PBMCNs are extended to random logic dynamical systems. The...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bernd Finkbeiner, Martin Fränzle, Florian Kohn and Paul Kröger
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for systemat...
ver más
|
|
|
|
|
|
|
|
|
|
|
Erik Bollen, Rik Hendrix, Bart Kuijpers and Alejandro Vaisman
In this paper, we propose a formalism to query transportation networks that are equipped with sensors that produce time-series data. The core of the proposed query mechanism is a logic-based language that is capable to return time, value, and time-series...
ver más
|
|
|
|
|
|
|
|
|
|
|
John Reuben
Computational methods in memory array are being researched in many emerging memory technologies to conquer the ?von Neumann bottleneck?. Resistive RAM (ReRAM) is a non-volatile memory, which supports Boolean logic operation, and adders can be implemented...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bikash Poudel, Arslan Munir, Joonho Kong and Muazzam A. Khan
The elliptic curve cryptosystem (ECC) has been proven to be vulnerable to non-invasive side-channel analysis attacks, such as timing, power, visible light, electromagnetic emanation, and acoustic analysis attacks. In ECC, the scalar multiplication compon...
ver más
|
|
|
|
|
|
|
|
|
|
|
Eugenio Roanes-Lozano, Eduardo A. Casella, Fernando Sánchez and Antonio Hernando
Tennis is a sport with a very complex technique. Amateur tennis players have trainers and/or coaches, but are not usually accompanied by them to championships. Curiously, in this sport, the result of many matches can be changed by a small hint like ?hit ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Evgenia Beley,Alexandr Semenov
Pág. 22 - 30
In the paper we study the applicability of modern algorithms of computational logic to problems of finding some combinatorial designs. In particular, we consider the well-known open problem ? to answer whether there exist three mutually orthogonal Latin ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Rodney G. Tsiko and Tesfalem S. Haile
The aim of this study was to model water reservoir site selection for a real world application in the administrative district of Debub, Eritrea. This is a region were scarcity of water is a fundamental problem. Erratic rainfall, drought and unfavourable ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Helbert Eduardo Espitia Cuchango, José Jairo Soriano Méndez
Abstract AuthorsDownloadsReferencesHow to Cite
|
|
|
|
|
|