Results 141 to 150 of about 7,601,060 (298)

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

Solid Harmonic Wavelet Bispectrum for Image Analysis

Advanced Science, EarlyView.
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown, Mathilda Avirett‐Mackenzie, Carolin Villforth, Georgios Exarchakis   +3 more
wiley   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Towards a Theory of Cooperative Problem Solving

, 1994
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented models of cooperative problem solving have been developed.
Jennings, N. R., Wooldridge, M. J.
core   +1 more source

Neural Fields for Highly Accelerated 2D Cine Phase Contrast MRI

Advanced Science, EarlyView.
ABSTRACT 2D cine phase contrast (CPC) MRI provides quantitative information on blood velocity and flow within the human vasculature. However, data acquisition is time‐consuming, motivating the reconstruction of the velocity field from undersampled measurements to reduce scan times. In this work, neural fields are proposed as a continuous spatiotemporal
Pablo Arratia, Martin J. Graves, Mary McLean, Carolin Pirkl, Carola‐Bibiane Schönlieb, Timo Schirmer, Florian Wiesinger, Matthias J. Ehrhardt   +7 more
wiley   +1 more source

Gender Differences in Visuospatial Abilities and Complex Mathematical Problem Solving. [PDF]

Front Psychol, 2020
Ramírez-Uclés IM, Ramírez-Uclés R.
europepmc   +1 more source

Integrating Ecology and Economics in Agent‐Based Models to Support Agricultural Policy

Advanced Science, EarlyView.
Agent‐based models are valuable tools for studying social‐ecological systems in agriculture. This review maps how existing agent‐based models represent the human and natural domains of agriculture, and discusses developments in economic and ecological agent‐based modeling.
Daniel Vedder, Judith Josephin Rakowski, Lea‐Deborah Kolb, Greta Sophie Theilen‐Loges, Sebastian Lakner, Guy Pe'er   +5 more
wiley   +1 more source

Electrolyte Additive Strategies in Aqueous Zn‐Ion Batteries: Recent Advances and Prospects

Advanced Science, EarlyView.
This article provides a comprehensive overview of the current status and future development directions of AZIBs electrolyte additives in three aspects: stabilizing zinc anodes (uniform deposition, inhibition of dendritic crystals), protecting cathodes (structural stability, inhibition of dissolution), and enhancing electrolyte stability (wider ...
Yuanze Yu, Hongmin Liu, Long Fan, Huakun Liu, Shixue Dou, Guoxiu Wang, Nana Wang, Zhongchao Bai   +7 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

Overcoming Artificial Structures in Resolution‐Enhanced Hi‐C Data by Signal Decomposition and Multi‐Scale Attention

Advanced Science, EarlyView.
Deep‐learning‐based signal enhancement is an effective way to recover high‐resolution details from a low‐resolution chromatin contact map. However, due to computational challenges, existing methods commonly divide up the contact map into small patches and create artificial discontinuities at patch boundaries.
Qinyao Li, Kelly Yichen Li, Chiara Nicoletti, Stephen Kwok‐Wing Tsui, Pier Lorenzo Puri, Qin Cao, Kevin Y. Yip   +6 more
wiley   +1 more source