Results 151 to 160 of about 24,130 (303)

How Advanced Artificial Intelligence Technologies Shape Drug–Drug and Drug–Target Interaction Modeling

Advanced Science, EarlyView.
This review explores the convergence of artificial intelligence technologies in modeling drug–drug and drug–target interactions. By evaluating advanced feature engineering, architectural innovations, and learning paradigms reveals shared evolutionary trends and critical challenges, such as cold‐start settings and shortcut learning.
Xin Sun, Tong Wang
wiley   +1 more source

Abstract A Language-based Approach to Functionally Correct Imperative Programming

, 2008
In this paper a language-based approach to functionally correct imperative programming is proposed. The approach is based on a programming language called RSP1, which combines dependent types, general recursion, and imperative features in a type-safe way,
Edwin Westbrook, Ian Wehrman, Aaron Stump   +2 more
core  

Machine Learning‐Driven Prediction of Microplastic Aging Processes and Environmental Risk Assessment Across Multi‐Media Systems

Advanced Science, EarlyView.
This perspective proposes a cohesive machine learning strategy to decode microplastic aging. It advocates for Federated Learning to dismantle global data silos and introduces the TRACE framework (TRansport, Aging, Corona, Ecotoxicity). By integrating physics‐informed modeling with causal discovery, this approach bridges the laboratory‐field gap to ...
Yaping Lyu, Xinran Qiu, Xing Li, Tianhuan Yang, Xuetao Guo, Hao Qiu, Peng Zhang   +6 more
wiley   +1 more source

Categorical model of structural operational semantics for imperative language

Journal of Information and Organizational Sciences, 2016
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj  

Implementing algebraic dynamic programming in the functional and the imperative programming paradigm

, 2002
Giegerich R, Steffen P. Implementing algebraic dynamic programming in the functional and the imperative programming paradigm. In: Boiten E, ed. MATHEMATICS OF PROGRAM CONSTRUCTION. Lecture Notes in Computer Science. Vol 2386.
Boiten, Eerke, Giegerich, Robert, Steffen, Peter   +2 more
core  

Machine Learning‐Assisted KCl‐CaCl2‐LiCl Electrolyte Design for Low‐Temperature, High‐Performance Calcium‐Based Liquid Metal Batteries

Advanced Science, EarlyView.
A machine learning‐assisted framework optimizes the KCl‐CaCl2‐LiCl ternary electrolyte. The optimized 13:35:52 mol% composition enables Ca‐based liquid metal batteries to operate stably at 480 °C, with >99.5% coulombic efficiency, ultralow self‐discharge, and excellent cycling stability, advancing low‐temperature large‐scale energy storage.
Xinglin Zhou, Lei Huang, Yan Zhou, Xiaohui Ning   +3 more
wiley   +1 more source

Programming with Variable Functions

What is a good method to specify and derive imperative programs? This paper argues that a new form of functional programming fits the bill, where variable functions can be updated at specified points in their domain.
Odersky, Martin
core  

A Metal‐Phenolic Nanocluster Orchestrates Mito‐Ca2+ Metabolic Autonomy for Tumor Ca2+ Interference Therapy

Advanced Science, EarlyView.
Tumor Ca2+ interference therapy suffers from self‐protective Ca2+ metabolic autoregulation. In this scenario, a versatile metal‐phenolic nanocluster (TCMH) is engineered to modulate mitochondrial calcium uniporter (MCU) ‐mediated mito‐Ca2+ metabolic autonomy.
Ronglong Chen, Jia Huang, Yuepeng Wang, Shucong Yao, Fei Wu, Juan Liu, Chunxue Song, Li Lin, Xijun Lin, Yingjie Deng, Chao Zhang, Zhiquan Huang, Zixian Huang, Lisi Xie   +13 more
wiley   +1 more source

Year in review 2025-2026: A year of progress and purpose. [PDF]

Stem Cell Reports
Okano H.
europepmc   +1 more source

Real‐Time and Non‐Invasive Detection of Respiratory Viral Infections Using an Intelligent Odor Monitoring System (IOMS)

Advanced Science, EarlyView.
An intelligent odor monitoring system integrates an IVC animal model, gas sensor array, real‐time resistance readout, and machine‐learning analysis to continuously monitor infection‐associated odor changes. The platform captures longitudinal sensor responses, distinguishes infected from healthy states, and supports early‐stage respiratory viral ...
Yajie Shen, Weifeng Yuan, Long Li, Yucheng Zheng, Kenan Liu, Hegeng Li, Hua‐Yao Li, Yongliang Zhao, Binzhou Ying, Lanpeng Guo, Wenjian Zhang, Shu‐Ming Kuo, Zirui Zhang, Yufan Deng, Bohan Yin, Zhaocheng Luo, Ke Xu, Huan Liu   +17 more
wiley   +1 more source