Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,290,777 papers from all fields of science
Search
Sign In
Create Free Account
Unate function
Known as:
Binate Function (Computing)
, Binate function
A unate function is a type of boolean function which has monotonic properties.They have been studied extensively in switching theory. A function is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Exclusive or
Switching circuit theory
Broader (1)
Syntax (logic)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
An $\widetilde{O}(n)$ Queries Adaptive Tester for Unateness
Subhash Khot
,
Igor Shinkar
arXiv.org
2016
Corpus ID: 43483393
We present an adaptive tester for the unateness property of Boolean functions. Given a function $f:\{0,1\}^n \to \{0,1\}$ the…
Expand
2015
2015
Scheda n. 1479 - Officina di Chiaravalle (1250-1270 circa), Colonne binate
Graziano Alfredo Vergani
2015
Corpus ID: 188085533
2015
2015
Learning with Queries inside the Class of Unate k-quasi-Horn Formulas
Víctor Lavín Puente
New generation computing
2015
Corpus ID: 253843923
Boolean formulas have been widely studied in the field of learning theory. We focus on the model of learning with queries, and…
Expand
1996
1996
Minimal delay test sets for unate gate networks
U. Sparmann
,
H. Mueller
,
S. Reddy
Asian Test Symposium
1996
Corpus ID: 10465508
We consider delay testing of a specific class of logic circuits, the so called 'unate gate networks (UGNs)', which are of…
Expand
1993
1993
Some Fundamental Properties of Multiple-Valued Kleenean Functions and Determination of Their Logic Formulas
Y. Hata
,
K. Nakashima
,
K. Yamato
IEEE Trans. Computers
1993
Corpus ID: 21744720
Multiple-valued Kleenean functions that are models of a Kleene algebra and are logic functions expressed by logic formulas…
Expand
1991
1991
On the complexity of enumerations for multiple-valued Kleenean functions and unate functions
Y. Hata
,
Masaharu Yuhara
,
F. Miyawaki
,
K. Yamato
[] Proceedings of the Twenty-First International…
1991
Corpus ID: 37895562
Multiple-valued Kleenean functions are represented by multiple-valued AND, OR, NOT, variables and constants. In their previous…
Expand
1988
1988
Functional Test Generation Based on Unate Function Theory
V. Pitchumani
,
S. S. Soman
IEEE Trans. Computers
1988
Corpus ID: 206412721
The generation of a universal test set (UTS) for unate functions is used as a starting point. This test set is complete and…
Expand
1977
1977
Logic Properties of Unate Discrete and Switching Functions
A. Thayse
,
J. Deschamps
IEEE transactions on computers
1977
Corpus ID: 5180150
The total and local unateness of discrete and of switching functions are studied from a theoretical point of view. One shows that…
Expand
1974
1974
Unate Cascade Realization of Synchronous Sequential Machines
S. Sarkar
,
S. Bandyopadhyay
,
A. K. Choudhury
IEEE transactions on computers
1974
Corpus ID: 20649078
In this paper the problems associated with the minimal realization of synchronous sequential machines by unate cellular cascades…
Expand
1971
1971
Recognition of Monotonic and Unate Cascade Realizable Functions Using an Informational Model of Switching Circuits
W. S. Matheson
IEEE transactions on computers
1971
Corpus ID: 13559168
A model of combinational switching circuits used as information processors is described. A set of entropies (in the information…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE