Results 171 to 180 of about 1,138,309 (354)

Programming the functions of formal logic. [PDF]

Notre Dame Journal of Formal Logic, 1962
Summersbee, S., Walters, A.
openaire   +2 more sources

Bioinspired Adaptive Neuron Enabled by Self‐powered Optoelectronic Memristor and Threshold Switching Memory for Neuromorphic Visual System

Advanced Science, EarlyView.
The self‐powered optoelectronic memristor based on ZnO/WOx heterojunction is developed, exhibiting the visual adaptation functions of desensitization and Weber's law. A bioinspired visual adaptive neuron is constructed, capable of converting light stimuli into dynamic spike trains.
Yankun Cheng, Junchao Zhang, Ya Lin, Zhongqiang Wang, Xuanyu Shan, Ye Tao, Xiaoning Zhao, Haiyang Xu, Yichun Liu   +8 more
wiley   +1 more source

Flowsheet generation through hierarchical reinforcement learning and graph neural networks

AIChE Journal, Volume 69, Issue 1, January 2023., 2023
Abstract Process synthesis experiences a disruptive transformation accelerated by artificial intelligence. We propose a reinforcement learning algorithm for chemical process design based on a state‐of‐the‐art actor‐critic logic. Our proposed algorithm represents chemical processes as graphs and uses graph convolutional neural networks to learn from ...
Laura Stops, Roel Leenhouts, Qinghe Gao, Artur M. Schweidtmann   +3 more
wiley   +1 more source

Programmable Metamaterials with Perforated Shell Group Supporting Versatile Information Processing

Advanced Science, EarlyView.
This study proposes a novel mechanical metamaterial with high‐density memory based on multi‐stable perforated shells to realize multi‐layer information encoding, storage, decoding, and reading. The metamaterial can perform more application‐oriented tasks to process information, such as encryption and dynamic behavior regulation, which hopefully enables
Xiaoyuan Ma, Ziran Wang, Weipeng Zhang, Peng Yan   +3 more
wiley   +1 more source

Twin neural network regression

Applied AI Letters, Volume 3, Issue 4, December 2022., 2022
We propose to reformulate a regression problem into predicting differences between target values. This allows for leveraging consistency conditions which can be used as uncertainty estimates and enable the production of an ensemble of predictions while training only a single neural network.
Sebastian Johann Wetzel, Kevin Ryczko, Roger Gordon Melko, Isaac Tamblyn   +3 more
wiley   +1 more source

Imaging‐Guided Microscale Photothermal Stereolithography Bioprinting

Advanced Science, EarlyView.
This work establishes imaging‐guided microscale photothermal stereolithography bioprinting, achieving microscale photothermal aqueous printing for the first time. Key innovations include novel imaging‐guided stereolithography, unique NIR‐II photothermal initiator, and new bioink with viscosity modifier.
Jingyu Sun, Tianqi Fang, Yuze Zhang, Jue Wang, Huan Han, Tsengming Chou, Junfeng Liang, Dilhan M. Kalyon, Hongjun Wang, Shang Wang   +9 more
wiley   +1 more source

Corps: A Core Calculus of Hierarchical Choreographic Programming [PDF]

arXiv
Functional choreographic programming suggests a new propositions-as-types paradigm might be possible. In this new paradigm, communication is not modeled linearly; instead, ownership of a piece of data is modeled as a modality, and communication changes that modality.
arxiv  

Functional and Logic Programming [PDF]

, 2002
Zhenjiang Hu, Mario Rodríguez-Artalejo
openaire   +2 more sources

Recent Advances in Xenes Based FET for Biosensing Applications

Advanced Science, EarlyView.
Xenes (monoelemental 2D materials like graphene, phosphorene, tellurene) enable ultrasensitive FET (Field‐Effect Transistor) biosensors due to their tunable bandgap, high carrier mobility, and large surface area. Advances in synthesis (CVD, MBE) and functionalization allow detection of DNA/RNA (via CRISPR‐Cas systems), proteins, small molecules, and ...
Huide Wang, Chen Wang, Yule Zhang, Ziqian Wang, Yihan Zhu, Yun Wang, Xiangqian Hong, Han Zhang, Ning Fan, Meng Qiu   +9 more
wiley   +1 more source

From Multi‐Omics to Visualization and Beyond: Bridging Micro and Macro Insights in CAR‐T Cell Therapy

Advanced Science, EarlyView.
This review explores how multi‐omics, visualization technologies, and AI drive CAR‐T therapy from the micro to the macro level, from preclinical studies to clinical applications. The convergence of these approaches provides deeper insight into CAR‐T cell mechanisms, aids in structural optimization, and significantly enhances treatment efficacy and ...
Yuting Gong, Peng Fei, Yicheng Zhang, Yang Xu, Jia Wei   +4 more
wiley   +1 more source