Works matching DE "BOOLEAN functions"

Results: 1248

An extended B-Rep solid modeling kernel integrating mesh and NURBS faces.

Published in:

Computer-Aided Design & Applications, 2018, v. 15, n. 5, p. 697, doi. 10.1080/16864360.2018.1441237

By:

Ferrari, Giacomo;
Raffaeli, Roberto;
Casciola, Giulio;
Morigi, Serena

Publication type:

Article

CAD based simulation of ball end mill manufacturing.

Published in:

Computer-Aided Design & Applications, 2017, v. 14, n. 1, p. 38, doi. 10.1080/16864360.2016.1199754

By:

Baburaj, M.;
Ghosh, A.;
Shunmugam, M. S.

Publication type:

Article

Efficient Booleans algorithms for triangulated meshes of geometric modeling.

Published in:

Computer-Aided Design & Applications, 2016, v. 13, n. 4, p. 419, doi. 10.1080/16864360.2015.1131530

By:

Jiang, Xiaotong;
Peng, Qingjin;
Cheng, Xiaosheng;
Dai, Ning;
Cheng, Cheng;
Li, Dawei

Publication type:

Article

Undercut Free Parting Direction Determination for Injection Molded Parts Using Surface Based Accessibility Analysis.

Published in:

Computer-Aided Design & Applications, 2011, v. 8, n. 2, p. 175, doi. 10.3722/cadaps.2011.175-191

By:

Bassi, Rajnish;
Bedi, Sanjeev;
Bolaños, Gerardo Salas

Publication type:

Article

Matrix discrepancy and the log-rank conjecture.

Published in:

Mathematical Programming, 2025, v. 212, n. 1, p. 567, doi. 10.1007/s10107-024-02117-9

By:

Sudakov, Benny;
Tomon, István

Publication type:

Article

The Exact Circuit Complexity of Boolean Functions in an Infinite Basis.

Published in:

Mathematical Notes, 2025, v. 117, n. 3, p. 579, doi. 10.1134/S0001434625030241

By:

Kochergin, V. V.;
Mikhailovich, A. V.

Publication type:

Article

A Quantum Algorithm for the Classification of Patterns of Boolean Functions.

Published in:

Mathematics (2227-7390), 2025, v. 13, n. 11, p. 1750, doi. 10.3390/math13111750

By:

Andronikos, Theodore;
Bitsakos, Constantinos;
Nikas, Konstantinos;
Goumas, Georgios I.;
Koziris, Nectarios

Publication type:

Article

Constructing Keyed Strong S-Boxes with High Nonlinearity Based on a 2D-Hyperchaotic Map and Elliptic Curve.

Published in:

International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2025, v. 35, n. 8, p. 1, doi. 10.1142/S0218127425500968

By:

Li, Xuerong;
Liu, Hongjun

Publication type:

Article

On Decompositions of Permutations in Quadratic Functions.

Published in:

Journal of Cryptology, 2025, v. 38, n. 3, p. 1, doi. 10.1007/s00145-025-09547-4

By:

Andreoli, Samuele;
Piccione, Enrico;
Budaghyan, Lilya;
Stănică, Pantelimon;
Nikova, Svetla

Publication type:

Article

Construction and Completion of the Knowledge Graph for Cow Estrus with the Association Rule Mining.

Published in:

Applied Sciences (2076-3417), 2025, v. 15, n. 10, p. 5235, doi. 10.3390/app15105235

By:

Cheng, Zhiwei;
Ding, Luyu;
Peng, Cheng;
Yu, Helong;
Yang, Baozhu;
Yu, Ligen;
Li, Qifeng

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

Single-shuffle card-based protocol with eight cards per gate and its extensions: Single-shuffle card-based...: K. Tozawa et al.

Published in:

Natural Computing, 2025, v. 24, n. 1, p. 131, doi. 10.1007/s11047-024-10006-5

By:

Tozawa, Kazunari;
Morita, Hiraku;
Mizuki, Takaaki

Publication type:

Article

A classification of S-boxes generated by orthogonal cellular automata.

Published in:

Natural Computing, 2024, v. 23, n. 1, p. 5, doi. 10.1007/s11047-023-09956-z

By:

Mariot, Luca;
Manzoni, Luca

Publication type:

Article

Large population sizes and crossover help in dynamic environments.

Published in:

Natural Computing, 2024, v. 23, n. 1, p. 115, doi. 10.1007/s11047-022-09915-0

By:

Lengler, Johannes;
Meier, Jonas

Publication type:

Article

Exponential separation between quantum and classical ordered binary decision diagrams, reordering method and hierarchies.

Published in:

Natural Computing, 2023, v. 22, n. 4, p. 723, doi. 10.1007/s11047-022-09904-3

