Results 51 to 60 of about 26,685 (258)

Coroutining Folds with Hyperfunctions [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit attributes from above can also be expressed.
J. Launchbury, S. Krstic, T. E. Sauerwein   +2 more
doaj   +1 more source

Transferable Deep Reinforcement Learning With Edge‐Contour‐Depth Fusion for Autonomous Wireless Capsule Endoscopy Navigation

Advanced Science, EarlyView.
This study presents an anatomical landmark‐guided DRL framework for autonomous wireless capsule endoscopy navigation. Using a lightweight edge‐contour‐depth fusion module, it achieves over 97% coverage across diverse gastric anatomies. To ensure reliability, a two‐stage sim‐to‐real pipeline with an adaptive dynamic programming controller mitigates ...
Haoxuan Wu, Haitao Gao, Qingyang Liu, Sishen Yuan, Haiyang Fang, Mingwu Su, Baijia Liang, Yongzun Yang, Long Bai, Wenzhen Dong, Dihong Xie, Shijian Su, Jiewen Lai, Shing Shin Cheng, Zhen Li, Xiuli Zuo, Hongliang Ren   +16 more
wiley   +1 more source

High Fracture Toughness of 1D Copper‐Based MOP Electrode Enables Fast‐Charging Lithium‐Ion Batteries

Advanced Science, EarlyView.
Traditional electrode materials suffer from particle cracking and rapid capacity fade during fast charging, largely originating from their low fracture toughness. This work introduces a one‐dimensional Cu‐based metal–organic polymer, in which strong π‐d conjugation and π–π stacking endow the framework with high fracture toughness, simultaneously ...
Mingli Li, Zhenzhen Wu, Pan Yang, Di Zhao, Mengyang Dong, Muhammad Tayyab Ahsan, Lei Zhang, Shanqing Zhang, Yun Wang   +8 more
wiley   +1 more source

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types [PDF]

Logical Methods in Computer Science, 2017
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl, Lars Birkedal   +3 more
doaj   +1 more source

Interpretable Machine Learning Framework for Nb─Si Based Alloy Design with Enhanced Fracture Toughness

Advanced Science, EarlyView.
An interpretable machine learning framework integrating SHAP and PDP analysis identifies critical design descriptors from 139 physicochemical features for Nb─Si alloys. The framework achieves <7% prediction error and guides the discovery of Nb38.5Ti38.5Si3Zr18V2 alloy with 22.791 MPa·m1/2 fracture toughness, breaking the 20 MPa·m1/2 barrier.
Dezhi Chen, Chao Xu, Jingyue Yu, Qi Wang, Hongze Fang, Shuo Yin, Turab Lookman, Ruirun Chen   +7 more
wiley   +1 more source

Pressure‐Induced Drift Artifacts in Stretchable Liquid Metal ThinFilm Electrocardiogram Electrodes

Advanced Science, EarlyView.
A stretchable LM electrode integrated with a strain sensor enables in situ quantitative investigation of drift artifact and skin deformation. This reveals the significance of pressure‐induced drift artifact and its intimate relationship with the skin potential model.
Ding Li, Zi‐Gan Xu, Zhi‐Kang Chen, Shuo‐Yan Xu, Jia‐Yi Cui, Si‐Yuan Wo, Zi‐Xu Wang, Yi‐Kun Liu, Jia‐Ju Yin, Hou‐Fang Liu, Xiao‐Ming Wu, Lu‐Qi Tao, Yi Yang, Tian‐Ling Ren   +13 more
wiley   +1 more source

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

From Chatbots to Co‐Scientists: The Impact of Knowledge‐Generating AI (AI 4.0) on Healthcare and Research

Advanced Science, EarlyView.
This perspective contrasts the historical, linear progression of early AI with the dynamic, iterative nature of AI 4.0; and it describes the real‐world medical applications and the necessary evolution of laboratory infrastructure brought about by AI 4.0.
Weida Liu, Gary Peltz
wiley   +1 more source

Monetary policy transmission mechanism in post-communist economies: Evidence from Uzbekistan

Central Bank Review
This study aims to evaluate the transmission mechanisms of monetary policy in a post-communist economy using structural vector autoregression (SVAR) model.
Elyor Davlatov, Judit Sági
doaj   +1 more source

A Dual‐Modal Wearable PPG Smartwatch with AI‐Enhanced Correction for High‐Accuracy and Continuous AF Burden Assessment

Advanced Science, EarlyView.
ABSTRACT Atrial fibrillation (AF) increases the risk of stroke and heart failure, yet accurate quantification of AF burden in daily life remains difficult. Although smartwatch photoplethysmography (PPG) supports continuous monitoring, complex rhythms and signal noise can impair burden estimation.
Song Zuo, Jinglei Wang, Xin Wang, Han Feng, Yize Zhao, Fadong Li, Shaobin Wei, Le Zhou, Zixu Zhao, Songjie Chen, Xiangyi Kong, Jue Wang, Liu He, Shijun Xia, Xin Li, Junmeng Zhang, Xiaoxia Liu, Xueyuan Guo, Ning Zhou, Songnan Li, Chenxi Jiang, Ribo Tang, Caihua Sang, Deyong Long, Xin Du, Jianzeng Dong, Wenwu Zhu, Changsheng Ma   +27 more
wiley   +1 more source