ALGORITHM FOR GENERATION OF BENT FUNCTIONS USING WAVELET TRANSFORM
Безопасность информационных технологийThe object of this study is bent functions (maximally nonlinear Boolean functions), as well as Boolean functions with high nonlinearity. The subject of the article is the possibility of using the wavelet transform to create bent functions.
Ilya V. Shibakin, Alla B. Levina
doaj +1 more source
Deriving Natural Deduction Rules from Truth Tables
, 2016 We develop a general method for deriving natural deduction rules from the truth table for a connective. The method applies to both constructive and classical logic. This implies we can derive “constructively valid” rules for any classical connective. We show this constructive validity by giving a general Kripke semantics, that is shown to be sound and ...
Geuvers, H., Hurkens, T.
openaire +2 more sources
An organic jelly made fractal logic gate with an infinite truth table. [PDF]
Sci Rep, 2015 Ghosh S, Fujita D, Bandyopadhyay A.
europepmc +1 more source
Design principle of naming scheme for ternary logic operation
上海师范大学学报. 自然科学版The difficulty of using truth table to describe the logical operation to the academic communication and highlighting the logical operation characteristics was analyzed, and the necessity of scientific naming the multi-valued logic operation rules was ...
LI Shuang, LI Luqun, JIN Yi
doaj +1 more source
PLoS ONEDifferential abundance (DA) analysis of metagenomic microbiome data is essential for understanding microbial community dynamics across various environments and hosts. Identifying microorganisms that differ significantly in abundance between conditions (e.
Eva Kohnert, Clemens Kreutz
doaj +1 more source
Addressing sustainability in mobility: a study on Finnish smart mobility innovation projects
European Transport Research ReviewThis research studies how recent Finnish smart mobility innovation projects have addressed sustainability in their objectives. A framework and a coding scheme were built upon scientific literature and was used for analysing documented project materials ...
Valtteri Ahonen +4 more
doaj +1 more source
High-Speed Low-Power Approach for Implementation of 8B/10B Encoder for High-Speed Communications
Majlesi Journal of Electrical EngineeringIn this paper, the design methodology for a high-speed 8B/10B encoding architecture has been discussed. By means of the new truth table and with the help of Pass-Transistor Logic (PTL), a new structure has been designed in CMOS technology, which shows a ...
Seyed Moosa Seyed Aalinejad
doaj +1 more source
Truth-table Schnorr randomness and truth-table reducible randomness [PDF]
Mathematical Logic Quarterly, 2011 openaire +1 more source
When Honesty Meets Modesty: Development of Evaluations on Lying About Achievements. [PDF]
Dev SciMa S, Chen EE, Yik M.
europepmc +1 more source
A Wavelet AI Algorithm to Automatically Identify Postprandial Glucose Responses From Continuous Glucose Monitoring Profiles in People Without Diabetes. [PDF]
J Diabetes Sci TechnolLim W +4 more
europepmc +1 more source