|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 961 occurrences of 445 keywords
|
|
|
|
|
Results
Found 674 publication records. Showing 674 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Vetle I. Torvik, Evangelos Triantaphyllou |
Inference of Monotone Boolean Functions.  |
Encyclopedia of Optimization  |
2009 |
DBLP DOI BibTeX RDF |
Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function |
| 3 | Sumanta Sarkar |
On the Symmetric Negabent Boolean Functions.  |
INDOCRYPT  |
2009 |
DBLP DOI BibTeX RDF |
negabent function, nega-Hadamard transform, Krawtchouk polynomial, Boolean function, bent function, symmetric Boolean function |
| 3 | Sandeepan Chowdhury, Subhamoy Maitra |
Efficient Software Implementation of LFSR and Boolean Function and Its Application in Nonlinear Combiner Model.  |
ACNS  |
2003 |
DBLP DOI BibTeX RDF |
Block Oriented Software Implementation, Boolean Function, Linear Feedback Shift Register, Resiliency, Nonlinearity, Algebraic Degree |
| 3 | Dingyi Pei, Wenliang Qin |
The Correlation of a Boolean Function with Its Variables.  |
INDOCRYPT  |
2000 |
DBLP DOI BibTeX RDF |
Boolean function, stream cipher, correlation, Walsh transformation |
| 3 | Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda |
An improved data parallel algorithm for Boolean function manipulation using BDDs.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
Boolean function manipulation, parallel algorithms, parallel algorithm, Boolean functions, Binary Decision Diagrams, BDDs, SIMD architectures, CPU time, data parallel algorithm |
| 2 | Alina Vasilieva, Taisia Mischenko-Slatenkova |
High precision quantum query algorithm for computing AND-based boolean functions.  |
Conf. Computing Frontiers  |
2010 |
DBLP DOI BibTeX RDF |
boolean function, quantum computing, algorithm design, algorithm complexity, query algorithm |
| 2 | Heribert Vollmer |
The Complexity of Deciding if a Boolean Function Can Be Computed by Circuits over a Restricted Basis.  |
Theory Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Post’s lattice, Membership problem, Computational complexity, Clones, Boolean circuit |
| 2 | Kishan Chand Gupta, Palash Sarkar |
Computing Partial Walsh Transform From the Algebraic Normal Form of a Boolean Function.  |
IEEE Transactions on Information Theory  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Shaojing Fu, Chao Li, Kanta Matsuura, Longjiang Qu |
Construction of Rotation Symmetric Boolean Functions with Maximum Algebraic Immunity.  |
CANS  |
2009 |
DBLP DOI BibTeX RDF |
Boolean Function, Nonlinearity, Algebraic Immunity, Rotation Symmetry |
| 2 | WenYing Zhang, ChuanKun Wu, XiangZhong Liu |
Construction and enumeration of Boolean functions with maximum algebraic immunity.  |
Science in China Series F: Information Sciences  |
2009 |
DBLP DOI BibTeX RDF |
cryptography, Boolean function, algebraic attack, algebraic immunity |
| 2 | Azam Beg, P. W. Chandana Prasad, Walid Ibrahim, Emad Abu Shama |
Utilizing synthesis to verify Boolean function models.  |
ISCAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Claude Carlet |
On the Higher Order Nonlinearities of Boolean Functions and S-Boxes, and Their Generalizations.  |
SETA  |
2008 |
DBLP DOI BibTeX RDF |
Higher-order nonlinearity, Cryptography, Boolean function, Stream cipher, Block cipher, S-box, Reed-Muller code, Covering radius |
| 2 | Longjiang Qu, Chao Li |
On the 2m-variable symmetric Boolean functions with maximum algebraic immunity.  |
Science in China Series F: Information Sciences  |
2008 |
DBLP DOI BibTeX RDF |
algebraic attack, algebraic immunity, symmetric Boolean function |
| 2 | Tsung-Lin Lee, Chun-Yao Wang |
Recognition of Fanout-free Functions.  |
ASP-DAC  |
2007 |
DBLP DOI BibTeX RDF |
state of the art method, fanout free functions, equivalent function, Boolean function, factoring, logic minimization |
| 2 | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
Symbolic Model Checking of Analog/Mixed-Signal Circuits.  |
ASP-DAC  |
2007 |
DBLP DOI BibTeX RDF |
analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language |
| 2 | Sondre Rønjom, Guang Gong, Tor Helleseth |
A Survey of Recent Attacks on the Filter Generator.  |
AAECC  |
2007 |
DBLP DOI BibTeX RDF |
nonlinear combiner generator, Boolean function, stream ciphers, m-sequences, filter generator |
| 2 | Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli |
Exploiting Regularities for Boolean Function Synthesis.  |
Theory Comput. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Claude Carlet |
On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities.  |
AAECC  |
2006 |
DBLP DOI BibTeX RDF |
Boolean function, stream cipher, resiliency, nonlinearity, algebraic attack, algebraic degree |
| 2 | Claude Carlet |
On the Higher Order Nonlinearities of Algebraic Immune Functions.  |
CRYPTO  |
2006 |
DBLP DOI BibTeX RDF |
higher order nonlinearity, Boolean function, stream cipher, block cipher, algebraic attack, algebraic immunity, algebraic degree |
| 2 | W. C. Chen, J. H. Jeng |
A Representation of WOS Filters Through Support Vector Machine.  |
PSIVT  |
2006 |
DBLP DOI BibTeX RDF |
linearly separable, maximal margin, normal vector, WOSF, SVM, Boolean function |
| 2 | Soumen Maity, Chrisil Arackaparambil, Kezhasono Meyase |
Construction of 1-Resilient Boolean Functions with Very Good Nonlinearity.  |
SETA  |
2006 |
DBLP DOI BibTeX RDF |
Boolean Function, Resiliency, Nonlinearity, Autocorrelation, Bent Function |
| 2 | An Braeken, Igor Semaev |
The ANF of the Composition of Addition and Multiplication mod 2n with a Boolean Function.  |
FSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | René Krenz, Elena Dubrova |
Improved Boolean function hashing based on multiple-vertex dominators.  |
ASP-DAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Scott J. Weber, Kurt Keutzer |
Using minimal minterms to represent programmability.  |
CODES+ISSS  |
2005 |
DBLP DOI BibTeX RDF |
Boolean function representation, instruction set extraction, Boolean satisfiability |
| 2 | Itai Benjamini, Oded Schramm, David Bruce Wilson |
Balanced boolean functions that can be evaluated so that every input bit is unlikely to be read.  |
STOC  |
2005 |
DBLP DOI BibTeX RDF |
boolean function, percolation, randomized decision tree, butterfly network |
| 2 | Ansaf Salleb, Christel Vrain |
Estimation of the Density of Datasets with Decision Diagrams.  |
ISMIS  |
2005 |
DBLP DOI BibTeX RDF |
Transactional dataset, boolean function, decision diagram, density |
| 2 | Hans Kleine Büning, Xishun Zhao |
On Models for Quantified Boolean Formulas.  |
Logic versus Approximation  |
2004 |
DBLP DOI BibTeX RDF |
model checking, complexity, Boolean function, satisfiability, quantified Boolean formula |
| 2 | Soumen Maity, Subhamoy Maitra |
Minimum Distance between Bent and 1-Resilient Boolean Functions.  |
FSE  |
2004 |
DBLP DOI BibTeX RDF |
Boolean Function, Resiliency, Nonlinearity, Autocorrelation, Bent Function |
| 2 | Pantelimon Stanica, Subhamoy Maitra, John A. Clark |
Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions.  |
FSE  |
2004 |
DBLP DOI BibTeX RDF |
Rotation Symmetric Boolean Function, Resiliency, Nonlinearity, Autocorrelation, Balancedness, Correlation Immunity, Bent Functions |
| 2 | Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
Automatic Extraction of Functional Dependencies.  |
SAT (Selected Papers  |
2004 |
DBLP DOI BibTeX RDF |
propositional reasoning and search, Boolean function, SAT |
| 2 | Rusins Freivalds, Masahiro Miyakawa, Ivo G. Rosenberg |
Complexity of Decision Trees for Boolean Functions. (PDF / PS)  |
ISMVL  |
2003 |
DBLP DOI BibTeX RDF |
deterministic and nondeter-ministic decision tree, complexity, Boolean function |
| 2 | Enes Pasalic |
Degree Optimized Resilient Boolean Functions from Maiorana-McFarland Class.  |
IMA Int. Conf.  |
2003 |
DBLP DOI BibTeX RDF |
Boolean Function, Resiliency, Nonlinearity, Algebraic Degree |
| 2 | Alexander Chashkin |
Average-Case Complexity of Partial Boolean Functions.  |
SAGA  |
2003 |
DBLP DOI BibTeX RDF |
Partial Boolean function, randomized straight-line program, average-case complexity, straight-line program |
| 2 | Bernd Steinbach, Christian Lang |
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition.  |
Artif. Intell. Rev.  |
2003 |
DBLP DOI BibTeX RDF |
bi-decomposition, Boolean differential calculus, derivative operation, multi-level circuit, delay, Boolean function, lattice, area |
| 2 | Chin-Chuan Han |
A Supervised Classification Scheme Using Positive Boolean Function.  |
ICPR  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Sabine Leveiller, Gilles Zémor, Philippe Guillot, Joseph Boutros |
A New Cryptanalytic Attack for PN-generators Filtered by a Boolean Function.  |
Selected Areas in Cryptography  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Marco Muselli, Diego Liberati |
Binary Rule Generation via Hamming Clustering.  |
IEEE Trans. Knowl. Data Eng.  |
2002 |
DBLP DOI BibTeX RDF |
Hamming clustering, Boolean function approximation, knowledge discovery, generalization, Rule generation |
| 2 | Bimal K. Roy |
A Brief Outline of Research on Correlation Immune Functions.  |
ACISP  |
2002 |
DBLP DOI BibTeX RDF |
Boolean Function, Stream Cipher, Symmetry, Nonlinearity, Enumeration, Autocorrelation, Balancedness, Correlation Immunity, Algebraic Degree, Multiple Output Function |
| 2 | Claude Carlet, Aline Gouget |
An Upper Bound on the Number of m-Resilient Boolean Functions.  |
ASIACRYPT  |
2002 |
DBLP DOI BibTeX RDF |
Cryptography, Boolean function, Stream cipher, Resilient function |
| 2 | Alexander Kholosha, Henk C. A. van Tilborg |
Tensor Transform of Boolean Functions and Related Algebraic and Probabilistic Properties.  |
ICICS  |
2002 |
DBLP DOI BibTeX RDF |
key-stream generator, tensor transform, cryptography, Boolean function, Walsh transform, probabilistic properties |
| 2 | Sugata Gangopadhyay, Subhamoy Maitra |
Further Results Related to Generalized Nonlinearity.  |
INDOCRYPT  |
2002 |
DBLP DOI BibTeX RDF |
Generalized Nonlinearity, Boolean Function, Nonlinearity, Algebraic Approach |
| 2 | Soumen Maity, Thomas Johansson |
Construction of Cryptographically Important Boolean Functions.  |
INDOCRYPT  |
2002 |
DBLP DOI BibTeX RDF |
Perfectly nonlinear function, Boolean function, Stream cipher, Resiliency, Nonlinearity, Combinatorial problems, Balancedness, Correlation immunity, Bent function, Algebraic degree |
| 2 | Rattikorn Hewett, John H. Leuchner |
Knowledge Discovery with Second-Order Relations.  |
Knowl. Inf. Syst.  |
2002 |
DBLP DOI BibTeX RDF |
Boolean function minimization, Data mining, Machine learning, Database theory |
| 2 | Yuriy Tarannikov |
New Constructions of Resilient Boolean Functions with Maximal Nonlinearity.  |
FSE  |
2001 |
DBLP DOI BibTeX RDF |
nonlinear combining function, Boolean function, Stream cipher, resiliency, nonlinearity, correlation-immunity |
| 2 | Maria Fedorova, Yuriy Tarannikov |
On the Constructing of Highly Nonlinear Resilient Boolean Functions by Means of Special Matrices.  |
INDOCRYPT  |
2001 |
DBLP DOI BibTeX RDF |
nonlinear combining function, special matrices, Boolean function, stream cipher, resiliency, nonlinearity, correlation-immunity |
| 2 | Subhamoy Maitra |
Autocorrelation Properties of Correlation Immune Boolean Functions.  |
INDOCRYPT  |
2001 |
DBLP DOI BibTeX RDF |
Global Avalanche Characteristics, Boolean Function, Resiliency, Autocorrelation, Correlation Immunity |
| 2 | Elena Dubrova, Luca Macchiarulo |
A Comment on 'Graph-Based Algorithm for Boolean Function Manipulation'.  |
IEEE Trans. Computers  |
2000 |
DBLP DOI BibTeX RDF |
composition, Boolean function, Binary Decision Diagram |
| 2 | Anne Canteaut, Eric Filiol |
Ciphertext Only Reconstruction of Stream Ciphers Based on Combination Generators.  |
FSE  |
2000 |
DBLP DOI BibTeX RDF |
ciphertext only reconstruction, Boolean function, stream cipher, correlation, linear feedback shift register |
| 2 | Yuriy Tarannikov |
On Resilient Boolean Functions with Maximal Possible Nonlinearity.  |
INDOCRYPT  |
2000 |
DBLP DOI BibTeX RDF |
nonlinear combining function, Siegenthaler's Inequality, Boolean function, Stream cipher, resiliency, nonlinearity, hardware implementation, pseudorandom generator, correlation-immunity, algebraic degree |
| 2 | Guang Gong, Amr M. Youssef |
On Welch-Gong Transformation Sequence Generators.  |
Selected Areas in Cryptography  |
2000 |
DBLP DOI BibTeX RDF |
pseudo-random sequence (number) generator, auto/cross correlation, linear span, r-resilient property, Boolean function, Stream cipher, non-linearity |
| 2 | Uri Lipowezky, Victor Shenkar |
Optimal Threshold Estimation Using Prototype Selection.  |
SSPR/SPR ![In: Advances in Pattern Recognition, Joint IAPR International Workshops SSPR 2000 and SPR 2000, [8th International Workshop on Structural and Syntactic Pattern Recognition, 3rd International Workshop on Statistical Techniques in Pattern Recognition], Alicante, Spain, August 30 - September 1, 2000, Proceedings, pp. 737-746, 2000, Springer, 3-540-67946-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
sum of boolean function optimization, edge detection, prototype selection |
| 2 | Fabrizio Luccio, Linda Pagli |
On a New Boolean Function with Applications.  |
IEEE Trans. Computers  |
1999 |
DBLP DOI BibTeX RDF |
Pseudocube, pseudoproduct, EXOR-factor, algebraic expression, Boolean function, logical design |
| 2 | Subhamoy Maitra, Palash Sarkar |
Enumeration of Correlation Immune Boolean Functions.  |
ACISP  |
1999 |
DBLP DOI BibTeX RDF |
Boolean Function, Stream Cipher, Symmetry, Nonlinearity, Enumeration, Balancedness, Correlation Immunity, Nondegeneracy |
| 2 | Subhamoy Maitra, Palash Sarkar |
Highly Nonlinear Resilient Functions Optimizing Siegenthaler's Inequality.  |
CRYPTO  |
1999 |
DBLP DOI BibTeX RDF |
Boolean Function, Stream Cipher, Nonlinearity, Balancedness, Correlation Immunity, Algebraic Degree |
| 2 | Yuliang Zheng, Xian-Mo Zhang |
Strong Linear Dependence and Unbiased Distribution of Non-propagative Vectors.  |
Selected Areas in Cryptography  |
1999 |
DBLP DOI BibTeX RDF |
Cryptography, Boolean Function, Nonlinearity, Propagation |
| 2 | Valeri Tomachev |
The PLD-Implementation of Boolean Function Characterized by Minimum Delay.  |
FPL  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Eric Filiol, Caroline Fontaine |
Highly Nonlinear Balanced Boolean Functions with a Good Correlation-Immunity.  |
EUROCRYPT  |
1998 |
DBLP DOI BibTeX RDF |
Boolean function, stream cipher, correlation, nonlinearity, balancedness, idempotent |
| 2 | Mahadevamurty Nemani, Farid N. Najm |
High-level area and power estimation for VLSI circuits.  |
ICCAD  |
1997 |
DBLP DOI BibTeX RDF |
VLSI, CAD, Boolean function, power, estimation, area, high-level |
| 2 | Ran Raz, Pierre McKenzie |
Separation of the Monotone NC Hierarchy.  |
FOCS  |
1997 |
DBLP DOI BibTeX RDF |
monotone NC hierarchy, tight lower bounds, monotone depth, DART games, communication complexity, communication complexity, search problems, monotone Boolean function |
| 2 | Naim Ben Hamida, Bechir Ayari, Bozena Kaminska |
Testing of embedded A/D converters in mixed-signal circuit. (PDF / PS)  |
ICCD  |
1996 |
DBLP DOI BibTeX RDF |
embedded A/D converters testing, integral nonlinearity error, differential nonlinearity error, offset error, gain error, boolean function manipulation, FFT, histogram, functional testing, transfer function, digital circuit, signal-to-noise ratio, mixed-signal circuit, analogue-digital conversion |
| 2 | Vl. V. Saposhnikov, Alexej Dmitriev, Michael Gössel, V. V. Saposhnikov |
Self-dual parity checking-A new method for on-line testing.  |
VTS  |
1996 |
DBLP DOI BibTeX RDF |
self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking |
| 2 | Rajeev Murgai, Masahiro Fujita, Fumiyasu Hirose |
Logic synthesis for a single large look-up table. (PDF / PS)  |
ICCD  |
1995 |
DBLP DOI BibTeX RDF |
single large look-up table, LUT-based field-programmable gate array architectures, simulation time minimisation, compile-code, software simulation, field programmable gate arrays, Boolean function, logic design, logic synthesis, hardware accelerator, programmable logic arrays, table lookup, logic simulation, FPGA architectures, logic functions, on-chip memory, memory constraint |
| 2 | Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross |
Efficient variable ordering and partial representation algorithm.  |
VLSI Design  |
1995 |
DBLP DOI BibTeX RDF |
partial representation algorithm, ordered partial decision diagrams, information-theoretic criteria, CAD problems, VLSI, data structures, data structures, entropy, Boolean functions, Boolean function, logic CAD, BDDs, variable ordering, truth table |
| 2 | Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima |
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.  |
DAC  |
1990 |
DBLP DOI BibTeX RDF |
|
| 2 | Yue-Sun Kuo |
Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs.  |
IEEE Trans. Computers  |
1987 |
DBLP DOI BibTeX RDF |
Boolean function with multiple-valued inputs, essential prime implicant, tautology checking, consensus, logic minimization, unate function |
| 2 | Yue-Sun Kuo, W. K. Chou |
Generating essential primes for a Boolean function with multiple-valued inputs.  |
DAC  |
1986 |
DBLP DOI BibTeX RDF |
|
| 2 | Colin R. Edwards |
The Application of the Rademacher-Walsh Transform to Boolean Function Classification and Threshold Logic Synthesis.  |
IEEE Trans. Computers  |
1975 |
DBLP DOI BibTeX RDF |
Boolean function classification, Rademacher-Walsh transform, logic synthesis, threshold logic |
| 2 | Franco Mileto, Gianfranco R. Putzolu |
Statistical Complexity of Algorithms for Boolean Function Minimization.  |
J. ACM  |
1965 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Vanneschi, Yuri Pirola, Giancarlo Mauri, Marco Tomassini, Philippe Collard, Sébastien Vérel |
A study of the neutrality of Boolean function landscapes in genetic programming.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger |
The fraction of large random trees representing a given Boolean function in implicational logic.  |
Random Struct. Algorithms  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Huan Chen 0001, Mikolás Janota, João Marques-Silva |
QBf-based boolean function bi-decomposition.  |
DATE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marco Muselli, Enrico Ferrari |
Coupling Logical Analysis of Data and Shadow Clustering for Partially Defined Positive Boolean Function Reconstruction.  |
IEEE Trans. Knowl. Data Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sirzat Kahramanli, Mehmet Hacibeyoglu, Ahmet Arslan |
A Boolean function approach to feature selection in consistent decision information systems.  |
Expert Syst. Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Garg, Sugata Gangopadhyay |
The Good lower bound of Second-order nonlinearity of a class of Boolean function.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Qingfang Jin, Zhuojun Liu, Baofeng Wu |
1-Resilient Boolean Function with Optimal Algebraic Immunity.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dana Ron, Ronitt Rubinfeld, Muli Safra, Omri Weinstein |
Approximating the Influence of a monotone Boolean function in O(\sqrt{n}) query complexity  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Huan Chen 0001, Mikolás Janota, João P. Marques Silva |
QBF-Based Boolean Function Bi-Decomposition  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Cicalese, Travis Gagie, Eduardo Sany Laber, Martin Milanic |
Competitive Boolean function evaluation: Beyond monotonicity, and the symmetric case.  |
Discrete Applied Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Chemeris, Svetlana Reznikova |
Parallelizing of Boolean function system for device simulation.  |
EWDTS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huan Chen 0001, João Marques-Silva |
Improvements to satisfiability-based boolean function bi-decomposition.  |
VLSI-SoC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | YinDong Chen |
A Construction of Balanced Odd-variable Boolean Function with Optimum Algebraic Immunity.  |
CIS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yindong Chen |
A Family Constructions of Odd-Variable Boolean Function with Optimum Algebraic Immunity.  |
FGIT-SecTech  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Dachman-Soled, Rocco A. Servedio |
A Canonical Form for Testing Boolean Function Properties.  |
APPROX-RANDOM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Scoville |
On The Topology of a Boolean Function  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ferdinando Cicalese, Travis Gagie, Eduardo Sany Laber, Martin Milanic |
Competitive Boolean Function Evaluation: Beyond Monotonicity, and the Symmetric Case  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marcel Wild |
Computing the output distribution of a stack filter from the DNF of its positive Boolean function  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | S. Ostanin, R. Muchamedov |
Testable combinational circuit design based on ZDD-implementation of ISOP Boolean function.  |
EWDTS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan-Josep Climent, Francisco J. García, Verónica Requena |
Computing the degree of a Boolean function from its support.  |
ISITA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jintai Ding, Timothy J. Hodges, Victoria Kruglov |
Growth of the Ideal Generated by a Quadratic Boolean Function.  |
PQCrypto  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik D. Demaine, Martin L. Demaine, Ryuhei Uehara |
Any monotone boolean function can be realized by interlocked polygons.  |
CCCG  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alina Vasilieva, Taisia Mischenko-Slatenkova |
An improved quantum query algorithm for computing AND Boolean function.  |
IEEE Congress on Evolutionary Computation  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek A. Bawiec, Maciej Nikodem |
Generalised threshold gate synthesis based on AND/OR/NOT representation of Boolean function.  |
ASP-DAC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Noga Alon, Eric Blais |
Testing Boolean Function Isomorphism.  |
APPROX-RANDOM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias Diakonikolas, Prahladh Harsha, Adam Klivans, Raghu Meka, Prasad Raghavendra, Rocco A. Servedio, Li-Yang Tan |
Bounding the average sensitivity and noise sensitivity of polynomial threshold functions.  |
STOC  |
2010 |
DBLP DOI BibTeX RDF |
average sensitivity, boolean function, fourier analysis, noise sensitivity, polynomial threshold function |
| 1 | Ilias Diakonikolas, Rocco A. Servedio, Li-Yang Tan, Andrew Wan |
A Regularity Lemma, and Low-Weight Approximators, for Low-Degree Polynomial Threshold Functions.  |
IEEE Conference on Computational Complexity  |
2010 |
DBLP DOI BibTeX RDF |
Boolean function, regularity lemma, polynomial threshold function |
| 1 | Mustafa Altun, Marc D. Riedel |
Lattice-based computation of Boolean functions.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
lattice duality, Boolean functions, lattices, switching circuits |
| 1 | Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun |
On the problems of using learning classifier systems for fraud detection.  |
GECCO  |
2010 |
DBLP DOI BibTeX RDF |
xcsr, learning classifier systems, fraud detection, genetics-based machine learning |
| 1 | María A. Franco, Natalio Krasnogor, Jaume Bacardit |
Analysing bioHEL using challenging boolean functions.  |
GECCO (Companion)  |
2010 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, learning classifier systems, rule induction, large-scale datasets |
| 1 | Ashok Kumar Palaniswamy, Manoj Kumar Goparaju, Spyros Tragoudas |
Scalable identification of threshold logic functions.  |
ACM Great Lakes Symposium on VLSI  |
2010 |
DBLP DOI BibTeX RDF |
threshold logic gates |
| 1 | Mehreen Afzal, Ashraf Masood |
Efficient Approximation of Higher Order Boolean function in a Low Order Function.  |
IACR Cryptology ePrint Archive  |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 674 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|