Works matching Boolean expression

Results: 206

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:

Chen, T. Y.;
Grant, D. D.;
Lau, M. F.;
Ng, S. P.;
Vasa, V. R.

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:

ARCAINI, PAOLO;
GARGANTINI, ANGELO;
RICCOBENE, ELVINIA

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:

Ayav, Tolga

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:

Hirsch, Thomas;
Hofer, Birgit

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:

Ni, Tian-Jia;
Wen, Zhi-Ying

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:

Williams, Poul F.;
Andersen, Henrik R.;
Hulgaard, Henrik

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:

Pakhomchik, Aleksey I.;
Voloshinov, Vladimir V.;
Vinokur, Valerii M.;
Lesovik, Gordey B.

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:

MILLER, NICHOLAS C.;
CHAN, PHILIP K.

Publication type:

Article

Why less is sometimes more: Using Boolean literals to solve 2048.

Published in:

IT: Information Technology, 2024, v. 66, n. 4/5, p. 174, doi. 10.1515/itit-2024-0072

By:

Berger, Bernhard J.;
Plump, Christina;
Drechsler, Rolf

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:

Nehinbe, Joshua Ojo

Publication type:

Article

Mutation-Based Minimal Test Suite Generation for Boolean Expressions.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 6, p. 865, doi. 10.1142/S0218194023500183

By:

Ayav, Tolga;
Belli, Fevzi

Publication type:

Article

ViBEx: A Visualization Tool for Gene Expression Analysis.

Published in:

BioMedInformatics, 2025, v. 5, n. 1, p. 13, doi. 10.3390/biomedinformatics5010013

By:

Terrefortes-Rosado, Michael H.;
Nieves-Rivera, Andrea V.;
Ortiz-Zuazaga, Humberto;
Lluberes-Contreras, Marie

Publication type:

Article

BTR: training asynchronous Boolean models using single-cell expression data.

Published in:

BMC Bioinformatics, 2016, v. 17, p. 1, doi. 10.1186/s12859-016-1235-y

By:

Chee Yee Lim;
Huange Wang;
Woodhouse, Steven;
Göttgens, Berthold;
Piterman, Nir;
Wernisch, Lorenz;
Fisher, Jasmin

Publication type:

Article

On detecting faults for Boolean expressions.

Published in:

Software Quality Journal, 2009, v. 17, n. 3, p. 245, doi. 10.1007/s11219-008-9064-5

By:

Chen, T.;
Lau, M.;
Sim, K.;
Sun, C.

Publication type:

Article

A Novel Boolean Expression based Algorithm to find all possible Simple Paths between two nodes of a Graph.

Published in:

International Journal of Advanced Research in Computer Science, 2014, v. 5, n. 7, p. 158

By:

Chatterjee, Sankhadeep;
Banerjee, Debarshi

Publication type:

Article

What is the satisfiability threshold of random balanced Boolean expressions?

Published in:

Random Structures & Algorithms, 2022, v. 61, n. 3, p. 599, doi. 10.1002/rsa.21069

By:

Lindenstrauss, Naomi;
Talagrand, Michel

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:

Nikolaidis, Pavlos

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:

Wang, Mengxiang;
Ma, Dong;
Fu, Qiang;
Zong, Chuanyu

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:

Hajduk, Zbigniew

Publication type:

Article

Review Articles on Soccer Performance Analysis: A Bibliometric Analysis of Current Trends and Emerging Themes.

Published in:

Sports (2075-4663), 2025, v. 13, n. 5, p. 131, doi. 10.3390/sports13050131

By:

Plakias, Spyridon

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:

Lazzari, C. G.

Publication type:

Abstract

Implementation Of Fast Binary Sorting Network Generated By Counters.

Published in:

Journal of Namibian Studies, 2023, v. 33, p. 756

By:

VAISHNAVI, A.;
NARAYANA, M.

Publication type:

Article

All-Optical Logic Gates and Boolean Expressions in a Photonic Mach–Zehnder Interferometer.

Published in:

Journal of Optical Communications, 2019, v. 40, n. 1, p. 7, doi. 10.1515/joc-2017-0032

By:

Filho, G. S. B;
Martins, F. L. B;
Junior, M. F;
Araújo, A. A. R;
Nascimento, J. C;
Coelho, A. G;
de Fraga, W. B

Publication type:

Article

Improved colored cubes teaching kit in representing and simplifying Boolean logic functions.

Published in:

International Journal of Electrical & Computer Engineering (2088-8708), 2025, v. 15, n. 2, p. 1446, doi. 10.11591/ijece.v15i2.pp1446-1454

By:

Elewah, Ibrahim;
Jalaleddine, Sara;
Tbeileh, Omar A.;
Yiannakou, Stavros;
Kamzoul, Azzam;
El-Morhabi, Sara;
Tabet, Maria Gergi;
Hafez, Rania

Publication type:

Article

A Nonlinear Integer Programming Approach for the Minimization of Boolean Expressions.

Published in:

Journal of Circuits, Systems & Computers, 2018, v. 27, n. 10, p. N.PAG, doi. 10.1142/S0218126618501633

By:

Papakonstantinou, K. G.;
Papakonstantinou, G.

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:

Zhang, Dezhen;
Gao, Shuhua;
Liu, Zhi-Ping;
Gao, Rui

Publication type:

Article

Conversion between Logic and Algebraic Expressions of Boolean Control Networks.

