Short-term power load forecasting refers to the use of load and weather information to forecast the Day-ahead load, which is very important for power dispatch and the establishment of the power spot market.
Qinghe Zhao, Xinyi Liu, Junlong Fang
doaj +1 more source
Predecessor and Permutation Existence Problems for Sequential Dynamical Systems. [PDF]
A class of finite discrete dynamical systems, called Sequential Dynamical Systems (SDSs), was introduced in [BR99] as a formal model for analyzing simulation systems.
Christopher L. Barrett +5 more
doaj +1 more source
ModuloNET: Neural Networks Meet Modular Arithmetic for Efficient Hardware Masking
Intellectual Property (IP) thefts of trained machine learning (ML) models through side-channel attacks on inference engines are becoming a major threat. Indeed, several recent works have shown reverse engineering of the model internals using such attacks,
Anuj Dubey +4 more
doaj +1 more source
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence [PDF]
Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each menu A in Omega a nonempty subset c(A) of A comprising all elements of A
Domenico Cantone +2 more
doaj +1 more source
Mathematical model of a telomerase transcriptional regulatory network developed by cell-based screening: analysis of inhibitor effects and telomerase expression mechanisms. [PDF]
Cancer cells depend on transcription of telomerase reverse transcriptase (TERT). Many transcription factors affect TERT, though regulation occurs in context of a broader network. Network effects on telomerase regulation have not been investigated, though
Alan E Bilsland +6 more
doaj +1 more source
Cause-effect relationships and partially defined Boolean functions [PDF]
This paper investigates the use of Boolean techniques in a systematic study of cause-effect relationships. The model uses partially defined Boolean functions. Procedures are provided to extrapolate from limited observations, concise and meaningful theories to explain the effect under study, and to prevent (or provoke) its occurrence.
Yves Crama +2 more
openaire +2 more sources
Fuzzy Inference System based on Boolean and Kleenean Relations with Convex Combiner
Context: In the design process of Fuzzy Inference Systems based on Boolean and Kleenean Relations (FIS-BKR) there is a dilemma choosing the regular kleenean extensions of a given boolean function.
Juan Chacón +2 more
doaj +1 more source
THE MATRIX PROCEDURES FOR CALCULATION OF IMPORTANCE MEASURES
System reliability/availability is a complex concept that is evaluated based on numerous indices and measures. There are different methods for the calculation of these indices and measures in reliability analysis.
Elena Zaitseva +2 more
doaj +1 more source
Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge
Motivation: Mathematical models take an important place in science and engineering. A model can help scientists to explain dynamic behavior of a system and to understand the functionality of system components.
Thomas Leifeld, Zhihua Zhang, Ping Zhang
doaj +1 more source
On Partial Differential Encodings of Boolean Functions
We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non-trivial bounds on the Chow-Rank of polynomials used to specify partial differential encodings of Boolean functions.
Gnang, Edinah K., Xu, Rongyu
openaire +2 more sources

