Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,101,581 papers from all fields of science
Search
Sign In
Create Free Account
Boolean
Known as:
BL
, Boolean Value
The type of an expression with two possible values, "true" and "false".
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals
M. S. Mohamed
,
Daniel Cabarcas
,
Jintai Ding
,
J. Buchmann
,
S. Bulygin
International Conference on Information Security…
2009
Corpus ID: 15771854
This paper introduces a new efficient algorithm, called MXL3, for computing Grobner bases of zero-dimensional ideals. The MXL3 is…
Expand
2009
2009
Dynamic response characterization of complex systems through operational identification and dynamic substructuring- An application to gear noise propagation in the automotive industry
D. D. Klerk
2009
Corpus ID: 108411639
This thesis deals with new methods, which can determine the dynamic response of a complex system identified in operation, based…
Expand
Highly Cited
2007
Highly Cited
2007
Photonic Boolean logic gates based on DNA aptamers.
Wataru Yoshida
,
Y. Yokobayashi
Chemical Communications
2007
Corpus ID: 45947068
We designed a pair of DNA-based logic gates that sense single-stranded DNAs and aptamer ligands to produce fluorescence outputs…
Expand
Review
2006
Review
2006
A novel multipurpose Excel tool for equilibrium speciation based on Newton-Raphson method and on a hybrid genetic algorithm.
Silvia Del Piero
,
A. Melchior
,
P. Polese
,
R. Portanova
,
M. Tolazzi
Annali di Chimica
2006
Corpus ID: 24073676
A new algorithm for simulation of chemical equilibria is developed, based on classical Newton-Raphson method applied to mass…
Expand
Highly Cited
2002
Highly Cited
2002
Coordination and sharing at the interfaces
Vivian Lin
2002
Corpus ID: 60999245
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2002.
Highly Cited
2000
Highly Cited
2000
Optimizing Queries on Compressed Bitmaps
S. Amer-Yahia
,
T. Johnson
Very Large Data Bases Conference
2000
Corpus ID: 572007
OptimizingQueriesOnCompressedBitmapsSihem Amer-YahiaAT&T Labs{Researchsihem@research.att.comTheo doreJohnsonjohnsont@research.att…
Expand
Highly Cited
1999
Highly Cited
1999
Perfect simulation in stochastic geometry
W. Kendall
,
E. Thönnes
Pattern Recognition
1999
Corpus ID: 14599277
1999
1999
Article for analog vector algebra computation.
A. P. Mills
,
B. Yurke
,
P. Platzman
Bio Systems
1999
Corpus ID: 4782888
1997
1997
Parallel breadth-first BDD construction
Bwolen Yang
,
D. O'Hallaron
ACM SIGPLAN Symposium on Principles & Practice of…
1997
Corpus ID: 8783941
With the increasing complexity of protocol and circuit designs, formal verification has become an important research area and…
Expand
Highly Cited
1987
Highly Cited
1987
Logical controls via Boolean rule matrix transformations
C. Looney
,
A. R. Alfize
IEEE Transactions on Systems, Man and Cybernetics
1987
Corpus ID: 30348461
A model is described that uses Boolean rule matrices that are equivalent to implication digraphs to transform truth states…
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