Results 101 to 110 of about 106,571 (319)

Multi-Agent Systems with Information Sharing: Strategies and Model Checking

Applied Sciences
We introduce a prototyping language for multi-agent systems with information sharing, allowing agents to act in parallel and to migrate between distributed locations according to explicit timers.
Bogdan Aman, Gabriel Ciobanu
doaj   +1 more source

All-Path Reachability Logic

, 2019
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-path
Ciobaca, Stefan, Mereuta, Radu, Moore, Brandon, Rosu, Grigore, Serbanuta, Traian Florin, Stefanescu, Andrei   +5 more
core   +1 more source

Single‐Nucleus Multi‐Omics Reveals Hypoxia‐Driven Angiogenic Programs and Their Epigenetic Control in Sinonasal Squamous Cell Carcinoma

Advanced Science, EarlyView.
Single‐nucleus multi‐omics profiling of sinonasal squamous cell carcinoma unveils a hypoxia‐driven angiogenic axis. A specific hypoxic tumor subpopulation orchestrates endothelial tip cell differentiation via epigenetically regulated ADM and VEGFA secretion.
Chaelin You, Jaewoo Park, Jung Yeon Jang, Junho Noh, Jaehyun Lee, Geunho Kwon, Myeong Sang Yu, Yoo‐Sam Chung, Seung‐Jun Lee, Keunsoo Kang, Jihwan Park, Ji Heui Kim, Kyuho Kang   +12 more
wiley   +1 more source

A semantics for while with break, continue and goto

CLEI Electronic Journal, 2018
This work presents a formal description of a subset of a C-likelanguage in the form of an operational semantics. We give semantics to the following statements (presented in alphabetical order) : assig- nation, break, composition, continue, goto, if, skip
Patricia Peratto
doaj   +1 more source

Foundation Model‐Enabled Multimodal Deep Learning for Prognostic Prediction in Colorectal Cancer with Incomplete Modalities: A Multi‐Institutional Retrospective Study

Advanced Science, EarlyView.
FLARE, a multimodal AI framework, combines pathology slides, radiology scans, and clinical reports to predict colorectal cancer outcomes, even when some tests are missing. Evaluated retrospectively in 1679 patients from four medical centers, it consistently achieved the best prognostic accuracy and clearly separated high‐ and low‐risk groups.
Linhao Qu, Chengsheng Zhang, Yingyong Hou, Feng Tang, Weiqi Sheng, Dan Huang, Zhijian Song   +6 more
wiley   +1 more source

DualPG‐DTA: A Large Language Model‐Powered Graph Neural Network Framework for Enhanced Drug‐Target Affinity Prediction and Discovery of Novel CDK9 Inhibitors Exhibiting in Vivo Anti‐Leukemia Activity

Advanced Science, EarlyView.
This study introduces DualPG‐DTA, a framework integrating two pre‐trained models to generate molecular and protein representations. It constructs dual graphs processed by specialized neural networks with dynamic attention for feature fusion, achieving superior benchmark performance.
Yihao Chen, Jindi Huang, Cong Liu, Shipeng Zhang, Xinze Li, Zhang Zhang, Tie‐Gen Chen, Ling Wang   +7 more
wiley   +1 more source

Injecting Abstract Interpretations into Linear Cost Models

, 2010
We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core   +2 more sources

CELLama: Foundation Model for Single Cell and Spatial Transcriptomics by Cell Embedding Leveraging Language Model Abilities

Advanced Science, EarlyView.
CELLama is created, a framework that harnesses language models to convert cellular data into “sentences” that represent gene expression and metadata, enabling a universal embedding of cells. Unlike most single‐cell foundation models, CELLama supports scalable analysis and offers flexible applications including spatial transcriptomics.
Jeongbin Park, Sumin Kim, Jiwon Kim, Dongjoo Lee, Sungwoo Bae, Haenara Shin, Daeseung Lee, Hongyoon Choi   +7 more
wiley   +1 more source

Structural Operational Semantics for Stochastic Process Calculi

, 2008
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes.
Klin, B., Sassone, V.
core   +2 more sources

Proving termination of evaluation for System F with control operators

, 2013
We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System F with control operators.
Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Materzok, Marek   +3 more
core   +4 more sources