Results 251 to 260 of about 11,341,390 (298)

TSM-NIDS: A time-series mixer-based intrusion detection system for IoT networks. [PDF]

open access: yesMethodsX
Hanafiah MIB   +7 more
europepmc   +1 more source

DataAtlas: automatic generation of data dictionaries using large language models. [PDF]

open access: yesJAMIA Open
Giancotti R   +4 more
europepmc   +1 more source

Path-based quantification of activation and repression in Boolean models using BooLEVARD. [PDF]

open access: yesNPJ Syst Biol Appl
Fariñas M   +5 more
europepmc   +1 more source

COMIP‐002: 27‐color flow cytometry for measurable residual disease detection in B‐cell lymphoblastic leukemia

open access: yes
Cytometry Part B: Clinical Cytometry, EarlyView.
Ryan C. Shean   +3 more
wiley   +1 more source

Boolean Model

open access: yes, 2013
Boolean network (BN) is known as a popular mathematical model for modeling genetic regulatory networks. The BN model was first proposed by Kauffman (1969). In a BN model, the gene expression states are quantized into only two levels: on and off (represented as 1 and 0).
Chen, X, Tsing, NK, Ching, WK
openaire   +4 more sources

Boolean model for melanogenesis

Physical Biology, 2021
Abstract Melanogenesis is a highly regulated process through which the pigment melanin is produced in skin cells. Irregularities in the molecular events that govern the process of skin pigmentation can cause disorders like vitiligo. In order to understand the biology of disease progression, it is important to have
Pooja Dnyane, Chetan Gadgil
openaire   +2 more sources

Boolean Functions as Models for Quantified Boolean Formulas

Journal of Automated Reasoning, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hans Kleine Büning   +2 more
openaire   +1 more source

On Boolean Models for Quantified Boolean Horn Formulas

2004
For a Quantified Boolean Formula \(({\it QBF })\) Φ=Qφ, an assignment is a function \(\cal M\) that maps each existentially quantified variable of Φ to a Boolean function, where φ is a propositional formula and Q is a linear ordering of quantifiers on the variables of Φ.
Hans Kleine Büning   +2 more
openaire   +2 more sources

Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems

Journal of Philosophical Logic, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Home - About - Disclaimer - Privacy