Results 81 to 90 of about 237,519 (286)

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Set-Theoretic Completeness for Epistemic and Conditional Logic

, 1999
The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the ...
Halpern, Joseph Y.
core   +4 more sources

Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]

, 2014
This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core  

A Floating‐Gate Photoelectric Synaptic Transistor Utilizing BP/POx/WSe2 Heterostructure for Neuromorphic Visual Processing

Advanced Science, EarlyView.
In this paper, a novel floating gate transistor (BP/POx/WSe2) is developed, which enables rich synaptic functionality under optoelectronic conditions and can mimic human visual memory. By introducing a two‐path convolutional neural network that synergistically fuses optical and electronic inputs, it can achieve efficient feature extraction and weight ...
Yuxuan Zeng, Wenxing Lv, Zehai Hou, Weihua Huang, Zhipeng Yu, Zishuo Han, Rongbin Zhan, Tianle Zeng, Yawen Luo, Yu Lin, Weiming Lv, Bin Fang, Zhongming Zeng, Lianbo Guo   +13 more
wiley   +1 more source

Editorial: Current thoughts on the brain-computer analogy—All metaphors are wrong, but some are useful

Frontiers in Ecology and Evolution, 2023
Giorgio Matassi, Giorgio Matassi, Bud Mishra, Bud Mishra, Pedro Martinez, Pedro Martinez   +5 more
doaj   +1 more source

Leveraging 3D Molecular Spatial Visual Information and Multi‐Perspective Representations for Drug Discovery

Advanced Science, EarlyView.
A deep learning framework called MolVisGNN is proposed to fuse 3D molecular visual information of drugs with multi‐source features, which proves the importance of 3D molecular visual information of drugs and the advancedness of this model in the field of drug discovery, and provides a reference for how to more comprehensively express small molecule ...
Zimai Zhang, Xi Zhou, Yujie Qi, Xiaobo Zhu, Xun Deng, Feng Tan, Yuan Huang, Lun Hu, Zhuhong You, Pengwei Hu   +9 more
wiley   +1 more source

SpaBalance: Balanced Learning for Efficient Spatial Multi‐Omics Decoding

Advanced Science, EarlyView.
SpaBalance is a computational framework that harmonizes multi‐omics learning via gradient equilibrium and dual‐stream feature decomposition, achieving superior clustering accuracy, biological interpretability, and scalable integration of three or more spatial omics modalities.
Yingbo Cui, Yong Zhao, Canqun Yang, Tao Tang, Xiangke Liao, Hongyu Zhang, Huiying Zhao, Zheng Wang, Yuansong Zeng   +8 more
wiley   +1 more source

A deep learning platooning-based video information-sharing Internet of Things framework for autonomous driving systems

International Journal of Distributed Sensor Networks, 2019
To enhance the safety and stability of autonomous vehicles, we present a deep learning platooning-based video information-sharing Internet of Things framework in this study.
Zishuo Zhou, Zahid Akhtar, Ka Lok Man, Kamran Siddique   +3 more
doaj   +1 more source

Knowledge Graph for Methane Selective Conversion: Revisiting and Predicting Product Selectivity and Methane Conversion

Advanced Science, EarlyView.
With the help of large language models, deep neural network learning, and kinetic calculation, a knowledge graph prediction of prior research in methane conversion is conducted. This knowledge graph provides a comprehensive understanding of the relationships among catalyst materials, catalytic performance, and reaction conditions, providing guidance ...
Boyu Xu, Gaoyang Li, Bohan Wang, Jiawei Bian, Hui Pan, Yulin Min, Guodong Qi, Jun Xu, Feng Deng, Feng Ju, Hao Ling, Zhendong Wang   +11 more
wiley   +1 more source

Idempotent Factorizations of Square-Free Integers

Information, 2019
We explore the class of positive integers n that admit idempotent factorizations n = p ¯ q ¯ such that λ ( n ) ∣ ( p ¯ − 1 ) ( q ¯ − 1 ) , where λ is the Carmichael lambda ...
Barry Fagin
doaj   +1 more source