Results 191 to 200 of about 6,187,809 (272)

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

The effects of narrative framing of own broken love on understanding the past and imagining the future in close relationships. [PDF]

PLoS One
Czarnecka JZ, Trzebiński J.
europepmc   +1 more source

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Automatic Speech Recognition in Healthcare in the Post-LLM Era: A Scoping Review. [PDF]

Healthcare (Basel)
Alabbad M, Alhoshan W.
europepmc   +1 more source

A Soft, Flexible Implant for Wireless Photothermal–Pyroelectric Neurostimulation

Advanced Science, EarlyView.
A replication strategy is used to enlarge the exposed surface area of barium titanate within flexible films with embedded carbon nanotubes, enabling efficient photothermal‐pyroelectric stimulation. Polar crystalline nanosheets show superior performance in guiding neural progenitor cells toward neuronal differentiation.
Jiang Wu, Minmin Mao, Beltzane Garcia Cirera, Hao Ye, Xiangzhong Chen, Josep Puigmartí‐Luis, Ni Qin, Salvador Pané   +7 more
wiley   +1 more source

Evaluating the robustness of specialized and general-purpose facial expression recognition systems across varied scenarios. [PDF]

Front Artif Intell
Salas-Cáceres J, Lorenzo-Navarro J, Castrillón-Santana M, Picazo-Peral P, Moreno-Gil S.   +4 more
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

Stakeholder perceptions and planning implications for urban rewilding as a nature-based solution in Poland. [PDF]

Sci Rep
Cirella GT, Kempa J, Paczoski A, Rościszewski-Dodgson MJ.   +3 more
europepmc   +1 more source

Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution

Advanced Science, EarlyView.
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley   +1 more source

Ethnomycological knowledge of Slavic immigrant descendants in southern Brazil. [PDF]

J Ethnobiol Ethnomed
Prado-Elias A, Ludwinsky RH, Kotowski M, Zabin DA, Menolli N, Trierveiler-Pereira L, Hanazaki N.   +6 more
europepmc   +1 more source