By:

Khadiev, Kamil;
Khadieva, Aliya;
Knop, Alexander

Publication type:

Article

Heuristic search of (semi-)bent functions based on cellular automata.

Published in:

Natural Computing, 2022, v. 21, n. 3, p. 377, doi. 10.1007/s11047-022-09885-3

By:

Mariot, Luca;
Saletta, Martina;
Leporati, Alberto;
Manzoni, Luca

Publication type:

Article

Search space reduction of asynchrony immune cellular automata.

Published in:

Natural Computing, 2020, v. 19, n. 2, p. 287, doi. 10.1007/s11047-020-09788-1

By:

Mariot, Luca;
Manzoni, Luca;
Dennunzio, Alberto

Publication type:

Article

Activity in Boolean networks.

Published in:

Natural Computing, 2017, v. 16, n. 3, p. 427, doi. 10.1007/s11047-016-9584-z

By:

Adiga, Abhijin;
Galyean, Hilton;
Kuhlman, Chris;
Levet, Michael;
Mortveit, Henning;
Wu, Sichao

Publication type:

Article

Asynchronous Boolean networks and hereditarily bijective maps.

Published in:

Natural Computing, 2015, v. 14, n. 4, p. 545, doi. 10.1007/s11047-015-9523-4

By:

Ruet, Paul

Publication type:

Article

Computing maximal and minimal trap spaces of Boolean networks.

Published in:

Natural Computing, 2015, v. 14, n. 4, p. 535, doi. 10.1007/s11047-015-9520-7

By:

Klarner, Hannes;
Bockmayr, Alexander;
Siebert, Heike

Publication type:

Article

Logic circuits from zero forcing.

Published in:

Natural Computing, 2015, v. 14, n. 3, p. 485, doi. 10.1007/s11047-014-9438-5

By:

Burgarth, Daniel;
Giovannetti, Vittorio;
Hogben, Leslie;
Severini, Simone;
Young, Michael

Publication type:

Article

To what extent is zero energy computing feasible?

Published in:

Natural Computing, 2015, v. 14, n. 3, p. 451, doi. 10.1007/s11047-014-9458-1

By:

Shamir, Joseph

Publication type:

Article

Symbol representations and signal dynamics in evolving droplet computers.

Published in:

Natural Computing, 2014, v. 13, n. 2, p. 247, doi. 10.1007/s11047-013-9384-7

By:

Escuela, Gabi;
Gruenert, Gerd;
Dittrich, Peter

Publication type:

Article

The Deutsch-Jozsa problem: de-quantisation and entanglement.

Published in:

Natural Computing, 2012, v. 11, n. 1, p. 3, doi. 10.1007/s11047-011-9276-7

By:

Abbott, Alastair

Publication type:

Article

Differentiable learning of matricized DNFs and its application to Boolean networks.

Published in:

Machine Learning, 2023, v. 112, n. 8, p. 2821, doi. 10.1007/s10994-023-06346-5

By:

Sato, Taisuke;
Inoue, Katsumi

Publication type:

Article

Construction of multivalued cryptographic boolean function using recurrent neural network and its application in image encryption scheme.

Published in:

Artificial Intelligence Review, 2023, v. 56, n. 6, p. 5403, doi. 10.1007/s10462-022-10295-1

By:

Abughazalah, Nabilah;
Latif, Asim;
Hafiz, Muhammad Waseem;
Khan, Majid;
Alanazi, Ammar S.;
Hussain, Iqtadar

Publication type:

Article

VerifyThis 2012.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 647, doi. 10.1007/s10009-015-0396-8

By:

Huisman, Marieke;
Klebanov, Vladimir;
Monahan, Rosemary

Publication type:

Article

Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 613, doi. 10.1007/s10009-012-0229-y

By:

Heider, Wolfgang;
Rabiser, Rick;
Grünbacher, Paul

Publication type:

Article

On one class of decision diagrams.

Published in:

Automation & Remote Control, 2016, v. 77, n. 4, p. 617, doi. 10.1134/S000511791604007X

By:

Semenov, A.;
Otpuschennikov, I.

Publication type:

Article

A bilevel planning model for public-private partnership.

Published in:

Automation & Remote Control, 2015, v. 76, n. 11, p. 1976, doi. 10.1134/S0005117915110077

By:

Lavlinskii, S.;
Panin, A.;
Plyasunov, A.

Publication type:

Article

Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram.

Published in:

Automation & Remote Control, 2014, v. 75, n. 7, p. 1173, doi. 10.1134/S0005117914070017

By:

Bibilo, P.

Publication type:

Article

Polynomial transformation of Boolean functions: Analysis of computational algorithms.

