Results 101 to 110 of about 16,392 (251)

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

Theorema: Towards computer-aided mathematical theory exploration

Journal of Applied Logic, 2006
AbstractTheorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger   +10 more
openaire   +2 more sources

Author Correction: Heat transfer analysis of fractional model of couple stress Casson tri-hybrid nanofluid using dissimilar shape nanoparticles in blood with biomedical applications

Scientific Reports, 2023
Muhammad Arif, Luca Di Persio, Poom Kumam, Wiboonsak Watthayu, Ali Akgül   +4 more
doaj   +1 more source

Mouse sensorimotor cortex reflects complex kinematic details during reaching and grasping

eLife
Coordinated forelimb actions, such as reaching and grasping, rely on motor commands that span a spectrum from abstract target selection to detailed instantaneous muscle control.
Harrison A Grier, Sohrab Salimian, Matthew T Kaufman   +2 more
doaj   +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

Neural activity profiles reveal overlapping, intermingled subpopulations spanning area borders in mouse sensorimotor cortex

eLife
Cortical control of movement is a distributed computation spanning multiple densely interconnected regions. Although we have rich anatomical atlases and a coarse understanding of how function maps to areas and subregions, we lack a detailed account of ...
Sohrab Salimian, Harrison Grier, Matthew Tyler Kaufman   +2 more
doaj   +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

What’s so funny ‘bout applied mathematics? Modelling, theory, and methods

, 2018
What is applied mathematics and how is it different from mathematics or any other scientific discipline? ‘What’s so funny ‘bout applied mathematics?
Alain Goriely
core   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source