Works matching DE "BOOLEAN functions"

Results: 1204

Boolean Logic.

Published in:

Knowledge Organization, 2021, v. 48, n. 2, p. 177, doi. 10.5771/0943-7444-2021-2-177

By:

Frické, Martin

Publication type:

Article

A hybrid approach for aircraft fault diagnosis based on fault inference and fault identification.

Published in:

Aeronautical Journal, 2014, v. 118, n. 1199, p. 81, doi. 10.1017/S0001924000008940

By:

Liu, X.;
Liu, Z.

Publication type:

Article

An Accelerated Variable Stage Size Carry Skip Adder Realization Using 1S1R Resistive Memory.

Published in:

International Journal of Information Technology & Decision Making, 2024, v. 23, n. 3, p. 1335, doi. 10.1142/S0219622023500414

By:

Dilna, U.;
Prasad, S. N.

Publication type:

Article

Functional Demonstration of a Memristive Arithmetic Logic Unit (MemALU) for In‐Memory Computing.

Published in:

Advanced Functional Materials, 2019, v. 29, n. 49, p. N.PAG, doi. 10.1002/adfm.201905660

By:

Cheng, Long;
Li, Yi;
Yin, Kang‐Sheng;
Hu, Si‐Yu;
Su, Yu‐Ting;
Jin, Miao‐Miao;
Wang, Zhuo‐Rui;
Chang, Ting‐Chang;
Miao, Xiang‐Shui

Publication type:

Article

Derivatives in discrete mathematics: a novel graph-theoretical invariant for generating new 2/3D molecular descriptors. I. Theory and QSPR application.

Published in:

Journal of Computer-Aided Molecular Design, 2012, v. 26, n. 11, p. 1229, doi. 10.1007/s10822-012-9591-9

By:

Marrero-Ponce, Yovani;
Santiago, Oscar;
López, Yoan;
Barigye, Stephen;
Torrens, Francisco

Publication type:

Article

On Computing Structural and Behavioral Complexities of Threshold Boolean Networks: Application to Biological Networks.

Published in:

Acta Biotheoretica, 2020, v. 68, n. 1, p. 119, doi. 10.1007/s10441-019-09358-8

By:

Christen, Urvan;
Ivanov, Sergiu;
Segretain, Rémi;
Trilling, Laurent;
Glade, Nicolas

Publication type:

Article

Computing with Synthetic Protocells.

Published in:

Acta Biotheoretica, 2015, v. 63, n. 3, p. 309, doi. 10.1007/s10441-015-9258-8

By:

Courbet, Alexis;
Molina, Franck;
Amar, Patrick

Publication type:

Article

Formal Methods for Hopfield-Like Networks.

Published in:

Acta Biotheoretica, 2013, v. 61, n. 1, p. 21, doi. 10.1007/s10441-013-9169-5

By:

Ben Amor, Hedi;
Corblin, Fabien;
Fanchon, Eric;
Elena, Adrien;
Trilling, Laurent;
Demongeot, Jacques;
Glade, Nicolas

Publication type:

Article

Boolean-Valued Analysis of Order-Bounded Operators.

Published in:

Journal of Mathematical Sciences, 2016, v. 218, n. 5, p. 609, doi. 10.1007/s10958-016-3046-0

By:

Kusraev, A.;
Kutateladze, S.

Publication type:

Article

An Example of two Cardinals that are Equivalent in the n-Order Logic and not Equivalent in the ( n + 1)-Order Logic.

Published in:

Journal of Mathematical Sciences, 2014, v. 201, n. 4, p. 431, doi. 10.1007/s10958-014-2002-0

By:

Bragin, V.;
Bunina, E.

Publication type:

Article

Using relevance queries for identification of read-once functions.

Published in:

Journal of Mathematical Sciences, 2013, v. 192, n. 3, p. 359, doi. 10.1007/s10958-013-1401-y

By:

Chistikov, D.

Publication type:

Article

Circuit complexity of linear functions: gate elimination and feeble security.

Published in:

Journal of Mathematical Sciences, 2013, v. 188, n. 1, p. 35, doi. 10.1007/s10958-012-1104-9

By:

Davydow, A.;
Nikolenko, S.