Published in:

Automation & Remote Control, 2014, v. 75, n. 7, p. 1301, doi. 10.1134/S0005117914070108

By:

Akinin, A.;
Achkasov, A.;
Podval'nyi, S.;
Tyurin, S.

Publication type:

Article

Logical synthesis of the control algorithm in a system with Boolean variables.

Published in:

Automation & Remote Control, 2014, v. 75, n. 3, p. 526, doi. 10.1134/S0005117914030096

By:

German, O.;
Sadovskaya, O.

Publication type:

Article

Summation codes for organization of control of combinational circuits.

Published in:

Automation & Remote Control, 2013, v. 74, n. 6, p. 1020, doi. 10.1134/S0005117913060118

By:

Blyudov, A.;
Efanov, D.;
Sapozhnikov, V.;
Sapozhnikov, Vl.

Publication type:

Article

Project verification and construction of superchip tests at the RTL level.

Published in:

Automation & Remote Control, 2013, v. 74, n. 1, p. 113, doi. 10.1134/S0005117913010104

By:

Zolotorevich, L.

Publication type:

Article

Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions.

Published in:

Automation & Remote Control, 2012, v. 73, n. 7, p. 1216, doi. 10.1134/S0005117912070119

By:

Cheremisinova, L.

Publication type:

Article

On scheduling credited projects.

Published in:

Automation & Remote Control, 2012, v. 73, n. 3, p. 508, doi. 10.1134/S0005117912030095

By:

Martynova, E.;
Servakh, V.

Publication type:

Article

A modified summation code for organizing control of combinatorial circuits.

Published in:

Automation & Remote Control, 2012, v. 73, n. 1, p. 153, doi. 10.1134/S0005117912010122

By:

Blyudov, A.;
Sapozhnikov, V.;
Sapozhnikov, Vl.

Publication type:

Article

Advanced Boolean modeling of biological networks applied to systems pharmacology.

Published in:

Bioinformatics, 2017, v. 33, n. 7, p. 1040, doi. 10.1093/bioinformatics/btw747

By:

Irurzun-Arana, Itziar;
Martín Pastor, José;
Trocóniz, Iñaki F.;
Gómez-Mantilla, José David

Publication type:

Article

Exact likelihood computation in Boolean networks with probabilistic time delays, and its application in signal network reconstruction.

Published in:

Bioinformatics, 2014, v. 30, n. 3, p. 414

By:

Dümcke, Sebastian;
Bräuer, Johannes;
Anchang, Benedict;
Spang, Rainer;
Beerenwinkel, Niko;
Tresch, Achim

Publication type:

Article

Boolean approach to signalling pathway modelling in HGF-induced keratinocyte migration.

Published in:

Bioinformatics, 2012, v. 28, n. 18, p. i495, doi. 10.1093/bioinformatics/bts410

By:

Singh, Amit;
Nascimento, Juliana M.;
Kowar, Silke;
Busch, Hauke;
Boerries, Melanie

Publication type:

Article

Modeling mechanistic biological networks: An advanced Boolean approach.

Published in:

Bioinformatics, 2012, v. 28, n. 4, p. 557, doi. 10.1093/bioinformatics/btr697

By:

Handorf, T.;
Klipp, E.

Publication type:

Article

An algebraic characterisation of ample type I groupoids.

Published in:

Semigroup Forum, 2022, v. 104, n. 1, p. 58, doi. 10.1007/s00233-021-10241-7

By:

Favre, Gabriel;
Raum, Sven

Publication type:

Article

On associative operations on commutative integral domains.

Published in:

Semigroup Forum, 2020, v. 100, n. 3, p. 910, doi. 10.1007/s00233-019-10044-x

By:

Lehtonen, Erkko;
Starke, Florian

Publication type:

Article

A characterization of n-associative, monotone, idempotent functions on an interval that have neutral elements.

Published in:

Semigroup Forum, 2018, v. 96, n. 3, p. 438, doi. 10.1007/s00233-017-9876-3

By:

Kiss, Gergely;
Somlai, Gábor

Publication type:

Article

A class of lattices and boolean functions related to the Manickam-Miklös-Singhi conjecture.

Published in:

Advances in Geometry, 2013, v. 13, n. 1, p. 1, doi. 10.1515/advgeom-2012-0027

By:

Bisi, Cinzia;
Chiaselotti, Giampiero

Publication type:

Article

Xor-And-Inverter Graphs for Quantum Compilation.

Published in:

NPJ Quantum Information, 2022, v. 8, n. 1, p. 1, doi. 10.1038/s41534-021-00514-y

By:

Meuli, Giulia;
Soeken, Mathias;
De Micheli, Giovanni

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