Results 161 to 170 of about 311,790 (314)

Semantics and Verification of UML Activity Diagrams for Workflow Modelling [PDF]

, 2002
This thesis defines a formal semantics for UML activity diagrams that is suitable for workflow modelling. The semantics allows verification of functional requirements using model checking.
Eshuis, H Rik, Eshuis, H.
core  

De Novo Design of Membrane‐Targeting Antimicrobial Peptides Against Gram‐Negative Bacteria Using a Generative Artificial Intelligence Framework

Advanced Science, EarlyView.
Antimicrobial resistance caused by Gram‐negative bacteria remains difficult to overcome due to the protective outer membrane. To address this challenge, a multi‐condition constrained generative AI framework, GenMTAMP is proposed for de novo membrane‐targeting antimicrobial peptide design by integrating physicochemical and spatial structure descriptors.
Jingxiao Yu, Da‐Wen Sun, QingYi Wei, Yibing Zhang, Jidong Tang, Hongbin Pu   +5 more
wiley   +1 more source

ProSiteHunter: A Unified Framework for Sequence‐Based Prediction of Protein‐Nucleic Acid and Protein‐Protein Binding Sites

Advanced Science, EarlyView.
This study proposed a unified sequence‐based framework for protein binding site prediction, which adopted a tri‐track semantic multi‐source feature fusion strategy to effectively capture diverse macromolecular interaction sites and further improved the accuracy of antibody‐antigen interaction prediction.
Dongliang Hou, Qihang Zhen, Zexin Lv, Xinyue Cui, Suhui Wang, Minghua Hou, Zhan Zhou, Xiaogen Zhou, Guijun Zhang   +8 more
wiley   +1 more source

A Foundation Model Based CT Biomarker for Non‐Invasive Prediction of Response to Neoadjuvant Immunochemotherapy in Non‐Small Cell Lung Cancer

Advanced Science, EarlyView.
This study introduces a foundation model‐based biomarker for risk stratification of pathological response in non‐small cell lung cancer. A Vision Mamba super‐resolution model standardizes heterogeneous CT images. A multi‐task Swin Transformer then fine‐tunes a pre‐trained lung foundation model to jointly optimize tumor segmentation and response ...
Yanglan Xu, Shuchang Zhou, Qin Peng, Xiao Bao, Xiaodan Ye, Ahmet Görkem Er, Tong Tong, Mirabela Rusu, Yajia Gu, Mailin Chen, Jing Gong   +10 more
wiley   +1 more source

A semantics model for imperatives.

Notre Dame Journal of Formal Logic, 1977
openaire   +2 more sources

Accurately Deciphering Tissue Heterogeneity From Spatial Multi‐Modal and Multi‐Omics With STransformer

Advanced Science, EarlyView.
STransformer is a unified deep learning framework designed to seamlessly accommodate a comprehensive landscape of spatial data. By simultaneously capturing short‐range cellular interactions and tissue‐wide semantic patterns, it extracts robust representations to accurately dissect complex tissue heterogeneity.
Xingyi Li, Jialuo Xu, Gaoyuan Du, Xiangting Jia, Dongmin Zhao, Chunyan Zhou, Kexin Xiao, Jia Gu, Junnan Zhu, Xuequn Shang   +9 more
wiley   +1 more source

Large Language Model‐Informed Dual‐Track AI Framework for the Synergistic Design of Crack‐Free and High‐Strength Superalloys

Advanced Science, EarlyView.
This paper illustrates a knowledge‐augmented dual‐track AI framework for advanced superalloy design. First, Large Language Models translate metallurgical heuristics into explicit rules to rapidly prune a vast compositional search space. Subsequently, LLM‐distilled priors safely guide a reinforcement learning agent during autonomous process optimization,
Jian Yao, Junkang Wu, Jie Su, Fuzhu Wang, Zi Wang, Li Wang, Liming Tan, Lan Huang, Feng Liu, Yong Liu   +9 more
wiley   +1 more source

CD177 Deficiency Defines a Stable Subtype of Human Neutrophil Granulocytes with Tumor Promoting Activity

Advanced Science, EarlyView.
Human neutrophils exist as two epigenetically imprinted subtypes defined by stable CD177 expression or absence — a ratio that persists across time, circadian rhythms, and inflammation. CD177− neutrophils display a distinct molecular landscape enriched in arginase 1 and lipid metabolism markers, accumulate in head‐and‐neck tumors, and associate with ...
Marcel Jung, Alexander Beer, Susmita Ghosh, Ekaterina Pylaeva, Belal Alshaar, Tobias Tertel, Nils Bastian Leimkühler, Thomas Schroeder, Janine Gronewold, Nina Hagemann, Ayan Mohamud Yusuf, Benedikt Frank, Yiqiao Zhang, Dennis Nagel, Kim Schloeßer, Laura Karsch, Emily Hedtfeld, Sabrina Lohmann, Kathrin Blank, Andreas Kraus, Max Krumbein, Nastassia Kabankova, Hongxiao Wang, Almke Bader, Mathis Richter, Fengjun Zhang, Raphael Chevre, Bernd Giebel, Stephan Lang, Anika Grüneboom, Daniela Maier‐Begandt, Anja Hasenberg, Oliver Soehnlein, Hans Christian Reinhardt, Sven Heiles, Jianxu Chen, Jadwiga Jablonska, Albert Sickmann, Dirk M. Hermann, Matthias Gunzer   +39 more
wiley   +1 more source

Labelling, Defining and Classifying the Active Ingredients in Oral Language Interventions for Children With or at Risk of Developmental Language Disorder: A Systematic Review and Qualitative Synthesis. [PDF]

Int J Lang Commun Disord
Frizelle P, Murphy D, Murphy L, Fletcher L, O'Leary N, Kerrisk N, Lyons I, Buckley A, Eadie P, Ebbels S, Ferk-Dornstauder M, Jessenitschnig J, Fricke S, Kelic M, Kunnari S, Leitão S, McKean C, McGregor K, Munro N, Murphy CA, Horne AOV.   +20 more
europepmc   +1 more source

A Machine Vision‐Guided Microphysiological Platform With Automated Microfluidics Enables Longitudinal Biomarker Monitoring and Emulation of Translationally Relevant Exposure Scenarios

Advanced Science, EarlyView.
A pneumatically actuated multi‐tissue microphysiological system is integrated with AI‐based machine vision and automatic sampling and replenishment systems. The platform allows for the emulation of translationally relevant long‐term pharmacokinetic exposure scenarios for multiple weeks while enabling longitudinal monitoring of response biomarkers ...
Jibbe Keulen, Yi Zhong, Laura Dangel, Sonia Youhanna, Reza Zandi Shafagh, Jinhye Ryu, Domnica‐Gabriela Gurau, Mathias Haag, Thomas E. Mürdter, Yingxin Liang, Iro Beligiani, Nicole Ziegler, Sabine Willems, Nayere Taebnia, Wouter van der Wijngaart, Volker M. Lauschke   +15 more
wiley   +1 more source