Results 111 to 120 of about 1,360,419 (300)

Composition‐Aware Cross‐Sectional Integration for Spatial Transcriptomics

Advanced Intelligent Discovery, EarlyView.
Multi‐section spatial transcriptomics demands coherent cell‐type deconvolution, domain detection, and batch correction, yet existing pipelines treat these tasks separately. FUSION unifies them within a composition‐aware latent framework, modeling reads as cell‐type–specific topics and clustering in embedding space.
Qishi Dong, Zijian Huang, Xuanwu Wang, Zhenghui Feng, Wei Liu, Bingding Huang   +5 more
wiley   +1 more source

Semantics, pragmatics, and formal thought disorders in people with schizophrenia

Neuropsychiatric Disease and Treatment, 2013
Carlos Salavera, Miguel Puyuelo, José L Antoñanzas, Pilar TeruelUniversidad de Zaragoza, Zaragoza, SpainBackground: The aim of this study was to analyze how formal thought disorders (FTD) affect semantics and pragmatics in patients ...
Salavera C, Puyuelo M, Antoñanzas JL, Teruel P   +3 more
doaj  

Program Equivalence in the Erlang Actor Model

Computers
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky, Dániel Horpácsi, Simon Thompson   +2 more
doaj   +1 more source

When Biology Meets Medicine: A Perspective on Foundation Models

Advanced Intelligent Discovery, EarlyView.
Artificial intelligence, and foundation models in particular, are transforming life sciences and medicine. This perspective reviews biological and medical foundation models across scales, highlighting key challenges in data availability, model evaluation, and architectural design.
Kunying Niu, Yuxing Wang, Limin Zou, Jing Huang   +3 more
wiley   +1 more source

Artificial Intelligence‐Driven Network Pharmacology: A Methodological Paradigm Shift Bridging Traditional Wisdom and Modern Science

Advanced Intelligent Discovery, EarlyView.
Artificial intelligence is redefining network pharmacology (NP). By integrating knowledge graph engineering, geometric deep learning, multiomics anchoring, and generative reasoning, AI‐driven NP (AI‐NP) transforms static target mapping into dynamic, predictive modeling.
Cong Wang, Sile Hu, Rigahai Ji, Riguna A, Siqige Hao, Ma Zhuo, Yi‐Hung Chen, Bisihalatu Hu, Ulana Bai, Xigui Hada   +9 more
wiley   +1 more source

Formal Semantics in the Neurology Clinic: Atypical Understanding of Aspectual Coercion in ALS Patients. [PDF]

Front Psychol, 2016
Baggio G, Granello G, Verriello L, Eleopra R.   +3 more
europepmc   +1 more source

An executable formal semantics for UML-RT

Journal of Software and Systems Modeling, 2016
Ernesto Posse, J. Dingel
semanticscholar   +2 more sources

Interactive Prompt‐Guided Robotic Grasping for Arbitrary Objects Based on Promptable Segment Anything Model and Force‐Closure Analysis

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu, Yaxin Liu, Ruiqing Han, Kai Zheng, Yufeng Yao, Ming Zhong   +5 more
wiley   +1 more source

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. [PDF]

Bioinformatics, 2016
Misirli G, Cavaliere M, Waites W, Pocock M, Madsen C, Gilfellon O, Honorato-Zimmer R, Zuliani P, Danos V, Wipat A.   +9 more
europepmc   +1 more source

Talk to Your Data: An Agentic Artificial Intelligence‐Driven Decision‐Support Framework for Prosumer Energy Optimization and Recommendations

Advanced Intelligent Systems, EarlyView.
An agentic AI‐driven decision‐support framework for prosumers is proposed, integrating PV generation, load profiling, and multihorizon optimization within a four‐agent architecture. The approach significantly reduces grid dependence, enhances self‐sufficiency and prevents system oversizing.
Adela BÂRA, Simona‐Vasilica OPREA
wiley   +1 more source