Results 41 to 50 of about 128,927 (292)
, 2015 We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives And and OR ...
Genitrini, Antoine +3 more
core +1 more source
A prototype implementation of the AUnit test automation framework for alloy [PDF]
, 2017 Alloy is a declarative language based on relational first-order logic. Unlike commonly used procedural languages, the testing criteria of declarative languages like Alloy has remained largely ad hoc.
Yu, Jiaolong
core +1 more source
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
Gene regulatory network state estimation from arbitrary correlated measurements
EURASIP Journal on Advances in Signal Processing, 2018 Background Advancements in gene expression technology allow acquiring cheap and abundant data for analyzing cell behavior. However, these technologies produce noisy, and often correlated, measurements on the transcriptional states of genes.
Mahdi Imani, Ulisses Braga-Neto
doaj +1 more source
ACCELERATION OF BOOLEAN GENE REGULATORY NETWORKS ANALYSIS USING FPGA
Сучасні інформаційні системи, 2023 Gene expression does not occur arbitrarily and spontaneously, it obeys certain patterns that can be expressed as a connected graph or network. The disclosure of these patterns requires a large amount of experimental research and accumulation of ...
Oleg Vasylchenkov +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Determining the Maximum States of the Ensemble Distribution of Boolean Networks
Frontiers in Physics, 2021 Inference of the gene regulation mechanism from gene expression patterns has become increasingly popular, in recent years, with the advent of microarray technology. Obtaining the states of genes and their regulatory relationships would greatly enable the
Xiaodong Cui, Binghao Ren, Zhenghan Li
doaj +1 more source
Embedding boolean expressions into logic programming
Journal of Symbolic Computation, 1987 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Buttner, Wolfram, Simonis, Helmut
openaire +2 more sources
On the effects of firing memory in the dynamics of conjunctive networks
, 2019 Boolean networks are one of the most studied discrete models in the context of the study of gene expression. In order to define the dynamics associated to a Boolean network, there are several \emph{update schemes} that range from parallel or \emph ...
Goles, Eric +2 more
core +3 more sources