Results 61 to 70 of about 237,519 (286)

Conceptualising Programming Language Semantics

Philosophies
The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective.
Troy Kaighin Astarte
doaj   +1 more source

Continual Learning for Multimodal Data Fusion of a Soft Gripper

Advanced Robotics Research, EarlyView.
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley   +1 more source

The Theory of Finitely Supported Structures and Choice Forms [PDF]

Scientific Annals of Computer Science, 2018
The theory of finitely supported algebraic structures provides a first step in computing infinite algebraic structures that are finitely supported modulo certain atomic permutation actions.
A. Alexandru
doaj   +1 more source

CRCFound: A Colorectal Cancer CT Image Foundation Model Based on Self‐Supervised Learning

Advanced Science, EarlyView.
CRCFound is a self‐supervised learning‐based CT image foundation model for colorectal cancer (CRC). Pretrained on 5137 unlabeled CRC CT images, it learns universal feature representations, enabling efficient adaptation to various clinical tasks. The model demonstrates outstanding performance and generalization across multiple diagnostic and prognosis ...
Jing Yang, Du Cai, Junwei Liu, Zhenfeng Zhuang, Yibin Zhao, Feng‐ao Wang, Chenghang Li, Chuling Hu, Baowen Gai, Yiping Chen, Yixue Li, Liansheng Wang, Feng Gao, Xiaojian Wu   +13 more
wiley   +1 more source

An Efficient Algorithm for Sorting and Duplicate Elimination by Using Logarithmic Prime Numbers

Big Data and Cognitive Computing
Data structures such as sets, lists, and arrays are fundamental in mathematics and computer science, playing a crucial role in numerous real-life applications.
Wei-Chang Yeh, Majid Forghani-elahabad
doaj   +1 more source

SCRIPT: Predicting Single‐Cell Long‐Range Cis‐Regulation Based on Pretrained Graph Attention Networks

Advanced Science, EarlyView.
SCRIPT is a novel method inferring single‐cell cis‐regulatory relationships (CRRs) from transcriptomic and chromatin accessibility data. SCRIPT incorporates two key innovations: graph causal attention networks supported by empirical CRR evidence, and representation learning enhanced through pretraining on atlas‐scale single‐cell data.
Yu Zhang, Baole Wen, Yifeng Jiao, Yuchen Liu, Xin Guo, Yushuai Wu, Jiyang Li, Limei Han, Yinghui Xu, Xin Gao, Yuan Qi, Yuan Cheng, Ying He, Weidong Tian   +13 more
wiley   +1 more source

Microglial Deletion of Hrh4 Alleviates Alzheimer's Disease Pathologies by Enhancing Microglial Phagocytosis of Amyloid‐β and Tau

Advanced Science, EarlyView.
Histamine H4 receptor (H4R) antagonist VUF6002 mimics low‐dose X‐ray irradiation in aged Alzheimer's disease (AD) mice, enhancing microglial clearance of amyloid‐beta/hyperphosphorylated tau aggregates and restoring cognition. Microglial H4R deletion activates cAMP/TGF‐β1/Smad3 pathway, enhancing phagocytosis, while TGF‐β receptor 1 deletion abolishes ...
Yi‐Jun Xu, Tan Wu, Larry Tso‐Lun Lo, Chi‐Chiu Ko, Xin Wang, Chi Him Eddie Ma   +5 more
wiley   +1 more source

Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes

Advanced Science, EarlyView.
Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He, Yifan Du, Ziqi Fu, Youcun Zheng, Nils Muhlert, Barbara Sahakian, Rebecca Elliott   +6 more
wiley   +1 more source

Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity

Science & Philosophy
Logic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj   +1 more source

Formal Model Engineering for Embedded Systems Using Real-Time Maude

, 2011
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat, A. Boronat, A. Boronat, A. Boronat, A. Cerone, E. Lien, F. Wang, Francisco Durán, J. E. Rivera, J. E. Rivera, J. Eker, J. Meseguer, J. Srba, K. Bae, K. Bae, M. AlTurki, M. Clavel, M. Katelman, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, R. Alur, S. P. Miller, Vlad Rusu   +27 more
core   +2 more sources