Found: 15
Select item for more details and to access through your institution.
A reply to Pervez Rizvi's letter.
- Published in:
- Digital Scholarship in the Humanities, 2024, v. 39, n. 1, p. 3, doi. 10.1093/llc/fqad107
- By:
- Publication type:
- Article
Reducing the Length of Dynamic and Relevant Slices by Pruning Boolean Expressions.
- Published in:
- Electronics (2079-9292), 2024, v. 13, n. 6, p. 1146, doi. 10.3390/electronics13061146
- By:
- Publication type:
- Article
Measuring the Impact of Augmented Reality in Flipped Learning Mode on Critical Thinking, Learning Motivation, and Knowledge of Engineering Students.
- Published in:
- Journal of Science Education & Technology, 2023, v. 32, n. 6, p. 912, doi. 10.1007/s10956-023-10051-2
- By:
- Publication type:
- Article
Recent Advances and Emerging Directions in Fire Detection Systems Based on Machine Learning Algorithms.
- Published in:
- Fire (2571-6255), 2023, v. 6, n. 11, p. 441, doi. 10.3390/fire6110441
- By:
- Publication type:
- Article
Author Index Volume 33 (2023).
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 11/12, p. 1951, doi. 10.1142/S0218194023990012
- Publication type:
- Article
IEC61131-3 Instruction List Language Processor for FPGAs.
- Published in:
- Electronics (2079-9292), 2023, v. 12, n. 19, p. 4052, doi. 10.3390/electronics12194052
- By:
- Publication type:
- Article
Spectral Test Generation for Boolean Expressions.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 8, p. 1239, doi. 10.1142/S021819402350033X
- By:
- Publication type:
- Article
Implementation Of Fast Binary Sorting Network Generated By Counters.
- Published in:
- Journal of Namibian Studies, 2023, v. 33, p. 756
- By:
- Publication type:
- Article
Converting of Boolean Expression to Linear Equations, Inequalities and QUBO Penalties for Cryptanalysis.
- Published in:
- Algorithms, 2022, v. 15, n. 2, p. 33, doi. 10.3390/a15020033
- By:
- Publication type:
- Article
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2900, doi. 10.1093/comjnl/bxv001
- By:
- Publication type:
- Article
An Algorithm for Generating Boolean Expressions in VHDL Based on Ladder Diagrams.
- Published in:
- Mathematical Problems in Engineering, 2015, v. 2015, p. 1, doi. 10.1155/2015/530586
- By:
- Publication type:
- Article
SEMANTIC SEARCH TECHNIQUES FOR LEARNING SMALLER BOOLEAN EXPRESSION TREES IN GENETIC PROGRAMMING.
- Published in:
- International Journal of Computational Intelligence & Applications, 2014, v. 13, n. 3, p. -1, doi. 10.1142/S1469026814500187
- By:
- Publication type:
- Article
SELF-SIMILARITY OF SATISFIABLE BOOLEAN EXPRESSIONS DECIPHERED IN TERMS OF GRAPH DIRECTED ITERATED FUNCTION SYSTEMS.
- Published in:
- Fractals, 2008, v. 16, n. 4, p. 305, doi. 10.1142/S0218348X0800406X
- By:
- Publication type:
- Article
BEAT: A Web-Based Boolean Expression Fault-Based Test Case Generation Tool.
- Published in:
- International Journal of Distance Education Technologies, 2006, v. 4, n. 2, p. 44, doi. 10.4018/jdet.2006040104
- By:
- Publication type:
- Article
Satisfiability checking using Boolean Expression Diagrams.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 4, doi. 10.1007/s10009-002-0102-5
- By:
- Publication type:
- Article