Works matching DE "BOOLEAN functions"
Results: 1203
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:
- 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:
- Publication type:
- Article
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 171, doi. 10.1613/jair.1.15821
- By:
- Publication type:
- Article
Classes of Hard Formulas for QBF Resolution.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 1455, doi. 10.1613/jair.1.14710
- By:
- Publication type:
- Article
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI.
- Published in:
- Journal of Artificial Intelligence Research, 2021, v. 72, p. 285, doi. 10.1613/jair.1.12756
- By:
- Publication type:
- Article
On the Computational Complexity of Non-Dictatorial Aggregation.
- Published in:
- Journal of Artificial Intelligence Research, 2021, v. 72, p. 137
- By:
- Publication type:
- Article
On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 66, p. 655, doi. 10.1613/jair.1.11821
- By:
- Publication type:
- Article
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 303, doi. 10.1613/jair.3809
- By:
- Publication type:
- Article
Local Consistency and SAT-Solvers.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 329, doi. 10.1613/jair.3531
- By:
- Publication type:
- Article
SAS+ Planning as Satisfiability.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 293, doi. 10.1613/jair.3442
- By:
- Publication type:
- Article
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 40, p. 701, doi. 10.1613/jair.3196
- By:
- Publication type:
- Article
An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 39, p. 663
- By:
- Publication type:
- Article
Incorporating measurement uncertainty into OCL/UML primitive datatypes.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 5, p. 1163, doi. 10.1007/s10270-019-00741-0
- By:
- Publication type:
- Article
Multimedia contents confidentiality preservation in constrained environments: a dynamic approach.
- Published in:
- Multimedia Tools & Applications, 2023, v. 82, n. 14, p. 21775, doi. 10.1007/s11042-023-14863-7
- By:
- Publication type:
- Article
On FPGA implementation in medical secret image sharing with data hiding.
- Published in:
- Multimedia Tools & Applications, 2022, v. 81, n. 13, p. 18755, doi. 10.1007/s11042-022-12451-9
- By:
- Publication type:
- Article
Power Laws Variance Scaling of Boolean Random Varieties.
- Published in:
- Methodology & Computing in Applied Probability, 2016, v. 18, n. 4, p. 1065, doi. 10.1007/s11009-015-9464-5
- By:
- Publication type:
- Article
Attentive deep neural networks for legal document retrieval.
- Published in:
- Artificial Intelligence & Law, 2024, v. 32, n. 1, p. 57, doi. 10.1007/s10506-022-09341-8
- By:
- Publication type:
- Article
No More Than 2d+1-2 Nearly Neighbourly Simplices in Rd.
- Published in:
- Discrete & Computational Geometry, 2021, v. 66, n. 2, p. 659, doi. 10.1007/s00454-019-00170-2
- By:
- Publication type:
- Article
Property Testing and Expansion in Cubical Complexes.
- Published in:
- Discrete & Computational Geometry, 2021, v. 65, n. 3, p. 893, doi. 10.1007/s00454-019-00160-4
- By:
- Publication type:
- Article
3D Edge Detection Based on Boolean Functions and Local Operators.
- Published in:
- International Journal of Image & Graphics, 2015, v. 15, n. 1, p. -1, doi. 10.1142/S0219467815500035
- By:
- Publication type:
- Article
互补序列研究进展.
- Published in:
- Journal of Guangxi Normal University - Natural Science Edition, 2023, v. 41, n. 1, p. 1, doi. 10.16088/j.issn.1001-6600.2022071801
- By:
- Publication type:
- Article
Generating series and matrix models for meandric systems with one shallow side.
- Published in:
- Annales de l'Institut Henri Poincaré D, 2024, v. 11, n. 2, p. 299, doi. 10.4171/AIHPD/183
- By:
- Publication type:
- Article
A Comparison of the Boolean and Continuous Dynamics of Three-Gene Regulatory Networks.
- Published in:
- Letters in Biomathematics, 2014, v. 1, n. 1, p. 51, doi. 10.1080/23737867.2014.11414470
- By:
- Publication type:
- Article
Mutant selection by using Fourier expansion.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2020, v. 28, n. 5, p. 2750, doi. 10.3906/elk-1909-90
- By:
- Publication type:
- Article
Novel representations for a coherent threshold reliability system: a tale of eight signal flow graphs.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2018, v. 26, n. 1, p. 257, doi. 10.3906/elk-1612-92
- By:
- Publication type:
- Article
New Patterson-Wiedemann type functions with 15 variables in the generalized rotation-symmetric class.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2017, v. 25, n. 6, p. 4901, doi. 10.3906/elk-1701-214
- By:
- Publication type:
- Article
Layered patterns in nature, medicine, and materials: quantifying anisotropic structures and cyclicity.
- Published in:
- PeerJ, 2019, p. 1, doi. 10.7717/peerj.7813
- By:
- 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:
- Publication type:
- Article
The properties of 2-CNF of the mutually dual and self-dual T0-topologies on the finite set and the calculation of T0-topologies of a certain weight.
- Published in:
- Proceedings of the International Geometry Center, 2022, v. 15, n. 1, p. 75, doi. 10.15673/tmgc.v15i1.2084
- By:
- Publication type:
- Article
Using Boolean factors for the construction of an artificial neural networks.
- Published in:
- International Journal of General Systems, 2018, v. 47, n. 8, p. 849, doi. 10.1080/03081079.2018.1524893
- By:
- Publication type:
- Article
Optimal elements separation in non-repairable phased-mission systems.
- Published in:
- International Journal of General Systems, 2014, v. 43, n. 8, p. 864, doi. 10.1080/03081079.2014.913286
- By:
- Publication type:
- Article
Knowledge reduction in formal decision contexts based on an order-preserving mapping.
- Published in:
- International Journal of General Systems, 2012, v. 41, n. 2, p. 143, doi. 10.1080/03081079.2011.634410
- By:
- Publication type:
- Article
Making CEGAR More Efficient in Software Model Checking.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 12, p. 1206, doi. 10.1109/TSE.2014.2357442
- By:
- Publication type:
- Article
A Note on APN Permutations and Their Derivatives.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 22, p. 3477, doi. 10.3390/math12223477
- By:
- Publication type:
- Article
On the Pentanomial Power Mapping Classification of 8-bit to 8-bit S-Boxes.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 14, p. 2154, doi. 10.3390/math12142154
- By:
- Publication type:
- Article
A Note on the LogRank Conjecture in Communication Complexity.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 22, p. 4651, doi. 10.3390/math11224651
- By:
- Publication type:
- Article
BooLSPLG: A Library with Parallel Algorithms for Boolean Functions and S-Boxes for GPU.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 8, p. 1864, doi. 10.3390/math11081864
- By:
- Publication type:
- Article
A New Construction of Weightwise Perfectly Balanced Functions with High Weightwise Nonlinearity.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 5, p. 1193, doi. 10.3390/math11051193
- By:
- Publication type:
- Article
On Resilient Boolean and Vectorial Boolean Functions with High Nonlinearity.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 24, p. 4822, doi. 10.3390/math10244822
- By:
- Publication type:
- Article
Resiliency and Nonlinearity Profiles of Some Cryptographic Functions.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 23, p. 4473, doi. 10.3390/math10234473
- By:
- Publication type:
- Article
Construction of Boolean Functions from Hermitian Codes.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 6, p. 899, doi. 10.3390/math10060899
- By:
- Publication type:
- Article
Transformation Method for Solving System of Boolean Algebraic Equations.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 24, p. 3299, doi. 10.3390/math9243299
- By:
- Publication type:
- Article
On Machine-Learning Morphological Image Operators.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 16, p. 1854, doi. 10.3390/math9161854
- By:
- 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:
- Publication type:
- Article
DE MORGAN FUNCTIONS AND FREE DE MORGAN ALGEBRAS.
- Published in:
- Demonstratio Mathematica, 2018, v. 51, n. 1, p. 271, doi. 10.2478/dema-2014-0021
- By:
- Publication type:
- Article
Comparison of Fuzzy logic and Boolean methods in mapping nitrogen and phosphorus nutrients.
- Published in:
- Eurasian Journal of Soil Science, 2021, v. 10, n. 2, p. 171, doi. 10.18393/ejss.863606
- By:
- Publication type:
- Article
On Implementation of Boolean Functions by Contact Circuits with a Constant Uniform Width.
- Published in:
- Doklady Mathematics, 2020, v. 102, n. 3, p. 502, doi. 10.1134/S1064562420060150
- By:
- Publication type:
- Article
Dualization Problem over the Product of Chains: Asymptotic Estimates for the Number of Solutions.
- Published in:
- Doklady Mathematics, 2018, v. 98, n. 3, p. 564, doi. 10.1134/S1064562418070086
- By:
- Publication type:
- Article
Index sets of autostable relative to strong constructivizations constructive models for familiar classes.
- Published in:
- Doklady Mathematics, 2015, v. 92, n. 2, p. 525, doi. 10.1134/S106456241505004X
- By:
- Publication type:
- Article
Computational complexity and approximation for a generalization of the Euclidean problem on the Chebyshev center.
- Published in:
- Doklady Mathematics, 2013, v. 87, n. 3, p. 342, doi. 10.1134/S1064562413030253
- By:
- Publication type:
- Article