Results 11 to 20 of about 9,542 (233)

Extreme Gradient Boosting Model for Day-Ahead STLF in National Level Power System: Estonia Case Study

open access: yesEnergies, 2023
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]

open access: yesDiscrete Mathematics & Theoretical Computer Science, 2003
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

open access: yesTransactions on Cryptographic Hardware and Embedded Systems, 2021
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]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2017
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]

open access: yesPLoS Computational Biology, 2014
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]

open access: yesAnnals of Operations Research, 1988
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

open access: yesIngeniería, 2018
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

open access: yesРадіоелектронні і комп'ютерні системи, 2019
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

open access: yesFrontiers in Physiology, 2018
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

open access: yes, 2020
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

Home - About - Disclaimer - Privacy