Results 31 to 40 of about 12,280 (264)
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Term-Level Reasoning in Support of Bit-blasting [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 GL is a verified tool for proving ACL2 theorems using Boolean methods such as BDD reasoning and satisfiability checking. In its typical operation, GL recursively traverses a term, computing a symbolic object representing the value of each subterm.
Sol Swords
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
Journal of Forest Science, 2020 Over the past four decades, management plan based on the Boolean Ecological Capability model has caused major problems in the management of the Hyrcanian Forests. The aim of this study is to evaluate ecological capability of five proposed sites including
Ali Ghomi-Avili +4 more
doaj +1 more source
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2011 Let n be a positive integer, and Cn(r) be the set of all n× nr-circulant matrices over the Boolean algebra B ={0, 1}, . For any fixed r-circulant matrix C(C≠0) in Gn.
CHENJin-song(陈锦松) +1 more
doaj +1 more source
Advanced Materials, EarlyView.Fully recombinant protein‐based biomaterials execute complex Boolean logic for user‐programmable material degradation and concomitant therapeutic cargo release. Biologics, such as growth factors, can be incorporated within the crosslinkers as “drugamers”, while encapsulated cells can be released according to nested YES/OR/AND‐type logical operations ...
Murial L. Ross +3 more
wiley +1 more source
Soft binary piecewise intersection operation
Vietnam Journal of Science, Technology and EngineeringSoft set theory has emerged as a novel approach to modelling uncertainty, addressing a wide range of theoretical and practical problems. In this study, we define a new soft set operation called “soft binary piecewise intersection operation” and explore ...
Aslıhan Sezgin +2 more
doaj +1 more source
Method of restoring multivariable Boolean function from its derivative
Advanced Engineering Research, 2017 Introduction. Boolean functions of several variables are of paramount importance in the coding theory and cryptography. The compositions of these functions are used in a set of the symmetric cryptosystems; therewith, some error-control codes, such as ...
Alexander V. Mazurenko +1 more
doaj +1 more source
Optoelectronic Nanofluidic Neural Networks for Ionic Computing
Advanced Materials, EarlyView.An ion‐based optoelectronic nanofluidic memristor enables neuromorphic computing in aqueous environments. With tunable ionic memory and multimodal synaptic plasticity, it realizes densely connected ionic neural networks capable of image classification, motion prediction, logic computation, and real‐time in‐sensor computing, advancing fully connected ...
Yaxin Huang +10 more
wiley +1 more source