Results 51 to 60 of about 11,341,390 (298)

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

open access: yesAdvanced 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

Model checking and boolean graphs [PDF]

open access: yesTheoretical Computer Science, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

From Fiber Bundles to Architected Membranes: Triply Periodic Minimal Surface Architectures for Biohybrid Artificial Lungs

open access: yesAdvanced Materials, EarlyView.
Additively manufactured triply periodic minimal surface (TPMS) membranes offer an architecture‐driven alternative to hollow fiber bundles in artificial lungs. Multiphysics simulations and endothelialized prototypes show that the 3D‐printable membrane architecture improves gas exchange, blood flow distribution, and hemocompatibility, enabling ...
Michael Pflaum   +14 more
wiley   +1 more source

On the Structure of Events in Boolean Games [PDF]

open access: yes, 2014
Conventional Boolean games embody two important assumptions: (i) all events in the game occur simultaneously; and (ii) assignments to variables must be made in complete ignorance of the values assigned to other variables.
Bradfield, Julian; id_orcid   +2 more
core  

A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem

open access: yes, 2008
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quartet Consistency (MQC) problem consists of computing a global phylogeny that
Morgado, Antonio Jose   +1 more
core   +2 more sources

A Note on the Observability of Temporal Boolean Control Network

open access: yesAbstract and Applied Analysis, 2013
Temporal Boolean network is a generalization of the Boolean network model that takes into account the time series nature of the data and tries to incorporate into the model the possible existence of delayed regulatory interactions among genes. This paper
Wenping Shi, Bo Wu, Jing Han
doaj   +1 more source

A full bayesian approach for boolean genetic network inference. [PDF]

open access: yesPLoS ONE, 2014
Boolean networks are a simple but efficient model for describing gene regulatory systems. A number of algorithms have been proposed to infer Boolean networks.
Shengtong Han   +5 more
doaj   +1 more source

Direct Observation of Propagating Spin Waves in a Spin Hall Nano‐Oscillator

open access: yesAdvanced Materials, EarlyView.
By combining frequency injection locking with time‐resolved scanning transmission x‐ray microscopy (TR‐STXM), the authors image the real‐time magnetization dynamics of a spin Hall nano‐oscillator (SHNO) for the first time. Their results reveal richer dynamics than previously reported and challenge existing assumptions regarding the radiation hardness ...
Victor H. González   +12 more
wiley   +1 more source

Delay Partial Synchronization of Mutual Delay Coupled Boolean Networks

open access: yesMeasurement + Control, 2020
This paper studies the delay partial synchronization for mutual delay-coupled Boolean networks. First, the mutual delay-coupled Boolean network model is presented.
Qiang Wei   +3 more
doaj   +1 more source

Boolean Valued Representation of Random Sets and Markov Kernels with Application to Large Deviations

open access: yesMathematics, 2020
We establish a connection between random set theory and Boolean valued analysis by showing that random Borel sets, random Borel functions, and Markov kernels are respectively represented by Borel sets, Borel functions, and Borel probability measures in a
Antonio Avilés López   +1 more
doaj   +1 more source

Home - About - Disclaimer - Privacy