Results 21 to 30 of about 4,006 (251)

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

Functional Disorder at the Neural Interface: How Disordered Nanostructures Promote Proper Growth and Differentiation in In Vitro Neural Cultures

Advanced Science, EarlyView.
This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita, E. Palmieri, I. Lucarini, L. Montaina, L. Maiolo   +4 more
wiley   +1 more source

Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics

Bulletin of the Section of Logic
A unified Gentzen-style proof-theoretic framework for until-free propositional linear-time temporal logic and its intuitionistic variant is introduced.
Norihiro Kamide, Sara Negri
doaj   +1 more source

Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [PDF]

, 2003
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction ...
Itamar Pitowsky, Pitowsky, Itamar, Ehud Hrushovski, Hrushovski, Ehud   +3 more
core  

Asymmetric Electrostrain/Electrobending in Piezoelectric Ceramics: Role of Defect Dipoles or Oxygen Vacancies

Advanced Science, EarlyView.
Defect‐configurational origins of the asymmetric apparent electrostrain are revealed in different piezoelectric ceramics via atomic‐scale visualization of defect configurations. Migration of oxygen vacancies leads to the electrobending effect in N2‐sintered BaTiO3, while defect dipoles in Ba0.99TiO2.99 generate true asymmetric electrostrain without ...
Jie Wang, Geng Huangfu, Hongjie Zhang, Tiannan Yang, Zhenhua Ma, Jingsheng Chen, Yun Liu, Yiping Guo   +7 more
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

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

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

A proof-theoretic analysis of the classical propositional matrix method

, 2014
The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory.
Ritter, E, Ritter, Eike, Pym, D, Robinson, E, Pym, David, Robinson, Edmund   +5 more
core   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source