Results 81 to 90 of about 241,032 (325)

On coalgebras with internal moves

, 2014
In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics.
A Joyal, A Kock, A Silva, A Sokolova, B Jacobs, B Jacobs, B Jacobs, C Baier, D Sangiorgi, E Manes, E Manes, I Hasuo, J Rutten, J Rutten, JE Hopcroft, M Barr, N Benton, P Aczel, R Milner, R Segala, RJ Glabbeek van, S Abramsky, S Mac Lane, S Staton, T Brengos, U Montanari   +25 more
core   +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

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

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

A formal theory of conceptual modeling universals [PDF]

, 2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo, Sinderen, Marten van, Wagner, Gerd   +2 more
core   +3 more sources

Program Synthesis and Linear Operator Semantics

, 2014
For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation.
Wiklicky, Herbert
core   +2 more sources

B‐EPIC: A Transformer‐Based Language Model for Decoding B Cell Immunodominance Patterns

Advanced Science, EarlyView.
B‐Epic: Achieving high‐accuracy B cell epitope prediction through Transformer architecture. Comprehensive validation demonstrates B‐Epic's robust performance across diverse datasets. B‐Epic facilitates vaccine development for H. pylori and EBV, addressing critical public health challenges.
Jun‐Ze Liang, Youtao Wang, Cong Sun, Tao Liu, Zengfeng Wu, Lipeng Chen, Lina Chen, Penglin Li, Zhengkang Li, Cangui Zhang, Bingyun Lu, Ye Chen, Bing Gu, Qian Zhong, Xin Wei Wang, Mu‐Sheng Zeng, Jinping Liu   +16 more
wiley   +1 more source

Path querying on acyclic graphs using Boolean grammars

Труды Института системного программирования РАН, 2019
Graph data models are widely used in different areas of computer science such as bioinformatics, graph databases, social networks and static code analysis. One of the problems in graph data analysis is querying for specific paths.
Ekaterina Nikolaevna Shemetova, Semyon Vyatcheslavovitch Grigorev   +1 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