Works matching DE "BOOLEAN expressions"

Results: 29

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

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

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

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

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

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

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

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

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

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

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:

Ayav, Tolga

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:

Caragiannis, Ioannis;
Rathi, Nidhi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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