Publication type:

Article

Approximation of Boolean functions to Schaefer's classes.

Published in:

Journal of Mathematical Sciences, 2012, v. 183, n. 3, p. 407, doi. 10.1007/s10958-012-0821-4

By:

Potseluevskaya, E.

Publication type:

Article

Topologies, Ranks, and Closures for Families of Theories. I.

Published in:

Algebra & Logic, 2021, v. 59, n. 6, p. 437, doi. 10.1007/s10469-021-09620-4

By:

Markhabatov, N. D.;
Sudoplatov, S. V.

Publication type:

Article

Divisible Rigid Groups. II. Stability, Saturation, and Elementary Submodels.

Published in:

Algebra & Logic, 2018, v. 57, n. 1, p. 29, doi. 10.1007/s10469-018-9476-7

By:

Myasnikov, A. G.;
Romanovskii, N. S.

Publication type:

Article

Autostability Spectra for Boolean Algebras.

Published in:

Algebra & Logic, 2015, v. 53, n. 6, p. 502, doi. 10.1007/s10469-015-9311-3

By:

Bazhenov, N.

Publication type:

Article

Sharp Thresholds for Monotone Non-Boolean Functions and Social Choice Theory.

Published in:

Mathematics of Operations Research, 2015, v. 40, n. 4, p. 915, doi. 10.1287/moor.2014.0703

By:

Kalai, Gil;
Mossel, Elchanan

Publication type:

Article

INTELIGENCIA ARTIFICIAL Y CREATIVIDAD: CABALGANDO AL TIGRE.

Published in:

Anuario de Propiedad Intelectual, 2022, n. 2021, p. 211

By:

LACRUZ MANTECÓN, Miguel L.

Publication type:

Article

Las funciones booleanas y el lema de Bonami.

Published in:

Gaceta de la Real Sociedad Matemática Española, 2025, v. 28, n. 1, p. 51

By:

José González, María;
MacManus, Paul;
Cristina Pereyra, María

Publication type:

Article

La conjetura de la sensibilidad y su resolución vía teoría de grafos.

Published in:

Gaceta de la Real Sociedad Matemática Española, 2023, v. 26, n. 1, p. 131

By:

Asensio Ferrero, Sara

Publication type:

Article

Boolean differential operators.

Published in:

Turkish Journal of Mathematics, 2018, v. 42, n. 1, p. 57, doi. 10.3906/mat-1607-22

By:

HERNÁNDEZ ENCINAS, Luis;
MARTIN DEL REY, Ángel

Publication type:

Article

Exploring Multi‐Bit Logic In‐Memory with Memristive HfO<sub>2</sub>‐Based Ferroelectric Tunnel Junctions (Adv. Electron. Mater. 3/2024).

Published in:

Advanced Electronic Materials, 2024, v. 10, n. 3, p. 1, doi. 10.1002/aelm.202300618

By:

Kho, Wonwoo;
Hwang, Hyunjoo;
Ahn, Seung‐Eon

Publication type:

Article

Heterosynaptic Plasticity and Neuromorphic Boolean Logic Enabled by Ferroelectric Polarization Modulated Schottky Diodes.

Published in:

Advanced Electronic Materials, 2023, v. 9, n. 3, p. 1, doi. 10.1002/aelm.202201155

By:

Xi, Fengben;
Grenmyr, Andreas;
Zhang, Jiayuan;
Han, Yi;
Bae, Jin Hee;
Grützmacher, Detlev;
Zhao, Qing‐Tai

Publication type:

Article

Efficient Parallel Multi‐Bit Logic‐in‐Memory Based on a Ultrafast Ferroelectric Tunnel Junction Memristor.

Published in:

Advanced Electronic Materials, 2021, v. 7, n. 3, p. 1, doi. 10.1002/aelm.202000988

By:

Ma, Chao;
Tao, Linfeng;
Luo, Zhen;
Sun, Haoyang;
Liu, Chuanchuan;
Wang, Zijian;
Zhou, Xiang;
Jin, Xi;
Yin, Yuewei;
Li, Xiaoguang

Publication type:

Article

