A Perspective on Interactive Theorem Provers in Physics
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
Rapid Acidification and Off-Flavor Reduction of Pea Protein by Fermentation with Lactic Acid Bacteria and Yeasts. [PDF]
Zipori D +5 more
europepmc +1 more source
DLP 4D Printing of Programmable Molecularly‐Engineered Liquid Crystal Elastomer Actuators
We introduce an original and versatile approach for printing liquid crystal elastomers that exhibit reversible shape morphing using digital light processing. 3D‐tructures are printed in a partially cured state, mechanically programmed, and then fully crosslinked to fix molecular alignment.
Rakine Mouhoubi +2 more
wiley +1 more source
Analysis of mousy off-flavor compound 2-Acetyl-tetrahydropyridine using Liquid Chromatography Mass Spectrometry with Electrospray Ionization in sour beer. [PDF]
Martusevice P +4 more
europepmc +1 more source
Development of a liquid chromatography atmospheric pressure chemical ionization mass spectrometry method for determining off-flavor compounds and its application toward marine recirculating aquaculture system monitoring and evaluation of aeration as a depuration approach. [PDF]
Bedner M, Saito K.
europepmc +1 more source
Doehl et al. discovered an adaptive neuroimmune mechanism that induces itch in tick‐exposed guinea pigs, enabling rapid tick removal. This itch‐induced tick removal (IITR) is mediated by an adaptive cellular immune response and is independent of IgG, IgE, or TRPV1.
Johannes S. P. Doehl +27 more
wiley +1 more source
Tracking physical impacts is important in many fields. Self‐assembled microparticles made from polydiacetylene and silk fibroin that change color from blue to red when hit can provide an alternative approach to traditional mechanical transducers, quantitatively visualizing impact with responses ranging from <100 to 770 N.
Marco Lo Presti +4 more
wiley +1 more source
Effect of cinnamon powder on quality attributes and off-flavor in fried chicken drumsticks made from long-term thawed Korean native chicken. [PDF]
Jung Y +10 more
europepmc +1 more source
Parasitic Plant–Host Interactions: Molecular Mechanisms and Agricultural Resistance Strategies
Parasitic plants devastate global agriculture through sophisticated molecular interactions with host crops. This review synthesizes current understanding of parasitic plant‐host interactions, from strigolactone‐mediated germination and haustorium formation to host defense mechanisms.
Jiayang Shi, Qi Xie, Feifei Yu
wiley +1 more source
Efficient Preservation of Perishable Fruits by Erasable Metal‐Organic Frameworks
This study presents an erasable Pickering emulsion‐based coating stabilized by metal‐organic frameworks. This washable coating significantly extends fruit shelf life by scavenging ethylene and inhibiting foodborne pathogens, offering a sustainable solution for postharvest.
Liying Yang +7 more
wiley +1 more source