Published in:

Applied Sciences (2076-3417), 2020, v. 10, n. 20, p. 7180, doi. 10.3390/app10207180

By:

Wang, Cailu;
Tao, Yuegang

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:

Souvatzi, Elisavet;
Katsikidou, Magdalini;
Arvaniti, Aikaterini;
Plakias, Spyridon;
Tsiakiri, Anna;
Samakouri, Maria

Publication type:

Article

Fault Detection for Lipschitz Nonlinear Systems Using Robust Observer and Ellipsoidal Analysis.

Published in:

International Journal of Robust & Nonlinear Control, 2025, v. 35, n. 11, p. 4523, doi. 10.1002/rnc.7918

By:

Zhang, Renpu;
Wang, Zhenhua;
Meslem, Nacim;
Raïssi, Tarek;
Shen, Yi

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:

Brooks, J. Paul;
Edwards, David J.;
Larson, Craig E.;
Van Cleemput, Nico

Publication type:

Article

Inferring context-sensitive Probabilistic Boolean Networks from gene expression data under multi-biological conditions.

Published in:

2007

By:

Le Yu;
Marshall, Stephen

Publication type:

Abstract

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:

Caragiannis, Ioannis;
Rathi, Nidhi

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:

PLAKIAS, SPYRIDON;
KOKKOTIS, CHRISTOS;
GIAKAS, GIANNIS;
TSAOPOULOS, DIMITRIOS;
MOUSTAKIDIS, SERAFEIM

Publication type:

Article

An In-Place Simplification on Mixed Boolean-Arithmetic Expressions.

Published in:

Security & Communication Networks, 2022, p. 1, doi. 10.1155/2022/7307139

By:

Liu, Binbin;
Zheng, Qilong;
Li, Jing;
Xu, Dongpeng

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:

Diaconu, Bogdan Marian

Publication type:

Article

Predicting Variabilities in Cardiac Gene Expression with a Boolean Network Incorporating Uncertainty.

Published in:

PLoS ONE, 2015, v. 10, n. 7, p. 1, doi. 10.1371/journal.pone.0131832

By:

Grieb, Melanie;
Burkovski, Andre;
Sträng, J. Eric;
Kraus, Johann M.;
Groß, Alexander;
Palm, Günther;
Kühl, Michael;
Kestler, Hans A.

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:

Dutta, Rubina;
Mantri, Archana;
Singh, Gurjinder;
Singh, Narinder Pal

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:

Jarocki, Adam;
Klimczyk, Kinga;
Łysakowska, Monika E.;
Bielec, Filip;
Pastuszak-Lewandoska, Dorota

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:

Janoušek, Vojtěch;
Farrow, Colin M.;
Erban, Vojtěch

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:

Egan, Gabriel;
Eisen, Mark;
Ribeiro, Alejandro;
Segarra, Santiago

Publication type:

Article

A neuro-evolution approach to infer a Boolean network from time-series gene expressions.

Published in:

Bioinformatics, 2020, v. 36, p. i762, doi. 10.1093/bioinformatics/btaa840

By:

Barman, Shohag;
Kwon, Yung-Keun

Publication type:

Article

New bounds for the nonlinearity of PN functions and APN functions over finite fields.

Published in:

Discrete Mathematics & Applications, 2025, v. 35, n. 2, p. 113, doi. 10.1515/dma-2025-0007

By:

Ryabov, Vladimir G.

Publication type:

Article

Graphical presentation of boolean expressions in a database query language: design notes and an ergonomic evaluation.

Published in:

Behaviour & Information Technology, 1982, v. 1, n. 3, p. 279, doi. 10.1080/01449298208914452

By:

MICHARD, A.

Publication type:

Article

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:

Lin, Chi;
Wu Yu, Chang;
Wang, Ning

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

Minimal Third-order Expressions of Boolean Unate Functions †.

Published in:

International Journal of Control, 1967, v. 6, n. 5, p. 447, doi. 10.1080/00207176708921818

By:

CHOUDHURY, A. K.;
SARMA, DEBABRATA;
DAS, SUNIL RANJAN

Publication type:

Article

Some Studies on Two and Three-level Simplified Expressions of Boolean Functions†.

Published in:

International Journal of Control, 1965, v. 2, n. 3, p. 221, doi. 10.1080/00207176508905542

By:

SINHA ROY, P. K.

Publication type:

Article

Boolean modeling techniques for protein co-expression networks in systems medicine.

Published in:

Expert Review of Proteomics, 2016, v. 13, n. 6, p. 555, doi. 10.1080/14789450.2016.1181546

By:

Mayer, Gerhard;
Marcus, Katrin;
Eisenacher, Martin;
Kohl, Michael

Publication type:

Article

Attractor-Specific and Common Expression Values in Random Boolean Network Models (with a Preliminary Look at Single-Cell Data).

Published in:

Entropy, 2022, v. 24, n. 3, p. 311, doi. 10.3390/e24030311

By:

Villani, Marco;
D'Addese, Gianluca;
Kauffman, Stuart A.;
Serra, Roberto

Publication type:

Article

An efficient top-down search algorithm for learning Boolean networks of gene expression.

Published in:

Machine Learning, 2006, v. 65, n. 1, p. 229, doi. 10.1007/s10994-006-9014-z

By:

Dougu Nam;
Seunghyun Seo;
Sangsoo Kim

Publication type:

Article