Works matching DE "BOOLEAN expressions"
Results: 26
Implementation Of Fast Binary Sorting Network Generated By Counters.
- Published in:
- Journal of Namibian Studies, 2023, v. 33, p. 756
- 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
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
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
Implementing policies and predictive stochastic models to restrict borderline personality disorder's access to restricted medications: comorbidity with factitious disorder, functional neurological disorder and medically unexplained symptoms.
- Published in:
- 2024
- By:
- Publication type:
- Abstract
Current challenges in design, modelling, control and applications of unmanned surface and underwater vehicles.
- Published in:
- Journal of Control & Decision, 2024, v. 11, n. 3, p. 329, doi. 10.1080/23307706.2024.2398383
- By:
- Publication type:
- Article
New theorems for inverting the functions of logic gates in digital circuits.
- Published in:
- Journal of Control & Decision, 2024, v. 11, n. 3, p. 366, doi. 10.1080/23307706.2022.2141901
- By:
- Publication type:
- Article
GCDkit.Mineral: A customizable, platform-independent R-language environment for recalculation, plotting, and classification of electron probe microanalyses of common rock-forming minerals.
- Published in:
- American Mineralogist, 2024, v. 109, n. 9, p. 1598, doi. 10.2138/am-2023-9032
- 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
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
Mixed Thermal and Renewable Energy Generation Optimization in Non-Interconnected Regions via Boolean Mapping.
- Published in:
- Thermo, 2024, v. 4, n. 4, p. 445, doi. 10.3390/thermo4040024
- 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
Can artificial intelligence revolutionize soccer tactical analysis?
- Published in:
- Trends in Sport Sciences, 2024, v. 31, n. 3, p. 151, doi. 10.23829/TSS.2024.31.3-3
- By:
- Publication type:
- Article
Trust in Healthcare, Medical Mistrust, and Health Outcomes in Times of Health Crisis: A Narrative Review.
- Published in:
- Societies (2075-4698), 2024, v. 14, n. 12, p. 269, doi. 10.3390/soc14120269
- By:
- Publication type:
- Article
Optimizing Over Serial Dictatorships.
- Published in:
- Theory of Computing Systems, 2024, v. 68, n. 5, p. 1180, doi. 10.1007/s00224-024-10196-6
- 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
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
LogicGep: Boolean networks inference using symbolic regression from time-series transcriptomic profiling data.
- Published in:
- Briefings in Bioinformatics, 2024, v. 25, n. 4, p. 1, doi. 10.1093/bib/bbae286
- By:
- Publication type:
- Article
Conditional Community Search Based on Weight Information.
- Published in:
- Electronics (2079-9292), 2024, v. 13, n. 21, p. 4321, doi. 10.3390/electronics13214321
- 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
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
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
Neurosyphilis-Induced Psychosis in Europe: A Systematic Review of Case Reports.
- Published in:
- Pathogens, 2024, v. 13, n. 11, p. 959, doi. 10.3390/pathogens13110959
- 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
Conjecturing-Based Discovery of Patterns in Data.
- Published in:
- INFORMS Journal on Data Science, 2024, v. 3, n. 2, p. 179, doi. 10.1287/ijds.2021.0043
- 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