Results 91 to 100 of about 361,182 (277)

A constructive proof of a unimodular transformation theorem for simplices [PDF]

Matrices;Linear Programming;Integer ...
Yang, Z.
core   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Recent Advances in Laser‐Induced Graphene‐Based Gas Sensors: From Sensing Mechanisms to Biomedical Applications

Advanced Science, EarlyView.
Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas, Ankan Dutta, Shuvendu Das, Abu Musa Abdullah, Wanqing Zhang, Fatema Tuz Zohra, Huanyu Cheng   +6 more
wiley   +1 more source

Multi‐Scale Mapping of Gene Expression from Whole‐slide Images for Identifying Phenotype‐Associated Subpopulations

Advanced Science, EarlyView.
BiSCALE: A pathology‐driven deep learning framework for multi‐scale gene expression prediction from whole‐slide images. It accurately infers bulk and near‐cellular spot‐level expression, links predictions to clinical phenotypes, identifies disease‐associated niches, and enables applications in risk stratification and cell‐identity annotation, providing
Hailong Zheng, Jiajing Xie, Luqi Wang, Hailong Xie, Tong Zhi, Yujia Guo, Bofeng Zhu, Dong Wang, Yu Chen   +8 more
wiley   +1 more source

Globally Optimal Cell Tracking using Integer Programming [PDF]

, 2016
We propose a novel approach to automatically tracking cell populations in time-lapse images. To account for cell occlusions and overlaps, we introduce a robust method that generates an over-complete set of competing detection hypotheses.
Becker, Carlos, Fua, Pascal, Haubold, Carsten, Türetken, Engin, Wang, Xinchao   +4 more
core   +1 more source

Diffusion–Model–Driven Discovery of Ferroelectrics for Photocurrent Applications

Advanced Science, EarlyView.
We developed a diffusion model–based generative AI and high‐throughput screening framework that accelerates the discovery of photovoltaic ferroelectrics. By coupling AI driven crystal generation with machine learning and DFT screening, we identified Ca3P2 and LiCdP as new ferroelectric materials exhibiting strong polarization, feasible switching ...
Byung Chul Yeo, Hyun‐Jae Lee, Sungwoo Kang, Jung‐Hoon Lee   +3 more
wiley   +1 more source

Transient Terahertz Oscillations During Photoinduced Polarization Topology Reconfiguration in Ferroelectric Superlattices

Advanced Science, EarlyView.
Terahertz resonances in crystalline heterostructures could close a spectral gap between conventional electronics and photonics while opening new windows on non‐equilibrium lattice dynamics. Femtosecond optical screening of the depolarization field in epitaxial PbTiO3/SrTiO3 superlattices launches a collective polar mode that oscillates near 1 THz and ...
Deepankar Sri Gyan, Hyeon Jun Lee, Xiangwei Guo, Youngjun Ahn, Samuel D. Marks, Mohammed H. Yusuf, Matthew Dawber, James M. Glownia, Diling Zhu, Takahiro Sato, Sanghoon Song, Haidan Wen, Jia‐Mian Hu, Paul G. Evans   +13 more
wiley   +1 more source

Physics‐Embedded Neural Network: A Novel Approach to Design Polymeric Materials

Advanced Science, EarlyView.
Traditional black‐box models for polymer mechanics rely solely on data and lack physical interpretability. This work presents a physics‐embedded neural network (PENN) that integrates constitutive equations into machine learning. The approach ensures reliable stress predictions, provides interpretable parameters, and enables performance‐driven, inverse ...
Siqi Zhan, Hengheng Zhao, Haotian Wang, Zhanjie Liu, Qian Li, Weifeng Zhang, Qingsong Zhao, Liqun Zhang, Jun Liu   +8 more
wiley   +1 more source

The Aircraft Landing Problem

Communications, 2003
The problem studied in the paper is an air traffic problem on the airport runway. The goal is finding an aircraft landing sequence that meets the time window for the particular aircraft and at the same time the separation times between two aircraft ...
Jan Pelikan
doaj   +1 more source

Diverse Landscape of Tunable Magnetic, Topological, and Ferroelectric States in 2D Ti3Se3Te2

Advanced Science, EarlyView.
Ti3Se3Te2 emerges as a multifunctional 2D van der Waals platform. The monolayer is a dynamically stable ferromagnetic quantum anomalous Hall insulator. In bilayers, two stacking configurations yield distinct phases: AA‐stacking hosts an altermagnetic quantum spin Hall insulator, while AA′‐stacking exhibits three‐state in‐plane ferroelectricity ...
Jiangtao Yu, Jingbo Bai, Yali Yang, Shifeng Qian, Xiaotian Wang, Zhuhong Liu   +5 more
wiley   +1 more source