An Electric‐Field‐Controlled High‐Speed Coexisting Multibit Memory and Boolean Logic Operations in Manganite Nanowire via Local Gating.

Published in:

Advanced Electronic Materials, 2019, v. 5, n. 6, p. N.PAG, doi. 10.1002/aelm.201900020

By:

Shi, Qian;
Jiang, Fengxian;
Yu, Yang;
Lin, Hanxuan;
Kou, Yunfang;
Miao, Tian;
Liu, Hao;
Yang, Wenting;
Wang, Wenbin;
Cai, Peng;
Xu, Xiaohong;
Guo, Hangwen;
Yin, Lifeng;
Shen, Jian

Publication type:

Article

Large Magnetoresistance and 15 Boolean Logic Functions Based on a ZnCoO Film and Diode Combined Device.

Published in:

Advanced Electronic Materials, 2019, v. 5, n. 3, p. N.PAG, doi. 10.1002/aelm.201800812

By:

Zhang, Yue;
Zhang, Zhizhong;
Zheng, Zhenyi;
Wang, Guanda;
Zhang, Kun;
Zhao, Weisheng;
Zhang, Youguang;
Liu, Qiwei;
Yan, Shishen

Publication type:

Article

Fully Functional Logic‐In‐Memory Operations Based on a Reconfigurable Finite‐State Machine Using a Single Memristor.

Published in:

Advanced Electronic Materials, 2018, v. 4, n. 11, p. N.PAG, doi. 10.1002/aelm.201800189

By:

Xu, Nuo;
Yoon, Kyung Jean;
Kim, Kyung Min;
Fang, Liang;
Hwang, Cheol Seong

Publication type:

Article

Thickness distribution of Boolean functions in 4 and 5 variables and a comparison with other cryptographic properties.

Published in:

Annales Mathematicae et Informaticae, 2020, v. 52, p. 117, doi. 10.33039/ami.2020.10.004

By:

Hopp, Mathias;
Ellingsen, Pål;
Riera, Constanza;
Stănică, Pantelimon

Publication type:

Article

APPROXIMATELY OPTIMUM STRATIFICATION FOR SENSITIVE QUANTITATIVE VARIABLES IN PPS SAMPLING.

Published in:

International Journal of Agricultural & Statistical Sciences, 2019, v. 15, n. 1, p. 449

By:

Verma, Med Ram;
Singh Joorel, J. P.;
Agnihotri, R. K.

Publication type:

Article

Implementing policies and predictive stochastic models to attend to borderline personality disorder crises: rationalising ssri antidepressants prescription in suicide prevention.

Published in:

2024

By:

Lazzari, C. G.

Publication type:

Abstract

Cooperative Boolean systems with generically long attractors I.

Published in:

Journal of Difference Equations & Applications, 2013, v. 19, n. 5, p. 772, doi. 10.1080/10236198.2012.691167

By:

Just, W.;
Malicki, M.

Publication type:

Article

Analogues of the Smale and Hirsch theorems for cooperative Boolean and other discrete systems.

Published in:

Journal of Difference Equations & Applications, 2012, v. 18, n. 2, p. 223, doi. 10.1080/10236190903357535

By:

Enciso, German A.;
Just, Winfried

Publication type:

Article

A Nonstationary Cylinder–Based Model Describing Group Dispersal in a Fragmented Habitat.

Published in:

Stochastic Models, 2014, v. 30, n. 1, p. 48, doi. 10.1080/15326349.2014.868734

By:

Soubeyrand, Samuel;
Mrkvicka, Tomáš;
Penttinen, Antti

Publication type:

Article

Genetic Approach to Improve Cryptographic Properties of Balanced Boolean Functions Using Bent Functions.

Published in:

Computers (2073-431X), 2023, v. 12, n. 8, p. 159, doi. 10.3390/computers12080159

By:

Özçekiç, Erol;
Kavut, Selçuk;
Kutucu, Hakan

Publication type:

Article

OPTIMIZATION PROBLEM FOR NUMBER OF LOGIC GATES NEEDED TO IMPLEMENT MULTIPLE BOOLEAN FUNCTIONS USING DECODER.

Published in:

Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2024, v. 16, n. 4, p. 110, doi. 10.15673/atbp.v16i4.3018

