Results 181 to 190 of about 9,144 (238)

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

Legion: A Platform for Gaussian Wavepacket Nonadiabatic Dynamics. [PDF]

J Chem Theory Comput
Souza Mattos R, Mukherjee S, Barbatti M.
europepmc   +1 more source

From Pores to Pavement: Advanced Modeling of Aluminosilicates for Scalable Carbon Capture in Concrete

Advanced Science, EarlyView.
This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair, Jéssica de O. N. Ribeiro, Murilo Daniel de Mello Innocentini, Kevin Paine, Juliana Calabria‐Holley   +4 more
wiley   +1 more source

Optical linear systems framework for event sensing and computational neuromorphic imaging. [PDF]

Front Neurosci
Kruger N, Ralph NO, Cohen G, Hurley P.
europepmc   +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

Linear and Nonlinear Optical Properties of Molecules from Real-Time Propagation Based on the Bethe-Salpeter Equation. [PDF]

J Chem Theory Comput
Marek Š, Wilhelm J.
europepmc   +1 more source

A 3D Human Bone and Bone Marrow‐on‐a‐Chip Model for In Vitro Bone Remodeling and Immune Cell Maintenance

Advanced Science, EarlyView.
This study presents a human Bone (and Bone Marrow)‐on‐a‐Chip model based on native human bone scaffolds and autologous cells. Dynamic perfusion and sequential cell seeding replicate the physiological bone remodeling process in vitro, enabling the long‐term culture of functional, mature bone marrow immune subpopulations.
Nina Stelzer, Melanie‐Jasmin Ort, Kristian Händler, Emely Bortel, Ioanna Maria Dimitriou, Martin Textor, Georg N. Duda, Janosch Schoon, Uwe Marx, Uwe Kornak, Annika Winter, Bernhard Hesse, Stefanie Donner, Sebastian Hardt, Oliver Klein, Simon Reinke, Malte Spielmann, Sven Geißler   +17 more
wiley   +1 more source

Diffusive Electronic Transport Coefficients of Graphene/Bi₂Se₃ Heterostructures: Insights from First-Principles Calculations. [PDF]

ACS Omega
de la Rosa-Jasso AJ, Acosta-Martínez RA, Hernández-Tecorralco J, Meza-Montes L.   +3 more
europepmc   +1 more source

Modulation of miR‐23b Wnt/β‐catenin Axis Strengthens Endothelial Barrier Properties

Advanced Science, EarlyView.
Early blood‐brain barrier (BBB) disruption contributes to stroke and CNS disease pathology. miR‐23b was identified as a regulator of BBB integrity in brain endothelial cells. Inhibition of miR‐23b enhanced barrier‐associated properties, promoted repair‐related signaling, and reduced BBB leakage in experimental stroke models, supporting further ...
Victor Anthony Martinez, Rose E. Presby, Sara Nakanishi, Pallavi Gaur, Ugur Akcan, Johannes Daugaard Krog, Iben Daugaard Krog, Lipi Das, David S. Johnson, Danny Jamoul, Douglas Jury, Brian Lawson, Jacob Körbelin, Lewis M. Brown, Vilas Menon, Dritan Agalliu, Irene Munk Pedersen   +16 more
wiley   +1 more source