Results 81 to 90 of about 133,469 (284)

Some fundamental algebraic tools for the semantics of computation Part 1: Comma Categories, Colimits, Signatures and Theories

Theoretical Computer Science, 2021
AbstractThis paper develops a number of fundamental tools from category theory and applies them to problems in computation. The tools include algebraic theories, colimits, comma categories and two-dimensional categories. The applications concern making program specifications understandable by expressing them as interconnections of smaller ‘mind sized ...
Joseph A. Goguen, Rod M. Burstall
openaire   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source

"Possible Definitions of an ’A Priori’ Granule\ud in General Rough Set Theory" by A. Mani [PDF]

, 2009
We introduce an abstract framework for general rough set theory from a mereological perspective and consider possible concepts of ’a priori’ granules and granulation in the same.
A, MANI
core  

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Notes on Modified Planar Kelvin–Stuart Models: Simulations, Applications, Probabilistic Control on the Perturbations

Axioms
In this paper, we propose a new modified planar Kelvin–Stuart model. We demonstrate some modules for investigating the dynamics of the proposed model.
Nikolay Kyurkchiev, Tsvetelin Zaevski, Anton Iliev, Vesselin Kyurkchiev, Asen Rahnev   +4 more
doaj   +1 more source

Cross‐Modal Denoising and Integration of Spatial Multi‐Omics Data with CANDIES

Advanced Science, EarlyView.
In this paper, we introduce CANDIES, which leverages a conditional diffusion model and contrastive learning to effectively denoise and integrate spatial multi‐omics data. We conduct extensive evaluations on diverse synthetic and real datasets, CANDIES shows superior performance on various downstream tasks, including denoising, spatial domain ...
Ye Liu, Wanpeng Zou, Yuekai Li, Jiayi Wang, Mingxuan Cai, Hongmin Cai   +5 more
wiley   +1 more source

Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories

Theor. Comput. Sci., 1984
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joseph A. Goguen, Rod M. Burstall
openaire   +3 more sources

Representation and structuring of knowledge in the semantic oriented computing environment. Part 1. Integration conceptual graphs and logical networks based on formalization of structured situations

Известия высших учебных заведений. Поволжский регион:Технические науки, 2023
Background. A technique for deep knowledge structuring in a semantic-oriented intelligent computing environment based on the expansion of the descriptive capabilities of Petri nets by integrating them with conceptual graphs is proposed.
V.I. Volchikhin, N.S. Karamysheva, M.A. Mitrokhin, S.A. Zinkin   +3 more
doaj   +1 more source

Discovering Interpretable Semantics from Radio Signals for Contactless Cardiac Monitoring

Advanced Science, EarlyView.
This study presents a semantic representation framework for clinically interpretable cardiac monitoring from contactless radio signals. It formulates radio semantic learning as an information‐bottleneck problem and approximates the objective via intra‐modal compression and cross‐modal alignment, structuring radio measurements into meaningful semantic ...
Jinbo Chen, Haoyu Wang, Guixin Xu, Yuqin Yuan, Xinmeng Cai, Zhengwu Wei, Dongheng Zhang, Qibin Sun, Tianwei Zhang, Cuntai Guan, Yan Chen   +10 more
wiley   +1 more source