Results 261 to 270 of about 128,927 (292)
Some of the next articles are maybe not open access.
Programming Boolean expressions for testability
2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720), 2005This paper proposes several methods for programming the Boolean expressions in a flight control program that makes them amenable for exhaustive testing. It first describes the current FAA approach that accepts arbitrary Boolean expressions and attempts to apply the test known as modified condition/decision coverage (MC/DC).
openaire +1 more source
Boolean Expressions, Logic, and Proof
2012The objective of this chapter is to explain the structure of mathematical proofs, especially proofs of correctness of algorithms. Boolean operators are defined by their truth tables. The definition of a valid argument form is intuitive and easily confirmed using a truth table. These are followed by many examples of standard and common patterns of proof:
Tom Jenkyns, Ben Stephenson
openaire +1 more source
Integrative oncology: Addressing the global challenges of cancer prevention and treatment
Ca-A Cancer Journal for Clinicians, 2022Jun J Mao,, Msce +2 more
exaly
Absolute Minimal Expressions of Boolean Functions
IEEE Transactions on Electronic Computers, 1959In this paper we make a beginning in the hitherto unexplored problem of finding absolute minimal expressions of Boolean functions. We shall adhere to the notations and terminology introduced in our previous paper,1 which will be referred to as S.
openaire +1 more source
An Algorithm for Translating Boolean Expressions
Journal of the ACM, 1962Arden, B. W. +2 more
openaire +1 more source
Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma
Ca-A Cancer Journal for Clinicians, 2020Aaron J Grossberg +2 more
exaly