By:

M., Onai;
H., Skopyk

Publication type:

Article

OPTIMIZATION PROBLEM FOR NUMBER OF LOGIC GATES NEEDED TO IMPLEMENT MULTIPLE BOOLEAN FUNCTIONS USING DECODER.

Published in:

Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2024, v. 16, n. 3, p. 11, doi. 10.15673/atbp.v16i3.2915

By:

M., Onai;
H., Skopyk

Publication type:

Article

A quantum algorithm to approximate the linear structures of Boolean functions.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 1, p. 1, doi. 10.1017/S0960129516000013

By:

HONGWEI LI;
LI YANG

Publication type:

Article

Quantum algorithms for testing and learning Boolean functions.

Published in:

Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 386, doi. 10.1017/S0960129512000151

By:

FLOESS, DOMINIK;
ANDERSSON, ERIKA;
HILLERY, MARK

Publication type:

Article

Strengthening Crypto-1 Cipher Against Algebraic Attacks.

Published in:

Journal of ICT Research & Applications, 2015, v. 9, n. 1, p. 88, doi. 10.5614/itbj.ict.res.appl.2015.9.1.5

By:

Afianti, Farah;
Barmawi, Ari M.

Publication type:

Article

TWO METHODS FOR CONSTRUCTION OF SUBOPTIMISTIC AND SUBPESSIMISTIC SOLUTIONS OF THE INTERVAL PROBLEM OF MIXED-BOOLEAN PROGRAMMING.

Published in:

Radio Electronics, Computer Science, Control, 2018, n. 3, p. 57, doi. 10.15588/1607-3274-2018-3-7

By:

Mamedov, К. Sh.;
Mammadli, N. O.

Publication type:

Article

Concepts before coding: non-programming interactives to advance learning of introductory programming concepts in middle school.

Published in:

Computer Science Education, 2019, v. 29, n. 2/3, p. 106, doi. 10.1080/08993408.2019.1568955

By:

Grover, Shuchi;
Jackiw, Nicholas;
Lundh, Patrik

Publication type:

Article

The Generation of 3D Trimmed Elements for NURBS-Based Isogeometric Analysis.

Published in:

International Journal of Computational Methods, 2018, v. 15, n. 7, p. N.PAG, doi. 10.1142/S0219876218500652

By:

Im, Chan-Kyung;
Youn, Sung-Kie

Publication type:

Article

Pattern connectives.

Published in:

Journal of Logic & Computation, 2022, v. 32, n. 7, p. 1365, doi. 10.1093/logcom/exac033

By:

Toor, Jonathan van

Publication type:

Article

Proof theory, semantics and algebra for normative systems.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 8, p. 1757, doi. 10.1093/logcom/exv022

By:

Sun, Xin

Publication type:

Article

Computing the maximal Boolean complexity of families of Aristotelian diagrams.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1323, doi. 10.1093/logcom/exy015

By:

Demey, Lorenz

Publication type:

Article

Faulty sets of Boolean formulas and Łukasiewicz logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 2, p. 497, doi. 10.1093/logcom/exu073

By:

MUNDICI, DANIELE;
PICARDI, CLAUDIA

Publication type:

Article

Boolean unification with predicates.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 1, p. 109, doi. 10.1093/logcom/exv059

By:

EBERHARD, SEBASTIAN;
HETZL, STEFAN;
WELLER, DANIEL

Publication type:

Article

Deduction-detachment theorem in hidden k-logics.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 1, p. 233, doi. 10.1093/logcom/ext008

By:

Babenyshev, Sergey;
Martins, Manuel A.

Publication type:

Article

Attack–defense trees1.

Published in:

Journal of Logic & Computation, 2014, v. 24, n. 1, p. 55, doi. 10.1093/logcom/exs029

By:

Kordy, Barbara;
Mauw, Sjouke;
Radomirović, Saša;
Schweitzer, Patrick

Publication type:

Article

Complexity Classifications for Propositional Abduction in Post's Framework.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 5, p. 1145, doi. 10.1093/logcom/exr012

By:

Creignou, Nadia;
Schmidt, Johannes;
Thomas, Michael

Publication type:

Article