Results 201 to 210 of about 17,435 (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

Content Validation of the Flares Diary: A Qualitative Analysis of the Flares Experience Within the Fibrodysplasia Ossificans Progressiva (FOP) Population. [PDF]

Adv Ther
Baldasaro J, Sanchez RJ, Hartford C, Dahir KM, Keen R, Funck-Brentano T, Pignolo RJ, Davis M, Altman DE.   +8 more
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

Teaching empathy in Balint groups. [PDF]

Libyan J Med
Stojanović-Tasić M, Latas M, Novaković E, Milić M, Virijević M, Rakić K, Milošević N, Milošević J, Aritonović Pribaković J, Adžić S, Petrović R, Popović Radovanović M, Vukša M, Ilić D, Bogdanović M, Trajković B, Milović A.   +16 more
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

Communicative patterns in online health communities: A comparative study of Italian and Polish. [PDF]

PLoS One
Bongelli R, Tereszkiewicz A, Paolanti M, Riccioni I.   +3 more
europepmc   +1 more source

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

The Aroma of Non-Fermented and Fermented Dry-Cured Meat Products: Savory and Toasted Odors. [PDF]

Foods
Li L, Belloch C, Flores M.
europepmc   +1 more source

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +1 more source

Hybridization of Acoustic and Visual Features of Polish Sibilants Produced by Children for Computer Speech Diagnosis. [PDF]

Sensors (Basel)
Sage A, Miodońska Z, Kręcichwost M, Badura P.   +3 more
europepmc   +1 more source